Resources

The tabs, in one place

Every tab in the top bar, one line each — so this page can be about everything that is not a tab. Counts on this page are measured at build time from the files they describe, never typed.

• Fellowship — What the programme is: one algebra, an explicit input ledger, AI review lanes, and a kernel anyone can rerun.
• Scorecard — 24 rows against PDG 2026 / NuFIT 6.1, each carrying the tier of its actual derivation chain — including the falsified row. No row is cited as zero-parameter.
• Registrar — Claims & Evidence Registrar: 357 records (202 claims, 30 comparator rows, 68 retired statements, 19 open problems, 38 dispositions), every label literal as printed in the sealed suite, every quote that has one machine-checked against its PDF page (21 of 357 records carry no suite quote and say so). IN REVIEW — 0 of 357 are house-adjudicated, so nothing here is citable yet.
• Premises — 33 named premises the claims stand on, each with the assertion that states it and where the suite asserts it. Declared by the house, not yet reviewed by a second party.
• Expositions — 13 house-verified articles: each re-executed by the house with its complete script, its actual stdout and its input hashes, and each printing what it rests on. Not peer-reviewed, not cross-lane reviewed.
• Graph — How the three surfaces are wired: from peer-reviewed mathematics and data, through the algebra and the declared inputs, to the claims and their review state. 13 of 33 premises are currently reached by nothing.
• Library — Under construction. The March 2026 Proof Library that stood here is archived in the Pasture; what replaces it is being built on the four surfaces above.
• Papers — The sealed suite of record (Rev33.1_S369, 433 pp) and the Track-2 polished paper series, with the source ledger and the sha-pinned text extraction.
• Coalition — Who the lanes are, how a dispatch round works, and what the house does with what comes back.
• Thinkers — The people and the prior work the programme reads, credited by name.

Track 2 claim manifest (raw)

The lane’s manifest as shipped, JSON and CSV — claim id, wording, status, attachment, evidence state, caution tags, source and release location. Shipped unedited, and zero of its claims carry an author-acknowledged erratum: the one on the v1.3 wording of F-RESP-PREM-01 is discharged by the v1.5 reissue, and the Track 1 / Track 2 join says so beside the claim.

Reproducibility guide

Step-by-step instructions for reproducing any result. Not written yet — said plainly rather than as “coming soon”. The kernel and the cut-and-paste bundles above are what exists today.