Repository navigation

Equational proof kernel, loon prove, Div effect, and the self-verification ladder (rungs 0-3) - #97

Merged

ecto merged 4 commits into

mainfrom

claude/formal-verification-loon-123311

Oct 28, 2026

Merged

Equational proof kernel, loon prove, Div effect, and the self-verification ladder (rungs 0-3)#97
ecto merged 4 commits into
mainfrom
claude/formal-verification-loon-123311

Commits on Oct 28, 2026
- feat(verify): equational proof kernel, loon prove, and Div effect
  
  ecto
  and
  claude
  committed
  433fc44
- style: cargo fmt
  
  ecto
  and
  claude
  committed
  4f83f8c
- feat(verify): conditional laws, mutual induction, and the meta-model corpus
  
  ecto
  and
  claude
  committed
  d3d56f4
- feat(verify): rung 3 — match soundness and the evaluator model
  
  ecto
  and
  claude
  committed
  bf75442