C04.2 · Sources/receipt

Programme references: supplied records LIB2-021, LIB2-022, LIB2-023, LIB2-024, LIB2-025, LIB2-026, LIB2-027, LIB2-028, LIB2-029, LIB2-030, LIB2-031, LIB2-032, LIB2-033, LIB2-034, LIB2-035, LIB2-036, LIB2-037, LIB2-038, LIB2-039, LIB2-040, LIB2-043, LIB2-044, LIB2-045, 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.

[LL] Jimmie D. Lawson and Yongdo Lim. *The expanding universe of the geometric mean*. Acta Scientiarum Mathematicarum 90 (2024), 327–347; doi:10.1007/s44146-024-00133-x. **Locator:** Definition 3.2 and the immediately following Riccati characterization. https://link.springer.com/article/10.1007/s44146-024-00133-x Access scope: Full relevant HTML passage read. Applies to the positive definite solution of the matrix Riccati equation.

[BV] Stephen Boyd and Lieven Vandenberghe; revised slides with Parth Nobel. *Convex Optimization, author lecture slides*. Undated accessed revision; no edition year inferred. **Locator:** Chapter 3, “Second-order conditions” and “Examples”, PDF pp.54–55; Chapter 2, “Affine set” and “Hyperplanes and halfspaces”. https://web.stanford.edu/~boyd/cvxbook/bv_cvxslides.pdf Access scope: Specific text slides read: Hessian criterion and least-squares Hessian; not the full book. The attempted book PDF fetch failed.

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 **23** Registrar record(s): `LIB2-021`, `LIB2-022`, `LIB2-023`, `LIB2-024`, `LIB2-025`, `LIB2-026`, `LIB2-027`, `LIB2-028`, `LIB2-029`, `LIB2-030`, `LIB2-031`, `LIB2-032`, `LIB2-033`, `LIB2-034`, `LIB2-035`, `LIB2-036`, `LIB2-037`, `LIB2-038`, `LIB2-039`, `LIB2-040`, `LIB2-043`, `LIB2-044`, `LIB2-045`.

**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 **23** Registrar record(s): `LIB2-021`, `LIB2-022`, `LIB2-023`, `LIB2-024`, `LIB2-025`, `LIB2-026`, `LIB2-027`, `LIB2-028`, `LIB2-029`, `LIB2-030`, `LIB2-031`, `LIB2-032`, `LIB2-033`, `LIB2-034`, `LIB2-035`, `LIB2-036`, `LIB2-037`, `LIB2-038`, `LIB2-039`, `LIB2-040`, `LIB2-043`, `LIB2-044`, `LIB2-045`. 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.**