Premises · PRM-032
Dirac-neutrino extension (the Dirac-ν benchmark assumption)
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
the operative benchmark assumes Dirac neutrinos — an explicit framework assumption, not a consequence of a derived symmetry forbidding M ν c ν c (A709).
Register entry (R84, R84-h, S328). This row was registered by the PI’s ruling. Registered by R84-h (R-27). Its S312 seed was HELD at mint because the anchor matched inside another premise’s sentence (PRM_MINT_REPORT_S312). P7:154: a confirmed Majorana mass falsifies this benchmark assumption, not the PMNS mixing algebra.
Provenance
| kind | ADOPTED_PREMISE |
|---|---|
| source | the sealed suite, PDF p.88 (search that part for “===== PDF PAGE 88 /”) · 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 | S328 · 2026-09-11T18:13Z |
Claims declared to rest on this premise (1)
| record | title | why the house declared it |
|---|---|---|
| LIB2-108 | The explicit B-map fixes a loaded one-generation field dicti | House declaration under R84-h (R-27): S312 holds list: Dirac-ν seen in LIB2-108. — House reading: the record fixes "all sixteen hypercharges"; the sixteenth entry is the neutral singlet ν^c, present in the field content under the extension (P1:205-207). The use is of that field-content conjunct (fifteen SM Weyl states plus ν^c), not of the stronger Dirac-only mass benchmark: a gauge-invariant Majorana bilinear is algebraically available within the sixteen and is excluded by choice (Rev32.8 text part1:4143-4146). [R129 D-5, S340: replaces "The other fifteen placements do not need it, so the dependence is CONDITIONAL, not LOAD_BEARING" per A1704 F3; PRM-032/r1 as registered bundles field content and mass nature — the finer split is census R129-k] |
Claims reaching it transitively (2)
LIB2-108, LIB2-109
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