Add a 9 October reading cut for the landed finite Gaussian H0 lifetime source

docs/site/README.md

@@ -50,15 +50,15 @@ The 18:00 UTC refresh ([PR248](https://github.com/d6g8k5htny-coder/main/pull/248
 added the conditional actual-bar cards `#actual-bars` and `#strict-bar-coefficient`
 to this cut. Later dated cuts were added above it: `#reading-addendum` (3 October 2026,
 20:01 UTC), `#pair-endpoint-rate` (4 October, 00:18 UTC), `#shrinking-bin-sampling`
-(4 October, 06:20 UTC, [PR266](https://github.com/d6g8k5htny-coder/main/pull/266)) and
-`#reading-cut-20261007` (7 October, 18:37 UTC). Home, the Research hero and the Library
+(4 October, 06:20 UTC, [PR266](https://github.com/d6g8k5htny-coder/main/pull/266)),
+`#reading-cut-20261007` (7 October, 18:37 UTC) and `#reading-cut-20261009` (9 October, 00:05 UTC; the landed finite Gaussian H0 lifetime source and its program, read at main `0be54aa2`). Home, the Research hero and the Library
 link the newest cut. `#latest-work` keeps its 18:00 UTC heading, wording and pins; its
 later additions are a forward pointer to the 20:01 addendum and two labeled
 reviewer-lineage notes beside its 3 October review links, which the 7 October cut
 discloses. Two further labeled source-identity notes close the 20:01 and 00:18 cuts
 with the SHA-256 identities their pinned links lacked, and one dated
 `<p class="cut-pointer">` inside the 7 October cap card records that Math #193 was
-reopened eight minutes after that cut. The next dated cut restates all five, so none
+reopened eight minutes after that cut. The 9 October 2026 cut (`#reading-cut-20261009`) restates all five in its source disclosure, so none
 is the only record.
 
 Exact-commit citations preserve the reading cut. The **Check newer work** section
@@ -80,13 +80,13 @@ check, not something established by a screenshot or link.
 Insert the new `<section id="…" class="latest-work" tabindex="-1" aria-labelledby="…">` with its own `<time datetime="…Z">` immediately before the current newest cut. Never edit an earlier cut's text. In the same change:
 
 1. Point Home's "Read the latest public work →", Research's hero "Latest public work" and the Library's latest-work links at the new id. Give the new cut one uniquely named link to the cut below it; exact link names must stay unique. Update the `<time datetime>` and visible date beside the Home and Library entry links to the new cut’s timestamp (`tests/test_reader_links.py` pins them). The Home About link line links Source records, Dependencies and Formal, and its disclosure links Measure; keep ‘dated’/‘synthetic’ in those labels. In the Research hero, add one row for the new cut at the top of the “Dated reading cuts” list (its question heading and the `<summary>` text of its source disclosure) and update the “Newest reading cut” `<time>`; if the cut introduces a status token not listed under `#status-words`, add a quoted-provenance row for it (where it is quoted from, never a definition).
-2. In `tests/test_reader_links.py`, update the entry fragments, add the cut's pins to `EXPECTED_READING_URLS` and `EXPECTED_HASH_BINDINGS` (the parser joins the text of all `<code>` elements in an `<li>` into one string and binds that string to each pinned link in that `<li>`, so keep an item's `<code>` text equal to its intended digest), update the pinned-link total and the `p.latest-boundary` count, and add a byte-identity pin for the cut that is no longer newest. Three digests pin the page below the newest cut: `#shrinking-bin-sampling` whole; the cuts digest from `#pair-endpoint-rate` up to `#lifetimes`, with lineage notes stripped; and the paths digest from `#lifetimes` up to `#further-reading`. A cut that stops being newest gets its own byte-identity pin, as the 06:20 cut has. Only the Further-reading section and the footer stay outside the pins.
+2. In `tests/test_reader_links.py`, update the entry fragments, add the cut's pins to `EXPECTED_READING_URLS` and `EXPECTED_HASH_BINDINGS` (the parser joins the text of all `<code>` elements in an `<li>` into one string and binds that string to each pinned link in that `<li>`, so keep an item's `<code>` text equal to its intended digest), update the pinned-link total and the `p.latest-boundary` count, and add a byte-identity pin for the cut that is no longer newest. Four digests pin the page below the newest cut: the 7 October cut whole (cut-pointer included); `#shrinking-bin-sampling` whole; the cuts digest from `#pair-endpoint-rate` up to `#lifetimes`, with lineage notes stripped; and the paths digest from `#lifetimes` up to `#further-reading`. A cut that stops being newest gets its own byte-identity pin, as the 06:20 cut has. Only the Further-reading section and the footer stay outside the pins.
 3. In `tools/public_shop_browser_check.py`, update `check_latest_work_flow` and `check_reading_addendum_flow`: entry focus, datetime, card and pinned-link counts.
 4. Keep `research.html` script-free, its IDs unique and every local fragment resolvable.
 5. Append the new cut, with its date and UTC time, to the list of later dated cuts earlier in this section, so this guide does not stop at an older cut.
 6. Rerun the release tool and the public-shop steps above.
 
-Rules for future cards, not a retrofit of pinned cuts: each card carries one visible primary pinned proof link on its face, with digests, reviews and manifests in the disclosure, and the test’s EXPECTED lists enumerate card-face and disclosure links separately. Each card ends with a `<dl class="card-status">` of up to three rows — “Landed?” (landed at Math `<commit>` / open proposal, quoting the PR state at the cut), “Read by” (provider · verdict token quoted from the linked review · scope) and “Scientific effect” (quoting the source’s own declaration) — reusing the 7 October labels “Who read it:” / “Still candidates:” / “Still informal:” verbatim where they apply. A display equation inside a future card is authored as `<p class="display-formula"><code>…</code></p>`, which `home.css` renders as a block; kickers and eyebrows are uppercased by CSS, so a future cut may author them in sentence case. Pinned cuts are not retrofitted.
+Rules for future cards, not a retrofit of pinned cuts: each card carries one visible primary pinned proof link on its face, with digests, reviews and manifests in the disclosure, and the test’s EXPECTED lists enumerate card-face and disclosure links separately. Each card ends with a `<dl class="card-status">` of up to three rows — “Landed?” (landed at Math or main `<commit>` / open proposal, quoting the PR state at the cut), “Read by” (provider · verdict token quoted from the linked review · scope) and “Scientific effect” (quoting the source’s own declaration) — reusing the 7 October labels “Who read it:” / “Still candidates:” / “Still informal:” verbatim where they apply. A display equation inside a future card is authored as `<p class="display-formula"><code>…</code></p>`, which `home.css` renders as a block; kickers and eyebrows are uppercased by CSS, so a future cut may author them in sentence case. Pinned cuts are not retrofitted.
 
 ## Keep or share a Library search
 

docs/site/app.js

@@ -1,6 +1,6 @@
-import {verifiedJSON, verifiedBytes, validateStatus, validateCoefficient, safeSourceURL, hex40, hex64} from './core.mjs?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174';
-import {connectCatalogQuery} from './catalog-query.mjs?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174';
-import {prepareWorkspaceFragment} from './workspace-fragment.mjs?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174';
+import {verifiedJSON, verifiedBytes, validateStatus, validateCoefficient, safeSourceURL, hex40, hex64} from './core.mjs?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238';
+import {connectCatalogQuery} from './catalog-query.mjs?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238';
+import {prepareWorkspaceFragment} from './workspace-fragment.mjs?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238';
 const finishFragment=prepareWorkspaceFragment();
 const el=id=>document.getElementById(id);
 const node=(tag,text,cls)=>{const n=document.createElement(tag);if(text!==undefined)n.textContent=text;if(cls)n.className=cls;return n;};

docs/site/brand.css

@@ -60,7 +60,7 @@ body > header {
   color: var(--ul-text); font-weight: 750; letter-spacing: .13em;
   position: relative; padding-left: 57px; min-height: 44px; line-height: 1.65;
 }
-.brand::before { content: ""; position: absolute; left: 0; top: 1px; width: 42px; height: 42px; background: url("brand/mark.svg?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174") center/contain no-repeat; }
+.brand::before { content: ""; position: absolute; left: 0; top: 1px; width: 42px; height: 42px; background: url("brand/mark.svg?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238") center/contain no-repeat; }
 .brand span { color: var(--ul-muted); font-size: 12px; letter-spacing: .16em; text-transform: uppercase; }
 nav { gap: 12px 24px; flex-wrap: wrap; }
 nav a { color: var(--ul-text); min-height: 44px; display: inline-flex; align-items: center; font-size: 13px; padding: 0 6px; margin: 0 -6px; }

docs/site/cite.html

@@ -4,8 +4,8 @@
 <meta name="description" content="Cite exact proofs, calculations and software sources with their real metadata, immutable commits and stated scope.">
 <meta http-equiv="Content-Security-Policy" content="default-src 'self'; connect-src 'none'; style-src 'self'; script-src 'self'; img-src 'self' data:; object-src 'none'; base-uri 'none'; form-action 'none'">
 <title>Cite · Universal Law</title>
-<link rel="stylesheet" href="style.css?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174"><link rel="stylesheet" href="brand.css?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174"><link rel="stylesheet" href="home.css?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174"><link rel="stylesheet" href="reference.css?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174"><link rel="icon" type="image/svg+xml" href="brand/mark.svg?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174"><meta name="color-scheme" content="dark light"><meta name="theme-color" media="(prefers-color-scheme: light)" content="#f6f8fc"><meta name="theme-color" media="(prefers-color-scheme: dark)" content="#07111f">
-<script type="module" src="cite.mjs?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174"></script>
+<link rel="stylesheet" href="style.css?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238"><link rel="stylesheet" href="brand.css?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238"><link rel="stylesheet" href="home.css?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238"><link rel="stylesheet" href="reference.css?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238"><link rel="icon" type="image/svg+xml" href="brand/mark.svg?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238"><meta name="color-scheme" content="dark light"><meta name="theme-color" media="(prefers-color-scheme: light)" content="#f6f8fc"><meta name="theme-color" media="(prefers-color-scheme: dark)" content="#07111f">
+<script type="module" src="cite.mjs?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238"></script>
 </head><body class="reader-home"><a class="skip-link" href="#main-content">Skip to content</a>
 <header><a class="brand" href="index.html">UNIVERSAL LAW <span>MATHEMATICS IN THE OPEN</span></a><nav aria-label="Primary"><a href="index.html">Home</a><a href="explore.html">Explore</a><a href="research.html">Research</a><a href="workspace.html#inventory">Library</a></nav></header>
 <nav class="reader-tools" aria-label="Research tools"><span class="reader-tools-label" aria-hidden="true">Research tools</span><a href="reproduce.html">Reproduce</a><a href="cite.html" aria-current="page">Cite</a></nav>

docs/site/cite.mjs

@@ -1,4 +1,4 @@
-import {wireReferenceForm} from './source-reference.mjs?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174';
+import {wireReferenceForm} from './source-reference.mjs?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238';
 const byId = id => document.getElementById(id);
 wireReferenceForm({form:byId('reference-form'), repository:byId('reference-repository'), commit:byId('reference-commit'), path:byId('reference-path'), sha256:byId('reference-sha256'), output:byId('reference-output'), json:byId('reference-json'), bibtex:byId('reference-bibtex'), link:byId('reference-link'), status:byId('reference-status'), actions:byId('reference-actions'), copyText:byId('reference-copy'), copyJSON:byId('reference-copy-json'), copyBibTeX:byId('reference-copy-bibtex'), share:byId('reference-share'), clipboard:globalThis.navigator?.clipboard, location:globalThis.location, history:globalThis.history, events:globalThis.window});
 byId('reference-builder').hidden = false;

docs/site/conditionals.mjs

@@ -93,7 +93,7 @@ export function renderProjection(document,host,data,source){
     el(document,'p','Generated from verified source bytes. This graph is not formal verification, a proof review, or a scientific-status register.'));
   host.replaceChildren(article);
 }
-const services=()=>import('./museum.mjs?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174');
+const services=()=>import('./museum.mjs?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238');
 // The museum module already verifies config → manifest → index/status once per
 // page fetch and caches every pinned byte request. This route consumes that same
 // verified startup, so it adds only the audited-descriptor check and projection.

docs/site/curvature-export.mjs

@@ -1,6 +1,6 @@
 // Bounded, local export of the Peaks and saddles teaching diagram. No source fetch
 // or proof verification occurs here; the identity below is recorded provenance.
-import { coneModel } from './explore-models.mjs?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174';
+import { coneModel } from './explore-models.mjs?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238';
 
 const SVG_NS = 'http://www.w3.org/2000/svg';
 const PUBLIC_EXPLORE = 'https://d6g8k5htny-coder.github.io/main/site/explore.html';

docs/site/dependencies.html

@@ -7,11 +7,11 @@
   <meta http-equiv="Content-Security-Policy" content="default-src 'self'; connect-src 'self'; style-src 'self'; script-src 'self'; img-src 'self' data:; object-src 'none'; base-uri 'none'; form-action 'none'">
   <title>Claim dependencies · Universal Law</title>
   <meta name="color-scheme" content="dark light"><meta name="theme-color" media="(prefers-color-scheme: light)" content="#f6f8fc"><meta name="theme-color" media="(prefers-color-scheme: dark)" content="#07111f">
-  <link rel="stylesheet" href="style.css?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174">
-  <link rel="stylesheet" href="brand.css?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174">
-  <link rel="stylesheet" href="dependencies.css?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174">
-  <link rel="icon" type="image/svg+xml" href="brand/mark.svg?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174">
-  <script type="module" src="dependencies.mjs?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174"></script>
+  <link rel="stylesheet" href="style.css?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238">
+  <link rel="stylesheet" href="brand.css?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238">
+  <link rel="stylesheet" href="dependencies.css?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238">
+  <link rel="icon" type="image/svg+xml" href="brand/mark.svg?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238">
+  <script type="module" src="dependencies.mjs?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238"></script>
 </head>
 <body class="dependency-page">
 <a class="skip-link" href="#main-content">Skip to content</a>

docs/site/dependencies.mjs

@@ -12,7 +12,7 @@ import {
   recordedContextRows,
   recordedReviewText,
   unresolvedTargets,
-} from './dependency-model.mjs?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174';
+} from './dependency-model.mjs?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238';
 
 const byId = id => document.getElementById(id);
 

docs/site/explore-models.mjs

@@ -1,6 +1,6 @@
 // NON-CERTIFYING educational arithmetic. These functions illustrate source
 // definitions; they do not simulate a field or estimate a theorem's constants.
-import { annulusModel, p15Model, remoteModel } from './geometry.mjs?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174';
+import { annulusModel, p15Model, remoteModel } from './geometry.mjs?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238';
 
 function finite(value, name) {
   if (!Number.isFinite(value)) throw new RangeError(`${name} must be finite`);

docs/site/explore.html

@@ -7,11 +7,11 @@
   <title>Explore the mathematics · Universal Law</title>
   <meta name="description" content="Three hands-on explanations of curvature, shrinking scales, and finite obstructions, with a path to the underlying research.">
   <meta name="color-scheme" content="dark light"><meta name="theme-color" media="(prefers-color-scheme: light)" content="#f6f8fc"><meta name="theme-color" media="(prefers-color-scheme: dark)" content="#07111f">
-  <link rel="stylesheet" href="style.css?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174">
-  <link rel="stylesheet" href="brand.css?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174">
-  <link rel="stylesheet" href="explore.css?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174">
-  <link rel="icon" type="image/svg+xml" href="brand/mark.svg?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174">
-  <script type="module" src="explore.mjs?site-release=350a06d94c011d71db39930e9df63991077101c561c921594d51c0d45f437174"></script>
+  <link rel="stylesheet" href="style.css?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238">
+  <link rel="stylesheet" href="brand.css?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238">
+  <link rel="stylesheet" href="explore.css?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238">
+  <link rel="icon" type="image/svg+xml" href="brand/mark.svg?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238">
+  <script type="module" src="explore.mjs?site-release=05e781a3ffc6330db3d2460bb7eb11e90e9fa8f9ee06a1364997e6b209299238"></script>
 </head>
 <body>
 <a class="skip-link" href="#main-content">Skip to content</a>