From dce6f70ca33c3181b0cd2cec1764b8e155542171 Mon Sep 17 00:00:00 2001 From: Dylan Roy <249851642+d6g8k5htny-coder@users.noreply.github.com> Date: Sat, 17 Oct 2026 20:46:32 -0500 Subject: [PATCH] site: add responsive Mathematics reader and current contributor routes Preserve the exact reviewed reader/restore/current-Main union: staged execution tree33258f1f,1155leaves,182delta paths (172 exact release-query-only,8 semantic modifications,2 reader additions). Existing restore blobs and all unrelated Main files/modes/workflows retained. Source author: Codex /root/site_reader_current_main (388/6244162037), conserving reviewed reader492 and original425 lineage. Fresh whole-union source/security/specification/quality reviewer: /root/site_reader_union_review (388/6244318525,23,335B report SHA25696d5d136360f53fcd63a85ea05f3f4ee584f305c1a672779279b653b7e2cc874). Distinct source/review-nonauthor integration: /root/site415_readiness (388/6244287542). Original staged execution is not relabeled to this native metadata commit. Shared provider/principal; organizational/human independence0; scientific effectNONE. --- docs/site/README.md | 5 +- docs/site/app.js | 6 +- docs/site/atlas-shell.mjs | 75 ++++++++++ docs/site/atlas.mjs | 27 ++-- docs/site/brand.css | 2 +- docs/site/cite.html | 8 +- docs/site/cite.mjs | 2 +- docs/site/conditionals.mjs | 2 +- docs/site/current-model.mjs | 2 +- docs/site/current.css | 18 +++ docs/site/current.mjs | 2 +- docs/site/curvature-export.mjs | 2 +- docs/site/dependencies.html | 16 +- docs/site/dependencies.mjs | 2 +- docs/site/explore-models.mjs | 2 +- docs/site/explore.html | 14 +- docs/site/explore.mjs | 12 +- docs/site/formal.html | 8 +- docs/site/index.html | 8 +- docs/site/measure.html | 14 +- docs/site/measure.mjs | 2 +- docs/site/museum.html | 10 +- docs/site/museum.mjs | 6 +- .../nodes/eng.d0-packet-allowlist-fix.html | 2 +- docs/site/nodes/eng.hard-gate.html | 2 +- docs/site/nodes/eng.main-pr87-crosswalk.html | 2 +- docs/site/nodes/hist.ALLCELL-FDZ-Q4.html | 2 +- docs/site/nodes/hist.CH-LIFT.html | 2 +- ...CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html | 2 +- docs/site/nodes/hist.ENV-RESCOV.html | 2 +- docs/site/nodes/hist.LOGQ-TAIL.html | 2 +- docs/site/nodes/hist.OBL-H5-JETMOD.html | 2 +- docs/site/nodes/hist.Piece-2-annulus.html | 2 +- docs/site/nodes/hist.SYM-Fw-jet.html | 2 +- .../hist.allcell_fdz_enclosures.json.html | 2 +- docs/site/nodes/hist.lemma_closed.html | 2 +- docs/site/nodes/hist.rnu_env.py.html | 2 +- docs/site/nodes/index.html | 2 +- .../math.d1-component.congruence-erratum.html | 2 +- ...math.d1-component.marked-cylinder-cap.html | 2 +- ...th.d1-component.reconciliation-record.html | 2 +- ...1-component.section9-replacement-v1_1.html | 2 +- .../math.d5-component.annulus-proof.html | 2 +- .../math.d5-component.annulus-review.html | 2 +- .../nodes/math.d5-component.collar-proof.html | 2 +- .../math.d5-component.collar-review.html | 2 +- .../math.d5-component.i5-review-claude.html | 2 +- .../math.d5-component.i5-review-xai.html | 2 +- ...5-component.intermediate-window-proof.html | 2 +- ...component.offpin-second-moment-review.html | 2 +- ...mponent.punctured-pin-continuum-check.html | 2 +- ...ponent.punctured-pin-continuum-review.html | 2 +- ...math.d5-component.punctured-pin-proof.html | 2 +- ...d5-component.punctured-pin-review-111.html | 2 +- ...math.d5-component.remote-window-proof.html | 2 +- ...math.d5-pin-neighborhood-first-moment.html | 2 +- docs/site/nodes/math.lifetime-remainder.html | 2 +- docs/site/nodes/math.p15-full-price.html | 2 +- docs/site/nodes/math.p15-price-boundary.html | 2 +- docs/site/nodes/math.rn-count-interface.html | 2 +- .../nodes/math.rn-fixed-annulus-window.html | 2 +- .../nodes/math.rn-fixed-remote-window.html | 2 +- .../nodes/math.rn-mesoscopic-reduction.html | 2 +- .../math.rn-region.fixed-annulus-window.html | 2 +- .../nodes/math.rn-region.fixed-remote.html | 2 +- .../math.rn-region.intermediate-r-to-rho.html | 2 +- ...h.rn-region.mesoscopic-scaled-annulus.html | 2 +- .../nodes/math.rn-region.pin-collision.html | 2 +- .../math.rn-region.witness-collision.html | 2 +- .../math.rn-selector-region-crosswalk.html | 2 +- docs/site/nodes/math.side24-coefficient.html | 2 +- .../math.uniform-matrix-cap-lifetime.html | 2 +- ...regional.fixed-annulus.high-jet-route.html | 2 +- docs/site/palette-export.mjs | 4 +- docs/site/pin-export.mjs | 4 +- docs/site/reproduce.html | 8 +- docs/site/research.html | 6 +- .../nodes/eng.d0-packet-allowlist-fix.html | 2 +- .../nodes/eng.hard-gate.html | 2 +- .../nodes/eng.main-pr87-crosswalk.html | 2 +- .../nodes/hist.ALLCELL-FDZ-Q4.html | 2 +- .../nodes/hist.CH-LIFT.html | 2 +- ...CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html | 2 +- .../nodes/hist.ENV-RESCOV.html | 2 +- .../nodes/hist.LOGQ-TAIL.html | 2 +- .../nodes/hist.OBL-H5-JETMOD.html | 2 +- .../nodes/hist.Piece-2-annulus.html | 2 +- .../nodes/hist.SYM-Fw-jet.html | 2 +- .../hist.allcell_fdz_enclosures.json.html | 2 +- .../nodes/hist.lemma_closed.html | 2 +- .../nodes/hist.rnu_env.py.html | 2 +- .../nodes/index.html | 2 +- .../math.d1-component.congruence-erratum.html | 2 +- ...math.d1-component.marked-cylinder-cap.html | 2 +- ...th.d1-component.reconciliation-record.html | 2 +- ...1-component.section9-replacement-v1_1.html | 2 +- .../math.d5-component.annulus-proof.html | 2 +- .../math.d5-component.annulus-review.html | 2 +- .../nodes/math.d5-component.collar-proof.html | 2 +- .../math.d5-component.collar-review.html | 2 +- .../math.d5-component.i5-review-claude.html | 2 +- .../math.d5-component.i5-review-xai.html | 2 +- ...5-component.intermediate-window-proof.html | 2 +- ...component.offpin-second-moment-review.html | 2 +- ...mponent.punctured-pin-continuum-check.html | 2 +- ...ponent.punctured-pin-continuum-review.html | 2 +- ...math.d5-component.punctured-pin-proof.html | 2 +- ...d5-component.punctured-pin-review-111.html | 2 +- ...math.d5-component.remote-window-proof.html | 2 +- ...math.d5-pin-neighborhood-first-moment.html | 2 +- .../nodes/math.lifetime-remainder.html | 2 +- .../nodes/math.p15-full-price.html | 2 +- .../nodes/math.p15-price-boundary.html | 2 +- .../nodes/math.rn-count-interface.html | 2 +- .../nodes/math.rn-fixed-annulus-window.html | 2 +- .../nodes/math.rn-fixed-remote-window.html | 2 +- .../nodes/math.rn-mesoscopic-reduction.html | 2 +- .../math.rn-region.fixed-annulus-window.html | 2 +- .../nodes/math.rn-region.fixed-remote.html | 2 +- .../math.rn-region.intermediate-r-to-rho.html | 2 +- ...h.rn-region.mesoscopic-scaled-annulus.html | 2 +- .../nodes/math.rn-region.pin-collision.html | 2 +- .../math.rn-region.witness-collision.html | 2 +- .../math.rn-selector-region-crosswalk.html | 2 +- .../nodes/math.side24-coefficient.html | 2 +- .../math.uniform-matrix-cap-lifetime.html | 2 +- ...regional.fixed-annulus.high-jet-route.html | 2 +- .../nodes/eng.d0-packet-allowlist-fix.html | 2 +- .../nodes/eng.hard-gate.html | 2 +- .../nodes/eng.main-pr87-crosswalk.html | 2 +- .../nodes/hist.ALLCELL-FDZ-Q4.html | 2 +- .../nodes/hist.CH-LIFT.html | 2 +- ...CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html | 2 +- .../nodes/hist.ENV-RESCOV.html | 2 +- .../nodes/hist.LOGQ-TAIL.html | 2 +- .../nodes/hist.OBL-H5-JETMOD.html | 2 +- .../nodes/hist.Piece-2-annulus.html | 2 +- .../nodes/hist.SYM-Fw-jet.html | 2 +- .../hist.allcell_fdz_enclosures.json.html | 2 +- .../nodes/hist.lemma_closed.html | 2 +- .../nodes/hist.rnu_env.py.html | 2 +- .../nodes/index.html | 2 +- .../math.d1-component.congruence-erratum.html | 2 +- ...math.d1-component.marked-cylinder-cap.html | 2 +- ...th.d1-component.reconciliation-record.html | 2 +- ...1-component.section9-replacement-v1_1.html | 2 +- .../math.d5-component.annulus-proof.html | 2 +- .../math.d5-component.annulus-review.html | 2 +- .../nodes/math.d5-component.collar-proof.html | 2 +- .../math.d5-component.collar-review.html | 2 +- .../math.d5-component.i5-review-claude.html | 2 +- .../math.d5-component.i5-review-xai.html | 2 +- ...5-component.intermediate-window-proof.html | 2 +- ...component.offpin-second-moment-review.html | 2 +- ...mponent.punctured-pin-continuum-check.html | 2 +- ...ponent.punctured-pin-continuum-review.html | 2 +- ...math.d5-component.punctured-pin-proof.html | 2 +- ...d5-component.punctured-pin-review-111.html | 2 +- ...math.d5-component.remote-window-proof.html | 2 +- ...math.d5-pin-neighborhood-first-moment.html | 2 +- .../nodes/math.lifetime-remainder.html | 2 +- .../nodes/math.p15-full-price.html | 2 +- .../nodes/math.p15-price-boundary.html | 2 +- .../nodes/math.rn-count-interface.html | 2 +- .../nodes/math.rn-fixed-annulus-window.html | 2 +- .../nodes/math.rn-fixed-remote-window.html | 2 +- .../nodes/math.rn-mesoscopic-reduction.html | 2 +- .../math.rn-region.fixed-annulus-window.html | 2 +- .../nodes/math.rn-region.fixed-remote.html | 2 +- .../math.rn-region.intermediate-r-to-rho.html | 2 +- ...h.rn-region.mesoscopic-scaled-annulus.html | 2 +- .../nodes/math.rn-region.pin-collision.html | 2 +- .../math.rn-region.witness-collision.html | 2 +- .../math.rn-selector-region-crosswalk.html | 2 +- .../nodes/math.side24-coefficient.html | 2 +- .../math.uniform-matrix-cap-lifetime.html | 2 +- ...regional.fixed-annulus.high-jet-route.html | 2 +- docs/site/workspace.html | 12 +- tests/test_current_site.mjs | 1 + tests/test_current_site_shell.mjs | 138 +++++++++++++++++ tests/test_reader_links.py | 13 +- tools/current_site_browser_check.py | 139 +++++++++++++++++- 182 files changed, 623 insertions(+), 247 deletions(-) create mode 100644 docs/site/atlas-shell.mjs create mode 100644 tests/test_current_site_shell.mjs diff --git a/docs/site/README.md b/docs/site/README.md index 29807a479..e8ad99b62 100644 --- a/docs/site/README.md +++ b/docs/site/README.md @@ -21,7 +21,10 @@ The front and technical layers use the same existing evidence. No second scienti `tools/current_site_data.py` resolves public main and Math- commits once, verifies their complete Git trees and the seven acquired source files, and extracts exact indented proof displays. Other inventory rows bind paths and Git blobs; their document bytes are not downloaded. The page calls equation blocks excerpts and keeps their surrounding proof scope available by pinned line links. `tools/current_site_build.py` renders one payload offline into marked current sections and static node pages; Research and Formal stay script-free. Current observations and original dated reading cuts have separate identities. -The proposed `current-site.yml` builds on main pushes and a 30-minute schedule and deploys the complete tested docs artifact through Pages Actions. Deployment needs verified Pages source configuration and actual hosted success before it can be called active. A failed source refresh cannot reach deployment. Source observations are not mathematical revalidation. Existing diagrams on Explore keep their defined teaching scope; the new source panel links the advancing work. +The configured `.github/workflows/current-site.yml` builds on main pushes and a 30-minute schedule and deploys the complete tested docs artifact through Pages Actions. Each candidate needs its own hosted success and deployed-source acceptance. A failed source refresh cannot reach deployment. Source observations are not mathematical revalidation. Existing diagrams on Explore keep their defined teaching scope; the new source panel links the advancing work. + + +Observed production on 17 October 2026: [run 39076035717, attempt 1](https://github.com/d6g8k5htny-coder/main/actions/runs/39076035717) successfully built and deployed Main `df590a438f1252309270ca625c6fe8531ddadc3b`. The [dated #410 verification record](https://github.com/d6g8k5htny-coder/main/pull/410#issuecomment-6242575372) binds the observed receipt to exact public manifest, metadata and payload bytes, with public browser readback at 22:45:59–22:46:08 UTC. This establishes that observed publication only; later #415, #425 and atlas candidates need their own hosted and deployed-source acceptance. Source observations and deployment are not scientific revalidation. Local current-view controls: `python3 -B -S -m unittest tests.test_current_site_data tests.test_current_site_build`; `node --test tests/test_current_site.mjs`; and, with the pinned browser packages and packaged Chrome, `python3 -B tools/current_site_browser_check.py --output browser-evidence/current-atlas`. diff --git a/docs/site/app.js b/docs/site/app.js index d669bec22..51b2a2bcf 100644 --- a/docs/site/app.js +++ b/docs/site/app.js @@ -1,6 +1,6 @@ -import {verifiedJSON, verifiedBytes, validateStatus, validateCoefficient, safeSourceURL, hex40, hex64} from './core.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; -import {connectCatalogQuery} from './catalog-query.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; -import {prepareWorkspaceFragment} from './workspace-fragment.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +import {verifiedJSON, verifiedBytes, validateStatus, validateCoefficient, safeSourceURL, hex40, hex64} from './core.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; +import {connectCatalogQuery} from './catalog-query.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; +import {prepareWorkspaceFragment} from './workspace-fragment.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; 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;}; diff --git a/docs/site/atlas-shell.mjs b/docs/site/atlas-shell.mjs new file mode 100644 index 000000000..3107b4104 --- /dev/null +++ b/docs/site/atlas-shell.mjs @@ -0,0 +1,75 @@ +// Presentation only: this module never fetches, admits or classifies source data. +export function viewForViewport(search,parsedView,narrow){ + const requested=new URLSearchParams(search).get('atlas-view'); + return requested==='graph'||requested==='list'?requested:narrow?'list':'graph'; +} + +export function createAtlasShell({root,inspector,diagnostics,media,location,history,onChange}){ + const doc=root.ownerDocument,layout=inspector.parentElement,browse=layout.children[0]; + const make=(tag,id,text)=>{const node=doc.createElement(tag);if(id)node.id=id;if(text)node.textContent=text;return node;}; + const reader=make('section','atlas-reader');reader.setAttribute('class','atlas-reader');reader.setAttribute('aria-label','Selected node reader'); + const navigation=make('nav');navigation.setAttribute('class','atlas-reader-navigation');navigation.setAttribute('aria-label','Reader navigation'); + const back=make('button','atlas-reader-back','Back'),forward=make('button','atlas-reader-forward','Forward'),browseLink=make('a','atlas-browse-link','Return to atlas browse'); + for(const button of [back,forward])button.type='button'; + back.addEventListener('click',()=>history.back());forward.addEventListener('click',()=>history.forward());navigation.append(back,forward,browseLink); + const tabs=make('div','atlas-inspector-tabs');tabs.setAttribute('role','tablist');tabs.setAttribute('aria-label','Selected node information'); + const names=['evidence','diagnostics'],buttons=[],panels=[]; + for(const name of names){ + const tab=make('button','atlas-tab-'+name,name==='evidence'?'Evidence':'Diagnostics');tab.type='button';tab.setAttribute('role','tab');tab.setAttribute('aria-controls','atlas-panel-'+name); + const panel=make('div','atlas-panel-'+name);panel.setAttribute('role','tabpanel');panel.setAttribute('aria-labelledby',tab.id);panel.tabIndex=0; + buttons.push(tab);panels.push(panel);tabs.append(tab); + tab.addEventListener('click',()=>activate(name)); + tab.addEventListener('keydown',event=>{ + const index=buttons.indexOf(tab);let next; + if(event.key==='ArrowRight')next=(index+1)%names.length; + else if(event.key==='ArrowLeft')next=(index+names.length-1)%names.length; + else if(event.key==='Home')next=0; + else if(event.key==='End')next=names.length-1; + else return; + event.preventDefault();buttons[next].focus(); + }); + } + layout.insertBefore(reader,inspector);panels[0].append(inspector);panels[1].append(diagnostics);reader.append(navigation,tabs,...panels); + browse.setAttribute('data-atlas-browse',''); + const open=make('button','atlas-open-reader','Read selected node');open.type='button';browse.append(open); + let mode='browse'; + function apply(){ + root.setAttribute('data-atlas-panel',mode); + const selected=mode==='diagnostics'?1:0; + for(let i=0;i{activate('evidence');focusReading();}); + browseLink.addEventListener('click',event=>{ + if(event.button!==0||event.metaKey||event.ctrlKey||event.shiftKey||event.altKey)return; + event.preventDefault();activate('browse');if(media.matches)focusBrowse();else buttons[0].focus(); + }); + // A layout read can hide a mobile control and blur it before media.change. + // Remember only that hidden-target blur; ordinary or outside focus wins. + let blurredByLayout=null; + root.addEventListener('focusout',event=>{blurredByLayout=!event.relatedTarget&&!event.target.getClientRects().length?event.target:null;}); + root.addEventListener('focusin',()=>{blurredByLayout=null;}); + media.addEventListener('change',()=>{ + const focused=doc.activeElement===doc.body&&blurredByLayout?blurredByLayout:doc.activeElement,wasReader=reader.contains(focused),wasBrowse=browse.contains(focused);blurredByLayout=null; + onChange({write:false}); + const unavailable=!root.contains(focused)||!focused?.getClientRects().length; + // The atlas renderer replaces source and node children. Repair after it + // finishes so focus cannot remain detached or in a newly hidden region. + if(media.matches){ + if(mode==='browse'&&(wasReader||wasBrowse&&unavailable))focusBrowse(); + else if(mode!=='browse'&&(wasBrowse||wasReader&&unavailable))focusReading(); + }else if(navigation.contains(focused)||focused===open||wasBrowse&&unavailable)buttons[mode==='diagnostics'?1:0].focus({preventScroll:true}); + else if(wasReader&&unavailable)focusReading(); + }); + restore(location.href);updateLinks(location.href); + return {selectNode,focusReading,restore,decorateURL,updateLinks,reset(){mode='browse';apply();}}; +} diff --git a/docs/site/atlas.mjs b/docs/site/atlas.mjs index ac1f014be..3e4495dec 100644 --- a/docs/site/atlas.mjs +++ b/docs/site/atlas.mjs @@ -1,5 +1,6 @@ -import {currentSnapshot,element,anchor} from './current.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; -import {hasNode,readState,neighborhood,searchGraph,downstreamReach,requiredDependencyPaths,REQUIRED_ROUTE_SEMANTICS,evidenceAxes,sourceURL,sourceForNode,nodePage} from './current-model.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +import {currentSnapshot,element,anchor} from './current.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; +import {hasNode,readState,neighborhood,searchGraph,downstreamReach,requiredDependencyPaths,REQUIRED_ROUTE_SEMANTICS,evidenceAxes,sourceURL,sourceForNode,nodePage} from './current-model.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; +import {createAtlasShell,viewForViewport} from './atlas-shell.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; const byId=id=>document.getElementById(id); const svgElement=(tag,attrs)=>{const n=document.createElementNS('http://www.w3.org/2000/svg',tag);for(const [k,v]of Object.entries(attrs))n.setAttribute(k,String(v));return n;}; function linkRecord(label,value){const p=element('p');if(typeof value==='string'){try{const u=new URL(value);if(u.protocol==='https:'&&u.hostname==='github.com'&&!u.username&&!u.password&&!u.port){p.append(anchor(label,value));return p;}}catch{}}p.textContent=`${label}: ${value||'not recorded'}`;return p;} @@ -8,7 +9,7 @@ async function start() { const data=await currentSnapshot; if(!data){byId('atlas-status').textContent='Unavailable: current snapshot did not verify. Use the static source index and preserved snapshot below.';return;} const graph=data.graph.data;let state=readState(location.search,data);let selected=state.node,view=state.view,expanded=new Set([selected]),zoom=1,offset=state.offset||0; - if(!new URLSearchParams(location.search).has('atlas-view')&&matchMedia('(max-width:720px)').matches)view='list'; + const mobile=matchMedia('(max-width:720px)'),requestedView=new URLSearchParams(location.search).get('atlas-view');let viewPreference=['graph','list'].includes(requestedView)?requestedView:null;view=viewForViewport(location.search,view,mobile.matches); const reaches=new Map();const reach=id=>{if(!reaches.has(id))reaches.set(id,downstreamReach(graph,id));return reaches.get(id);}; const recordedExpanded=new URLSearchParams(location.search).get('atlas-expanded'); if(recordedExpanded){const ids=recordedExpanded.split(',');if(ids.length<=150&&ids.every(id=>hasNode(graph,id)))expanded=new Set(ids);} @@ -18,8 +19,10 @@ async function start() { byId('atlas-status').textContent=`Source snapshot ${data.observed_at} · Math ${data.graph.identity.commit.slice(0,8)} · ${Object.keys(graph.nodes).length} nodes, ${graph.edges.length} edges (${graph.edges.filter(e=>e.required).length} required). Classifications are the graph's recorded values. No scientific status inferred.`; byId('atlas-coverage').textContent=`${Object.values(graph.nodes).filter(n=>n.source).length} source-bearing metadata records; 0 explicit graph-to-artifact bindings. Source metadata presence does not establish acquired proof content. ${data.equations.length} separately acquired equation excerpts from the named analytic sources. No logical joins from equations to graph nodes are recorded.`; for(const button of root.querySelectorAll('button'))button.disabled=false;query.disabled=false;byId('atlas-view').disabled=false;byId('equation-select').disabled=false;byId('equation-search').disabled=false; - function urlState(push=false,write=true){const u=new URL(location.href);u.searchParams.set('atlas-node',selected);u.searchParams.set('snapshot',data.graph.identity.commit);u.searchParams.set('main-snapshot',data.repositories.find(r=>r.repository.endsWith('/main')).commit);u.searchParams.set('atlas-view',view);u.searchParams.set('atlas-expanded',[...expanded].slice(0,150).join(','));if(offset)u.searchParams.set('atlas-offset',String(offset));else u.searchParams.delete('atlas-offset');if(query.value)u.searchParams.set('atlas-q',query.value);else u.searchParams.delete('atlas-q');if(byId('equation-search').value)u.searchParams.set('equation-q',byId('equation-search').value);else u.searchParams.delete('equation-q');if(byId('equation-select').value)u.searchParams.set('equation',byId('equation-select').value);else u.searchParams.delete('equation');u.hash='current-atlas';if(write)try{history[push?'pushState':'replaceState'](null,'',u);}catch{}byId('atlas-share').href=u.href;} - function select(id,{push=true,focus=true}={}){if(!hasNode(graph,id))return;trail.push(selected);selected=id;expanded.add(id);offset=0;state.error=null;error.hidden=true;render();urlState(push);if(focus)byId('atlas-inspector').focus({preventScroll:true});} + const shell=createAtlasShell({root,inspector:byId('atlas-inspector'),diagnostics:byId('atlas-diagnostics').parentElement,media:mobile,location,history,onChange({write=true}={}){if(!write)view=viewForViewport(viewPreference?'?atlas-view='+viewPreference:'',view,mobile.matches);render();if(write)urlState(true,true,!!state.error);}}); + // Layout-only actions on a refused bookmark must preserve its source identity. + function urlState(push=false,write=true,layoutOnly=false){const u=new URL(location.href);if(!layoutOnly){u.searchParams.set('atlas-node',selected);u.searchParams.set('snapshot',data.graph.identity.commit);u.searchParams.set('main-snapshot',data.repositories.find(r=>r.repository.endsWith('/main')).commit);if(viewPreference)u.searchParams.set('atlas-view',viewPreference);else u.searchParams.delete('atlas-view');u.searchParams.set('atlas-expanded',[...expanded].slice(0,150).join(','));if(offset)u.searchParams.set('atlas-offset',String(offset));else u.searchParams.delete('atlas-offset');if(query.value)u.searchParams.set('atlas-q',query.value);else u.searchParams.delete('atlas-q');if(byId('equation-search').value)u.searchParams.set('equation-q',byId('equation-search').value);else u.searchParams.delete('equation-q');if(byId('equation-select').value)u.searchParams.set('equation',byId('equation-select').value);else u.searchParams.delete('equation');u.hash='current-atlas';}shell.decorateURL(u);if(write)try{history[push?'pushState':'replaceState'](null,'',u);}catch{}byId('atlas-share').href=u.href;shell.updateLinks(u);} + function select(id,{push=true,focus=true}={}){if(!hasNode(graph,id))return;trail.push(selected);selected=id;expanded.add(id);offset=0;state.error=null;error.hidden=true;shell.selectNode();render();urlState(push);if(focus)shell.focusReading();} function nodeButton(id){const n=graph.nodes[id],r=reach(id);const b=element('button',id);b.type='button';b.setAttribute('aria-pressed',String(selected===id));b.append(element('small',`${n.kind} · ${n.classification}`),element('small',`Downstream nodes · all edges: ${r.allEdge} · required edges: ${r.requiredOnly}`));b.addEventListener('click',()=>select(id));return b;} function renderInspector(){const n=graph.nodes[selected];const panel=byId('atlas-inspector');panel.replaceChildren();if(!n||state.error){panel.append(element('p',state.error||'Select a node.'));return;} panel.append(element('h3',selected),element('p',`Kind: ${n.kind} · Classification: ${n.classification} · ${n.layer||'layer not recorded'}`)); @@ -45,16 +48,16 @@ async function start() { const mini=byId('atlas-minimap');mini.replaceChildren();mini.setAttribute('viewBox',`0 0 ${width} ${height}`);for(const e of loaded.edges){const a=positions.get(e.from),b=positions.get(e.to);mini.append(svgElement('line',{x1:a.x+115,y1:a.y+50,x2:b.x+115,y2:b.y+50,class:`atlas-edge${e.required?'':' context'}`}));}for(const [id,p]of positions)mini.append(svgElement('circle',{cx:p.x+115,cy:p.y+50,r:id===selected?18:10})); } let displayed; - function render(){if(state.error){byId('atlas-canvas').replaceChildren();byId('atlas-list').replaceChildren();byId('atlas-minimap').replaceChildren();byId('atlas-count').textContent='Source-bound bookmark refused; no current nodes substituted.';byId('atlas-diagnostic-selection').textContent='Source-bound bookmark refused; no current diagnostic selection substituted.';byId('atlas-next').disabled=true;byId('atlas-previous').disabled=true;renderInspector();return;}const words=query.value.trim().toLowerCase();const loaded=words?searchGraph(graph,words,{limit:150,offset}):neighborhood(graph,[selected,...expanded].filter(id=>hasNode(graph,id)),{limit:150,offset});const ids=loaded.ids;displayed=loaded;offset=loaded.window.offset;const shown={...loaded,ids,edges:loaded.edges.filter(e=>ids.includes(e.from)&&ids.includes(e.to))}; + function render(){byId('atlas-view').value=view;byId('atlas-toggle-view').textContent=`Switch to ${view==='list'?'graph':'list'}`;if(state.error){byId('atlas-canvas').replaceChildren();byId('atlas-list').replaceChildren();byId('atlas-minimap').replaceChildren();byId('atlas-count').textContent='Source-bound bookmark refused; no current nodes substituted.';byId('atlas-diagnostic-selection').textContent='Source-bound bookmark refused; no current diagnostic selection substituted.';byId('atlas-next').disabled=true;byId('atlas-previous').disabled=true;renderInspector();return;}const words=query.value.trim().toLowerCase();const loaded=words?searchGraph(graph,words,{limit:150,offset}):neighborhood(graph,[selected,...expanded].filter(id=>hasNode(graph,id)),{limit:150,offset});const ids=loaded.ids;displayed=loaded;offset=loaded.window.offset;const shown={...loaded,ids,edges:loaded.edges.filter(e=>ids.includes(e.from)&&ids.includes(e.to))}; byId('atlas-count').textContent=`${ids.length} displayed · ${loaded.matches} ${words?'matching source nodes':'nodes in the loaded neighborhood'} of ${loaded.total} indexed source nodes · ${loaded.omitted} outside this page. Rendering ceiling: 150 per page. Graph and list share this page. Solid arrows: required; dashed arrows: context. Direction: dependent → dependency.`;byId('atlas-next').disabled=loaded.window.nextOffset===null;byId('atlas-previous').disabled=loaded.window.previousOffset===null; - byId('atlas-stage').hidden=view==='list';byId('atlas-list').hidden=view!=='list';byId('atlas-view').value=view;byId('atlas-toggle-view').textContent=`Switch to ${view==='list'?'graph':'list'}`;byId('atlas-list').replaceChildren(...ids.map(id=>{const li=element('li');li.append(nodeButton(id));return li;}));renderGraph(shown);renderInspector();byId('atlas-breadcrumb').textContent=`Navigation history: ${[...trail.slice(-5),selected].join(' → ')}. Graph distance is display distance, not proof strength.`; + byId('atlas-stage').hidden=view==='list';byId('atlas-list').hidden=view!=='list';byId('atlas-list').replaceChildren(...ids.map(id=>{const li=element('li');li.append(nodeButton(id));return li;}));renderGraph(shown);renderInspector();byId('atlas-breadcrumb').textContent=`Navigation history: ${[...trail.slice(-5),selected].join(' → ')}. Graph distance is display distance, not proof strength.`; } - query.addEventListener('input',()=>{offset=0;render();urlState();});byId('atlas-view').addEventListener('change',e=>{view=e.target.value;render();urlState();}); - byId('atlas-toggle-view').addEventListener('click',()=>{view=view==='list'?'graph':'list';render();urlState();}); + query.addEventListener('input',()=>{offset=0;render();urlState();});byId('atlas-view').addEventListener('change',e=>{view=e.target.value;viewPreference=view;render();urlState();}); + byId('atlas-toggle-view').addEventListener('click',()=>{view=view==='list'?'graph':'list';viewPreference=view;render();urlState();}); for(const [id,field] of [['atlas-next','nextOffset'],['atlas-previous','previousOffset']])byId(id).addEventListener('click',()=>{if(displayed?.window[field]!==null){offset=displayed.window[field];render();urlState();}}); byId('atlas-expand').addEventListener('click',()=>{for(const id of displayed.ids)if(expanded.size<150)expanded.add(id);render();urlState();}); - for(const id of ['atlas-collapse','atlas-reset'])byId(id).addEventListener('click',()=>{expanded=new Set([selected]);offset=0;zoom=1;query.value='';render();urlState();}); - byId('atlas-back').addEventListener('click',()=>history.back());byId('atlas-forward').addEventListener('click',()=>history.forward());byId('atlas-focus').addEventListener('click',()=>{byId('atlas-stage').scrollTo({left:0,top:0,behavior:'auto'});byId('atlas-inspector').focus();}); + for(const id of ['atlas-collapse','atlas-reset'])byId(id).addEventListener('click',()=>{expanded=new Set([selected]);offset=0;zoom=1;query.value='';if(id==='atlas-reset')shell.reset();render();urlState();}); + byId('atlas-back').addEventListener('click',()=>history.back());byId('atlas-forward').addEventListener('click',()=>history.forward());byId('atlas-focus').addEventListener('click',()=>{shell.selectNode();render();urlState(true,true,!!state.error);shell.focusReading();}); for(const [id,delta]of [['atlas-zoom-in',.2],['atlas-zoom-out',-.2]])byId(id).addEventListener('click',()=>{zoom=Math.max(.6,Math.min(1.8,zoom+delta));render();}); const diagnostics=byId('atlas-diagnostics');diagnostics.replaceChildren(element('li','Diagnostic report unavailable in this source projection. Engineering generation checks are separate from mathematical evidence.')); for(const [id,n]of Object.entries(graph.nodes)){const li=element('li');const b=element('button',`${id}: no explicit graph-to-artifact binding; roles/custody unknown`);b.type='button';b.addEventListener('click',()=>select(id));li.append(b);if(!n.source)li.append(element('span',' · source metadata not recorded'));diagnostics.append(li);} @@ -65,7 +68,7 @@ async function start() { eq.addEventListener('change',()=>{renderEquation();urlState();}); for(const [id,step] of [['equation-next',1],['equation-previous',-1]])byId(id).addEventListener('click',()=>{eq.selectedIndex=Math.max(1,Math.min(eq.options.length-1,eq.selectedIndex+step));renderEquation();urlState();}); eqSearch.addEventListener('input',()=>{equationOptions();renderEquation();urlState();}); - window.addEventListener('popstate',()=>{state=readState(location.search,data);selected=state.node;view=state.view;query.value=state.query;offset=state.offset||0;eqSearch.value=state.equationQuery||'';const ids=(new URLSearchParams(location.search).get('atlas-expanded')||selected).split(',');expanded=new Set(ids.filter(id=>hasNode(graph,id)).slice(0,150));error.textContent=state.error||'';error.hidden=!state.error;equationOptions(state.equation);renderEquation();render();if(state.error)byId('atlas-share').href=location.href;else urlState(false,false);}); + window.addEventListener('popstate',()=>{const restoreFocus=root.contains(document.activeElement);state=readState(location.search,data);selected=state.node;const requestedView=new URLSearchParams(location.search).get('atlas-view');viewPreference=['graph','list'].includes(requestedView)?requestedView:null;view=viewForViewport(location.search,state.view,mobile.matches);query.value=state.query;offset=state.offset||0;eqSearch.value=state.equationQuery||'';const ids=(new URLSearchParams(location.search).get('atlas-expanded')||selected).split(',');expanded=new Set(ids.filter(id=>hasNode(graph,id)).slice(0,150));error.textContent=state.error||'';error.hidden=!state.error;shell.restore(location.href);shell.updateLinks(location.href);equationOptions(state.equation);renderEquation();render();if(state.error)byId('atlas-share').href=location.href;else urlState(false,false);if(restoreFocus)shell.restore(location.href,{focus:true});}); renderEquation();render();if(!state.error)urlState(false,false); } if(typeof document!=='undefined')start().catch(e=>{const s=byId('atlas-status');if(s)s.textContent=`Unavailable: ${e.message}. No current graph inferred.`;}); diff --git a/docs/site/brand.css b/docs/site/brand.css index c3e862719..00fa89271 100644 --- a/docs/site/brand.css +++ b/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=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353") center/contain no-repeat; } +.brand::before { content: ""; position: absolute; left: 0; top: 1px; width: 42px; height: 42px; background: url("brand/mark.svg?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e") 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; } diff --git a/docs/site/cite.html b/docs/site/cite.html index 1d7df7f0d..010dd9bb8 100644 --- a/docs/site/cite.html +++ b/docs/site/cite.html @@ -4,10 +4,10 @@ Cite · Universal Law - - - - + + + +
UNIVERSAL LAW MATHEMATICS IN THE OPEN
diff --git a/docs/site/cite.mjs b/docs/site/cite.mjs index 768ec3651..44512bb63 100644 --- a/docs/site/cite.mjs +++ b/docs/site/cite.mjs @@ -1,4 +1,4 @@ -import {wireReferenceForm} from './source-reference.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +import {wireReferenceForm} from './source-reference.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; 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 1a4446fbc..b0bd7e721 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=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'); +const services=()=>import('./museum.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'); // 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 1f35abbb7..10d69fb3b 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=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +import {OPEN_CLASSIFICATIONS, NON_RESEARCH_KINDS} from './dependency-model.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; const REPOSITORIES = new Set(['d6g8k5htny-coder/main','d6g8k5htny-coder/Math-']); const SHA = /^[0-9a-f]{40}$/; diff --git a/docs/site/current.css b/docs/site/current.css index 80fd38986..d5ce2ccf2 100644 --- a/docs/site/current.css +++ b/docs/site/current.css @@ -20,3 +20,21 @@ body{overflow-wrap:anywhere} .atlas button{overflow-wrap:anywhere;white-space:normal} .atlas button small{display:block;margin:.3rem 0} @media(forced-colors:active){.atlas-node[aria-pressed=true]{outline:3px solid Highlight}.atlas-edge{stroke:CanvasText}.atlas-edge.context{stroke-dasharray:7 5}} +/* The verified DOM is enhanced in place; static and no-script markup stays readable. */ +.atlas-reader{min-width:0;overflow-wrap:anywhere} +.atlas-reader-navigation,#atlas-inspector-tabs{display:flex;gap:.5rem;flex-wrap:wrap;align-items:center;margin-bottom:.8rem} +.atlas-reader-navigation a{display:inline-flex;align-items:center;min-height:44px;max-width:100%} +#atlas-inspector-tabs [aria-selected=true]{text-decoration:underline;text-decoration-thickness:.18em;text-underline-offset:.3em} +.atlas-reader [role=tabpanel]{min-width:0;overflow-wrap:anywhere} +.atlas-reader [role=tabpanel]:focus-visible,#atlas-inspector-tabs [role=tab]:focus-visible,.atlas-reader-navigation a:focus-visible{outline:3px solid var(--ul-focus);outline-offset:3px} +@media(forced-colors:active){.atlas-reader [role=tabpanel]:focus-visible,#atlas-inspector-tabs [role=tab]:focus-visible,.atlas-reader-navigation a:focus-visible{outline-color:Highlight}} +#atlas-open-reader,.atlas-reader-navigation{display:none} +@media(max-width:720px){ + .atlas[data-atlas-panel=browse] .atlas-reader{display:none} + #atlas-open-reader{display:block;margin:.8rem 0} + .atlas:not([data-atlas-panel=browse])[data-atlas-panel] [data-atlas-browse],.atlas:not([data-atlas-panel=browse])[data-atlas-panel]>.atlas-toolbar,.atlas:not([data-atlas-panel=browse])[data-atlas-panel]>#atlas-count,.atlas:not([data-atlas-panel=browse])[data-atlas-panel]>#atlas-breadcrumb{display:none} + .atlas:not([data-atlas-panel=browse])[data-atlas-panel] .atlas-reader{min-height:100vh;min-height:100svh;padding:.5rem 0;scroll-margin-top:.5rem} + .atlas-reader-navigation{display:flex} + .atlas-reader pre{max-height:none;overflow:visible} +} +@media print{.atlas-reader-navigation,#atlas-inspector-tabs,#atlas-open-reader{display:none!important}.atlas[data-atlas-panel] .atlas-reader{display:block!important;min-height:0!important;padding:0!important;scroll-margin-top:0!important}.atlas-reader [role=tabpanel]{display:block!important}} diff --git a/docs/site/current.mjs b/docs/site/current.mjs index 105bf3d78..0e783b856 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=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +import {parseVerifiedSnapshot,freshness,filterSources,sourceURL} from './current-model.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; 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 97ae80acc..539d1e61c 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=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +import { coneModel } from './explore-models.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; 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 7543ef358..c933159e4 100644 --- a/docs/site/dependencies.html +++ b/docs/site/dependencies.html @@ -7,14 +7,14 @@ Mathematics · Universal Law - - - - - - - - + + + + + + + + diff --git a/docs/site/dependencies.mjs b/docs/site/dependencies.mjs index dd8729311..9b376504c 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=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +} from './dependency-model.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; const byId = id => document.getElementById(id); diff --git a/docs/site/explore-models.mjs b/docs/site/explore-models.mjs index 796a844a9..47171be59 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=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +import { annulusModel, p15Model, remoteModel } from './geometry.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; 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 153eb744f..eedca623d 100644 --- a/docs/site/explore.html +++ b/docs/site/explore.html @@ -7,13 +7,13 @@ Explore the mathematics · Universal Law - - - - - - - + + + + + + + diff --git a/docs/site/explore.mjs b/docs/site/explore.mjs index 71d488d95..88f9c7dad 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=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; -import { readExploreState, exploreStateURL } from './explore-state.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +import { coneModel, pinModel, paletteModel, applyCurvaturePreset } from './explore-models.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; +import { readExploreState, exploreStateURL } from './explore-state.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; -import { captureCurvatureDiagram, serializeCurvatureSVG, createCitationController } from './curvature-export.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; -import { captureTeachingDiagram, createFigureCitationController } from './teaching-export.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; -import { serializePinSVG, pinFigureCitation } from './pin-export.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; -import { serializePaletteSVG, paletteFigureCitation } from './palette-export.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +import { captureCurvatureDiagram, serializeCurvatureSVG, createCitationController } from './curvature-export.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; +import { captureTeachingDiagram, createFigureCitationController } from './teaching-export.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; +import { serializePinSVG, pinFigureCitation } from './pin-export.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; +import { serializePaletteSVG, paletteFigureCitation } from './palette-export.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; 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 e4fcbf9e1..d2096b903 100644 --- a/docs/site/formal.html +++ b/docs/site/formal.html @@ -5,11 +5,11 @@ Formal verification · Universal Law - - - + + + - + diff --git a/docs/site/index.html b/docs/site/index.html index 26a698a73..9f9b90bd6 100644 --- a/docs/site/index.html +++ b/docs/site/index.html @@ -4,10 +4,10 @@ The shape of randomness · Universal Law - - - - + + + +
UNIVERSAL LAW MATHEMATICS IN THE OPEN
diff --git a/docs/site/measure.html b/docs/site/measure.html index 4fd6b7c03..e493497f3 100644 --- a/docs/site/measure.html +++ b/docs/site/measure.html @@ -7,13 +7,13 @@ From counts to density · Universal Law - - - - - - - + + + + + + + diff --git a/docs/site/measure.mjs b/docs/site/measure.mjs index d57e2f636..85b95881e 100644 --- a/docs/site/measure.mjs +++ b/docs/site/measure.mjs @@ -1,4 +1,4 @@ -import { measurementModel, parseMeasurementInputs } from './measurement-model.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +import { measurementModel, parseMeasurementInputs } from './measurement-model.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; 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 7878e1458..0652158de 100644 --- a/docs/site/museum.html +++ b/docs/site/museum.html @@ -5,14 +5,14 @@ Source records & exhibits · Universal Law - + - - + + - - + + diff --git a/docs/site/museum.mjs b/docs/site/museum.mjs index b9c473266..c6e532d89 100644 --- a/docs/site/museum.mjs +++ b/docs/site/museum.mjs @@ -1,5 +1,5 @@ -import {renderSourceQuote} from './source-quote.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; -import {verifiedBytes, hex40, hex64} from './core.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +import {renderSourceQuote} from './source-quote.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; +import {verifiedBytes, hex40, hex64} from './core.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; 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=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'),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=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'),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 c99be8849..94b1937b1 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 5d71e3bfb..676d493e1 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 ec748c1eb..5e4e80929 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 107162b20..5ffb89009 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 f0e29f8e8..88a759bc5 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 9424a184d..45846c73c 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 76bf7f4f2..a08b92b7f 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 0bc4cac6d..7bd891930 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 8fa663ab5..f01e89a52 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 15334f40f..34e169066 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 673a141cb..e9205cc7f 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 3bc46039d..8b8330fab 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 b91e43cd1..8b62211af 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 97980d0f2..278e7ffdd 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 ac9c71b41..a162256a3 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 6e92f8474..c498b4180 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 7d43d3690..93229a1cd 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 631ac9527..fed72ef8b 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 06564c695..281ed0f6b 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 92d697c6b..793d9cecf 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 1618da675..6b0df5187 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 60e3418e3..016f43059 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 ef624b4e5..40915882a 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 1dc03054f..f227e034c 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 a680893bd..1918db1c5 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 2aef5e7c2..12ce06a5e 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 a39ee83de..47fd98c5f 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 af3f018d3..d5241e1a3 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 f7d555f76..733fa5c1f 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 359341b00..9b9b5820c 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 eb1135852..525752a7d 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 cb1816863..95424da2d 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 b5d20a48c..7818aee74 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 18e7abfc5..39a8fbadd 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 aaa90fafb..79c05f2c1 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 0e3e70546..f1ca3f5cd 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 c7ebcdd71..a6117e173 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 aaab79e8a..b1fe97938 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 b0a3d7619..039080f9b 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 a941fdef4..8c70c18d5 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 1e4e74e27..46702b87f 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 96098442c..46b1f5a66 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 7589026bb..34b696fb3 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 d0a69ae65..7116083d1 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 39a19e352..657c21246 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 c29d09e55..2b6f849fe 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 3645328a9..11d4008a5 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 344dd4787..f683ee1ad 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 a4bb563be..074cc5c7c 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 cb78b40b0..7968fcdc8 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 62d6f7940..2b5f240a9 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=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; -import { serializeTeachingSVG } from './teaching-export.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +import { paletteModel } from './explore-models.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; +import { serializeTeachingSVG } from './teaching-export.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; 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 373c9789e..80ad059ec 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=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; -import { serializeTeachingSVG } from './teaching-export.mjs?site-release=edba1b0463dbcc320babb9a5845fb859602619b3d91bb4983f7b86c0ebcab353'; +import { pinModel } from './explore-models.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; +import { serializeTeachingSVG } from './teaching-export.mjs?site-release=8d99a119155044d62bef5ae87ed2ea687b6bf2cacfc9c4118c32433fc358025e'; 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 73ebcc432..d250e3e2d 100644 --- a/docs/site/reproduce.html +++ b/docs/site/reproduce.html @@ -4,11 +4,11 @@ Reproduce · Universal Law - + - - - + + +
UNIVERSAL LAW MATHEMATICS IN THE OPEN
diff --git a/docs/site/research.html b/docs/site/research.html index 0d77704ff..2515ccc95 100644 --- a/docs/site/research.html +++ b/docs/site/research.html @@ -4,8 +4,8 @@ Research · Universal Law - - + +
UNIVERSAL LAW MATHEMATICS IN THE OPEN
@@ -347,7 +347,7 @@

