Cite · Universal Law
-
-
-
-
+
+
+
+
Skip to contentUNIVERSAL LAW MATHEMATICS IN THE OPEN
diff --git a/docs/site/cite.mjs b/docs/site/cite.mjs
index 139a92fe8..0e3eb3c39 100644
--- a/docs/site/cite.mjs
+++ b/docs/site/cite.mjs
@@ -1,4 +1,4 @@
-import {wireReferenceForm} from './source-reference.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
+import {wireReferenceForm} from './source-reference.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
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;
diff --git a/docs/site/conditionals.mjs b/docs/site/conditionals.mjs
index 9fc4067e8..25f4f2891 100644
--- a/docs/site/conditionals.mjs
+++ b/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=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc');
+const services=()=>import('./museum.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5');
// 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.
diff --git a/docs/site/current-model.mjs b/docs/site/current-model.mjs
index 45e3bba4a..e882812a3 100644
--- a/docs/site/current-model.mjs
+++ b/docs/site/current-model.mjs
@@ -1,4 +1,4 @@
-import {OPEN_CLASSIFICATIONS, NON_RESEARCH_KINDS} from './dependency-model.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
+import {OPEN_CLASSIFICATIONS, NON_RESEARCH_KINDS} from './dependency-model.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
const REPOSITORIES = new Set(['d6g8k5htny-coder/main','d6g8k5htny-coder/Math-']);
const SHA = /^[0-9a-f]{40}$/;
diff --git a/docs/site/current.mjs b/docs/site/current.mjs
index e24b53d00..afe1b7970 100644
--- a/docs/site/current.mjs
+++ b/docs/site/current.mjs
@@ -1,4 +1,4 @@
-import {parseVerifiedSnapshot,freshness,filterSources,sourceURL} from './current-model.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
+import {parseVerifiedSnapshot,freshness,filterSources,sourceURL} from './current-model.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
export function element(tag,text,className) {
const e=document.createElement(tag);if(text!==undefined)e.textContent=text;if(className)e.className=className;return e;
}
diff --git a/docs/site/curvature-export.mjs b/docs/site/curvature-export.mjs
index 4e099c092..19b15e961 100644
--- a/docs/site/curvature-export.mjs
+++ b/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=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
+import { coneModel } from './explore-models.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
const SVG_NS = 'http://www.w3.org/2000/svg';
const PUBLIC_EXPLORE = 'https://d6g8k5htny-coder.github.io/main/site/explore.html';
diff --git a/docs/site/dependencies.html b/docs/site/dependencies.html
index db7e31b19..470ff736e 100644
--- a/docs/site/dependencies.html
+++ b/docs/site/dependencies.html
@@ -7,14 +7,14 @@
Mathematics · Universal Law
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
Skip to content
diff --git a/docs/site/dependencies.mjs b/docs/site/dependencies.mjs
index 553478d67..e9aded2a4 100644
--- a/docs/site/dependencies.mjs
+++ b/docs/site/dependencies.mjs
@@ -12,7 +12,7 @@ import {
recordedContextRows,
recordedReviewText,
unresolvedTargets,
-} from './dependency-model.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
+} from './dependency-model.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
const byId = id => document.getElementById(id);
diff --git a/docs/site/explore-models.mjs b/docs/site/explore-models.mjs
index b148a272a..860261b73 100644
--- a/docs/site/explore-models.mjs
+++ b/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=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
+import { annulusModel, p15Model, remoteModel } from './geometry.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
function finite(value, name) {
if (!Number.isFinite(value)) throw new RangeError(`${name} must be finite`);
diff --git a/docs/site/explore.html b/docs/site/explore.html
index 351e74bbf..8a7225d93 100644
--- a/docs/site/explore.html
+++ b/docs/site/explore.html
@@ -7,13 +7,13 @@
Explore the mathematics · Universal Law
-
-
-
-
-
-
-
+
+
+
+
+
+
+
Skip to content
diff --git a/docs/site/explore.mjs b/docs/site/explore.mjs
index ea550772a..21a1ee7f0 100644
--- a/docs/site/explore.mjs
+++ b/docs/site/explore.mjs
@@ -1,10 +1,10 @@
-import { coneModel, pinModel, paletteModel, applyCurvaturePreset } from './explore-models.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
-import { readExploreState, exploreStateURL } from './explore-state.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
+import { coneModel, pinModel, paletteModel, applyCurvaturePreset } from './explore-models.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
+import { readExploreState, exploreStateURL } from './explore-state.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
-import { captureCurvatureDiagram, serializeCurvatureSVG, createCitationController } from './curvature-export.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
-import { captureTeachingDiagram, createFigureCitationController } from './teaching-export.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
-import { serializePinSVG, pinFigureCitation } from './pin-export.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
-import { serializePaletteSVG, paletteFigureCitation } from './palette-export.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
+import { captureCurvatureDiagram, serializeCurvatureSVG, createCitationController } from './curvature-export.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
+import { captureTeachingDiagram, createFigureCitationController } from './teaching-export.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
+import { serializePinSVG, pinFigureCitation } from './pin-export.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
+import { serializePaletteSVG, paletteFigureCitation } from './palette-export.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
const ns = 'http://www.w3.org/2000/svg';
const byId = id => document.getElementById(id);
diff --git a/docs/site/formal.html b/docs/site/formal.html
index 4fdca62d1..51bb275fc 100644
--- a/docs/site/formal.html
+++ b/docs/site/formal.html
@@ -5,11 +5,11 @@
Formal verification · Universal Law
-
-
-
+
+
+
-
+
Skip to content
diff --git a/docs/site/index.html b/docs/site/index.html
index 116fdcd66..5c994cb83 100644
--- a/docs/site/index.html
+++ b/docs/site/index.html
@@ -4,10 +4,10 @@
The shape of randomness · Universal Law
-
-
-
-
+
+
+
+
Skip to contentUNIVERSAL LAW MATHEMATICS IN THE OPEN
diff --git a/docs/site/measure.html b/docs/site/measure.html
index 2d9536951..6ca45157d 100644
--- a/docs/site/measure.html
+++ b/docs/site/measure.html
@@ -7,13 +7,13 @@
From counts to density · Universal Law
-
-
-
-
-
-
-
+
+
+
+
+
+
+
Skip to content
diff --git a/docs/site/measure.mjs b/docs/site/measure.mjs
index 8b7f06d39..059ba90e5 100644
--- a/docs/site/measure.mjs
+++ b/docs/site/measure.mjs
@@ -1,4 +1,4 @@
-import { measurementModel, parseMeasurementInputs } from './measurement-model.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
+import { measurementModel, parseMeasurementInputs } from './measurement-model.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
const byId = id => document.getElementById(id);
const fields = Object.fromEntries(['count', 'realizations', 'lower', 'upper'].map(name => [name, byId(`measure-${name}`)]));
diff --git a/docs/site/museum.html b/docs/site/museum.html
index e77825090..9490c1bed 100644
--- a/docs/site/museum.html
+++ b/docs/site/museum.html
@@ -5,14 +5,14 @@
Source records & exhibits · Universal Law
-
+
-
-
+
+
-
-
+
+
Skip to content
diff --git a/docs/site/museum.mjs b/docs/site/museum.mjs
index fb76d3b88..c9d73c53a 100644
--- a/docs/site/museum.mjs
+++ b/docs/site/museum.mjs
@@ -1,5 +1,5 @@
-import {renderSourceQuote} from './source-quote.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
-import {verifiedBytes, hex40, hex64} from './core.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
+import {renderSourceQuote} from './source-quote.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
+import {verifiedBytes, hex40, hex64} from './core.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
export const DISCLAIMER='This canvas explains the pinned source. It is not a proof and does not change status.';
const REVIEWED_IDS=['d2-lifetime-remainder','d3-side24-coefficient','d4-fixed-remote-rn','d5-all-height-annulus','d5-height-window-annulus','d5-two-scale','d5-inner-belt-density','d5-fixed-transverse','cumulative-transfer-correction','p15-demand-one-counterexample','d6-p15-full-price'];
@@ -264,7 +264,7 @@ function prepareClaimFragment(document,window,currentHash) {
return true;
};
}
-export async function startMuseum({document=globalThis.document,window=globalThis.window,fetcher=globalThis.fetch,search=globalThis.location?.search||'',geometryLoader=()=>import('./geometry.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc'),currentHash=()=>globalThis.location?.hash||''}={}){
+export async function startMuseum({document=globalThis.document,window=globalThis.window,fetcher=globalThis.fetch,search=globalThis.location?.search||'',geometryLoader=()=>import('./geometry.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5'),currentHash=()=>globalThis.location?.hash||''}={}){
const ids=['museum-state','claim-cards','lifetime-fixture','packet-cards','active-exhibit'];
const containers=Object.fromEntries(ids.map(id=>{const node=document.getElementById(id);if(!node)throw Error(`Missing museum container: ${id}`);return [id,node];}));
const finishFragment=prepareClaimFragment(document,window,currentHash);
diff --git a/docs/site/nodes/eng.d0-packet-allowlist-fix.html b/docs/site/nodes/eng.d0-packet-allowlist-fix.html
index 0fcf618d8..2b1e86d45 100644
--- a/docs/site/nodes/eng.d0-packet-allowlist-fix.html
+++ b/docs/site/nodes/eng.d0-packet-allowlist-fix.html
@@ -4,7 +4,7 @@
eng.d0-packet-allowlist-fix · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/eng.hard-gate.html b/docs/site/nodes/eng.hard-gate.html
index e6f97385f..c1eb1ce17 100644
--- a/docs/site/nodes/eng.hard-gate.html
+++ b/docs/site/nodes/eng.hard-gate.html
@@ -4,7 +4,7 @@
eng.hard-gate · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/eng.main-pr87-crosswalk.html b/docs/site/nodes/eng.main-pr87-crosswalk.html
index 662e4cb78..d463f32da 100644
--- a/docs/site/nodes/eng.main-pr87-crosswalk.html
+++ b/docs/site/nodes/eng.main-pr87-crosswalk.html
@@ -4,7 +4,7 @@
eng.main-pr87-crosswalk · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/hist.ALLCELL-FDZ-Q4.html b/docs/site/nodes/hist.ALLCELL-FDZ-Q4.html
index 784dd9366..8d763c0ae 100644
--- a/docs/site/nodes/hist.ALLCELL-FDZ-Q4.html
+++ b/docs/site/nodes/hist.ALLCELL-FDZ-Q4.html
@@ -4,7 +4,7 @@
hist.ALLCELL-FDZ-Q4 · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/hist.CH-LIFT.html b/docs/site/nodes/hist.CH-LIFT.html
index 08c0754fc..22110efd4 100644
--- a/docs/site/nodes/hist.CH-LIFT.html
+++ b/docs/site/nodes/hist.CH-LIFT.html
@@ -4,7 +4,7 @@
hist.CH-LIFT · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html b/docs/site/nodes/hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html
index 83260eda4..1ede10e4b 100644
--- a/docs/site/nodes/hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html
+++ b/docs/site/nodes/hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html
@@ -4,7 +4,7 @@
hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/hist.ENV-RESCOV.html b/docs/site/nodes/hist.ENV-RESCOV.html
index d8bebef21..3779f06dc 100644
--- a/docs/site/nodes/hist.ENV-RESCOV.html
+++ b/docs/site/nodes/hist.ENV-RESCOV.html
@@ -4,7 +4,7 @@
hist.ENV-RESCOV · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/hist.LOGQ-TAIL.html b/docs/site/nodes/hist.LOGQ-TAIL.html
index d8bef685e..b57c40be1 100644
--- a/docs/site/nodes/hist.LOGQ-TAIL.html
+++ b/docs/site/nodes/hist.LOGQ-TAIL.html
@@ -4,7 +4,7 @@
hist.LOGQ-TAIL · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/hist.OBL-H5-JETMOD.html b/docs/site/nodes/hist.OBL-H5-JETMOD.html
index c19f1ad2d..cd2201f76 100644
--- a/docs/site/nodes/hist.OBL-H5-JETMOD.html
+++ b/docs/site/nodes/hist.OBL-H5-JETMOD.html
@@ -4,7 +4,7 @@
hist.OBL-H5-JETMOD · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/hist.Piece-2-annulus.html b/docs/site/nodes/hist.Piece-2-annulus.html
index 38cda1b78..88a9f8f4b 100644
--- a/docs/site/nodes/hist.Piece-2-annulus.html
+++ b/docs/site/nodes/hist.Piece-2-annulus.html
@@ -4,7 +4,7 @@
hist.Piece-2-annulus · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/hist.SYM-Fw-jet.html b/docs/site/nodes/hist.SYM-Fw-jet.html
index de3e1d5eb..db0e24366 100644
--- a/docs/site/nodes/hist.SYM-Fw-jet.html
+++ b/docs/site/nodes/hist.SYM-Fw-jet.html
@@ -4,7 +4,7 @@
hist.SYM-Fw-jet · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/hist.allcell_fdz_enclosures.json.html b/docs/site/nodes/hist.allcell_fdz_enclosures.json.html
index a91b40973..745fd98b2 100644
--- a/docs/site/nodes/hist.allcell_fdz_enclosures.json.html
+++ b/docs/site/nodes/hist.allcell_fdz_enclosures.json.html
@@ -4,7 +4,7 @@
hist.allcell_fdz_enclosures.json · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/hist.lemma_closed.html b/docs/site/nodes/hist.lemma_closed.html
index 34a2e9737..a037ef2ef 100644
--- a/docs/site/nodes/hist.lemma_closed.html
+++ b/docs/site/nodes/hist.lemma_closed.html
@@ -4,7 +4,7 @@
hist.lemma_closed · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/hist.rnu_env.py.html b/docs/site/nodes/hist.rnu_env.py.html
index 5647dcfbe..ff71b9204 100644
--- a/docs/site/nodes/hist.rnu_env.py.html
+++ b/docs/site/nodes/hist.rnu_env.py.html
@@ -4,7 +4,7 @@
hist.rnu_env.py · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/index.html b/docs/site/nodes/index.html
index 5cc798804..84c5f15fe 100644
--- a/docs/site/nodes/index.html
+++ b/docs/site/nodes/index.html
@@ -4,7 +4,7 @@
Current static graph, equation excerpts and source index · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d1-component.congruence-erratum.html b/docs/site/nodes/math.d1-component.congruence-erratum.html
index 8f46acf5f..ff89324f2 100644
--- a/docs/site/nodes/math.d1-component.congruence-erratum.html
+++ b/docs/site/nodes/math.d1-component.congruence-erratum.html
@@ -4,7 +4,7 @@
math.d1-component.congruence-erratum · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d1-component.marked-cylinder-cap.html b/docs/site/nodes/math.d1-component.marked-cylinder-cap.html
index 3d2f2426d..28773698a 100644
--- a/docs/site/nodes/math.d1-component.marked-cylinder-cap.html
+++ b/docs/site/nodes/math.d1-component.marked-cylinder-cap.html
@@ -4,7 +4,7 @@
math.d1-component.marked-cylinder-cap · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d1-component.reconciliation-record.html b/docs/site/nodes/math.d1-component.reconciliation-record.html
index 7816664a3..ce5f3581e 100644
--- a/docs/site/nodes/math.d1-component.reconciliation-record.html
+++ b/docs/site/nodes/math.d1-component.reconciliation-record.html
@@ -4,7 +4,7 @@
math.d1-component.reconciliation-record · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d1-component.section9-replacement-v1_1.html b/docs/site/nodes/math.d1-component.section9-replacement-v1_1.html
index 7c4f59224..87f062547 100644
--- a/docs/site/nodes/math.d1-component.section9-replacement-v1_1.html
+++ b/docs/site/nodes/math.d1-component.section9-replacement-v1_1.html
@@ -4,7 +4,7 @@
math.d1-component.section9-replacement-v1_1 · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-component.annulus-proof.html b/docs/site/nodes/math.d5-component.annulus-proof.html
index 35f38b228..7bbab3b3e 100644
--- a/docs/site/nodes/math.d5-component.annulus-proof.html
+++ b/docs/site/nodes/math.d5-component.annulus-proof.html
@@ -4,7 +4,7 @@
math.d5-component.annulus-proof · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-component.annulus-review.html b/docs/site/nodes/math.d5-component.annulus-review.html
index cfe42fb54..fc487a7f4 100644
--- a/docs/site/nodes/math.d5-component.annulus-review.html
+++ b/docs/site/nodes/math.d5-component.annulus-review.html
@@ -4,7 +4,7 @@
math.d5-component.annulus-review · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-component.collar-proof.html b/docs/site/nodes/math.d5-component.collar-proof.html
index cd9104178..084ffd0c6 100644
--- a/docs/site/nodes/math.d5-component.collar-proof.html
+++ b/docs/site/nodes/math.d5-component.collar-proof.html
@@ -4,7 +4,7 @@
math.d5-component.collar-proof · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-component.collar-review.html b/docs/site/nodes/math.d5-component.collar-review.html
index 52487ff5d..e1dfc3f32 100644
--- a/docs/site/nodes/math.d5-component.collar-review.html
+++ b/docs/site/nodes/math.d5-component.collar-review.html
@@ -4,7 +4,7 @@
math.d5-component.collar-review · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-component.i5-review-claude.html b/docs/site/nodes/math.d5-component.i5-review-claude.html
index e83b59eb8..b286a5a4a 100644
--- a/docs/site/nodes/math.d5-component.i5-review-claude.html
+++ b/docs/site/nodes/math.d5-component.i5-review-claude.html
@@ -4,7 +4,7 @@
math.d5-component.i5-review-claude · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-component.i5-review-xai.html b/docs/site/nodes/math.d5-component.i5-review-xai.html
index e6ddf8f1e..d90bf972a 100644
--- a/docs/site/nodes/math.d5-component.i5-review-xai.html
+++ b/docs/site/nodes/math.d5-component.i5-review-xai.html
@@ -4,7 +4,7 @@
math.d5-component.i5-review-xai · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-component.intermediate-window-proof.html b/docs/site/nodes/math.d5-component.intermediate-window-proof.html
index ef7e978a9..daa2e26b1 100644
--- a/docs/site/nodes/math.d5-component.intermediate-window-proof.html
+++ b/docs/site/nodes/math.d5-component.intermediate-window-proof.html
@@ -4,7 +4,7 @@
math.d5-component.intermediate-window-proof · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-component.offpin-second-moment-review.html b/docs/site/nodes/math.d5-component.offpin-second-moment-review.html
index 8480c26dd..7492f6bb1 100644
--- a/docs/site/nodes/math.d5-component.offpin-second-moment-review.html
+++ b/docs/site/nodes/math.d5-component.offpin-second-moment-review.html
@@ -4,7 +4,7 @@
math.d5-component.offpin-second-moment-review · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-component.punctured-pin-continuum-check.html b/docs/site/nodes/math.d5-component.punctured-pin-continuum-check.html
index edeeba30f..a1c5d32c8 100644
--- a/docs/site/nodes/math.d5-component.punctured-pin-continuum-check.html
+++ b/docs/site/nodes/math.d5-component.punctured-pin-continuum-check.html
@@ -4,7 +4,7 @@
math.d5-component.punctured-pin-continuum-check · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-component.punctured-pin-continuum-review.html b/docs/site/nodes/math.d5-component.punctured-pin-continuum-review.html
index fa5e7a874..e0a22eb25 100644
--- a/docs/site/nodes/math.d5-component.punctured-pin-continuum-review.html
+++ b/docs/site/nodes/math.d5-component.punctured-pin-continuum-review.html
@@ -4,7 +4,7 @@
math.d5-component.punctured-pin-continuum-review · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-component.punctured-pin-proof.html b/docs/site/nodes/math.d5-component.punctured-pin-proof.html
index c5e438f44..84c0c7e11 100644
--- a/docs/site/nodes/math.d5-component.punctured-pin-proof.html
+++ b/docs/site/nodes/math.d5-component.punctured-pin-proof.html
@@ -4,7 +4,7 @@
math.d5-component.punctured-pin-proof · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-component.punctured-pin-review-111.html b/docs/site/nodes/math.d5-component.punctured-pin-review-111.html
index b965270ad..3d45171af 100644
--- a/docs/site/nodes/math.d5-component.punctured-pin-review-111.html
+++ b/docs/site/nodes/math.d5-component.punctured-pin-review-111.html
@@ -4,7 +4,7 @@
math.d5-component.punctured-pin-review-111 · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-component.remote-window-proof.html b/docs/site/nodes/math.d5-component.remote-window-proof.html
index 6e6849d06..1348d31d0 100644
--- a/docs/site/nodes/math.d5-component.remote-window-proof.html
+++ b/docs/site/nodes/math.d5-component.remote-window-proof.html
@@ -4,7 +4,7 @@
math.d5-component.remote-window-proof · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.d5-pin-neighborhood-first-moment.html b/docs/site/nodes/math.d5-pin-neighborhood-first-moment.html
index 49da5d893..fd8267289 100644
--- a/docs/site/nodes/math.d5-pin-neighborhood-first-moment.html
+++ b/docs/site/nodes/math.d5-pin-neighborhood-first-moment.html
@@ -4,7 +4,7 @@
math.d5-pin-neighborhood-first-moment · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.lifetime-remainder.html b/docs/site/nodes/math.lifetime-remainder.html
index 10be396e9..2f1553337 100644
--- a/docs/site/nodes/math.lifetime-remainder.html
+++ b/docs/site/nodes/math.lifetime-remainder.html
@@ -4,7 +4,7 @@
math.lifetime-remainder · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.p15-full-price.html b/docs/site/nodes/math.p15-full-price.html
index fea11fc97..08227575b 100644
--- a/docs/site/nodes/math.p15-full-price.html
+++ b/docs/site/nodes/math.p15-full-price.html
@@ -4,7 +4,7 @@
math.p15-full-price · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.p15-price-boundary.html b/docs/site/nodes/math.p15-price-boundary.html
index bd86a1edf..3506dcf9e 100644
--- a/docs/site/nodes/math.p15-price-boundary.html
+++ b/docs/site/nodes/math.p15-price-boundary.html
@@ -4,7 +4,7 @@
math.p15-price-boundary · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.rn-count-interface.html b/docs/site/nodes/math.rn-count-interface.html
index 7a5b7107a..0021ff935 100644
--- a/docs/site/nodes/math.rn-count-interface.html
+++ b/docs/site/nodes/math.rn-count-interface.html
@@ -4,7 +4,7 @@
math.rn-count-interface · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.rn-fixed-annulus-window.html b/docs/site/nodes/math.rn-fixed-annulus-window.html
index 496d2d947..f2a540725 100644
--- a/docs/site/nodes/math.rn-fixed-annulus-window.html
+++ b/docs/site/nodes/math.rn-fixed-annulus-window.html
@@ -4,7 +4,7 @@
math.rn-fixed-annulus-window · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.rn-fixed-remote-window.html b/docs/site/nodes/math.rn-fixed-remote-window.html
index 253b023ea..8e94d6e6c 100644
--- a/docs/site/nodes/math.rn-fixed-remote-window.html
+++ b/docs/site/nodes/math.rn-fixed-remote-window.html
@@ -4,7 +4,7 @@
math.rn-fixed-remote-window · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.rn-mesoscopic-reduction.html b/docs/site/nodes/math.rn-mesoscopic-reduction.html
index 4c0f307be..6a83e609d 100644
--- a/docs/site/nodes/math.rn-mesoscopic-reduction.html
+++ b/docs/site/nodes/math.rn-mesoscopic-reduction.html
@@ -4,7 +4,7 @@
math.rn-mesoscopic-reduction · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.rn-region.fixed-annulus-window.html b/docs/site/nodes/math.rn-region.fixed-annulus-window.html
index f2e7e46d6..39a0aeef3 100644
--- a/docs/site/nodes/math.rn-region.fixed-annulus-window.html
+++ b/docs/site/nodes/math.rn-region.fixed-annulus-window.html
@@ -4,7 +4,7 @@
math.rn-region.fixed-annulus-window · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.rn-region.fixed-remote.html b/docs/site/nodes/math.rn-region.fixed-remote.html
index 3f5507093..28305d058 100644
--- a/docs/site/nodes/math.rn-region.fixed-remote.html
+++ b/docs/site/nodes/math.rn-region.fixed-remote.html
@@ -4,7 +4,7 @@
math.rn-region.fixed-remote · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.rn-region.intermediate-r-to-rho.html b/docs/site/nodes/math.rn-region.intermediate-r-to-rho.html
index 361e6ca7b..65495ba70 100644
--- a/docs/site/nodes/math.rn-region.intermediate-r-to-rho.html
+++ b/docs/site/nodes/math.rn-region.intermediate-r-to-rho.html
@@ -4,7 +4,7 @@
math.rn-region.intermediate-r-to-rho · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.rn-region.mesoscopic-scaled-annulus.html b/docs/site/nodes/math.rn-region.mesoscopic-scaled-annulus.html
index 334742938..50af83310 100644
--- a/docs/site/nodes/math.rn-region.mesoscopic-scaled-annulus.html
+++ b/docs/site/nodes/math.rn-region.mesoscopic-scaled-annulus.html
@@ -4,7 +4,7 @@
math.rn-region.mesoscopic-scaled-annulus · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.rn-region.pin-collision.html b/docs/site/nodes/math.rn-region.pin-collision.html
index b7b8f32df..1973c3dcf 100644
--- a/docs/site/nodes/math.rn-region.pin-collision.html
+++ b/docs/site/nodes/math.rn-region.pin-collision.html
@@ -4,7 +4,7 @@
math.rn-region.pin-collision · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.rn-region.witness-collision.html b/docs/site/nodes/math.rn-region.witness-collision.html
index 26d1e1f6b..732060bc5 100644
--- a/docs/site/nodes/math.rn-region.witness-collision.html
+++ b/docs/site/nodes/math.rn-region.witness-collision.html
@@ -4,7 +4,7 @@
math.rn-region.witness-collision · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.rn-selector-region-crosswalk.html b/docs/site/nodes/math.rn-selector-region-crosswalk.html
index ae1d1b0a6..fd168720e 100644
--- a/docs/site/nodes/math.rn-selector-region-crosswalk.html
+++ b/docs/site/nodes/math.rn-selector-region-crosswalk.html
@@ -4,7 +4,7 @@
math.rn-selector-region-crosswalk · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.side24-coefficient.html b/docs/site/nodes/math.side24-coefficient.html
index cdaa4f2a3..07dc03c21 100644
--- a/docs/site/nodes/math.side24-coefficient.html
+++ b/docs/site/nodes/math.side24-coefficient.html
@@ -4,7 +4,7 @@
math.side24-coefficient · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/math.uniform-matrix-cap-lifetime.html b/docs/site/nodes/math.uniform-matrix-cap-lifetime.html
index 12d91ec04..293989c9b 100644
--- a/docs/site/nodes/math.uniform-matrix-cap-lifetime.html
+++ b/docs/site/nodes/math.uniform-matrix-cap-lifetime.html
@@ -4,7 +4,7 @@
math.uniform-matrix-cap-lifetime · Current research dependency atlas
-
+
diff --git a/docs/site/nodes/regional.fixed-annulus.high-jet-route.html b/docs/site/nodes/regional.fixed-annulus.high-jet-route.html
index c262220c1..66b416a39 100644
--- a/docs/site/nodes/regional.fixed-annulus.high-jet-route.html
+++ b/docs/site/nodes/regional.fixed-annulus.high-jet-route.html
@@ -4,7 +4,7 @@
regional.fixed-annulus.high-jet-route · Current research dependency atlas
-
+
diff --git a/docs/site/palette-export.mjs b/docs/site/palette-export.mjs
index 46cab525c..da3c6c632 100644
--- a/docs/site/palette-export.mjs
+++ b/docs/site/palette-export.mjs
@@ -1,7 +1,7 @@
// Bounded teaching export of Explore's current finite P15 diagram. Source
// custody is provenance; this module performs no mathematical verification.
-import { paletteModel } from './explore-models.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
-import { serializeTeachingSVG } from './teaching-export.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
+import { paletteModel } from './explore-models.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
+import { serializeTeachingSVG } from './teaching-export.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
const PUBLIC_EXPLORE = 'https://d6g8k5htny-coder.github.io/main/site/explore.html';
const SOURCE = Object.freeze({
diff --git a/docs/site/pin-export.mjs b/docs/site/pin-export.mjs
index 38b74ec70..b3e288168 100644
--- a/docs/site/pin-export.mjs
+++ b/docs/site/pin-export.mjs
@@ -1,7 +1,7 @@
// Bounded export of the CURRENT displayed Approach-points teaching diagram.
// Pinned source identities are provenance, not proof acceptance or verification.
-import { pinModel } from './explore-models.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
-import { serializeTeachingSVG } from './teaching-export.mjs?site-release=4764cf2cfa0123b97aca3ec6ff8a1aba79e9ad1b5506d8616775b59c20e65ebc';
+import { pinModel } from './explore-models.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
+import { serializeTeachingSVG } from './teaching-export.mjs?site-release=1eaa1838e81f69522e55d5ba561d675c57271e8fbd3bec9c152123e1de25cbe5';
const PUBLIC_EXPLORE='https://d6g8k5htny-coder.github.io/main/site/explore.html';
const COMMIT='d6628da09384728992dcbe6e921cc28ba85aebb0';
diff --git a/docs/site/reproduce.html b/docs/site/reproduce.html
index ee4ede451..7bda4a092 100644
--- a/docs/site/reproduce.html
+++ b/docs/site/reproduce.html
@@ -4,11 +4,11 @@
Reproduce · Universal Law
-
+
-
-
-
+
+
+
Skip to contentUNIVERSAL LAW MATHEMATICS IN THE OPEN
diff --git a/docs/site/research.html b/docs/site/research.html
index 04f182c4f..18d2673fe 100644
--- a/docs/site/research.html
+++ b/docs/site/research.html
@@ -4,8 +4,8 @@
Research · Universal Law
-
-
+
+
Skip to contentUNIVERSAL LAW MATHEMATICS IN THE OPEN
@@ -347,7 +347,7 @@
Current research sources
FINITE NUMERICAL EVIDENCE
Follow the computation, too
The public numerical work retains exact finite-field certificates, H0 endpoints, refinement results and adverse controls. Those finite calculations do not confirm the infinite-field coefficient or the asymptotic remainder.
The 2,138-file Library preserves its 2026-09-26 inventory. The source exhibits and status board have their own fixed source dates. They are not silently refreshed by this reading cut.
As a height threshold moves, a landscape’s connected regions appear and merge. Persistence records how long each feature survives in threshold space. A lifetime theorem needs more than a picture: it must identify the relevant event and control the probabilistic terms that describe it.
The lifetime-remainder argument studies a particular remainder term. Its recorded review accepts an existential O(1) remainder under the stated imported assumptions. It does not supply numerical constants, a usable radius, or a second coefficient.
A smooth surface bends near a critical point. The eigenvalues of its Hessian describe that bending. Two negative eigenvalues identify a strict local maximum in a nondegenerate two-dimensional example.
The SIDE24 calculation integrates a particular geometric quantity and supplies exact coefficient enclosures in dimensions two and three. Its coefficient review has a precise scope; interpreting the coefficient as part of a lifetime law retains that law’s separate assumptions.