maintenance: proven affinescript WASM constructor-link fix (svalinn migration unblock)#105

Merged

hyperpolymath merged 5 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