Current research sources

- +

01 / PERSISTENCE

How long does a feature last?

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.

See the idea in a minuteCount bars into a density (synthetic example)

02 / LOCAL GEOMETRY

What does a peak look like up close?

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.

Shape a peakInspect exact coefficients

Read the coefficient argument · Source and review

diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/eng.d0-packet-allowlist-fix.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/eng.d0-packet-allowlist-fix.html index 150999971..40eb0248b 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/eng.d0-packet-allowlist-fix.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/eng.d0-packet-allowlist-fix.html @@ -4,7 +4,7 @@ eng.d0-packet-allowlist-fix · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/eng.hard-gate.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/eng.hard-gate.html index ac09d0e59..8e9723fda 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/eng.hard-gate.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/eng.hard-gate.html @@ -4,7 +4,7 @@ eng.hard-gate · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/eng.main-pr87-crosswalk.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/eng.main-pr87-crosswalk.html index 2bfe87480..da18f96ef 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/eng.main-pr87-crosswalk.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/eng.main-pr87-crosswalk.html @@ -4,7 +4,7 @@ eng.main-pr87-crosswalk · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.ALLCELL-FDZ-Q4.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.ALLCELL-FDZ-Q4.html index 5a106635d..39069fd8d 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.ALLCELL-FDZ-Q4.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.ALLCELL-FDZ-Q4.html @@ -4,7 +4,7 @@ hist.ALLCELL-FDZ-Q4 · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.CH-LIFT.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.CH-LIFT.html index eb38ba92a..968f3939f 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.CH-LIFT.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.CH-LIFT.html @@ -4,7 +4,7 @@ hist.CH-LIFT · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html index bbc33cdbc..ab48c32ee 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html @@ -4,7 +4,7 @@ hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.ENV-RESCOV.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.ENV-RESCOV.html index 1be2405c0..0ed148d02 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.ENV-RESCOV.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.ENV-RESCOV.html @@ -4,7 +4,7 @@ hist.ENV-RESCOV · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.LOGQ-TAIL.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.LOGQ-TAIL.html index a5d2a4839..e74b7503e 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.LOGQ-TAIL.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.LOGQ-TAIL.html @@ -4,7 +4,7 @@ hist.LOGQ-TAIL · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.OBL-H5-JETMOD.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.OBL-H5-JETMOD.html index fc6e4f2ec..e6eb6f0a6 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.OBL-H5-JETMOD.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.OBL-H5-JETMOD.html @@ -4,7 +4,7 @@ hist.OBL-H5-JETMOD · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.Piece-2-annulus.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.Piece-2-annulus.html index ed969b71a..aa3feb518 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.Piece-2-annulus.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.Piece-2-annulus.html @@ -4,7 +4,7 @@ hist.Piece-2-annulus · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.SYM-Fw-jet.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.SYM-Fw-jet.html index f7636aba6..cd2e8b92d 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.SYM-Fw-jet.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.SYM-Fw-jet.html @@ -4,7 +4,7 @@ hist.SYM-Fw-jet · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.allcell_fdz_enclosures.json.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.allcell_fdz_enclosures.json.html index 227d543cd..438b9e861 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.allcell_fdz_enclosures.json.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.allcell_fdz_enclosures.json.html @@ -4,7 +4,7 @@ hist.allcell_fdz_enclosures.json · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.lemma_closed.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.lemma_closed.html index a0fb16fa7..f7f3b8362 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.lemma_closed.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.lemma_closed.html @@ -4,7 +4,7 @@ hist.lemma_closed · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.rnu_env.py.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.rnu_env.py.html index 4a670680e..942706eea 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.rnu_env.py.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/hist.rnu_env.py.html @@ -4,7 +4,7 @@ hist.rnu_env.py · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/index.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/index.html index d41e7b32e..642c092d5 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/index.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/index.html @@ -4,7 +4,7 @@ Static graph and source index · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.congruence-erratum.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.congruence-erratum.html index b0992c347..d21477036 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.congruence-erratum.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.congruence-erratum.html @@ -4,7 +4,7 @@ math.d1-component.congruence-erratum · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.marked-cylinder-cap.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.marked-cylinder-cap.html index cc683bb1c..8536c2bdf 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.marked-cylinder-cap.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.marked-cylinder-cap.html @@ -4,7 +4,7 @@ math.d1-component.marked-cylinder-cap · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.reconciliation-record.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.reconciliation-record.html index 5d5197494..067576c8b 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.reconciliation-record.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.reconciliation-record.html @@ -4,7 +4,7 @@ math.d1-component.reconciliation-record · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.section9-replacement-v1_1.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.section9-replacement-v1_1.html index b0adb3979..ea0b0d22b 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.section9-replacement-v1_1.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d1-component.section9-replacement-v1_1.html @@ -4,7 +4,7 @@ math.d1-component.section9-replacement-v1_1 · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.annulus-proof.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.annulus-proof.html index 0733e2a7c..2d0e93aff 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.annulus-proof.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.annulus-proof.html @@ -4,7 +4,7 @@ math.d5-component.annulus-proof · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.annulus-review.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.annulus-review.html index 80225811d..1bd7f75a9 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.annulus-review.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.annulus-review.html @@ -4,7 +4,7 @@ math.d5-component.annulus-review · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.collar-proof.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.collar-proof.html index 82769416a..472f8b9f9 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.collar-proof.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.collar-proof.html @@ -4,7 +4,7 @@ math.d5-component.collar-proof · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.collar-review.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.collar-review.html index e5ca0a826..c978f28dd 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.collar-review.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.collar-review.html @@ -4,7 +4,7 @@ math.d5-component.collar-review · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.i5-review-claude.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.i5-review-claude.html index 7d670fa59..7735ebf03 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.i5-review-claude.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.i5-review-claude.html @@ -4,7 +4,7 @@ math.d5-component.i5-review-claude · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.i5-review-xai.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.i5-review-xai.html index 24e81a396..51ae7eee3 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.i5-review-xai.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.i5-review-xai.html @@ -4,7 +4,7 @@ math.d5-component.i5-review-xai · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.intermediate-window-proof.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.intermediate-window-proof.html index e1eb7cc15..5740c587f 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.intermediate-window-proof.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.intermediate-window-proof.html @@ -4,7 +4,7 @@ math.d5-component.intermediate-window-proof · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.offpin-second-moment-review.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.offpin-second-moment-review.html index 0359bc0fe..b29a8c783 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.offpin-second-moment-review.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.offpin-second-moment-review.html @@ -4,7 +4,7 @@ math.d5-component.offpin-second-moment-review · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-continuum-check.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-continuum-check.html index 63d972338..28f814653 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-continuum-check.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-continuum-check.html @@ -4,7 +4,7 @@ math.d5-component.punctured-pin-continuum-check · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-continuum-review.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-continuum-review.html index 41db1a96e..fe88bb99f 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-continuum-review.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-continuum-review.html @@ -4,7 +4,7 @@ math.d5-component.punctured-pin-continuum-review · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-proof.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-proof.html index e55082035..51784ba9a 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-proof.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-proof.html @@ -4,7 +4,7 @@ math.d5-component.punctured-pin-proof · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-review-111.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-review-111.html index 09dcaf598..a3bf80a49 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-review-111.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.punctured-pin-review-111.html @@ -4,7 +4,7 @@ math.d5-component.punctured-pin-review-111 · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.remote-window-proof.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.remote-window-proof.html index a6dd123dd..020f10bcc 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.remote-window-proof.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-component.remote-window-proof.html @@ -4,7 +4,7 @@ math.d5-component.remote-window-proof · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-pin-neighborhood-first-moment.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-pin-neighborhood-first-moment.html index a0e9f2939..ec961154e 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-pin-neighborhood-first-moment.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.d5-pin-neighborhood-first-moment.html @@ -4,7 +4,7 @@ math.d5-pin-neighborhood-first-moment · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.lifetime-remainder.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.lifetime-remainder.html index 12b668a4b..b85440b0e 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.lifetime-remainder.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.lifetime-remainder.html @@ -4,7 +4,7 @@ math.lifetime-remainder · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.p15-full-price.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.p15-full-price.html index e92c71628..ed8ba7879 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.p15-full-price.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.p15-full-price.html @@ -4,7 +4,7 @@ math.p15-full-price · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.p15-price-boundary.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.p15-price-boundary.html index 476682428..d6b1e3d05 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.p15-price-boundary.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.p15-price-boundary.html @@ -4,7 +4,7 @@ math.p15-price-boundary · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-count-interface.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-count-interface.html index 1129eca2c..5c5a067d0 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-count-interface.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-count-interface.html @@ -4,7 +4,7 @@ math.rn-count-interface · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-fixed-annulus-window.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-fixed-annulus-window.html index 5c32160cd..4ecd26c9a 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-fixed-annulus-window.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-fixed-annulus-window.html @@ -4,7 +4,7 @@ math.rn-fixed-annulus-window · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-fixed-remote-window.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-fixed-remote-window.html index f0cbfcff1..57d38a7aa 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-fixed-remote-window.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-fixed-remote-window.html @@ -4,7 +4,7 @@ math.rn-fixed-remote-window · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-mesoscopic-reduction.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-mesoscopic-reduction.html index e496a1762..6dd5d5664 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-mesoscopic-reduction.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-mesoscopic-reduction.html @@ -4,7 +4,7 @@ math.rn-mesoscopic-reduction · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.fixed-annulus-window.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.fixed-annulus-window.html index 68fd04864..6e4372657 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.fixed-annulus-window.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.fixed-annulus-window.html @@ -4,7 +4,7 @@ math.rn-region.fixed-annulus-window · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.fixed-remote.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.fixed-remote.html index 6f7b318fa..fb179f4bf 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.fixed-remote.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.fixed-remote.html @@ -4,7 +4,7 @@ math.rn-region.fixed-remote · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.intermediate-r-to-rho.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.intermediate-r-to-rho.html index c46648dfc..d555487b6 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.intermediate-r-to-rho.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.intermediate-r-to-rho.html @@ -4,7 +4,7 @@ math.rn-region.intermediate-r-to-rho · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.mesoscopic-scaled-annulus.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.mesoscopic-scaled-annulus.html index c31bc1c56..158b9fee1 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.mesoscopic-scaled-annulus.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.mesoscopic-scaled-annulus.html @@ -4,7 +4,7 @@ math.rn-region.mesoscopic-scaled-annulus · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.pin-collision.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.pin-collision.html index 37d1b0f39..813ddb106 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.pin-collision.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.pin-collision.html @@ -4,7 +4,7 @@ math.rn-region.pin-collision · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.witness-collision.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.witness-collision.html index 22a7e5159..b1f3a2a3f 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.witness-collision.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-region.witness-collision.html @@ -4,7 +4,7 @@ math.rn-region.witness-collision · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-selector-region-crosswalk.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-selector-region-crosswalk.html index 70c7fca5a..9d8ece7dc 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-selector-region-crosswalk.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.rn-selector-region-crosswalk.html @@ -4,7 +4,7 @@ math.rn-selector-region-crosswalk · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.side24-coefficient.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.side24-coefficient.html index 9e4caa1ef..00ac3f0c4 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.side24-coefficient.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.side24-coefficient.html @@ -4,7 +4,7 @@ math.side24-coefficient · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.uniform-matrix-cap-lifetime.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.uniform-matrix-cap-lifetime.html index 41612e3a7..31653661a 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.uniform-matrix-cap-lifetime.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/math.uniform-matrix-cap-lifetime.html @@ -4,7 +4,7 @@ math.uniform-matrix-cap-lifetime · Research dependency atlas - +
diff --git a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/regional.fixed-annulus.high-jet-route.html b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/regional.fixed-annulus.high-jet-route.html index 174c7f27a..ece07b81a 100644 --- a/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/regional.fixed-annulus.high-jet-route.html +++ b/docs/site/snapshots/38ac44c585feb2f9a480d8e54ad1a7fe56ad35aff19e2eab929861ea81974644/nodes/regional.fixed-annulus.high-jet-route.html @@ -4,7 +4,7 @@ regional.fixed-annulus.high-jet-route · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/eng.d0-packet-allowlist-fix.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/eng.d0-packet-allowlist-fix.html index 3d93eb139..faf76a9c4 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/eng.d0-packet-allowlist-fix.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/eng.d0-packet-allowlist-fix.html @@ -4,7 +4,7 @@ eng.d0-packet-allowlist-fix · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/eng.hard-gate.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/eng.hard-gate.html index 70a6fd1a5..a1c98776a 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/eng.hard-gate.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/eng.hard-gate.html @@ -4,7 +4,7 @@ eng.hard-gate · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/eng.main-pr87-crosswalk.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/eng.main-pr87-crosswalk.html index 81e932df6..e8e1a45cb 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/eng.main-pr87-crosswalk.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/eng.main-pr87-crosswalk.html @@ -4,7 +4,7 @@ eng.main-pr87-crosswalk · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.ALLCELL-FDZ-Q4.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.ALLCELL-FDZ-Q4.html index 61e3db7f4..46d6ffcd7 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.ALLCELL-FDZ-Q4.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.ALLCELL-FDZ-Q4.html @@ -4,7 +4,7 @@ hist.ALLCELL-FDZ-Q4 · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.CH-LIFT.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.CH-LIFT.html index 1348975ba..a81f91371 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.CH-LIFT.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.CH-LIFT.html @@ -4,7 +4,7 @@ hist.CH-LIFT · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html index cc407e954..d6c5be2cf 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip.html @@ -4,7 +4,7 @@ hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.ENV-RESCOV.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.ENV-RESCOV.html index eb7723c06..e1f7b3850 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.ENV-RESCOV.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.ENV-RESCOV.html @@ -4,7 +4,7 @@ hist.ENV-RESCOV · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.LOGQ-TAIL.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.LOGQ-TAIL.html index 38c20d111..1ec581729 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.LOGQ-TAIL.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.LOGQ-TAIL.html @@ -4,7 +4,7 @@ hist.LOGQ-TAIL · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.OBL-H5-JETMOD.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.OBL-H5-JETMOD.html index 9f5472c33..85ce9bb7a 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.OBL-H5-JETMOD.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.OBL-H5-JETMOD.html @@ -4,7 +4,7 @@ hist.OBL-H5-JETMOD · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.Piece-2-annulus.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.Piece-2-annulus.html index c183fc31b..52add2c95 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.Piece-2-annulus.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.Piece-2-annulus.html @@ -4,7 +4,7 @@ hist.Piece-2-annulus · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.SYM-Fw-jet.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.SYM-Fw-jet.html index f6cb6e391..41b3347cd 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.SYM-Fw-jet.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.SYM-Fw-jet.html @@ -4,7 +4,7 @@ hist.SYM-Fw-jet · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.allcell_fdz_enclosures.json.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.allcell_fdz_enclosures.json.html index c47100c14..62d836c69 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.allcell_fdz_enclosures.json.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.allcell_fdz_enclosures.json.html @@ -4,7 +4,7 @@ hist.allcell_fdz_enclosures.json · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.lemma_closed.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.lemma_closed.html index ba90e9235..774f8045a 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.lemma_closed.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.lemma_closed.html @@ -4,7 +4,7 @@ hist.lemma_closed · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.rnu_env.py.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.rnu_env.py.html index b523c8ef5..e907bdd8c 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.rnu_env.py.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/hist.rnu_env.py.html @@ -4,7 +4,7 @@ hist.rnu_env.py · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/index.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/index.html index 42ebc227c..4ffdd407c 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/index.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/index.html @@ -4,7 +4,7 @@ Static graph and source index · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.congruence-erratum.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.congruence-erratum.html index a5f47ed74..5a95544ca 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.congruence-erratum.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.congruence-erratum.html @@ -4,7 +4,7 @@ math.d1-component.congruence-erratum · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.marked-cylinder-cap.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.marked-cylinder-cap.html index 0548f17a8..f75eb4931 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.marked-cylinder-cap.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.marked-cylinder-cap.html @@ -4,7 +4,7 @@ math.d1-component.marked-cylinder-cap · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.reconciliation-record.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.reconciliation-record.html index 79501bd3a..b3944bf0d 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.reconciliation-record.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.reconciliation-record.html @@ -4,7 +4,7 @@ math.d1-component.reconciliation-record · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.section9-replacement-v1_1.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.section9-replacement-v1_1.html index 35bbe68e3..d874a3eab 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.section9-replacement-v1_1.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d1-component.section9-replacement-v1_1.html @@ -4,7 +4,7 @@ math.d1-component.section9-replacement-v1_1 · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.annulus-proof.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.annulus-proof.html index f42339bc5..e5e242aca 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.annulus-proof.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.annulus-proof.html @@ -4,7 +4,7 @@ math.d5-component.annulus-proof · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.annulus-review.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.annulus-review.html index 591c2060a..3a42c67e5 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.annulus-review.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.annulus-review.html @@ -4,7 +4,7 @@ math.d5-component.annulus-review · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.collar-proof.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.collar-proof.html index e264baa10..f17eeb710 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.collar-proof.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.collar-proof.html @@ -4,7 +4,7 @@ math.d5-component.collar-proof · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.collar-review.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.collar-review.html index ff936afb0..243903244 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.collar-review.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.collar-review.html @@ -4,7 +4,7 @@ math.d5-component.collar-review · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.i5-review-claude.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.i5-review-claude.html index 53e475ab0..c8198301f 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.i5-review-claude.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.i5-review-claude.html @@ -4,7 +4,7 @@ math.d5-component.i5-review-claude · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.i5-review-xai.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.i5-review-xai.html index 0ba0baf01..d8c0824fd 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.i5-review-xai.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.i5-review-xai.html @@ -4,7 +4,7 @@ math.d5-component.i5-review-xai · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.intermediate-window-proof.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.intermediate-window-proof.html index 2294152d5..1a83f3f7b 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.intermediate-window-proof.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.intermediate-window-proof.html @@ -4,7 +4,7 @@ math.d5-component.intermediate-window-proof · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.offpin-second-moment-review.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.offpin-second-moment-review.html index 8be5c435e..c87d11911 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.offpin-second-moment-review.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.offpin-second-moment-review.html @@ -4,7 +4,7 @@ math.d5-component.offpin-second-moment-review · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-continuum-check.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-continuum-check.html index 222730488..6e1b0d074 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-continuum-check.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-continuum-check.html @@ -4,7 +4,7 @@ math.d5-component.punctured-pin-continuum-check · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-continuum-review.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-continuum-review.html index 3d535ec2c..7caf7663e 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-continuum-review.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-continuum-review.html @@ -4,7 +4,7 @@ math.d5-component.punctured-pin-continuum-review · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-proof.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-proof.html index 2ca9d60cf..52d12a44d 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-proof.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-proof.html @@ -4,7 +4,7 @@ math.d5-component.punctured-pin-proof · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-review-111.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-review-111.html index 38c2490cd..ef147fa7c 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-review-111.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.punctured-pin-review-111.html @@ -4,7 +4,7 @@ math.d5-component.punctured-pin-review-111 · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.remote-window-proof.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.remote-window-proof.html index 6405b68da..5d8f46c1e 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.remote-window-proof.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-component.remote-window-proof.html @@ -4,7 +4,7 @@ math.d5-component.remote-window-proof · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-pin-neighborhood-first-moment.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-pin-neighborhood-first-moment.html index 17798533f..0a42f0410 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-pin-neighborhood-first-moment.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.d5-pin-neighborhood-first-moment.html @@ -4,7 +4,7 @@ math.d5-pin-neighborhood-first-moment · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.lifetime-remainder.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.lifetime-remainder.html index a547af084..2e381e9d5 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.lifetime-remainder.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.lifetime-remainder.html @@ -4,7 +4,7 @@ math.lifetime-remainder · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.p15-full-price.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.p15-full-price.html index 58369da93..90dd7af13 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.p15-full-price.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.p15-full-price.html @@ -4,7 +4,7 @@ math.p15-full-price · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.p15-price-boundary.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.p15-price-boundary.html index db16a236f..d33d98d4d 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.p15-price-boundary.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.p15-price-boundary.html @@ -4,7 +4,7 @@ math.p15-price-boundary · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-count-interface.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-count-interface.html index 050b63f30..03b4dc457 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-count-interface.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-count-interface.html @@ -4,7 +4,7 @@ math.rn-count-interface · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-fixed-annulus-window.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-fixed-annulus-window.html index 43fb82a7a..f6f9438c7 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-fixed-annulus-window.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-fixed-annulus-window.html @@ -4,7 +4,7 @@ math.rn-fixed-annulus-window · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-fixed-remote-window.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-fixed-remote-window.html index 6ac8676e4..0d9197020 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-fixed-remote-window.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-fixed-remote-window.html @@ -4,7 +4,7 @@ math.rn-fixed-remote-window · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-mesoscopic-reduction.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-mesoscopic-reduction.html index 164a9d019..acb744add 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-mesoscopic-reduction.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-mesoscopic-reduction.html @@ -4,7 +4,7 @@ math.rn-mesoscopic-reduction · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.fixed-annulus-window.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.fixed-annulus-window.html index 51db4e1c8..cbd8c6f98 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.fixed-annulus-window.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.fixed-annulus-window.html @@ -4,7 +4,7 @@ math.rn-region.fixed-annulus-window · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.fixed-remote.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.fixed-remote.html index 4ca52be2d..c6d16a85e 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.fixed-remote.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.fixed-remote.html @@ -4,7 +4,7 @@ math.rn-region.fixed-remote · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.intermediate-r-to-rho.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.intermediate-r-to-rho.html index 8ae9031f5..d53fcaf20 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.intermediate-r-to-rho.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.intermediate-r-to-rho.html @@ -4,7 +4,7 @@ math.rn-region.intermediate-r-to-rho · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.mesoscopic-scaled-annulus.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.mesoscopic-scaled-annulus.html index e9bdd8dea..193a7cf63 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.mesoscopic-scaled-annulus.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.mesoscopic-scaled-annulus.html @@ -4,7 +4,7 @@ math.rn-region.mesoscopic-scaled-annulus · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.pin-collision.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.pin-collision.html index fcce3da26..6400a169c 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.pin-collision.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.pin-collision.html @@ -4,7 +4,7 @@ math.rn-region.pin-collision · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.witness-collision.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.witness-collision.html index 2c072a48e..ce962a291 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.witness-collision.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-region.witness-collision.html @@ -4,7 +4,7 @@ math.rn-region.witness-collision · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-selector-region-crosswalk.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-selector-region-crosswalk.html index 065155b12..a4c92baff 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-selector-region-crosswalk.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.rn-selector-region-crosswalk.html @@ -4,7 +4,7 @@ math.rn-selector-region-crosswalk · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.side24-coefficient.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.side24-coefficient.html index 1513489c6..4ba1a83ec 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.side24-coefficient.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.side24-coefficient.html @@ -4,7 +4,7 @@ math.side24-coefficient · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.uniform-matrix-cap-lifetime.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.uniform-matrix-cap-lifetime.html index b3429f9c4..ecb8586da 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.uniform-matrix-cap-lifetime.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/math.uniform-matrix-cap-lifetime.html @@ -4,7 +4,7 @@ math.uniform-matrix-cap-lifetime · Research dependency atlas - +
diff --git a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/regional.fixed-annulus.high-jet-route.html b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/regional.fixed-annulus.high-jet-route.html index cdd210334..b3c944f3a 100644 --- a/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/regional.fixed-annulus.high-jet-route.html +++ b/docs/site/snapshots/7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c/nodes/regional.fixed-annulus.high-jet-route.html @@ -4,7 +4,7 @@ regional.fixed-annulus.high-jet-route · Research dependency atlas - +
diff --git a/docs/site/workspace.html b/docs/site/workspace.html index f1c01b410..cfbb18be9 100644 --- a/docs/site/workspace.html +++ b/docs/site/workspace.html @@ -5,12 +5,12 @@ Library and research workspace · Universal Law - - - + + + - - + + @@ -67,6 +67,6 @@

