TauLib Projection Status
Counts and boundaries for the current Corpus-owned TauLib projection.
Projection status
| Metric | Current value |
|---|---|
| Projection version | v3.0 |
| Modules | 512 |
| Lean files | 512 |
| Lean source lines | 142406 |
| Declarations / evals | 14601 |
| Registry links | 3323 |
| Registry items with TauLib links | 3091 |
| Sorry assignments detected | 0 |
Projection versioning
The TauLib projection version (currently v3.0) tracks the imported Lean snapshot, not the surrounding Corpus narrative. Site-wide construction-spine versions (e.g. v4) cover the public construction narrative and are independent of TauLib projection numbering. A bump to TauLib v4.0 would signal a new imported Lean snapshot, not a change of construction-spine prose.
Boundary
This page reports the Corpus projection status. It does not by itself establish semantic adequacy, empirical truth, bridge sufficiency, or external acceptance. Those questions are routed through Verify.
Source pin
The projection is generated from the imported TauLib source snapshot in corpus/taulib-sources. Use the Release Manifest for public release reconciliation and review context.
Save or share this page for inspection
Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.