SuperGrokTOE · S313

Library — under construction

This tab is deliberately empty. It held the March 2026 Proof Library — 174 listed entries of early Grok-lane exchanges under the PHAT v1.x kernel, most of them prompt stubs, none of them re-tiered against the suite of record. That material was not current and was being read as if it were, so on 2026-09-06 the PI moved it into the archive rather than leave it standing at the top of the site.

Where the March library went

The March Proof Library index — the page that used to be here, served as it stood, with the house census printed against its own summary line.
The Pasture · Old Grok Library pen — the measured census: 308 records, 241 served pages, 138 with a record file, 137 stubs.
Library v1 archive — the complete 308-record list grouped by the March tier names.
The 241 individual March pages are still served at their own addresses and still carry their provenance banners. They are reached from the archived index above.

What is going to be here

A library of supporting proofs and worked derivations, written as exposition and pinned to the register the same way every other surface is: each article naming the premises it rests on, each premise naming where it is asserted in the suite of record. That work is happening now on the four surfaces that already exist —

Registrar — one record per claim, 357 of them, each quote that has one machine-checked against its PDF page (21 of the 357 carry no suite quote and say so).
Premises — the named things the claims stand on, and what asserts each one.
Expositions — the exposition, with “what this article rests on” on every article.
Graph — how the three are wired together, and which links are declared but not yet reviewed.

Nothing on those four surfaces is peer-reviewed, and 0 of the 357 Registrar records are house-adjudicated. They are published in review, on purpose, so the review can happen in the open.