A sorry is a work order, not a result. Green means proved and do-not-retest. Gold means survived runtime but owes rerun after the Master Equation form change. Red means not started.
| Theorem | Status | Note |
|---|---|---|
| product_collapse | PROVED | Structural. Do not retest. |
| zero_preserving_wrapper | PROVED | Structural. Do not retest. |
| grace_reset | PROVED | Structural. Do not retest. |
| LawIso_burden | PROVED | Structural. Do not retest. |
| fruit_gate_bookkeeping | PROVED | Structural. Do not retest. |
| typed_canon_metadata | PROVED | Structural. Do not retest. |
| cross_is_unique_solution | SURVIVED | Rerun owed after form change. |
| nonzero_coupling_to_infinite_source | SURVIVED | Rerun owed after form change. |
| closed_moral_system_decays | SURVIVED | Rerun owed after form change. |
PARTIAL See Blue Pages Sheet 9 and 00T · Tools for full details.