Claims & Evidence Registrar › H09

LIB2-289 · Superseded reciprocal weak-angle proposal

class RETIREDmath status (as printed) —attachment (as printed) —scorecard tier word (as printed) none printedhouse tier not yet assignedreview state PUBLISHEDentry version 8

Statement

The archived weak-angle prompt proposed the reciprocal expression sin²θ_W = 1/(2+φ) as its physical target.

Scope

domainThe reciprocal target of L127, not the retained Peirce weak-angle identity or its unresolved scheme matching.
What this does not show. The current weak-angle target still requires its independent polarization premise and a derived matching scale.

Sources in the suite of record

Key — use ≠ record. A review state printed on a source use below names that use — one citation of the suite, read by the lane named in its warrant — not this record. The record's own review state is the one in the table above and is unchanged by any use-level state; a use may be LANE_PROPOSED or REVIEWED while the record it sits on remains IN_REVIEW (R45, R49).

Quotes are verbatim from the sha-pinned text extraction of the Rev33.1 PDF (A1584 §2.2, S309): mathematical typography — radicals, exponents, ≅ — can appear displaced in the extracted line. The PDF page is authoritative; the quote is what the machine gate matched.

Paper 4, §7, Current weak-angle target and precision boundary — PDF p.77 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT · gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT

We therefore carry ϕ−3 as a ∼ 2% structural tree-level target on the electroweak curve, not as a completed Z-pole precision prediction.
The text extraction above lost mathematical typography. Restored from the sealed TeX source (rev32.7/tex/p4_higgs_ewsb.tex:339-340): We therefore carry ϕ⁻³ as a ∼2% structural tree-level target on the electroweak curve, not as a completed Z-pole precision prediction. (R87 house restoration: rendered from the tex, not the quote; the quote above is what the machine gate matched)

Paper 4, §7, Unfixed scale and radiative bridge — PDF p.77 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT · gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT

as a running value the matching scale µ⋆ is scheme-dependent and undetermined

Paper 4, §7, Independent polarization postulate — PDF p.77 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT · gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT

The value identity establishes the readout once AX6pol is assumed; it does not derive or select AX6pol , which remains an independent postulate at tier.

Evidence (availability is not outcome)

kindreferenceline / keyavailabilitynote
registryLibrary v1 L127; Paper 4 §7, Current weak-angle target and precision boundary, p.73—shippedThe archive supplies titles and workflow metadata, not original production bodies. The current-suite replacement is quoted; no historical derivation, numerical result or retirement chronology is independently verified.

What was said, and what retired it

historical statementWeinberg Angle: sin²θ_W = 1/(2+φ) [OPEN, +19.5% gap]
where it stoodLIBRARY_V1_GROK_ARCHIVE_S304.md, L127
retiring decisionnot located in suite; current-target replacement in Paper 4, p.73
what the suite prints now
We therefore carry ϕ−3 as a ∼ 2% structural tree-level target on the electroweak curve, not as a completed Z-pole precision prediction.
PDF p.73 (bytes of record)
successor recordsLIB2-199 The weak-angle value remains a structural target on a scheme-dependent curve, LIB2-200 The AX6 polarization postulate gives its readout without selecting itself
why retiredRELATION_NOT_RECORDED — the retiring decision names only what replaced the claim ("not located in suite; current-target replacement in …"); the reason the old claim went was never recorded, and the house does not infer one from a pointer (R42 census S322, ruled R69).
archive row locatedLOCATED — 1 of 1 parts found in LIBRARY_V1_GROK_ARCHIVE_S304.md (sha256 28f35aac4e91e1ca…) (locator 8db2c73d69dff9f1, S339)
the archive rows, verbatim
LIBRARY_V1_GROK_ARCHIVE_S304.md, line 159
| L127 | library_prompt | 2.A | Peirce Decomposition & Cylinder Geometry | Paper 2 — Flavor Sector from Peirce Perturbations | awaiting_production | prompt_ready | yes | Weinberg Angle: sin²θ_W = 1/(2+φ) [OPEN, +19.5% gap] |
does the archive attest it?REVIEWED · ATTESTS
  • gemini · ATTESTS · ARCHIVE_TEXT_SUPPLIED (D1341, A1694) — HIGH — The prompt states the target "Weinberg Angle: sin²θ_W = 1/(2+φ)".
  • grok · ATTESTS · THE_RECORD (D1340, A1693) — HIGH — L127 is exactly `sin²θ_W = 1/(2+φ)`.

A successor is linked, never "derived from" the retired statement (charter §10.10).

Why this record is PUBLISHED (R67, condition T-B)

states a predicateyes
uses on the record · unblocked3 · 3
uses any lane has read3 of 3
REVIEWED SUPPORTS use on the predicate, read by two non-drafting lanesno (0)
a SUPPORTS use on the predicate is DISPUTEDno
machine certificate currentyes

Machine certificate (R68)

stateMACHINE_CHECKS_PASSED
policysgtoe-clearance-policy-1.0-RATIFIED · sha16 ef7d6e7690514311
bound to masteraad7a3ec6ce3b510 (the master the checks ran on; issued 2026-09-26T05:06Z)
checks
checkresultreason
schema_validPASSexercised
basis_currentPASSexercised
quote_locatedPASSexercised
labels_literalN/Aclass RETIRED not governed by the source_labels rule
edges_resolvedPASSexercised
bindings_validPASSexercised

A certificate says the record is well-formed, current, quote-on-page, label-literal, edge-resolved and binding-consistent on the bytes it was issued on. It is not a review, and it goes STALE the moment the master moves under it (R68). It is one conjunct of the PUBLISHED condition (R67), never the whole of it.

History

March library (v1) antecedentsL127
candidate ids (frozen list S304)C2-014

Drafting-lane note

L127 is explicitly OPEN in the archive. Its old expression and percentage are preserved without evaluation. The current-target replacement is not a proof of the old expression's mathematical impossibility or a scheme-matched prediction.

Receipt

round D1253 · parsed 2026-09-06T00:06Z · machine gates passed: CONTRACT, G1-quote-on-page, G2-numerals-declared, G4-ids-resolve, DAG-acyclic · content sha256 fbcb0ee409ee2f0a02576813a2c0c9c2fac578d59ce551807d6a83a6d48f53b1

Review this entry

Reviewer verdict line (one per entry, as text): LIB2-289 | PASS or FAIL(G1–G8) or NOT RUN | quote | PDF page | one sentence. G1 source supports the exact scoped assertion · G2 evidence class fits (numbers ≡ digit source) · G3 labels as printed, not converted · G4 comparison typed · G6 public scope · G7 history real · G8 caution present and true. Machine surfaces: index.json · capsule.md.

Generated from library_v2.jsonl. Declared volatile fields (R36): BUILD_STAMP.
BUILD_STAMP S371a · 2026-09-26T22:53Z · master 01d1a5873ede42f5 · cut 9dcc6ce9a8ee3e02