RecogSpec
RecogSpec modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
RecogSpec.Anchors |
0 | 1 | 0 | 23 | - |
RecogSpec.Bands |
1 | 16 | 6 | 173 | - |
RecogSpec.ClosureShim |
1 | 0 | 0 | 19 | - |
RecogSpec.Core |
0 | 17 | 3 | 146 | - |
RecogSpec.InevitabilityScaffold |
2 | 0 | 0 | 34 | - |
RecogSpec.ObservablePayloads |
5 | 0 | 2 | 111 | - |
RecogSpec.PhiSelectionCore |
0 | 0 | 1 | 12 | - |
RecogSpec.RSLedger |
8 | 6 | 5 | 221 | - |
RecogSpec.Spec |
8 | 21 | 22 | 358 | - |