Expositions · C02.2 · Registrar

C02.2 · Claims used

Section of C02.2 — Peirce blocks, diagonal adjoint and the Roman-surface comparison. Section object E-C02.2.claims-used · kind CLAIMS_USED · 2 record uses, all UNREVIEWED — no lane has read this section · attestation inherited from the article (R69).

← Prerequisites · Definitions/conventions →

Registrar master of record (house-supplied identity): `cab1d95e8b1e6caad72a30cec35e7ff3bc5394cdc65354b2e17b3d65c90c298a`.

Read source: `D1258_REGISTRAR_RECORDS_S310.jsonl`, SHA-256 `2eab5ffff75a823c7a7c80ba050fca3a4116fffbaf6c4fd6de1943b9b705bfbc`. The full master bytes were not supplied, so its master digest is an attestation, not a recomputation. No live Registrar fetch was attempted.

**LIB2-047 — The working golden vacuum has unit Jordan determinant**

> At the working vacuum Jvac = diag(ϕ,1,ϕ⁻¹), the Jordan determinant is det Jvac = 1.

> **CORRECTION (2026-09-10, S326, D11).** The line below states `review_state=DRAFTED`. Every record this article cites has read **`IN_REVIEW`** since the S312 machine derivation (master `beb874fe3cdeb5aa` today), and under R65 no machine word is a review. **The point stands — review metadata is not clearance; the value it names does not.** Body unchanged (★H5).

Literal source labels: `math_status=NOT_PRINTED`; `attachment=NOT_PRINTED`; `scorecard_tier_word=null`; `house_tier=null`. `review_state=DRAFTED` is review metadata, not clearance.

LIB2-047 supports the chosen golden vacuum's determinant and adjoint identity only. **The complete Peirce/Roman exposition has Registrar status `NONE/files-only`** and is grounded directly in Paper 1 pp.24–25 plus the exact calculations below. No new deployed record is invented.

Registrar records this section cites

LIB2-047 · 2 uses · role UNREVIEWED · legacy citation role use_as_support

Registrar records are IN REVIEW and noindex; a use's role here is the Registrar's not-read state until two non-drafting lanes read it (R67 §3).

← Prerequisites · Definitions/conventions →

Receipt, script and stdout: on the article page. Registrar master sha256 01d1a5873ede42f5b2c5f4fdcee3a4a74c09a14b99a0deea86a60ebd9c821033 · BUILD_STAMP S371a · 2026-09-26 22:53Z · master 01d1a5873ede42f5 · cut 9dcc6ce9a8ee3e02

The Registrar this article was written against has since changed. The Source-basis block above names the master the house attested to the drafting lane at authoring time (cab1d95e8b1e6caa…). The Registrar master of record is now 01d1a5873ede42f5b2c5f4fdcee3a4a74c09a14b99a0deea86a60ebd9c821033. The attestation above is left exactly as written — it is a dated record of what the lane was given and what it computed, and this programme does not edit those. What changed between the two is the S312 rebuild: draft-id edges resolved to record ids, premise fields added, and a clearance block introduced. No claim text and no suite label moved. ★ Nothing had measured this until the Grok lane read the page cold at D1263; scripts/textbook_basis_gate.py now measures it on every build.