Claims & Evidence Registrar › H05

LIB2-100 · The registered octant construction does not exclude the mirror registration

class CLAIMmath status (as printed) NOT_PRINTEDattachment (as printed) NOT_PRINTEDscorecard tier word (as printed) none printedhouse tier not yet assignedreview state PUBLISHEDentry version 8

Label sentence at the locator (PDF p.257 (bytes of record)):

the chirality torsor {−1, +1} and the octant torsor {7/16, 9/16} admit exactly two Z2 -equivariant identifications (s1156: −1 7→ 7/16 and its mirror), and no registered action term, operator, intertwiner or readout map excludes the countermap.

Statement

The chirality torsor {−1,+1} and octant torsor {7/16,9/16} admit two equivariant identifications, and no registered action term, operator, intertwiner or readout excludes the countermap.

Parts of the statement (2)

Each part is a clause of the statement above, cut so that one part makes one claim. A reader naming the clause a quote supports can name the part.

Scope

carrierThe chirality and atmospheric-octant torsors
domainNonselection of the physical registration, distinct from the internal mismatch identity.
groupZ2-equivariant identifications
hypothesesUse the registered odd chirality carrier and equivariant torsor identifications of s1156.
quantifierThe two registered torsor identifications and the banked selecting objects.
What this does not show. The nonselection result does not refute the internal mismatch identity or derive a theory-fixed odd coupling sign.

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.

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.

Appendix N, §6, Octant-registration fence — PDF p.269 (bytes of record)
review state: REVIEWED · role SUPPORTS · warrant: gemini read SUITE_TEXT_EXTRACT → SUPPORTS · grok read THE_RECORD → SUPPORTS

the chirality torsor {−1, +1} and the octant torsor {7/16, 9/16} admit exactly two Z2 -equivariant identifications (s1156: −1 7→ 7/16 and its mirror), and no registered action term, operator, intertwiner or readout map excludes the countermap.

Appendix N, §6, Internal identity and physical attachment — PDF p.269 (bytes of record)
review state: REVIEWED · role CONTEXT · warrant: gemini read SUITE_TEXT_EXTRACT → CONTEXT · grok read THE_RECORD → CONTEXT

The internal identity sin2 θmismatch = 7/16 is theorem-grade; its attachment to the physical lower octant is Loaded-correspondence (Paper 3).
The text extraction above lost mathematical typography. Restored from the sealed TeX source (rev32.7/tex/appendix_n_selector_fences.tex:295-296): The internal identity sin²θ_mismatch=7/16 is theorem-grade; its attachment to the physical lower octant is Loaded-correspondence (Paper 3). (R87 house restoration: rendered from the tex, not the quote; the quote above is what the machine gate matched)

Evidence (availability is not outcome)

kindreferenceline / keyavailabilitynote
computationals1156; A1566/D1244, Appendix N §6, p.257—unknownThe suite reports the two registrations and absence of a registered countermap exclusion; the kernel and original outputs are not supplied.

The numbers this record declares, and where each one's digits come from

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 printedpagedigit source
−1PDF p.257 (bytes of record)closed form: the two torsors and their two equivariant identifications printed in Appendix N §6
+1PDF p.257 (bytes of record)closed form: the two torsors and their two equivariant identifications printed in Appendix N §6
7/16PDF p.257 (bytes of record)closed form: the two torsors and their two equivariant identifications printed in Appendix N §6
9/16PDF p.257 (bytes of record)closed form: the two torsors and their two equivariant identifications printed in Appendix N §6

Typed links

typetargetlicensed by
related_to (never evidential)LIB2-356 The internal mismatch identity is distinct from atmospheric registration—
related_to (never evidential)LIB2-002 Physical atmospheric registration of the internal 7/16 mismatch—

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

states a predicateyes
uses on the record · unblocked2 · 2
uses any lane has read2 of 2
REVIEWED SUPPORTS use on the predicate, read by two non-drafting lanesyes (1)
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_literalPASSexercised
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) antecedentsno legacy antecedent identified
serialss1156 s501 A1566 D1244
candidate ids (frozen list S304)C2-005 C2-059

Drafting-lane note

Corrected reissue of G-104: only the navigation target changes from house sample G-001 to the explicit internal-identity record G-360. The source-backed T4-11 countermap result, source labels, numbers and scope are unchanged. G-006 remains the physical target; this is the nonselection result, not another 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 c510a36d7ca1710840846b75a52048dda08956d2687080c8f6257baf11c84b7d

Review this entry

Reviewer verdict line (one per entry, as text): LIB2-100 | 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