proof(coq): #133 rescue rebase + discharge eval_deterministic#24

Merged

hyperpolymath merged 6 commits into

mainfrom

rebase/133-rescue-onto-main

May 20, 2026

Commits on May 20, 2026

proofs: repair Coq keystone CNO.v, add self-contained Complex, status ledger

hyperpolymath
and
claude
committed
proofs(quantum): WIP bit-rot repair (scope, omega->lia, axiom ordering)

hyperpolymath
and
claude
committed
docs(proof-status): add RESUME HERE brief for the 7 dependent Coq files

hyperpolymath
and
claude
committed
wip(proof-debt): rescue uncommitted #133 Coq/Lean CNO work [UNVERIFIED]
hyperpolymath
committed
proof(coq): discharge eval_deterministic from step_deterministic_strong (#133)

hyperpolymath
and
claude
committed
docs(proof-status): reconcile post-T0 axiom audit ledger + machine state (#133)

hyperpolymath
and
claude
committed