PRM-021 · Power assignment n = 4, 5

Premise

Register corrected — R81 (D18, S327j). The PI ruled this correction to the register row (Trackers/RULING_R81_S327_PREMISE_REGISTER.md). Located status HOUSE_FILE_ONLY. The register row the drafting lane quotes below is the row as it was supplied to the lane, before R81; it is kept in the register's history (R29: nothing is overwritten).

This premise is registered from a HOUSE FILE, Coalition/library/L-AssumptionStack_five_level_hierarchy.md, not from a suite-first locator. NOT IN SUITE — the exact mass-sector assignment n = 2,3,4,5 for neutrino/lepton/down/up was not located in the available TeX. The supplied material reports no matching TeX hits; exhaustive full-tree absence is not authenticated.

Register kind: POSTULATE. The following is the supplied register’s transcription of the house statement, not an authenticated quotation from the unprovided house file:

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).

House-file SHA-256 named in the register: 1a11009b68531c7b2de1d2408ee8259b6219ba9d009e57916c4edf88cc06f638. That named hash was not independently checked against the house file’s bytes.

What kind of premise this is

POSTULATE is the register kind. The house transcription distinguishes its power assignments and gives differing claimed justifications; those claims are not independently supplied as suite derivations in this material. In particular, the mass-sector tuple is not the archived CKM power ansatz. The exact dimension-ratio exponent in the current mass ledger is also a different statement, explicitly carrying a loaded physical interpretation. The status descriptions here belong to the supplied HOUSE FILE transcription, not to a located suite declaration.

Where the suite invokes it

Located invocations in the read excerpts, not an exhaustive full-source-tree census. Pages refer to saved Rev32.7 page-delimited text, not PDF-image authentication.

No matching invocation of the exact registered premise was located in the read suite passages. Unrelated keyword hits are excluded rather than assigned a role.

Arguments that rest on it

NO RECORD — no located suite argument uses the registered neutrino/lepton/down/up power tuple as stated. No ADD is submitted.

What breaks without it

NOT ASSESSED — the supplied print does not expose a theorem consuming this tuple or a counterfactual with the assignments removed. The house-level words about cubic degree, seesaw and associator counting are not completed here from general knowledge.

Registrar sync

Registrar state after R76, R78 and R82 (S327j, master 0e1418ad6501767d). Declared today: none (UNKNOWN, not INDEPENDENT). The lane's lines below describe the master as it was supplied to the lane (d0aa26db154ff43f), before these changes.

Declared today in the supplied material, Registrar master d0aa26db154ff43f: none (UNKNOWN, not INDEPENDENT). Draft dispositions — no ADD, CONFIRM or DISPUTE row; there is no declared edge to adjudicate. Unbound NO RECORD arguments are not graph ADDs. No edge is declared. LIB2-285 concerns an archived assignment of CKM magnitudes using a common mixing parameter, not the mass-sector tuple. The separate mass-exponent row at appendix_x_zero_parameter_input_ledger.tex:87 is not a source for this tuple; it explicitly distinguishes an exact dimension ratio from its physical mass-exponent identification.

Tier and what this does not show

A premise is not a result, and invocation count is not importance. An ADD remains a proposal until house verification under R76; a DISPUTE goes to the PI. No record or premise is upgraded, downgraded, or edited. Unlocated dependencies remain unknown.

Sources

TeX: appendix_x_zero_parameter_input_ledger.tex:87. Registrar: LIB2-285. Premise: PRM-021.