Claims & Evidence Registrar › H05
Label sentence at the locator (PDF p.179 (bytes of record)):
is a genuine Minkowski vacuum (all seventy tadpoles zero) with residual SO(6) × SO(2), the published spectrum above, and the shadow hosted;
The scanned dyonic SO*(8) completion has a classical Minkowski vacuum with residual SO(6) × SO(2), hosting an su(3) ⊕ u(1) ⊕ u(1) shadow.
| carrier | The dyonic completion in the scanned potential family |
|---|---|
| domain | Classical existence and residual algebra type, not Standard-Model charge identification. |
| group | Residual su(3) ⊕ u(1) ⊕ u(1) |
| hypotheses | Use the scalar-origin construction and normalization in Appendix F §5.; The scanned family is the electric SO(p,q)/CSO ladder, dyonic ω-rotated SO(8), and dyonic SO*(8). |
| quantifier | The named completion in the declared scanned family. |
| real form | The SO*(8) completion and its compact residual SO(6) × SO(2) |
Scientific status: UNDER REVIEW — the house has not adjudicated CURRENT / CONTESTED for this record (charter §10.3); a drafted claim is a claim under review, not a result.
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.
Appendix F, §5.2, Dyonic completion at the origin — PDF p.186 (bytes of record)
review state: REVIEWED · role SUPPORTS · warrant: grok read THE_RECORD → SUPPORTS · gemini read SUITE_TEXT_EXTRACT → SUPPORTS
is a genuine Minkowski vacuum (all seventy tadpoles zero) with residual SO(6) × SO(2), the published spectrum above, and the shadow hosted;
Appendix F, §5.2, Shadow-hosting condition — PDF p.185 (bytes of record)
review state: REVIEWED · role SUPPORTS · warrant: grok read THE_RECORD → SUPPORTS · gemini read SUITE_TEXT_EXTRACT → SUPPORTS
the residual gauge algebra hosts su(3) ⊕ u(1) ⊕ u(1)
Appendix F, §5.2, Remark 5.2(a): family-relative uniqueness — PDF p.186 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: grok read THE_RECORD → CONTEXT · gemini read SUITE_TEXT_EXTRACT → CONTEXT
the uniqueness of SO(6, 2) among all gaugings is not claimed.
Appendix F, §5.2, Binding stability language — PDF p.187 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: grok read THE_RECORD → CONTEXT · gemini read SUITE_TEXT_EXTRACT → CONTEXT
All “stable”/“no tachyon” statements in this appendix are classical, quadratic-order statements.
| kind | reference | line / key | availability | note |
|---|---|---|---|---|
| computational | Appendix F §5, S77 potential and charge scans, pp.179–181 | — | unknown | The source reports the classical vacuum and residual algebra; the scalar-potential arrays and run outputs are not supplied here. |
This table covers the values this record DECLARES, not every numeral printed on this page: group labels such as E7(7), section numbers and page numbers are not declared values and are not listed here.
| value as printed | page | digit source |
|---|---|---|
8 | PDF p.179 (bytes of record) | suite text p.179 only (no kernel line found) |
6 | PDF p.179 (bytes of record) | suite text p.179 only (no kernel line found) |
2 | PDF p.179 (bytes of record) | suite text p.179 only (no kernel line found) |
3 | PDF p.179 (bytes of record) | suite text p.179 only (no kernel line found) |
1 | PDF p.179 (bytes of record) | suite text p.179 only (no kernel line found) |
| states a predicate | yes |
|---|---|
| uses on the record · unblocked | 4 · 4 |
| uses any lane has read | 4 of 4 |
| REVIEWED SUPPORTS use on the predicate, read by two non-drafting lanes | yes (2) |
| a SUPPORTS use on the predicate is DISPUTED | no |
| machine certificate current | yes |
Raised by a lane acting as referee and re-measured by the house before being listed (a lane's word alone is not a finding). Only a CONFIRMED finding against the record's predicate blocks PUBLISHED; the others are printed so a reader sees them.
| finding | scope | state | what | evidence | affects this record's predicate? |
|---|---|---|---|---|---|
A1647-F09A1647 | PROPAGATION | CONFIRMED | The benchmark paragraph says "all 48 flat directions are exactly flat to the probed amplitudes" and in the same sentence that two of them lift positively at quartic order. The record predicate (classical Minkowski vacuum, residual symmetry, shadow) is narrower and unaffected. | appendix_f_gauge_boundary.tex:392–394. paper: REV33.2_PENDING S329·A1647 item 7 | no — the predicate is unaffected |
| state | MACHINE_CHECKS_PASSED | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| policy | sgtoe-clearance-policy-1.0-RATIFIED · sha16 ef7d6e7690514311 | |||||||||||||||||||||
| bound to master | aad7a3ec6ce3b510 (the master the checks ran on; issued 2026-09-26T05:06Z) | |||||||||||||||||||||
| checks |
|
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.
| March library (v1) antecedents | no legacy antecedent identified |
|---|---|
| Track-2 claim ids | B-SHD-01 — cross-reference; the Track 1 / Track 2 join sets each one against what the sealed suite prints for this record. Where they differ, the suite is the record. |
| candidate ids (frozen list S304) | C2-042 |
Existence child of C2-042. The electric row has a separate DKK tadpole; it is not silently described as a full critical point. The claim concerns the dyonic completion and retains the classical boundary.
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 a8d6a88ed3ba3d1d622d9687b76484156b077d84e3aeb232ce8494abd2398cf6
Reviewer verdict line (one per entry, as text): LIB2-079 | 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