PRM-020 · Cascade prescription

Premise

Register corrected — R81 (D17, 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 registered difference-of-powers prescription was not located in the supplied TeX passages or supplemental read text. This is a located-evidence result, not an authenticated exhaustive absence claim for Papers/current/tex.

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 2 - THE CASCADE PRESCRIPTION: m_i ∝ h_i^n - h_{i-1}^n. Motivated by nested Peirce decomposition. Sequential symmetry breaking generates masses from orthogonal complements. Motivated but NOT proved.

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

The register kind is POSTULATE. The registered house transcription calls the difference-of-powers prescription motivated but not proved. No read suite passage states this exact formula as the current mass law. Generic uses of cascade describe other constructions or matching steps. Their presence cannot convert the house transcription into a suite premise, and absence from the excerpts alone cannot prove absence from the full source tree. 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 — the exact difference-of-powers mass prescription is not located in the accessible suite passages. No scoped argument can be assigned and no ADD is submitted.

What breaks without it

NOT ASSESSED — no suite argument using the exact registered formula has been located, so there is no source-defined failure-on-removal statement to quote. No mathematical replacement or derivation is supplied here.

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-341 has no predicate in the supplied material and cannot carry an argument. The low-energy matching cascade at p6_rg_thresholds.tex:1099 is an electroweak-threshold contribution, not the mass difference-of-powers prescription. Generic cascade hits in the carrier/KK discussion are likewise not this formula.

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: p6_rg_thresholds.tex:1099. Registrar: LIB2-341. Premise: PRM-020.