Premises · PRM-006
AX6_pol — polarisation postulate (weak-angle orbit selector)
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
AX6pol is the polarisation postulate Λ⋆ = 3P/Q(Y ) = 6ϕ − 1 on the exact-colour I4 = ϕ3 orbit
Register corrected (R81, D5, S327j). The PI ruled a correction to this row. Until then it read: name AX6pol; statement “Three independent negative verdicts (A617, A620, A621) confirm that AX6 is a genuine independent postulate, not a consequence of the present CW framework.”. The Det² object that shared the label is registered separately as PRM-026 (historical). Nothing is overwritten (R29): the earlier row is kept in the register’s history.
Provenance
| kind | POSTULATE |
|---|---|
| source | the sealed suite, PDF p.77 (search that part for “===== PDF PAGE 77 /”) · 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 (1)
| record | title | why the house declared it |
|---|---|---|
| LIB2-200 | The AX6 polarization postulate gives its readout without sel | Proposed by the drafting lane (A1634): The ledger places the exact weak-angle readout after the independently postulated Lambda-star value on the exact-colour orbit. The record carries precisely this conditional identity, not a derivation of the polarization selector. — House reading: R82-c (PI, S327): VERIFIED after R81-D5 made PRM-006 AX6_pol alone. The record states "its registered readout 3/(4 + Λ*) = ϕ⁻³ is an identity once that postulate is assumed", and its hypotheses are "Adopt AX6pol on the exact-colour I4 = ϕ3 orbit" and "Do not substitute the distinct retired Det2 selector" — the result holds only given AX6_pol. Earlier REFUSED at A1634 for the register conflation that R81 repaired. [R129 D-4, S340: LOAD_BEARING; "(R78-a)" dropped — that is the about-rule.] |
Claims reaching it transitively (1)
LIB2-200
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