Merge main into feat/solo-core-metatheory-proofs (un-block #614)#615

Merged

hyperpolymath merged 12 commits into

feat/solo-core-metatheory-proofsfrom

claude/inspiring-newton-dg5wov

Jun 21, 2026

Commits on Jun 18, 2026

docs(faces): record established faces and same-cube grounding
hyperpolymath
authored

Commits on Jun 20, 2026

fix(codegen): #138 — link imported enum constructors into codegen (#602)

hyperpolymath
and
claude
authored
ci: make CI standalone (drop estate reusable workflows + third-party setup action) (#603)

hyperpolymath
and
claude
authored
ci: fix standalone-CI fallout — SHA-pin actions, de-trip secret scanner (#604)

hyperpolymath
and
claude
authored
fix(codegen-deno): don't re-declare preamble Option/Result constructors (#606)

hyperpolymath
and
claude
authored
chore: refresh stale CI notes + sync drifted Deno fixtures (#608)

hyperpolymath
and
claude
authored

Commits on Jun 21, 2026