Current research sources

Link to this search

Search links become available after catalog verification.

The original inventory and its shards are verified by script before search opens.

Hash-verified source inventory (filtered rows shown)
Repository / full textCommitSHA-256
-

04 / JOIN THE WORK

Bring a result. Keep its evidence.

1. Claim a bounded task

Replay a pinned calculation, chart public data, document an import, or leave a source-bound review comment. Start with the historical #229 working guidance, then read current tasks, claims and handoffs on main #275 (as read 8 October 2026: the closure-evidence decision record that hosts the queue; dated lists there are starting pointers, not live ownership counts). New general questions, obstacles and handoffs go on the active coordination board, main #307 (as read 9 October 2026; GitHub stopped accepting comments on main #229 at 2,500 on 8 October 2026, and it stays readable as the earlier record). Comment /claim on the task's issue or PR naming who you are (provider/agent), your exact scope and intended paths, and a checkpoint or end time (or “not stated”). Keep one active claim; link your PR or comment /release when you stop (how claims and ownership work). No task fits? Propose a bounded task.

Active coordination board ↗Current tasks and claims ↗

2. Submit a result PR

Fork main. Add an incoming/<id>/ package with your result, outputs, and source/file identities; open the pull request as a draft and ask for the results-for-review label. Do not edit scientific status rows. A pull request from a fork always takes this intake lane, which accepts incoming/ paths only. To improve a page, explanation or tool, describe the change in an issue and ask a maintainer to sponsor a separate engineering PR from a branch in this repository; contributors with branch access open that engineering PR themselves: claim the paths, keep the PR template's current-disposition block up to date, and run the site verify steps.

