Premises · PRM-013
DET-7 structural postulate
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
DET-7 enters this appendix as a structural postulate, not a derived necessity;
Register note (R78-d). Status words differ in print: "structural postulate" (App E) and "named structural input, not promoted to an axiom" (App X). Recorded for the PI; the PI ruled no change to the row (R81).
Provenance
| kind | POSTULATE |
|---|---|
| source | the sealed suite, PDF p.171 (search that part for “===== PDF PAGE 171 /”) · the sealed PDF |
| 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 (5)
| record | title | why the house declared it |
|---|---|---|
| LIB2-019 | Route A selects the positive golden spectrum under its state | DET-7 enters Route A as a HYPOTHESIS of the theorem (H2), not as a postulate the programme adopts about nature. Same assertion as LIB2-018 uses, different role. |
| LIB2-020 | Route B selects the positive golden-unit triple under DET-7 | DET-7 enters Route B as a hypothesis too. Both routes share (H0) unit determinant and DET-7 in the positive diagonal trace-form setting (App E Remark 4: "Each, together with (H0) and DET-7, removes all continuous freedom"); Route A adds inversion symmetry, Route B the golden-field restriction. [R129 D-5, S340: "the ONLY hypothesis the two routes share" corrected per A1704 F2 (house-checked, Rev32.8 part2:3239)] |
| LIB2-051 | The registered half-weight generator has fixed octonionic co | Proposed by the drafting lane (A1634): The coefficient ledger explicitly gives DET-7, Frobenius norm and Peirce orthogonality as sources of the exact C1 weight carried by this record. — House reading: House read App X:65: "Exact c=1/2 from DET-7, Frobenius norm, and Peirce orthogonality". LIB2-051 is exactly that coefficient; DET-7 is one of its printed inputs. [R129 D-5, S340: role adopted_physical -> hypothetical_assumption (A1704 F1b): the record states an internal coefficient theorem that uses DET-7 as an input; it does not assert DET-7 about nature. Generator normalization and Peirce orthogonality remain inputs] |
| LIB2-066 | The Vcb formula retains its loaded physical attachment | Proposed by the drafting lane (A1634): The retained formula’s seven is explicitly attributed to DET-7. Its atmospheric readout and integer nine remain separately loaded; this edge does not derive either. — House reading: House read App X:73: the 7 in |V_cb| = 1/(9√7) is printed as DET-7's "7 unification". The retained formula uses the premise; the edge does not derive the loaded attachment or the unforced 9. |
| LIB2-356 | The internal mismatch identity is distinct from atmospheric | Its own statement: 'Under DET-7 and N(J) = 1, the internal Jordan-geometry mismatch identity is ...'. [R129 D-5, S340: role adopted_physical -> hypothetical_assumption (A1704 F1b): DET-7 is an internal hypothesis of the identity. 7/16 follows from N(J)=1, DET-7 and the normalized trace-form angle; the stronger A = B = 4 does not (A1704 F7, house float check)] |
Declarations retired (1)
| record | ruling | why it was retired |
|---|---|---|
| LIB2-018 | R78-a | The record states the status of DET-7 (it is ABOUT the premise); its result does not assume it. R78-a: shown as related on the premise note, not as a dependency. |
The retired edge is kept in full in the record’s version history.
Claims reaching it transitively (8)
LIB2-002, LIB2-019, LIB2-020, LIB2-051, LIB2-065, LIB2-066, LIB2-067, LIB2-356
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