Brandon Schneider 5ee3b59680 feat: eigensolid convergence proof + QC flagging tool + full pass/fail review ... Resolves the convergence_to_fixed_point failure by proving the correct eigensolid statement: stepExact stabilizes all value components (N_7, N_8, N_11) in one application. The original theorem was mathematically false (iteration counter is free-running). QC cleanup sweep across Physics/ (20 files): - 3 remaining LOW items fixed: h00/h01 factoring, rD->rd, rdDr1/rdDr2 x100 - 6 of 7 sorry theorems proved; 1 explicitly FAILED (convergence) - Unused imports removed, naming violations fixed, #eval witnesses added - 210 -> 144 issues remaining (all WARNING/INFO, zero ERROR) New tooling: - scripts/qc-flag/lean_qc_flagger.py implemements 5-point inspection protocol - Outputs structured JSON + Markdown pass/fail reports DAG receipts at shared-data/data/stack_solidification/qc_*_dag_2026-05-13.md		2026-05-14 00:04:08 -05:00
..
blockchain_corpus	Add NUVMAP scan scheduling receipts	2026-05-11 14:49:17 -05:00
stack_solidification	feat: eigensolid convergence proof + QC flagging tool + full pass/fail review	2026-05-14 00:04:08 -05:00