PRM-012 · Correspondence map algebra to SM

Premise

Register kind: LOADED_CORRESPONDENCE. Located suite statement:

The specified correspondence map is itself a chosen (loaded) embedding, not shown to be forced or unique by the algebra

Paper 0 · Declared input and correspondence map · PDF p.2 · p0_framework_foundations.tex:97.

What kind of premise this is

LOADED_CORRESPONDENCE is the register kind and matches the explicit chosen-embedding statement. The suite distinguishes internal economy after the map is granted from derivation of the physical readout. The specified vacuum, Route B, AX6, ordering and Dirac-neutrino choice are named loadings. The records below consume particular attachments; the broad premise does not make every internal algebraic identity depend on phenomenology. Source status words: chosen (loaded) embedding (p0_framework_foundations.tex:97).

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.

Arguments that rest on it

LIB2-002 — CONFIRM. Confirm only the physical atmospheric registration: the internal mismatch theorem does not choose the octant attachment, which the read row explicitly labels Loaded-correspondence. Step locator: p3_ckm_pmns_mixing.tex:582 (LOAD_BEARING).

LIB2-108 — CONFIRM. The record is expressly under the explicit B-map and compact field dictionary. The premise is that chosen correspondence, not a claim that the raw algebra selects the dictionary. This is a hypothesis-level confirmation, not a rerun of all charge placements. Step locator: p1_peirce_gauge_group.tex:51 (CONDITIONAL).

LIB2-122 — CONFIRM. The retained ratio’s physical attachment is expressly Loaded-correspondence. The source separately warns that its dimension ratio alone is not a physical mass exponent; the loaded attachment is what this dependency confirms. Step locator: appendix_x_zero_parameter_input_ledger.tex:85 (CONDITIONAL).

What breaks without it

LIB2-002: the physical octant registration is loaded, while the internal mismatch identity remains separately typed (p3_ckm_pmns_mixing.tex:582). NOT ASSESSED — no unique replacement physical octant is supplied after deleting the registration.

LIB2-108: NOT ASSESSED — its field placements are conditional on the B-map/dictionary, but the supplied print gives no replacement dictionary without that load.

LIB2-122: the physical mass-exponent identification is not established by the dimension ratio alone (appendix_x_zero_parameter_input_ledger.tex:87). The microscopic readout derivation remains the named head wall (p0_framework_foundations.tex:100–103).

Registrar sync

Registrar state after R76, R78 and R82 (S327j, master 0e1418ad6501767d). Declared today: LIB2-002, LIB2-108, LIB2-122. 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: LIB2-002, LIB2-108, LIB2-122. Supplied transitive-only closure: LIB2-065, LIB2-066, LIB2-067, LIB2-109, LIB2-125, LIB2-126, LIB2-127. It is not itself a new direct-edge declaration. Draft dispositions — CONFIRM: LIB2-002, LIB2-108, LIB2-122. LIB2-065, LIB2-066, LIB2-067, LIB2-109, LIB2-125, LIB2-126 and LIB2-127 are in the supplied closure/candidate set; transitive membership is not turned into duplicate direct proposals. An internal dimension identity or unitary normalization is not, merely by occurring nearby, a use of the chosen physical correspondence.

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:85; appendix_x_zero_parameter_input_ledger.tex:87; p0_framework_foundations.tex:100–103; p0_framework_foundations.tex:101; p0_framework_foundations.tex:97; p1_peirce_gauge_group.tex:51; p3_ckm_pmns_mixing.tex:582. Registrar: LIB2-002, LIB2-065, LIB2-066, LIB2-067, LIB2-108, LIB2-109, LIB2-122, LIB2-125, LIB2-126, LIB2-127. Premise: PRM-012.