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
9851215

Commits on Jun 20, 2026

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

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

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

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

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

hyperpolymath
and
claude
authored
48ef42f

Commits on Jun 21, 2026

ci: actions/checkout v7.0.0 with consistent SHA-pin comments (supersedes #605) (#610)

authored
57040fc
docs: author the proof-needs inventory (P-/F-/K- obligation series) (#609)

authored
eae71fd
fix(js-codegen): don't re-declare preamble Option/Result constructors

claude
authored and
hyperpolymath
committed
a3e0661
fix(codegen): support nested patterns inside tuple patterns (WASM)

claude
authored and
hyperpolymath
committed
0f8e6c5
fix(codegen): uniform heap representation for variants — fixes mixed-rep match

claude
authored and
hyperpolymath
committed
2aa00ff
Merge origin/main into feat/solo-core-metatheory-proofs
claude
committed
4cbcf87