Issues

• Explore candidate-spec synthesis with pluggable reasoning engines (DO NOT DO YET)

  wavect/semaprax#973 · Filter by author Shadows-In-The-Space opened on Oct 28, 2026

• examples/README.md: six documented run commands fail with SPX-F102

  wavect/semaprax#969 · Filter by author devdotbo opened on Oct 28, 2026

• Web build follows a symlinked output parent that native builds reject

  wavect/semaprax#968 · Filter by author devdotbo opened on Oct 28, 2026

• Resource rename fails when a function-typed parameter precedes a resource parameter

  wavect/semaprax#967 · Filter by author devdotbo opened on Oct 28, 2026

• Web build without --export leaves its output directory behind on failure, so the retry fails with SPX-I307

  wavect/semaprax#966 · Filter by author devdotbo opened on Oct 28, 2026

• Semantic patch v1 rename skips calls inside class methods and writes a file that fails check

  wavect/semaprax#965 · Filter by author devdotbo opened on Oct 28, 2026

• Semantic patch v2 rename-member misses field uses in assignment targets and match guards

  wavect/semaprax#964 · Filter by author devdotbo opened on Oct 28, 2026

• Semantic patch v2: SPX-G108 on while loops, method calls, i32 literals and match patterns

  wavect/semaprax#963 · Filter by author devdotbo opened on Oct 28, 2026

• Debug CLI rejects bundled std/pattern package with SPX-G171

  wavect/semaprax#962 · Filter by author devdotbo opened on Oct 28, 2026

• SPX-I301 omits the rejected output parent path and symlink recovery guidance

  wavect/semaprax#961 · Filter by author devdotbo opened on Oct 28, 2026

• Web build reports success but generated loader lacks required Vec, Box and iterator imports

  wavect/semaprax#960 · Filter by author devdotbo opened on Oct 28, 2026

• v1 semantic rename captures a local function binding and changes the result

  wavect/semaprax#959 · Filter by author devdotbo opened on Oct 28, 2026

• [DO NOT DO YET] Evaluate World ID for human verification and agent authorization

  wavect/semaprax#958 · Filter by author Shadows-In-The-Space opened on Oct 28, 2026
  1

• (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
  2

  

• (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