Premises · PRM-014
Finite regulator
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
A normalized reflection-positive state exists at the finite Cartan regulator tier: … The OS Hilbert space and a positive transfer operator exist at finite regulator.
Register corrected (R81, D11, S327j). The PI ruled a correction to this row. Until then it read: statement “The 0.0331562% row is dead twice over with located cause; 0.2744490308% stands as a legal miss. • The geometry spine is separated and closed (Appendix T): "W " was two operators (Wsig preserves the KK grading, Sshell reverses it); there is no third cascade and no A4 completion; one shared radius; the transition cocycle is derived at zero continuous parameters; the two signature sheets are not glued at the F4 tier (Sylvester obstruction) but are two real structures in one complexified Albert fibre. • A four-dimensional Cartan carrier closes inside the Albert signature sector (so(5), an S 4 Cartan geometry), with metric and orientation trace-derived and triality acting as the imaginary unit; a MacDowell-Mansouri parent action for that sector follows as a candidate, explicitly not the full particle/gauge/mass action. • A reflection-positive state exists at finite regulator, together with a positive nonlinear simplicity measure - so gravity-measure existence is closed at that tier, while the pure MM/EH weight is proved not to be a positive coercive covariance.”. Nothing is overwritten (R29): the earlier row is kept in the register’s history.
Provenance
| kind | CONVENTION |
|---|---|
| source | the sealed suite, PDF p.311 (search that part for “===== PDF PAGE 311 /”) · 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 (2)
| record | title | why the house declared it |
|---|---|---|
| LIB2-170 | A reflection-positive Cartan state exists at finite regulato | Proposed by the drafting lane (A1634): The state, OS Hilbert space and positive transfer operator are stated only at finite Cartan regulator. The record carries that regulated existence theorem, not a continuum-limit statement. — House reading: House read App T:365–370: the state, OS Hilbert space and transfer operator are asserted only at the finite Cartan regulator. The result is conditional on the regulator convention. |
| LIB2-192 | A soft positive simplicity weight exists at finite regulator | Proposed by the drafting lane (A1634): The measure existence statement is explicitly at finite regulator with the named fixed-norm/coercive construction. The record is that scoped measure theorem. — House reading: House read App T:515–520: the simplicity measure is asserted at finite regulator ("closed at that tier"). The result is conditional on the regulator convention. |
Claims reaching it transitively (2)
LIB2-170, LIB2-192
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