C03.2 · Sources/receipt

Programme references: supplied records LIB2-007, LIB2-008, LIB2-009, LIB2-010, tied to the master attestation above. Their quoted pages are retained in the accompanying quote register. No PDF-byte or visual-layout verification is claimed for the sealed programme PDF; the supplied extraction is the quotation basis.

[TL] Alice Barbara Tumpach and Gabriel Larotonda. *Totally geodesic submanifolds in the manifold SPD of symmetric positive-definite real matrices*. Information Geometry 7 (2024), 913–942; doi:10.1007/s41884-024-00146-z. **Locator:** Theorem 3.3 and its proof. https://link.springer.com/article/10.1007/s41884-024-00146-z Access scope: Full relevant HTML theorem and proof read. General Lie-triple criterion, not the programme’s frozen planes.

[MW] Małgorzata Mikosz and Andrzej Weber. *Triality, characteristic classes, D4 and G2 singularities*. arXiv:1311.0507v2 (2013). **Locator:** §2, “Action of triality on maximal torus”; Appendix (split so(4,4) realization). https://arxiv.org/pdf/1311.0507 Access scope: Text of §2 read, including the explicit root set ±L_i±L_j. No diagram or matrix image is transcribed.

[BM] Gil Bor and Richard Montgomery. *G2 and the “rolling distribution”*. arXiv:math/0612469; L’Enseignement Mathématique 55 (2009), 157–196. **Locator:** §5.2–§5.3, Proposition 3; Appendix A (covering groups); Appendix B (root basis). https://arxiv.org/pdf/math/0612469 Access scope: Relevant prose and formulas; no unrendered root table is transcribed.

Local source digests:

- `D1259_PASTE_BODY_S310.md` — `c76cbd1e88e91963162de625fdb3f2c312b0babbb7206edd9b776d0553c297f1`. - `D1259_REGISTRAR_README_S310.md` — `63bbdf532435078796494b8304c5d64898f3219c876a0b0bf1cef3fbf87152cf`. - `D1259_REGISTRAR_RECORDS_S310.jsonl` — `c25eaf2247542f3dbff542607993d1a5058bf596c268679d86a491abba85f467`. - `LIBRARY_PIECE_CONTRACT_v1_S310(1).md` — `c61489226c244e6725c8fedbe1f4c9b99c9c7f51e7bbc7a2f9ff3a0d361eed08`.

The input manifest additionally identifies each sealed text part and every prior article actually read. The delivery receipt gives this article's byte count, line count and digest, along with code/stdout digests and the independent-rerun outcome. No self-referential article digest is embedded in the article.

<!-- RE-ATTESTATION S324 --> ## Re-attestation — 2026-09-10 (S324)

**This block is an ANNOTATION. Nothing above it has been changed.** The attestation earlier in this article was made against master `cab1d95e8b1e6caa` and was true when written; under the house's ★H5 convention a dated surface is annotated, never corrected.

**Checked against master `0acb6feeaf20d897`** with `scripts/expositions_basis_diff.py` (controls 4/4), **all 36 record keys compared as the union — never a hand-picked list**. This article cites **4** Registrar record(s): `LIB2-007`, `LIB2-008`, `LIB2-009`, `LIB2-010`.

**RESULT: the review machinery moved; the cited substance did not.**

| moved on the cited records | moved on **ZERO** cited records | |---|---| | `clearance 57` · `review_state 57` · `entry_version 57` · `premise_* 57` · `version_history 57` · `sources 57` · `relationships 41` | **26 of 36 keys** — `statement` · `numbers` · `evidence` · `class` · `title` · `basis` · `comparator` · `scope` · `house_tier` · `source_labels` · `superseded_by` and 15 more |

Inside `sources`, the only changes were **`locator_primary`: 135 additions, 0 changed, 0 removed** across the 57 cited records corpus-wide, plus `role`/`role_state`/`reads` on 2 records (the S321 promotions). **`quote`, `component`, `section` and `pdf_page` moved on zero uses, and no source count changed.** Every cited record is present in both masters.

⇒ **Not one thing this article cites a record *for* has moved.** The staleness is entirely in review machinery plus an addressability field that was added and never re-pointed.

**The checks were not re-run, deliberately.** The `C*_CHECKS.py` files carry no references to the Registrar corpus, so a re-attestation on the strength of a re-run would attest to a check that was never performed. This block attests to a **field-level diff of the master**, and to nothing else.

**No scientific or publication clearance is asserted, then or now.**

<!-- RE-ATTESTATION S326 --> ## Re-attestation — 2026-09-10 (S326), against the migrated master

**This block is an ANNOTATION. Nothing above it — including the S324 block — has been changed.** The S324 block was checked against master `0acb6feeaf20d897`. Two writes have happened since: **R64** (the five REVIEWED uses demoted to LANE_PROPOSED) and the **H67 migration** (contract v3.0-R63: `sources[]` → `source_uses[]`, `assertions[]` minted, clearance relocated to `legacy_clearance`, live clearance UNCHECKED). This block is checked **from `0acb6feeaf20d897` to `62569070bc03cc03`**, the master the site serves from this cut on. Every number below is computed at run time from the two masters on disk (`scripts/exposition_reattest_S326.py`), never typed.

This article cites **4** Registrar record(s): `LIB2-007`, `LIB2-008`, `LIB2-009`, `LIB2-010`. All present in both masters: **True**.

**RESULT over the 57 distinct cited records, all 41 keys compared as the union:**

| what moved | on how many cited records | |---|---| | the SHAPE — `assertions`, `legacy_clearance`, `source_uses`, `sources` | 57, 57, 57, 57 of 57 (the migration, by construction) | | other keys — `canonical_contract_version`, `clearance`, `entry_version`, `migration_receipt`, `version_history` | 57, 57, 57, 57, 57 | | **moved on ZERO cited records** (32 of 41 keys) | `basis`, `candidate_ids`, `caution`, `class`, `comparator`, `comparison`, `draft_id`, `evidence`, `history`, `house_tier`, `id`, `lane_notes`, `not_an_entry_reason`, `numbers`, `open`, `parse_receipt`, `premise_candidates`, `premise_closure`, `premise_closure_method`, `premise_enumeration_state`, `premise_grade`, `relationships`, `retirement`, `review_activity_ids`, `review_state`, `schema_version`, `scope`, `source_labels`, `statement`, `superseded_by`, `title`, `topic_hub` |

**The source uses, compared on CONTENT across the shape change** — (component, section, pdf_page, quote) of every use of every cited record, read through `lib2_uses` in both shapes: **identical on 57 of 57 records**. `role_state` changed (R64 — a review-machinery word, not a source) on 0 of this article's cited records; on 1 of the 57 corpus-wide.

⇒ **What this article cites a record *for* — its statement, its numbers, its quoted sources — did not move between the S324 attestation and the served master.** What moved is the container the corpus keeps those things in, and the review words attached to them. **Every cited record is UNCHECKED and IN_REVIEW; 0 of 357 records are adjudicated.**

**The checks were not re-run, deliberately** (`C*_CHECKS.py` carry no corpus references; S324 note stands). **No scientific or publication clearance is asserted, then or now.**