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

• [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) 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

• Theorem provers etc (DO NOT DO YET)

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

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

• (OPT) Reuse certified first-head PLAN slices instead of rebuilding the right cursor view

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

• (OPT) Replay identity-certified shared PLAN prefixes without repeated comparison payloads

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

• (OPT) Prove absent auxiliary carriers for authenticated ordinary call roots

  wavect/semaprax#898 · Filter by author wsdt opened on Oct 18, 2026
  1

• [OPT] Add explicit decode-only owned request codec profiles before ordinary admission

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

• [OPT] Reuse one ordinarily checked codec candidate after private starter regeneration

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

• (OPT) Retain ordinary replay error and output receivers across complete hot calls

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

• (OPT) Keep singleton canonical label successors inline through Exit frames

  wavect/semaprax#889 · Filter by author wsdt opened on Oct 17, 2026
  1

• (OPT) Fuse paired PLAN observation consumption after pair-local retention

  wavect/semaprax#888 · Filter by author wsdt opened on Oct 17, 2026

• (OPT) Retain pair-local PLAN path views to remove repeated comparison indexing

  wavect/semaprax#886 · Filter by author wsdt opened on Oct 17, 2026

• (OPT) Retain expression-fact lookup scratch across authenticated immutable queries

  wavect/semaprax#885 · Filter by author wsdt opened on Oct 17, 2026