Premises · PRM-028
v_EW = 246.22 GeV — electroweak calibration anchor
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
vEW = 246.22 GeV (top, pinned by GF );
Register entry (R84, R84-h, S328). This row was registered by the PI’s ruling. Registered by R84-h (R-27). App X:350-352 (Rev25) reclassifies v_EW/σ from input to obligation (mandated-derivable), while App X:356 says the operative formula chains still consume v_EW as one of three empirical anchors. Registered as the anchor the chains consume, with that obligation recorded here.
Provenance
| kind | MEASURED_INPUT |
|---|---|
| source | the sealed suite, PDF p.355 (search that part for “===== PDF PAGE 355 /”) · 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-121 | The top tree estimate retains a status-ineligible cross-sche | House declaration under R84-h (R-27): S312 holds list: v_EW seen in LIB2-121. — House reading: The record's printed value 174,104 MeV is v_EW/√2 and its hypothesis is "Insert the measured vEW in the stated tree relation". Without the input there is no number. LOAD_BEARING. |
Claims reaching it transitively (1)
LIB2-121
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