PRM-019 · m_tau as registered input

Premise

Register corrected — R81 (D16, S327j). The PI ruled this correction to the register row (Trackers/RULING_R81_S327_PREMISE_REGISTER.md). Statement now (PRM-019/r2, appendix_x_zero_parameter_input_ledger.tex:85, quality EXTRACTION_VERBATIM): Mass anchor mτ = 1776.93(9) MeV. 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:

Mass anchor & $m_\tau=1776.93(9)\,\mathrm{MeV}$ (PDG; CODATA~2022 lists $1776.86(12)$) & Measured

Appendix X · Fit-free-interior ledger — Mass anchor · PDF p.322 · appendix_x_zero_parameter_input_ledger.tex:85.

The registered excerpt and/or kind needs the scope clarification below; the registry itself is not edited.

What kind of premise this is

MEASURED_INPUT is the register kind, and the actual tau row is marked Measured. It is consumed as an external mass anchor, not inferred from the muon or bottom agreement. The registered first quotation instead describes ratios to string tension in Paper 9; it does not state the tau value. The one-class/two-calibrations/three-anchors accounting is a separate registered-identification convention, not permission to silently equate all input passages. Source status words: Measured (appendix_x_zero_parameter_input_ledger.tex:85).

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-125 — CONFIRM. The measured tau value multiplies the retained muon-to-tau ratio to produce the tree mass. This is explicitly the external anchor step, not a derivation of an absolute mass from the algebra alone. Step locator: appendix_x_zero_parameter_input_ledger.tex:85 (LOAD_BEARING).

LIB2-127 — CONFIRM. The light Koide root is selected in the tau/muon/electron system; the tau is the measured anchor and the muon is QED matched. Confirm the anchor dependency without deriving the external Koide rule or its branch choice. Step locator: p2_mass_hierarchy_resolvent_quintics.tex:240 (CONDITIONAL).

LIB2-130 — CONFIRM. The printed bottom bridge explicitly multiplies m_tau by 7/3. Its cross-scheme comparator and numerical offset do not eliminate the measured-anchor input. Step locator: appendix_x_zero_parameter_input_ledger.tex:96 (LOAD_BEARING).

What breaks without it

LIB2-125 and LIB2-130: their displayed absolute estimates take the tau anchor as a factor (appendix_x_zero_parameter_input_ledger.tex:85,96). Without that supplied factor, this print provides a ratio/bridge but not those numerical MeV values.

LIB2-127: the source states a Koide system containing the tau and selects the light root (p2_mass_hierarchy_resolvent_quintics.tex:240–243). NOT ASSESSED — it gives no replacement electron-root determination after removing the measured tau. The external Koide rule remains a distinct input.

Registrar sync

Registrar state after R76, R78 and R82 (S327j, master 0e1418ad6501767d). Declared today: LIB2-125, LIB2-127, LIB2-130. 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-125, LIB2-127, LIB2-130. Supplied transitive-only closure: LIB2-126. It is not itself a new direct-edge declaration. Draft dispositions — CONFIRM: LIB2-125, LIB2-127, LIB2-130. LIB2-126 is already transitive through the anchored tree muon. LIB2-299 is a question about relating anchors, not a completed mass derivation. The Paper 9 string-tension passage at p9_nuclear_cluster_tier.tex:27 and generic registered-input hits in hadronic/clock discussions do not, by themselves, invoke a measured tau.

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_o_restmass_program.tex:499; appendix_x_zero_parameter_input_ledger.tex:85; appendix_x_zero_parameter_input_ledger.tex:96; p0_framework_foundations.tex:73; p2_mass_hierarchy_resolvent_quintics.tex:240; p2_mass_hierarchy_resolvent_quintics.tex:240–243; p9_nuclear_cluster_tier.tex:27. Registrar: LIB2-125, LIB2-126, LIB2-127, LIB2-130, LIB2-299. Premise: PRM-019.