Issues

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

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

• (OPT) Add bounded typed Vec construction with authenticated incremental staging

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

• (OPT) Borrow UTF-8 text directly from owned String vectors without wrappers or clones

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

• (OPT) Compose normalized owned byte input into existing flat codec outcomes

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

• (OPT) Admit discarded scalar expression statements without synthetic source names

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

• (OPT) Infer private nominal layout closure for authenticated imports

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

• (OPT) Remove value-proportional byte probes from JSON and UTF8 source libraries

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

• (OPT) Evaluate scalar match proof continuations without recursive stack frames

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

• (OPT) Preserve inner imported type identity after fused record-vector byte views

  wavect/semaprax#751 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Traverse borrowed replay blocks without rescanning statement prefixes

  wavect/semaprax#750 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Precharge replay vector growth without repeated exact-capacity replacements

  wavect/semaprax#749 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Cut duplicate-identifier codec work with collision-safe decoded fingerprints

  wavect/semaprax#748 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Specify authenticated allocation fusion for general bulk owned-record construction

  wavect/semaprax#747 · Filter by author wsdt opened on Oct 10, 2026
  1

• (OPT) Partition owned byte backing into disjoint leases for bulk record construction

  wavect/semaprax#746 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Replay static-text and lexical renewal compositions in retained Project graphs

  wavect/semaprax#745 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Authenticate outer owned-record Vec renewal during consuming traversal

  wavect/semaprax#744 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Authenticate and settle fresh contract-local temporary owners

  wavect/semaprax#743 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Authenticate postcondition borrows of the exact provisional result

  wavect/semaprax#742 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Authenticate finite per-iteration Bytes allocation without widening cumulative resource limits

  wavect/semaprax#741 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Admit authenticated allocation-free UTF-8 literals for borrowed text and byte views

  wavect/semaprax#740 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Replace handwritten CLI path adapters with bounded invocation-selected file inputs

  wavect/semaprax#739 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Reuse authenticated Bytes-helper proof and site indexes per module

  wavect/semaprax#738 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Render derived JSON through a pre-sized bounded writer

  wavect/semaprax#737 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Derive paired application codecs as one authenticated checked candidate

  wavect/semaprax#736 · Filter by author wsdt opened on Oct 10, 2026

• (OPT) Sort record vectors by explicit stable field keys without representation copies

  wavect/semaprax#735 · Filter by author wsdt opened on Oct 10, 2026