Issues

• (OPT) Fund or eliminate new capacity-witness composition controls before acquisition

  wavect/semaprax#851 · Filter by author wsdt opened on Oct 16, 2026

• (OPT) Fund shared record-presence constructor and reuse control receivers

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

• (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) 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) 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) Fund replay setup failure reports before authority handoff

  wavect/semaprax#781 · Filter by author wsdt opened on Oct 12, 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

• (OPT) Reuse exact source-bound top-level private authority without repeated maps

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

• (OPT) Preserve proven scalar cleanup absence in constructor HIR forecasts

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

• (OPT) Compose bounded NDJSON framing with authenticated spans and structured record errors

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

• (OPT) Extend exact factored cleanup replay to authenticated lexical joins

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