Expositions · Premise notes · PRM-008

PRM-008 · Alpha as declared input

Drafted by the ChatGPT drafting lane (A1634), verified by the house, published under R76, R78 and R81; house insertions are marked. What a premise note is.

← PRM-007 · PRM-009 →

Premise

Register corrected — R81 (D7, S327j). The PI ruled this correction to the register row (Trackers/RULING_R81_S327_PREMISE_REGISTER.md). Statement now (PRM-008/r1, appendix_n_selector_fences.tex:55, quality EXTRACTION_VERBATIM): The framework declares α (the U (1)EM fibre scale) an 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).

The framework declares $\alpha$ (the $U(1)_{\rm EM}$ fibre scale) an input.

Appendix N · Part N.A — The fine-structure constant is fenced · PDF p.252 · appendix_n_selector_fences.tex:55.

What kind of premise this is

MEASURED_INPUT is the register kind. The suite calls alpha an input modulus and an external anchor. Its five-leg fence says the golden axiom does not derive it; a geometric value also lacks a derived privileged scale. In the QED chain alpha is consumed in a specified correction, rather than inferred from successful mass agreement. No new numerical matching test is performed in this note. Source status words: input modulus (appendix_n_selector_fences.tex:112).

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.

#	locator	quote (verbatim, ≤ 30 words)	role	argument
1	`appendix_n_selector_fences.tex:55` Appendix N · Part N.A — The fine-structure constant is fenced · PDF p.252	`The framework declares $\alpha$ (the $U(1)_{\rm EM}$ fibre scale) an input.`	STATED	Electromagnetic scale input
2	`appendix_n_selector_fences.tex:112` Appendix N · Fine-structure-constant ledger · PDF p.253	`$\alpha$ is an input modulus, fenced on five independent legs`	MENTIONED	Alpha input ledger
3	`appendix_x_zero_parameter_input_ledger.tex:97` Appendix X · Fit-free-interior ledger — QED correction · PDF p.324	$\delta_{\rm QED}=\frac{3\alpha}{4\pi}\ln\!\frac{\Lambda_{G_2}^2}{m_{\mu,\rm phys}^2}=+0.3125\%$	LOAD_BEARING	QED matching correction
4	`appendix_x_zero_parameter_input_ledger.tex:97` Appendix X · Fit-free-interior ledger — QED correction · PDF p.324	$m_{\mu,\rm phys}=m_\mu^{\rm tree}/(1+\delta)$	LOAD_BEARING	Muon UV-to-physical matching
5	`appendix_n_selector_fences.tex:114` Appendix N · Fine-structure-constant ledger · PDF p.253	`a fixed geometric value is ill-posed without a derived privileged scale --- none exists in the banked framework.`	MENTIONED	Scale fence on geometric alpha
6	`appendix_n_selector_fences.tex:48` Appendix N · Abstract · PDF p.251	`$\alpha$ remains an input modulus and nothing is promoted.`	MENTIONED	Input status in selector-fence abstract
7	`appendix_x_zero_parameter_input_ledger.tex:522` Appendix X · Selector fences · PDF p.336	`The fine-structure constant $\alpha$ is an \textsc{Input} modulus, fenced on \textbf{five} independent legs`	MENTIONED	Repeated alpha fence

Arguments that rest on it

LIB2-126 — CONFIRM. Alpha appears explicitly in the correction used by the record’s division by 1+delta_QED. Confirm the supplied-input dependency, not an independent derivation of alpha, the matching scale, or the numerical correction. Step locator: appendix_x_zero_parameter_input_ledger.tex:97 (LOAD_BEARING).

What breaks without it

LIB2-126: the displayed correction contains the supplied alpha, and that correction enters the physical-mass division (appendix_x_zero_parameter_input_ledger.tex:97). NOT ASSESSED — the source does not supply an alternative correction after removing the electromagnetic input.

The printed scale limitation at appendix_n_selector_fences.tex:114–116 remains binding; a change of scale is not a derivation of the coupling.

Registrar sync

Registrar state after R76, R78 and R82 (S327j, master 0e1418ad6501767d). Declared today: LIB2-126. 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-126. Supplied transitive-only closure: LIB2-127. It is not itself a new direct-edge declaration. Draft dispositions — CONFIRM: LIB2-126. LIB2-127 is already in the supplied transitive closure through the QED-matched muon value. Its electron-root predicate additionally consumes the external Koide rule. No new direct edge is inferred merely from closure membership.

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:112; appendix_n_selector_fences.tex:114; appendix_n_selector_fences.tex:114–116; appendix_n_selector_fences.tex:48; appendix_n_selector_fences.tex:55; appendix_x_zero_parameter_input_ledger.tex:522; appendix_x_zero_parameter_input_ledger.tex:97. Registrar: LIB2-126, LIB2-127. Premise: PRM-008.

← PRM-007 · PRM-009 →

Built by scripts/premise_notes_build.py from Coalition/library/textbook/premise_notes (MANIFEST verified) · Registrar master sha256 e64bfa7ef06444bf9ebd1abb9bf2c9b7562264ad903d1f881f65c38a19ce07be
BUILD_STAMP S328a · 2026-09-11 19:00Z · master e64bfa7ef06444bf · cut 9dcc6ce9a8ee3e02