Repository navigation

Toolchain closure: wasm-validate gate, codegen fix, reactive/meta/coproc foundations, proof escalation - #296

Merged

hyperpolymath merged 9 commits into

mainfrom

feat/ephapax-toolchain-closure

Jun 16, 2026

Merged

Toolchain closure: wasm-validate gate, codegen fix, reactive/meta/coproc foundations, proof escalation#296
hyperpolymath merged 9 commits into
mainfrom
feat/ephapax-toolchain-closure

Commits on Jun 15, 2026
- fix(build): // -> # comment delimiter in 21 Cargo.toml headers (valid TOML)
  
  hyperpolymath
  and
  claude
  committed
  a0ec058
Commits on Jun 16, 2026
- fix(wasm): lower saturated multi-arg user-fn calls as flat direct Call
  
  hyperpolymath
  and
  claude
  committed
  a4e5753
- feat(wasm): wasm-tools validate gate + fix Justfile // parse break
  
  hyperpolymath
  and
  claude
  committed
  ff23cac
- test(typed-wasm): cross-seam ownership-codec conformance
  
  hyperpolymath
  and
  claude
  committed
  d1926be
- feat(cli): always-on structural wasm self-validation + CI gate
  
  hyperpolymath
  and
  claude
  committed
  4545799
- docs(formal): escalate the §4.8 leaf-rule region-liveness decision
  
  hyperpolymath
  and
  claude
  committed
  b371ccb
- feat(query): demand-driven incremental query engine (reactive compiler foundation)
  
  hyperpolymath
  and
  claude
  committed
  3684897
- feat(meta): metainterpreter + metacompiler foundation (ephapax-meta)
  
  hyperpolymath
  and
  claude
  committed
  572a134
- feat(coproc): thin typed FFI dispatch boundary to Axiom.jl's coprocessor suite
  
  hyperpolymath
  and
  claude
  committed
  0d39e8e