Issues

• (OPT) Load authenticated immutable test evidence at runtime to reduce embedded compiler constants

  wavect/semaprax#848 · Filter by author wsdt opened on Oct 15, 2026
  1

• (OPT) Borrow imported function payloads through authenticated alias views

  wavect/semaprax#847 · Filter by author wsdt opened on Oct 15, 2026

• (OPT) Render actual CLI diagnostics through a shared writer without intermediate JSON Strings

  wavect/semaprax#846 · Filter by author wsdt opened on Oct 15, 2026

• (OPT) Preserve constructor admission failures through existing typed workspace reporting

  wavect/semaprax#845 · Filter by author wsdt opened on Oct 15, 2026
  1

• (OPT) Reduce factored automaton node and tiny-edge backing with fully paid storage

  wavect/semaprax#844 · Filter by author wsdt opened on Oct 15, 2026

• (OPT) Publish complete runnable application starters from checked codec plans and command profiles

  wavect/semaprax#837 · Filter by author wsdt opened on Oct 15, 2026

• (OPT) Update typed Copy fields in owned record vectors without parallel state glue

  wavect/semaprax#836 · Filter by author wsdt opened on Oct 15, 2026

• (OPT) Keep singleton factored successor targets inline until distinct-child promotion

  wavect/semaprax#831 · Filter by author wsdt opened on Oct 15, 2026
  1

• (OPT) Give constructor failures explicit inline receiving and report-publication custody

  wavect/semaprax#825 · Filter by author wsdt opened on Oct 14, 2026

• (OPT) Fund ordinary cleanup receiving directories from actual backing

  wavect/semaprax#816 · Filter by author wsdt opened on Oct 13, 2026

• (OPT) Generate nested JSON response codecs for primitive Vec<string>

  wavect/semaprax#808 · Filter by author wsdt opened on Oct 13, 2026

• (OPT) Pay actual HIR identity-directory constructors instead of repeated B-tree node upper bounds

  wavect/semaprax#805 · Filter by author wsdt opened on Oct 12, 2026

• (OPT) Reduce compiler bootstrap memory without weakening executable owner coverage

  wavect/semaprax#798 · Filter by author wsdt opened on Oct 12, 2026
  1

• (OPT) Eliminate duplicate imported cache-key directories while preserving cold/warm graph parity

  wavect/semaprax#796 · Filter by author wsdt opened on Oct 12, 2026
  1

• (OPT) Check record field uniqueness through an authenticated borrowed query

  wavect/semaprax#786 · Filter by author wsdt opened on Oct 12, 2026

• (OPT) Share immutable declaration identity backing without unpriced allocations

  wavect/semaprax#785 · Filter by author wsdt opened on Oct 12, 2026

• (OPT) Retain independently derived renewal directories across ordinary construction and replay

  wavect/semaprax#783 · Filter by author wsdt opened on Oct 12, 2026

• (OPT) Fund replay setup failure reports before authority handoff

  wavect/semaprax#781 · Filter by author wsdt opened on Oct 12, 2026

• (OPT) Traverse immutable byte slices without handwritten index scaffolding

  wavect/semaprax#780 · Filter by author wsdt opened on Oct 11, 2026

• (OPT) Move whole owned record subtrees through exact record patterns

  wavect/semaprax#779 · Filter by author wsdt opened on Oct 11, 2026

• (OPT) Lower expression paths through a bounded private arena without repeatedly materializing full prefixes

  wavect/semaprax#778 · Filter by author wsdt opened on Oct 11, 2026

• (OPT) Lend authenticated scoped record rows to nonescaping scalar helpers

  wavect/semaprax#775 · Filter by author wsdt opened on Oct 11, 2026

• (OPT) Route ordinary native terminal cleanup through authenticated source exits

  wavect/semaprax#772 · Filter by author wsdt opened on Oct 11, 2026
  1

• (OPT) Generalize decoded identifier indexing beyond the ASCII request profile

  wavect/semaprax#771 · Filter by author wsdt opened on Oct 11, 2026

• (OPT) Expose qualified fused construction through a versioned source execution profile

  wavect/semaprax#768 · Filter by author wsdt opened on Oct 11, 2026