docs(svalinn): record migration state + blockers in the apparatus (STATE.a2ml + runbook)#109

Merged

hyperpolymath merged 13 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
ci(governance): refresh stale standards reusable pins (5a93d9d -> d72fe5a)

hyperpolymath
and
claude
committed
Merge remote-tracking branch 'origin/main' into claude/elegant-ramanujan-2uoae
hyperpolymath
committed
chore(spdx): add MPL-2.0 SPDX headers to 303 own-source files

hyperpolymath
and
claude
committed
Merge remote-tracking branch 'origin/main' into claude/elegant-ramanujan-2uoae
hyperpolymath
committed
ci(governance): re-bump standards reusable pins d72fe5a -> 4ddc926 (current HEAD)

hyperpolymath
and
claude
committed
docs(svalinn): record AffineScript migration state + blockers in the apparatus

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