Issues

• (OPT) Reuse or explicitly fund ordinary schema selector backing

  wavect/semaprax#957 · Filter by author wsdt opened on Oct 27, 2026

• (OPT) Encode owned CFG module-path keys through a versioned prefix envelope

  wavect/semaprax#956 · Filter by author wsdt opened on Oct 27, 2026

• (OPT) Renew only surviving lexical cursor payment transports

  wavect/semaprax#955 · Filter by author wsdt opened on Oct 27, 2026

• (OPT) Eliminate repeated query-proof entry transports without weakening teardown

  wavect/semaprax#952 · Filter by author wsdt opened on Oct 27, 2026

• (OPT) Reuse invocation packet reconstruction after exact fallback reacquisition

  wavect/semaprax#951 · Filter by author wsdt opened on Oct 27, 2026

• (OPT) Lexically own flat-oracle reservation wrapper transports

  wavect/semaprax#950 · Filter by author wsdt opened on Oct 27, 2026

• (OPT) Avoid full factored-selector transports on cold path thresholds

  wavect/semaprax#949 · Filter by author wsdt opened on Oct 27, 2026

• (OPT) Preserve reservation locations through paid workspace failure reports

  wavect/semaprax#947 · Filter by author wsdt opened on Oct 26, 2026

• (OPT) Store call-fact payloads sparsely while preserving the complete expression identity arena

  wavect/semaprax#946 · Filter by author wsdt opened on Oct 26, 2026
  1

• (OPT) Skip unused committed-call tree work on lexical cleanup plans

  wavect/semaprax#945 · Filter by author wsdt opened on Oct 26, 2026

• (OPT) Avoid building unused expected-call directories for lexical cleanup plans

  wavect/semaprax#944 · Filter by author wsdt opened on Oct 26, 2026

• (OPT) Reuse stopped-prefix backing for independently enumerated trailing-active paths

  wavect/semaprax#943 · Filter by author wsdt opened on Oct 26, 2026

• (OPT) Remove repeated invocation receiving and Result transports from cleanup replay

  wavect/semaprax#941 · Filter by author wsdt opened on Oct 26, 2026
  1

• (OPT) Preserve merged projection joins before historical source normalization

  wavect/semaprax#940 · Filter by author wsdt opened on Oct 26, 2026

• Theorem provers etc (DO NOT DO YET)

  wavect/semaprax#938 · Filter by author wsdt opened on Oct 25, 2026

• (OPT) Stream distinct scope prefixes without an owned candidate directory

  wavect/semaprax#937 · Filter by author wsdt opened on Oct 25, 2026
  1

• (OPT) Skip secondary byte-traversal walk setup for authenticated scalar roots

  wavect/semaprax#935 · Filter by author wsdt opened on Oct 25, 2026
  1

• (OPT) Stream independently rebuilt canonical loan proofs without redundant output

  wavect/semaprax#932 · Filter by author wsdt opened on Oct 25, 2026

• (OPT) Share repeated source-inverse strings to unblock combined compiler batches

  wavect/semaprax#931 · Filter by author wsdt opened on Oct 25, 2026

• (OPT) Remove repeated work from complete FINAL source-binding verification

  wavect/semaprax#923 · Filter by author wsdt opened on Oct 23, 2026
  1

• (OPT) Authenticate local callee shared-ID forecast separately from auxiliary carriers

  wavect/semaprax#916 · Filter by author wsdt opened on Oct 22, 2026

• (OPT) Skip source-move traversal setup for authenticated inert expression roots

  wavect/semaprax#913 · Filter by author wsdt opened on Oct 22, 2026
  1

• (OPT) Use exact bounded-divisor remainder arithmetic in decimal application helpers

  wavect/semaprax#911 · Filter by author wsdt opened on Oct 22, 2026
  1

• (OPT) Compact HIR validation frames with borrowed match-result witnesses

  wavect/semaprax#904 · Filter by author wsdt opened on Oct 18, 2026
  2

• (OPT) Separate transient loan-reachability scratch from retained workspace forecasts

  wavect/semaprax#903 · Filter by author wsdt opened on Oct 18, 2026
  8