Feat/ephapax toolchain closure#311

Closed

hyperpolymath wants to merge 11 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

Commits on Jun 16, 2026

fix(wasm): lower saturated multi-arg user-fn calls as flat direct Call

hyperpolymath
and
claude
committed
feat(wasm): wasm-tools validate gate + fix Justfile // parse break

hyperpolymath
and
claude
committed
test(typed-wasm): cross-seam ownership-codec conformance

hyperpolymath
and
claude
committed
feat(cli): always-on structural wasm self-validation + CI gate

hyperpolymath
and
claude
committed
docs(formal): escalate the §4.8 leaf-rule region-liveness decision

hyperpolymath
and
claude
committed
feat(query): demand-driven incremental query engine (reactive compiler foundation)

hyperpolymath
and
claude
committed
feat(meta): metainterpreter + metacompiler foundation (ephapax-meta)

hyperpolymath
and
claude
committed
feat(coproc): thin typed FFI dispatch boundary to Axiom.jl's coprocessor suite

hyperpolymath
and
claude
committed
docs(formal): §4.8 path (3) proven insufficient — effect typing is the real fork

hyperpolymath
and
claude
committed
fix(coproc): decouple from Axiom.jl — ephapax owns its own seam; add build target + honest wiring status

hyperpolymath
and
claude
committed