Contribution instructions ↗
+

04 / JOIN THE WORK

Bring a result. Keep its evidence.

1. Claim a bounded task

Replay a pinned calculation, chart public data, document an import, or leave a source-bound review comment. Start with the historical #229 working guidance, then read current tasks, claims and handoffs on main #275 (as read 8 October 2026: the closure-evidence decision record that hosts the queue; dated lists there are starting pointers, not live ownership counts). New general questions, obstacles and handoffs go on the active coordination board, main #419 (as read 15 October 2026; successor to main #307, which stays readable as history; GitHub stopped accepting comments on main #229 at 2,500 on 8 October 2026, and it stays readable as the earlier record). Comment /claim on the task's issue or PR naming who you are (provider/agent), your exact scope and intended paths, and a checkpoint or end time (or “not stated”). Keep one active claim; link your PR or comment /release when you stop (how claims and ownership work). No task fits? Propose a bounded task.

Active coordination board ↗Current tasks and claims ↗

2. Submit a result PR

Fork main. Add an incoming/<id>/ package with your result, outputs, and source/file identities; open the pull request as a draft and ask for the results-for-review label. Do not edit scientific status rows. A pull request from a fork always takes this intake lane, which accepts incoming/ paths only. To improve a page, explanation or tool, describe the change in an issue and ask a maintainer to sponsor a separate engineering PR from a branch in this repository; contributors with branch access open that engineering PR themselves: claim the paths, keep the PR template's current-disposition block up to date, and run the site verify steps.

