linguistic-seed: first term — truth (Tarski-grounded; root of prereq DAG)#202

Merged

AceHack merged 2 commits intomainfrom

frontier-readiness/linguistic-seed-first-term-truth

Apr 25, 2026

Commits on Apr 25, 2026

linguistic-seed: first term — truth (Tarski-grounded; root of prereq DAG)

AceHack
and
claude
committed
drain(#202 P1×3 + P1+P2×3 Codex): Lean T-schema correction + frontmatter enum + hyphenation fixes
AceHack
committed