fix(svalinn): port gateway modules off pre-#138 compiler + re-pin (4/11 compiling)#106

Merged

hyperpolymath merged 6 commits into

mainfrom

claude/elegant-ramanujan-2uoae

Jun 21, 2026

Commits on Jun 5, 2026

proof(cerro-torre): fix SafePath false-theorem type (normalizedIsSafe prerequisite)
claude
committed
proof(cerro-torre): discharge normalizedIsSafe — cerro-torre's last postulate
claude
committed

Commits on Jun 13, 2026

docs(policy): encode split-roles language policy + fix stale status claims
claude
committed

Commits on Jun 21, 2026

maintenance(svalinn-migration): persist proven affinescript WASM constructor-link fix

hyperpolymath
and
claude
committed
fix(svalinn): port gateway modules off the pre-#138 seeded-builtin compiler + re-pin

hyperpolymath
and
claude
committed
Merge remote-tracking branch 'origin/main' into claude/elegant-ramanujan-2uoae
hyperpolymath
committed