Truth labels
| Label | Meaning |
|---|---|
| PROVED | Algebraic proof or standard logical consequence supplied. |
| FINITE_PROVED | Finite computation or finite artifact verified within its stated bound. |
| CANDIDATE | Concrete lemma target with a statement and proof route but no complete proof yet. |
| BLOCKED | Unsupported, over-broad, false, or missing required bridge theorem. |
Master rule
finite receipt + bridge theorem => possible global statement finite receipt alone ≠ infinite theorem