PRM-011 · Colour real form as declared input

Premise

Register corrected — R81 (D10, S327j). The PI ruled this correction to the register row (Trackers/RULING_R81_S327_PREMISE_REGISTER.md). Kind now ADOPTED_PREMISE (was MEASURED_INPUT). 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).

Register kind: MEASURED_INPUT. Located suite statement:

\textbf{Fenced / input (unchanged).} $\alpha$ (five-legged fence, Appendix~N); the compact colour real form;

Paper 0 · Fenced / input · PDF p.7 · p0_framework_foundations.tex:399.

What kind of premise this is

The register kind is MEASURED_INPUT. The suite’s own status words are input (named) and chosen, not derived. In these passages it is a compact real-form choice in the field dictionary, not a measured scalar with an uncertainty. The scoped obstruction explains why the banked construction does not select that choice; it does not make every real-form problem impossible. No measurement procedure is supplied here. Source status words: chosen, not derived (appendix_n_selector_fences.tex:279).

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-108 — CONFIRM. Hypothesis-level confirmation: the supplied record expressly assumes the compact field dictionary; these TeX passages identify the compact real form/group assignment as input. The detailed B-map/hypercharge calculation is not rerun or fully exposed by these snippets. Step locator: p1_peirce_gauge_group.tex:51 (CONDITIONAL).

What breaks without it

LIB2-108: its predicate is explicitly under the compact field dictionary. NOT ASSESSED — neither the read TeX nor the supplied record computes alternative hypercharges after removing that dictionary. Do not replace this gap with a general representation-theoretic argument.

The real-form obstruction is the scope printed in appendix_n_selector_fences.tex:46–49, not a new global no-go inferred here.

Registrar sync

Registrar state after R76, R78 and R82 (S327j, master 0e1418ad6501767d). Declared today: LIB2-108. 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-108. Supplied transitive-only closure: LIB2-109. It is not itself a new direct-edge declaration. Draft dispositions — CONFIRM: LIB2-108. LIB2-109 is already a transitive consequence in the supplied material and assumes the B + SU(5) embedding. No new direct edge is inferred from that closure alone. Alpha appears in the same input sentence but is a distinct premise.

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_n_selector_fences.tex:279; appendix_n_selector_fences.tex:285; appendix_n_selector_fences.tex:46–49; appendix_n_selector_fences.tex:48; appendix_x_zero_parameter_input_ledger.tex:526; p0_framework_foundations.tex:399; p1_peirce_gauge_group.tex:51. Registrar: LIB2-108, LIB2-109. Premise: PRM-011.