Premises · PRM-021
Power assignment n = 4, 5
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
Level 3 - THE POWER ASSIGNMENT: n = 2,3,4,5 for ν,l,d,u. n=3 derived (cubic degree of Freudenthal det). n=2 plausible (seesaw). n=4,5 from associator counting (structural but hand-wavy).
Register corrected (R81, D18, S327j). The PI ruled a correction to this row’s status fields; its name, kind and statement are unchanged. Nothing is overwritten (R29): the earlier row is kept in the register’s history.
Provenance
| kind | POSTULATE |
|---|---|
| located status | HOUSE_FILE_ONLY — registered from a house file; not located in the suite (R81) |
| source | a house file, not the suite — L-AssumptionStack_five_level_hierarchy.mdsha256 1a11009b68531c7b2de1d2408ee8259b |
| basis | Rev33.1_S369 · PDF sha b64ddcd9e16a6dcd… |
| statement quality | AUTO_CLEAN |
| 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