proofs: db-theory carriers (#174, #176) + Veblen least-fixed-point rung#260

Merged

hyperpolymath merged 3 commits into

mainfrom

claude/modest-hawking-3fd6it

Jun 21, 2026

Commits on Jun 21, 2026

proof(db): EchoTransaction — rollback discards writes (no-section); closes #174
claude
committed
proof(db): EchoSelectiveProjection — σ–π commutativity (column-safe); closes #176
claude
committed
proof(ordinal): nextFix is the LEAST pre-fixed point (BH climb rung 7); reverse-Γ₀ reduced
claude
committed