Premises · PRM-009
Basepoint / tensor equivalence
What this surface is. A register of the premises this programme has DECLARED — postulates, adopted premises, measured inputs, conventions, loaded correspondences, fences and open requirements. Every statement is quoted from its source — verbatim from the sealed text, or transcribed by the house from the TeX where the extraction was damaged, as each page's statement-quality row says — and carries that source's locator. No premise on this page has been adjudicated by the house, and none is defended here. A premise is what an argument RESTS ON, not what it establishes.
As printed
Tensor equivalence is not intrinsic basepoint selection;
Register corrected (R81, D8, S327j). The PI ruled a correction to this row. Until then it read: kind
ADOPTED_PREMISE; statement “This section folds adjudicated carrier and observation-map results into the suite; it does not promote a public observable. "Closed" below means closed at the explicitly named carrier, transported-point, or record-quotient tier. Tensor equivalence is not intrinsic basepoint selection;”. Nothing is overwritten (R29): the earlier row is kept in the register’s history.Provenance
| kind | FENCE — a fence: a printed limit on what the suite claims (kind added at R81) |
|---|---|
| source | the sealed suite, PDF p.332 (search that part for “===== PDF PAGE 332 /”) · the sealed PDF |
| basis | Rev33.1_S369 · PDF sha b64ddcd9e16a6dcd… |
| statement quality | EXTRACTION_VERBATIM — the sealed PDF’s text extraction at the locator, cut to the premise by the house (R81) |
| review state | DRAFTED — not adjudicated by the house |
| first seen | S312 · 2026-09-06T20:08Z |
Claims declared to rest on this premise (0)
No claim in the corpus declares that it rests on this premise. That is a statement about what has been DECLARED, not about what is true.
Claims reaching it transitively (0)
none
Premise note
Where the suite invokes this premise, in what role, and what rests on it: the premise note (drafted by the ChatGPT drafting lane, verified by the house, R76/R78/R81).
Generated from library_v2.jsonl + PRM_REGISTER_S312.jsonl. Declared volatile fields (R36): BUILD_STAMP.
BUILD_STAMP S371a · 2026-09-26 22:53Z · cut 9dcc6ce9a8ee3e02