Premises · PRM-027
W01 — ultraviolet boundary attachment (y_t(M_Pl) = 1)
What this surface is. A register of the premises this programme has DECLARED — postulates, adopted premises, measured inputs, conventions, loaded correspondences, fences and open requirements. Every statement is quoted from its source — verbatim from the sealed text, or transcribed by the house from the TeX where the extraction was damaged, as each page's statement-quality row says — and carries that source's locator. No premise on this page has been adjudicated by the house, and none is defended here. A premise is what an argument RESTS ON, not what it establishes.
As printed
Reading that eigenvalue as the physical top Yukawa at the Planck scale, yt (MPl ) = 1, is a declared attachment, not a derivation: it requires identifying the carrier with the physical Higgs direction, the vacuum weight with a renormalization-scheme-specific coupling, and the algebraic scale with MPl .
Register entry (R84, R84-h, S328). This row was registered by the PI’s ruling. Registered by R84-h (R-27), from the S312 holds list. LIB2-120 is the record that states this attachment; a record that states a premise does not rest on it (R78-a), so it carries no edge. The resters are declared by premise_edges_R84_apply.py.
Provenance
| kind | LOADED_CORRESPONDENCE |
|---|---|
| source | the sealed suite, PDF p.145 (search that part for “===== PDF PAGE 145 /”) · the sealed PDF |
| basis | Rev33.1_S369 · PDF sha b64ddcd9e16a6dcd… |
| statement quality | EXTRACTION_VERBATIM — the sealed PDF’s text extraction at the locator, cut to the premise by the house (R81) |
| review state | DRAFTED — not adjudicated by the house |
| first seen | S328 · 2026-09-11T18:13Z |
Claims declared to rest on this premise (1)
| record | title | why the house declared it |
|---|---|---|
| LIB2-139 | The declared top-Yukawa boundary has a separately reported r | House declaration under R84-h (R-27): S312 holds list: W01 seen in LIB2-139. — House reading: The record states "RG evolution of its declared yt(MPl) = 1 boundary gives yt(MZ) ≈ 0.967" and its hypothesis is "Use the W01 ultraviolet attachment and the running prescription reported by the suite". The running value exists only from that boundary, so the result assumes the attachment (R78-a). LOAD_BEARING. |
Declarations retired (1)
| record | ruling | why it was retired |
|---|---|---|
| LIB2-121 | R129-d | Disputed (Gemini LB, Grok NLB); ruled NOT_LOAD_BEARING for the printed statement: mt = vEW/√2 = 174,104 MeV uses the electroweak calibration, not yt(MPl)=1 (P2:346-348 separates the UV and EW couplings). W01 stays as provenance through depends_on LIB2-120 (App A p.140: the row inherits the attachment). A1704 F4 agrees. |
The retired edge is kept in full in the record’s version history.
Claims reaching it transitively (1)
LIB2-139
Generated from library_v2.jsonl + PRM_REGISTER_S312.jsonl. Declared volatile fields (R36): BUILD_STAMP.
BUILD_STAMP S371a · 2026-09-26 22:53Z · cut 9dcc6ce9a8ee3e02