Skip to content

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

Merged
AceHack merged 2 commits into
mainfrom
frontier-readiness/linguistic-seed-first-term-truth
Apr 25, 2026
Merged

linguistic-seed: first term — truth (Tarski-grounded; root of prereq DAG)#202
AceHack merged 2 commits into
mainfrom
frontier-readiness/linguistic-seed-first-term-truth

drain(#202 P1×3 + P1+P2×3 Codex): Lean T-schema correction + frontmat…

904729d
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Apr 25, 2026 in 2s

1 configuration not found

Warning: Code scanning cannot determine the alerts introduced by this pull request, because 1 configuration present on refs/heads/main was not found:

Actions workflow (codeql.yml)

  • ❓  /language:java-kotlin

View all branch alerts.