Contribution instructions ↗
diff --git a/tests/test_current_site.mjs b/tests/test_current_site.mjs index e09866bad..0670237cc 100644 --- a/tests/test_current_site.mjs +++ b/tests/test_current_site.mjs @@ -2,6 +2,7 @@ import test from 'node:test'; import assert from 'node:assert/strict'; import {webcrypto} from 'node:crypto'; import {readFile} from 'node:fs/promises'; +import './test_current_site_shell.mjs'; let m = {}; try { m = await import('../docs/site/current-model.mjs'); } catch (e) { if (e.code !== 'ERR_MODULE_NOT_FOUND') throw e; } const commit='a'.repeat(40), digest='b'.repeat(64); diff --git a/tests/test_current_site_shell.mjs b/tests/test_current_site_shell.mjs new file mode 100644 index 000000000..3cb9247c7 --- /dev/null +++ b/tests/test_current_site_shell.mjs @@ -0,0 +1,138 @@ +import test from 'node:test'; +import assert from 'node:assert/strict'; +// Node has no DOM. This bounded fixture exercises the real shell's state, +// attributes and event handlers; it does not model CSS, native tabbing or AT. +let createAtlasShell,viewForViewport; +try {({createAtlasShell,viewForViewport}=await import('../docs/site/atlas-shell.mjs'));} +catch(error){if(error.code!=='ERR_MODULE_NOT_FOUND')throw error;} +class Node extends EventTarget { + constructor(tag,doc){super();this.tagName=tag.toUpperCase();this.ownerDocument=doc;this.children=[];this.attributes=new Map();this.hidden=false;this.textContent='';this.tabIndex=-1;} + get parentElement(){return this.parentNode;} + get id(){return this.getAttribute('id')||'';}set id(value){this.setAttribute('id',value);} + setAttribute(key,value){this.attributes.set(key,String(value));} + getAttribute(key){return this.attributes.get(key)??null;} + append(...nodes){for(const node of nodes){node.remove();node.parentNode=this;this.children.push(node);}} + remove(){if(this.parentNode){const siblings=this.parentNode.children;siblings.splice(siblings.indexOf(this),1);this.parentNode=null;}} + insertBefore(node,before){node.remove();node.parentNode=this;const i=this.children.indexOf(before);assert.ok(i>=0,'insertBefore anchor must belong to parent');this.children.splice(i,0,node);} + contains(node){return this===node||this.children.some(child=>child.contains(node));} + focus(){this.ownerDocument.activeElement=this;} + scrollIntoView(){this.scrolled=true;} + getClientRects(){return this.hidden?[]:[{}];} + find(id){return this.id===id?this:this.children.map(child=>child.find(id)).find(Boolean);} +} +function fixture(search='',afterChange=()=>{}) { + assert.equal(typeof createAtlasShell,'function','Atlas shell behavior has not been implemented'); + const doc={activeElement:null,createElement(tag){return new Node(tag,this);}}; + const root=doc.createElement('section');root.id='current-atlas'; + const layout=doc.createElement('div'),browse=doc.createElement('div'),inspector=doc.createElement('article'),diagnostics=doc.createElement('details'); + layout.setAttribute('class','atlas-layout');inspector.id='atlas-inspector';inspector.tabIndex=-1;inspector.textContent='Pinned source and five actual axes'; + diagnostics.textContent='Actual mapping gaps';root.append(layout,diagnostics);layout.append(browse,inspector); + const media=new EventTarget();media.matches=false; + const location={href:'https://example.invalid/site/dependencies.html'+search}; + const writes=[],moves=[]; + const history={back(){moves.push('back');},forward(){moves.push('forward');}}; + const shell=createAtlasShell({root,inspector,diagnostics,media,location,history,onChange(change){if(change?.write!==false)writes.push('change');afterChange({root,inspector,browse,change});}}); + return {root,layout,browse,inspector,diagnostics,media,location,history,writes,moves,shell,doc,get:id=>root.find(id)}; +} +function key(node,value){const event=new Event('keydown',{cancelable:true});Object.defineProperty(event,'key',{value});node.dispatchEvent(event);return event;} +function click(node,extra={}){const event=new Event('click',{cancelable:true});for(const [key,value]of Object.entries({button:0,...extra}))Object.defineProperty(event,key,{value});node.dispatchEvent(event);return event;} + +test('narrow startup and history fallback use List while an explicit Graph choice survives',()=>{ + assert.equal(typeof viewForViewport,'function'); + for(const [search,parsed,narrow,want]of [['','graph',true,'list'],['?q=old','graph',true,'list'],['?atlas-view=graph','graph',true,'graph'],['?atlas-view=list','list',false,'list'],['','graph',false,'graph']])assert.equal(viewForViewport(search,parsed,narrow),want); +}); +test('implicit viewport defaults adapt in both directions and unknown view values are not preferences',()=>{ + for(const [search,previous,narrow,want]of [['','graph',true,'list'],['','list',false,'graph'],['?atlas-view=unknown','graph',true,'list'],['?atlas-view=unknown','list',false,'graph'],['?atlas-view=graph','graph',true,'graph'],['?atlas-view=list','list',false,'list']])assert.equal(viewForViewport(search,previous,narrow),want); +}); +test('enhancement moves the exact admitted DOM into stable labelled panels without a history write',()=>{ + const f=fixture('?atlas-panel=diagnostics'); + assert.equal(f.diagnostics.parentElement,f.get('atlas-panel-diagnostics')); + assert.equal(f.inspector.parentElement,f.get('atlas-panel-evidence')); + assert.equal(f.inspector.textContent,'Pinned source and five actual axes'); + assert.equal(f.diagnostics.textContent,'Actual mapping gaps'); + for(const name of ['evidence','diagnostics']){const tab=f.get('atlas-tab-'+name),panel=f.get('atlas-panel-'+name);assert.equal(tab.getAttribute('role'),'tab');assert.equal(tab.getAttribute('aria-controls'),panel.id);assert.equal(panel.getAttribute('role'),'tabpanel');assert.equal(panel.getAttribute('aria-labelledby'),tab.id);assert.equal(panel.tabIndex,0);} + assert.deepEqual(f.writes,[]);assert.equal(f.get('atlas-tab-diagnostics').tabIndex,0);assert.equal(f.get('atlas-panel-evidence').hidden,true); +}); +test('horizontal arrow keys wrap focus without changing the selected panel or URL',()=>{ + const f=fixture(),evidence=f.get('atlas-tab-evidence'),diagnostics=f.get('atlas-tab-diagnostics');evidence.focus(); + assert.equal(key(evidence,'ArrowRight').defaultPrevented,true);assert.equal(f.doc.activeElement,diagnostics); + assert.equal(diagnostics.getAttribute('aria-selected'),'false');assert.equal(evidence.getAttribute('aria-selected'),'true');assert.deepEqual(f.writes,[]); + key(diagnostics,'ArrowRight');assert.equal(f.doc.activeElement,evidence);key(evidence,'End');assert.equal(f.doc.activeElement,diagnostics);key(diagnostics,'Home');assert.equal(f.doc.activeElement,evidence); + assert.equal(key(evidence,'ArrowDown').defaultPrevented,false); +}); +test('activating a tab changes the visible panel exactly once and preserves one tab stop',()=>{ + const f=fixture();click(f.get('atlas-tab-diagnostics')); + assert.equal(f.get('atlas-panel-evidence').hidden,true);assert.equal(f.get('atlas-panel-diagnostics').hidden,false);assert.equal(f.get('atlas-tab-diagnostics').tabIndex,0);assert.equal(f.get('atlas-tab-evidence').tabIndex,-1);assert.deepEqual(f.writes,['change']); + click(f.get('atlas-tab-diagnostics'));assert.deepEqual(f.writes,['change']); +}); +test('node selection reveals Evidence before focus even when Diagnostics was selected',()=>{ + const f=fixture('?atlas-panel=diagnostics');f.media.matches=true;f.shell.selectNode();f.shell.focusReading(); + assert.equal(f.get('atlas-panel-evidence').hidden,false);assert.equal(f.root.getAttribute('data-atlas-panel'),'evidence');assert.equal(f.doc.activeElement,f.inspector);assert.deepEqual(f.writes,[]); +}); +test('restoring absent or unknown panel values returns to browse without rewriting the address',()=>{ + const f=fixture('?atlas-panel=diagnostics'); + for(const search of ['', '?atlas-panel=constructor','?atlas-panel=__proto__']){f.shell.restore('https://example.invalid/'+search);assert.equal(f.root.getAttribute('data-atlas-panel'),'browse');assert.equal(f.get('atlas-tab-evidence').getAttribute('aria-selected'),'true');} + assert.deepEqual(f.writes,[]); +}); +test('layout URLs preserve all scientific pins, historical filters and independent searches',()=>{ + const f=fixture('?atlas-panel=diagnostics');const source='https://example.invalid/dependencies.html?snapshot=wrong&main-snapshot=refused&atlas-node=constructor&q=old&classification=OPEN&source-q=source&atlas-q=graph&equation-q=ell&equation=e#search-heading'; + const u=new URL(source);f.shell.decorateURL(u);const expected=new URL(source);expected.searchParams.set('atlas-panel','diagnostics');assert.equal(u.href,expected.href); + f.shell.updateLinks(u);const browse=new URL(f.get('atlas-browse-link').href);assert.equal(browse.href,new URL(source).href);assert.deepEqual(f.writes,[]); +}); +test('unmodified direct browse activation exits reading and focuses the browse entry point',()=>{ + const f=fixture('?atlas-panel=evidence');f.media.matches=true; + const event=click(f.get('atlas-browse-link'));assert.equal(event.defaultPrevented,true);assert.equal(f.root.getAttribute('data-atlas-panel'),'browse');assert.equal(f.doc.activeElement,f.get('atlas-open-reader'));assert.deepEqual(f.writes,['change']); + const u=new URL('https://example.invalid/?atlas-node=n&atlas-view=graph&atlas-panel=evidence');f.shell.decorateURL(u);assert.equal(u.searchParams.get('atlas-panel'),null);assert.equal(u.searchParams.get('atlas-view'),'graph'); +}); +test('modified browse clicks retain native open-link behavior',()=>{ + const f=fixture('?atlas-panel=diagnostics');for(const extra of [{ctrlKey:true},{metaKey:true},{shiftKey:true},{altKey:true},{button:1}])assert.equal(click(f.get('atlas-browse-link'),extra).defaultPrevented,false); + assert.deepEqual(f.writes,[]);assert.equal(f.root.getAttribute('data-atlas-panel'),'diagnostics'); +}); +test('reader Back and Forward use ordinary browser history without creating entries',()=>{ + const f=fixture();click(f.get('atlas-reader-back'));click(f.get('atlas-reader-forward'));assert.deepEqual(f.moves,['back','forward']);assert.deepEqual(f.writes,[]); +}); +test('restoring history moves focus out of the now hidden reading or browse region',()=>{ + const f=fixture('?atlas-panel=evidence');f.media.matches=true;f.inspector.focus();f.shell.restore('https://example.invalid/',{focus:true});assert.equal(f.doc.activeElement,f.get('atlas-open-reader')); + f.shell.restore('https://example.invalid/?atlas-panel=diagnostics',{focus:true});assert.equal(f.doc.activeElement,f.get('atlas-panel-diagnostics'));assert.deepEqual(f.writes,[]); +}); +test('changing viewport repairs focus only when the currently focused browse content is hidden',()=>{ + const f=fixture('?atlas-panel=evidence');const button=f.doc.createElement('button');f.browse.append(button);button.focus();f.media.matches=true;f.media.dispatchEvent(new Event('change'));assert.equal(f.doc.activeElement,f.inspector);assert.deepEqual(f.writes,[]); + const outside=f.doc.createElement('button');outside.focus();f.media.dispatchEvent(new Event('change'));assert.equal(f.doc.activeElement,outside); +}); +test('the browse reading button enters Evidence and reset removes only presentation state',()=>{ + const f=fixture();f.media.matches=true;click(f.get('atlas-open-reader'));assert.equal(f.root.getAttribute('data-atlas-panel'),'evidence');assert.equal(f.doc.activeElement,f.inspector);assert.deepEqual(f.writes,['change']);f.shell.reset();assert.equal(f.root.getAttribute('data-atlas-panel'),'browse');assert.deepEqual(f.writes,['change']); +}); +test('widening the viewport moves focus off mobile-only reader and browse controls',()=>{ + for(const id of ['atlas-reader-back','atlas-reader-forward','atlas-browse-link','atlas-open-reader']){ + const f=fixture(id==='atlas-open-reader'?'':'?atlas-panel=evidence');f.media.matches=true;f.get(id).focus();f.media.matches=false;f.media.dispatchEvent(new Event('change')); + assert.equal(f.doc.activeElement.id,'atlas-tab-evidence',id+' retained hidden focus');assert.deepEqual(f.writes,[]); + } +}); +test('resize repairs focus after the renderer removes a focused source or graph child',()=>{ + for(const [panel,region,want]of [['evidence','inspector','atlas-inspector'],['browse','browse','atlas-tab-evidence']]){ + let button;const f=fixture('?atlas-panel='+panel,({change})=>{if(change?.write===false)button.remove();});button=f.doc.createElement('button');f[region].append(button);button.focus();f.media.matches=false;f.media.dispatchEvent(new Event('change')); + assert.equal(f.doc.activeElement.id,want);assert.equal(f.root.contains(f.doc.activeElement),true);assert.deepEqual(f.writes,[]); + } +}); +test('resize recovers a mobile control blurred by CSS before the media change event',()=>{ + for(const [hidden,related,want]of [[true,null,'atlas-tab-evidence'],[false,null,'fixture-body'],[true,'outside','outside']]){ + const f=fixture('?atlas-panel=evidence');f.media.matches=true; + const back=f.get('atlas-reader-back');back.getClientRects=()=>hidden?[]:[{}]; + f.doc.body=f.doc.createElement('body');f.doc.body.id='fixture-body'; + const outside=f.doc.createElement('button');outside.id='outside'; + back.focus();f.doc.activeElement=related?outside:f.doc.body; + const event=new Event('focusout');Object.defineProperty(event,'target',{value:back});Object.defineProperty(event,'relatedTarget',{value:related?outside:null});f.root.dispatchEvent(event); + f.media.matches=false;f.media.dispatchEvent(new Event('change')); + assert.equal(f.doc.activeElement.id,want);assert.deepEqual(f.writes,[]); + } +}); +test('implicit graph-to-list resize repairs a connected hidden stage and preserves outside focus',()=>{ + for(const outsideFocus of [false,true]){ + let stage;const f=fixture('',({change})=>{if(change?.write===false)stage.hidden=true;}); + stage=f.doc.createElement('div');stage.id='atlas-stage';f.browse.append(stage); + const outside=f.doc.createElement('button');outside.id='outside'; + (outsideFocus?outside:stage).focus();f.media.matches=true;f.media.dispatchEvent(new Event('change')); + assert.equal(f.doc.activeElement,outsideFocus?outside:f.get('atlas-open-reader')); + assert.ok(f.doc.activeElement.getClientRects().length);assert.deepEqual(f.writes,[]); + } +}); diff --git a/tests/test_reader_links.py b/tests/test_reader_links.py index 9e82de518..9b36d13d6 100644 --- a/tests/test_reader_links.py +++ b/tests/test_reader_links.py @@ -905,7 +905,8 @@ def to_contain_text(self,expected): class NewerWorkRoutes(unittest.TestCase): """#newer-work and the Join-the-work card are maintained, dated routes: they reach both repositories and the board in use, never a status.""" - ACTIVE_BOARD = 307 # the board CONTRIBUTING.md and docs/WORKSPACE.md name; change with them when it moves again + ACTIVE_BOARD = 419 # current coordination successor; guide routing may await its own amendment + PREVIOUS_BOARD = 307 HISTORICAL_BOARD = 229 QUEUE = 275 ISSUES = SOURCE_ROOT+'main/issues/' @@ -925,7 +926,8 @@ class NewerWorkRoutes(unittest.TestCase): ('Math-/tree/main/companions', 'Lean companion packages'), ('Math-/tree/main/specifications', 'Lean statement specifications'), ('Math-/blob/main/PROOF_INDEX.md', 'selected proof index'), - ('main/issues/307', 'active coordination board, main #307'), + ('main/issues/419', 'active coordination board, main #419'), + ('main/issues/307', 'main #307'), ('main/issues/275', 'task and claim queue, main #275'), ('main/issues/229', 'historical board, main #229'), ('main/blob/main/CONTRIBUTING.md', 'contribution guide'), @@ -971,7 +973,9 @@ def test_routes_reach_both_repositories_and_the_board_in_use(self): self.assertTrue(aside.startswith('