Design: Error-Lang as a Trope IR front end (trope-particularity integration)#25

Merged

hyperpolymath merged 3 commits into

mainfrom

claude/youthful-fermat-90bhhu

Jun 23, 2026

Commits on Jun 23, 2026

error-lang: replace fabricated ABI "proofs" with machine-checked ones

hyperpolymath
and
claude
committed
docs: design Error-Lang as a Trope IR front end (trope-particularity integration)

hyperpolymath
and
claude
committed
docs: qualify external repo paths to clear structural_drift (SD022)

hyperpolymath
and
claude
committed