Spaces:
Running
Running
| <html lang="en"> | |
| <head> | |
| <meta charset="utf-8"> | |
| <meta name="viewport" content="width=device-width,initial-scale=1"> | |
| <title>Anatomy v5 | a11oy evidence-labelled digital twin</title> | |
| <meta name="description" content="An evidence-labelled digital twin of the SZL estate: organism health, inference routing, Brain pulse, formula genome, and Space reachability."> | |
| <link rel="canonical" href="https://a-11-oy.com/anatomy-v5"> | |
| <meta property="og:title" content="Anatomy v5 | a11oy"> | |
| <meta property="og:description" content="See the estate as one governed organism without hiding unavailable signals."> | |
| <style> | |
| :root{--bg:#050b0a;--panel:#091512;--panel2:#0d1d19;--line:rgba(58,244,200,.16);--ink:#edf9f5;--muted:#89a39c;--teal:#3af4c8;--blue:#6c9cff;--amber:#d9bc75;--red:#ec827e;--mono:ui-monospace,SFMono-Regular,Consolas,monospace;--sans:Inter,ui-sans-serif,system-ui,sans-serif} | |
| *{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:radial-gradient(circle at 50% -20%,rgba(45,137,115,.2),transparent 38%),linear-gradient(180deg,#06100e,var(--bg));color:var(--ink);font-family:var(--sans)}a{color:inherit;text-decoration:none}a,button{touch-action:manipulation}a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible{outline:2px solid var(--teal);outline-offset:3px}.skip{position:fixed;left:12px;top:8px;z-index:100;transform:translateY(-160%);border-radius:8px;background:var(--teal);color:#03100c;padding:10px 13px;font:12px var(--mono)}.skip:focus{transform:none}.wrap{width:min(1220px,calc(100% - 32px));margin:auto}.mono{font-family:var(--mono)} | |
| header{position:sticky;top:0;z-index:30;border-bottom:1px solid var(--line);background:rgba(5,11,10,.88);backdrop-filter:blur(18px)}header .wrap{min-height:66px;display:flex;align-items:center;gap:18px}.brand{min-height:44px;display:flex;align-items:center;gap:10px;font-weight:750}.mark{width:30px;height:30px;display:grid;place-items:center;border:1px solid var(--teal);border-radius:50%;color:var(--teal);box-shadow:0 0 24px rgba(58,244,200,.2)}nav{display:flex;gap:7px;align-items:center;margin-left:auto;flex-wrap:wrap}nav a{min-height:44px;display:inline-flex;align-items:center;font:11px var(--mono);color:var(--muted);padding:9px 11px;border-radius:9px}nav a:hover{background:rgba(58,244,200,.07);color:var(--ink)}nav .primary{border:1px solid rgba(58,244,200,.35);color:var(--teal)} | |
| .hero{padding:64px 0 30px}.eyebrow{font:11px var(--mono);letter-spacing:.16em;color:var(--teal);text-transform:uppercase}.hero h1{font-size:clamp(2.7rem,7vw,6.4rem);line-height:.9;letter-spacing:-.06em;margin:18px 0}.hero h1 span{color:transparent;background:linear-gradient(90deg,var(--teal),var(--blue));background-clip:text}.hero p{max-width:820px;margin:0;color:var(--muted);font-size:1.08rem;line-height:1.7}.badges{display:flex;gap:8px;flex-wrap:wrap;margin-top:23px}.badge{border:1px solid var(--line);border-radius:999px;padding:7px 10px;color:var(--muted);font:10px var(--mono);overflow-wrap:anywhere}.badges a.badge{min-height:44px;display:inline-flex;align-items:center}.badge.live,.badge.measured{border-color:rgba(58,244,200,.42);color:var(--teal)}.badge.cached,.badge.stalecache,.badge.snapshot,.badge.modeled,.badge.observed,.badge.available,.badge.degraded,.badge.readyunmeasured{border-color:rgba(217,188,117,.4);color:var(--amber)}.badge.unavailable,.badge.error,.badge.unconfigured,.badge.conflict{border-color:rgba(236,130,126,.4);color:var(--red)} | |
| .vitals{display:grid;grid-template-columns:repeat(6,1fr);gap:10px;margin:20px 0 34px}.vital{min-height:104px;border:1px solid var(--line);border-radius:14px;padding:15px;background:linear-gradient(150deg,rgba(13,29,25,.94),rgba(7,15,13,.96))}.vital b{display:block;margin-bottom:7px;color:var(--teal);font:650 1.45rem var(--mono);overflow-wrap:anywhere}.vital span{color:var(--muted);font:10px var(--mono);text-transform:uppercase;letter-spacing:.08em}.vital small{display:block;margin-top:8px;color:#667e77;font:9px var(--mono)} | |
| .tabs{position:sticky;top:67px;z-index:20;display:flex;gap:7px;overflow:auto;overscroll-behavior-inline:contain;scrollbar-width:thin;padding:12px 0;background:linear-gradient(180deg,rgba(5,11,10,.97),rgba(5,11,10,.83),transparent)}.tab{min-height:44px;border:1px solid var(--line);border-radius:999px;background:var(--panel);color:var(--muted);padding:9px 13px;white-space:nowrap;cursor:pointer;font:11px var(--mono)}.tab.active,.tab:hover{color:#03100c;background:var(--teal);border-color:var(--teal)} | |
| .view{display:none;padding:15px 0 72px}.view.active{display:block}.section-head{display:flex;justify-content:space-between;align-items:end;gap:18px;margin:16px 0 20px}.section-head h2{font-size:clamp(1.7rem,4vw,3rem);letter-spacing:-.04em;margin:0}.section-head p{max-width:610px;color:var(--muted);line-height:1.6;margin:0}.panel{border:1px solid var(--line);border-radius:16px;background:linear-gradient(150deg,rgba(13,29,25,.93),rgba(6,13,11,.98));padding:20px} | |
| .organism{display:grid;grid-template-columns:minmax(0,1.15fr) minmax(300px,.85fr);gap:14px}.organism>*,.nervous-grid>*,.formula>*{min-width:0}.body{position:relative;min-height:570px;overflow:hidden}.body:before{content:"";position:absolute;inset:7% 15%;border:1px solid rgba(58,244,200,.12);border-radius:45% 45% 32% 32%;box-shadow:inset 0 0 90px rgba(58,244,200,.035)}.spine{position:absolute;top:16%;bottom:14%;left:50%;width:1px;background:linear-gradient(transparent,var(--teal),transparent);opacity:.45}.nerve{position:absolute;height:1px;background:linear-gradient(90deg,transparent,rgba(108,156,255,.48),transparent);transform-origin:left center}.organ{position:absolute;width:142px;min-height:82px;padding:12px;border:1px solid var(--line);border-radius:13px;background:rgba(8,19,16,.94);box-shadow:0 0 30px rgba(58,244,200,.035)}.organ b{display:block;font-size:13px}.organ small{display:block;margin-top:5px;color:var(--muted);font:9px var(--mono);line-height:1.4}.organ .dot{position:absolute;right:10px;top:10px;width:7px;height:7px;border-radius:50%;background:var(--red)}.organ.live .dot{background:var(--teal);box-shadow:0 0 10px var(--teal)}.organ.cached .dot,.organ.stalecache .dot,.organ.snapshot .dot,.organ.modeled .dot,.organ.observed .dot,.organ.available .dot,.organ.degraded .dot{background:var(--amber)}.brain{left:calc(50% - 71px);top:5%}.router{left:calc(50% - 71px);top:26%}.models{left:5%;top:26%}.kernels{right:5%;top:26%}.data{left:5%;top:53%}.spaces{right:5%;top:53%}.formulas{left:calc(50% - 71px);top:73%}.receipts{left:calc(50% - 71px);top:48%}.readout{display:grid;gap:10px}.readout article{min-width:0;border:1px solid var(--line);border-radius:13px;padding:15px;background:rgba(8,18,15,.7)}.readout h3{font-size:13px;margin:0 0 9px}.readout pre{margin:0;white-space:pre-wrap;overflow-wrap:anywhere;color:var(--muted);font:10px/1.55 var(--mono);max-height:165px;overflow:auto}.source{display:flex;justify-content:space-between;flex-wrap:wrap;gap:6px 12px;margin-top:10px;color:#668078;font:9px var(--mono)}.source span{min-width:0;overflow-wrap:anywhere} | |
| .nervous-grid{display:grid;grid-template-columns:1.15fr .85fr;gap:14px}.route-list,.formula-list{display:grid;gap:8px}.route{display:grid;grid-template-columns:minmax(130px,1fr) repeat(3,minmax(78px,.45fr));gap:10px;align-items:center;border:1px solid var(--line);border-radius:11px;padding:12px;background:rgba(6,14,12,.72);font:10px var(--mono)}.route strong{font:600 12px var(--sans);overflow-wrap:anywhere}.route span{color:var(--muted);overflow-wrap:anywhere}.route .signal.live{color:var(--teal)}.route .signal.cached,.route .signal.stalecache,.route .signal.snapshot,.route .signal.modeled,.route .signal.observed,.route .signal.available,.route .signal.degraded{color:var(--amber)}.route .signal.unavailable,.route .signal.error{color:var(--red)}.json{margin:0;max-height:570px;overflow:auto;white-space:pre-wrap;overflow-wrap:anywhere;color:#9bb3ad;font:10px/1.55 var(--mono)} | |
| .formula-tools{display:flex;gap:10px;align-items:center;flex-wrap:wrap;margin-bottom:14px}.formula-tools input{min-height:44px;flex:1;min-width:180px;border:1px solid var(--line);border-radius:10px;background:#07110f;color:var(--ink);padding:11px 13px;font:11px var(--mono)}.formula-tools .badge{max-width:100%}.formula{display:grid;grid-template-columns:minmax(130px,.7fr) minmax(160px,1fr) 2fr;gap:12px;border:1px solid var(--line);border-radius:12px;padding:14px;background:rgba(7,16,14,.75)}.formula b{font-size:13px}.formula .tier{color:var(--blue);font:10px var(--mono);text-transform:uppercase}.formula p{margin:0;color:var(--muted);font:10px/1.55 var(--mono);overflow-wrap:anywhere}.empty{border:1px dashed var(--line);border-radius:13px;padding:26px;text-align:center;color:var(--muted)} | |
| .wire-d-grid{display:grid;grid-template-columns:minmax(260px,.7fr) minmax(0,1.3fr);gap:14px}.probe-actions{display:grid;gap:10px;margin-top:18px}.probe-actions label{color:var(--muted);font:10px var(--mono);text-transform:uppercase}.probe-actions select,.probe-actions button{min-height:46px;border:1px solid var(--line);border-radius:10px;padding:10px 12px;font:11px var(--mono)}.probe-actions select{width:100%;background:#07110f;color:var(--ink)}.probe-actions button{cursor:pointer;background:var(--teal);color:#03100c;font-weight:750}.probe-actions button:disabled,.probe-actions select:disabled{cursor:not-allowed;opacity:.48}.wire-note{color:var(--muted);font-size:12px;line-height:1.65}.wire-note strong{color:var(--amber)} | |
| footer{border-top:1px solid var(--line);padding:34px 0 48px;color:var(--muted);font-size:12px;line-height:1.65}footer .wrap{display:flex;justify-content:space-between;gap:30px;flex-wrap:wrap}footer a{color:var(--teal)} | |
| @media(max-width:960px){.vitals{grid-template-columns:repeat(3,minmax(0,1fr))}.organism,.nervous-grid,.wire-d-grid{grid-template-columns:1fr}.body{min-height:540px}.route{grid-template-columns:1fr 1fr}.formula{grid-template-columns:1fr}} | |
| @media(max-width:800px){.brand small{display:none}} | |
| @media(max-width:680px){header{position:static}header .wrap{flex-wrap:wrap;padding:11px 0 8px}nav{width:100%;margin-left:0;flex-wrap:nowrap;overflow-x:auto;overscroll-behavior-inline:contain;scrollbar-width:thin}nav a{flex:0 0 auto}.tabs{top:0}} | |
| @media(max-width:620px){.hero{padding-top:44px}.vitals{grid-template-columns:repeat(2,minmax(0,1fr))}.panel{padding:16px}.body{min-height:690px}.body:before{inset:5% 4%}.organ{width:126px}.brain{left:calc(50% - 63px)}.router{left:calc(50% - 63px);top:22%}.models{left:2%;top:39%}.kernels{right:2%;top:39%}.receipts{left:calc(50% - 63px);top:54%}.data{left:2%;top:69%}.spaces{right:2%;top:69%}.formulas{left:calc(50% - 63px);top:84%}.route{grid-template-columns:1fr}.section-head{align-items:start;flex-direction:column}.formula-tools{align-items:stretch;flex-direction:column}.formula-tools input{min-width:0;width:100%}} | |
| </style> | |
| </head> | |
| <body> | |
| <a class="skip" href="#main">Skip to content</a> | |
| <header><div class="wrap"> | |
| <a class="brand" href="/"><span class="mark">A</span><span>a11oy <small class="mono" style="color:var(--muted);font-weight:400">/ Anatomy v5</small></span></a> | |
| <nav aria-label="Primary"><a href="/ecosystem">Ecosystem</a><a href="/spaces">All Spaces</a><a href="/formulas">Formulas</a><a href="/living-anatomy">3D Anatomy</a><a class="primary" href="/console">Command center</a></nav> | |
| </div></header> | |
| <main id="main"> | |
| <section class="hero"><div class="wrap"> | |
| <div class="eyebrow">Real signals | one governed organism</div> | |
| <h1>The estate is<br><span>alive and inspectable.</span></h1> | |
| <p>Anatomy v5 joins the public inventory, Brain pulse, inference router, mesh, Space health, full wired formula index, and Wire-D cross-mesh evidence. Each organ keeps its source and state; a failed probe stays visibly unavailable.</p> | |
| <div class="badges" id="probe-badges" aria-live="polite"><span class="badge">CONNECTING TO EIGHT EVIDENCE SURFACES</span></div> | |
| </div></section> | |
| <div class="wrap"> | |
| <section class="vitals" id="vitals" aria-live="polite"><div class="vital"><b>--</b><span>Loading evidence</span><small>No placeholder is a claim.</small></div></section> | |
| <div class="tabs" role="tablist" aria-label="Anatomy views"> | |
| <button class="tab active" id="tab-organism" data-view="organism" role="tab" aria-selected="true" aria-controls="view-organism" tabindex="0">Organism</button> | |
| <button class="tab" id="tab-nervous" data-view="nervous" role="tab" aria-selected="false" aria-controls="view-nervous" tabindex="-1">Router nervous system</button> | |
| <button class="tab" id="tab-wire-d" data-view="wire-d" role="tab" aria-selected="false" aria-controls="view-wire-d" tabindex="-1">Wire-D evidence</button> | |
| <button class="tab" id="tab-genome" data-view="genome" role="tab" aria-selected="false" aria-controls="view-genome" tabindex="-1">Formula genome</button> | |
| <button class="tab" id="tab-evidence" data-view="evidence" role="tab" aria-selected="false" aria-controls="view-evidence" tabindex="-1">Raw evidence</button> | |
| </div> | |
| <section class="view active" id="view-organism" role="tabpanel" aria-labelledby="tab-organism"> | |
| <div class="section-head"><div><div class="eyebrow">Digital twin</div><h2>One body, no hidden organs.</h2></div><p>Green means an endpoint explicitly reported LIVE for the relevant signal. Amber means available, observed, cached, modeled, degraded, or snapshot evidence. Red means unavailable; a successful HTTP response is not silently converted into a healthy state.</p></div> | |
| <div class="organism"> | |
| <div class="panel body" aria-label="SZL ecosystem organism map"> | |
| <div class="spine"></div> | |
| <article class="organ brain" data-probe="brain"><span class="dot"></span><b>Brain</b><small id="organ-brain">Pulse pending</small></article> | |
| <article class="organ router" data-probe="router"><span class="dot"></span><b>Router</b><small id="organ-router">Routes pending</small></article> | |
| <article class="organ models" data-probe="atlas"><span class="dot"></span><b>Models</b><small id="organ-models">Inventory pending</small></article> | |
| <article class="organ kernels" data-probe="atlas"><span class="dot"></span><b>Kernels</b><small id="organ-kernels">Registry pending</small></article> | |
| <article class="organ receipts" data-probe="mesh"><span class="dot"></span><b>Evidence mesh</b><small id="organ-receipts">Mesh pending</small></article> | |
| <article class="organ data" data-probe="atlas"><span class="dot"></span><b>Data + memory</b><small id="organ-data">Inventory pending</small></article> | |
| <article class="organ spaces" data-probe="spaces"><span class="dot"></span><b>Spaces</b><small id="organ-spaces">Health pending</small></article> | |
| <article class="organ formulas" data-probe="genome"><span class="dot"></span><b>Formula genome</b><small id="organ-formulas">Genome pending</small></article> | |
| </div> | |
| <aside class="readout" id="readout"></aside> | |
| </div> | |
| </section> | |
| <section class="view" id="view-nervous" role="tabpanel" aria-labelledby="tab-nervous" hidden> | |
| <div class="section-head"><div><div class="eyebrow">Inference fabric</div><h2>The nervous system routes; policy decides.</h2></div><p>Routes are rendered from the current router catalog response. Load values remain MODELED, not traffic or QPS. Runtime reachability is not model quality, and a route listing is not a guarantee of inference capacity.</p></div> | |
| <div class="nervous-grid"><div class="panel"><div class="route-list" id="routes"><div class="empty">Router evidence pending.</div></div></div><div class="panel"><div class="eyebrow" style="margin-bottom:12px">Mesh state</div><pre class="json" id="mesh-json">Waiting for mesh evidence...</pre></div></div> | |
| </section> | |
| <section class="view" id="view-wire-d" role="tabpanel" aria-labelledby="tab-wire-d" hidden> | |
| <div class="section-head"><div><div class="eyebrow">Cross-mesh receipt evidence</div><h2>A hop is evidence only after it happens.</h2></div><p>Anatomy v5 remains current. A future v6 is not claimed here. Wire-D becomes MEASURED only when an operator-configured peer echoes the same W3C trace-id and the result is appended to the Khipu receipt ledger.</p></div> | |
| <div class="wire-d-grid"> | |
| <div class="panel"> | |
| <span class="badge" id="wire-d-state">UNAVAILABLE</span> | |
| <p class="wire-note"><strong>GET is read-only.</strong> Running a probe is an explicit POST. Targets come from the closed server registry; this page cannot submit an arbitrary URL.</p> | |
| <div class="probe-actions"> | |
| <label for="wire-d-target">Configured peer</label> | |
| <select id="wire-d-target" disabled><option value="">No configured peer</option></select> | |
| <button id="wire-d-run" type="button" disabled>Run one receipted hop</button> | |
| </div> | |
| </div> | |
| <div class="panel"><pre class="json" id="wire-d-json">Waiting for Wire-D status...</pre></div> | |
| </div> | |
| </section> | |
| <section class="view" id="view-genome" role="tabpanel" aria-labelledby="tab-genome" hidden> | |
| <div class="section-head"><div><div class="eyebrow">Wired formulas</div><h2>Every served formula, one honest index.</h2></div><p>This view joins the genome snapshot with the runtime formula registry, deduplicating by formula name or identifier and labelling each row's wiring source. A citation or theorem name is provenance metadata; experimental entries remain labelled experimental.</p></div> | |
| <div class="panel"><div class="formula-tools"><input id="formula-search" type="search" placeholder="Search formula, tier, citation, theorem..." aria-label="Search formula genome"><span class="badge" id="formula-count" aria-live="polite">PENDING</span></div><div class="formula-list" id="formula-list"><div class="empty">Formula evidence pending.</div></div></div> | |
| </section> | |
| <section class="view" id="view-evidence" role="tabpanel" aria-labelledby="tab-evidence" hidden> | |
| <div class="section-head"><div><div class="eyebrow">Unmodified responses</div><h2>Inspect what the twin actually read.</h2></div><p>Payloads are capped for display but not reinterpreted as stronger evidence. Open each endpoint directly for the complete machine-readable response.</p></div> | |
| <div class="panel"><pre class="json" id="raw-json">Waiting for evidence...</pre></div> | |
| </section> | |
| </div> | |
| </main> | |
| <footer><div class="wrap"><span>Anatomy v5 is a read-only digital twin. It does not train models, mutate datasets, or mint receipts on GET. The Wire-D button is an explicit receipted POST.</span><span><a href="/api/a11oy/v1/ecosystem/atlas">Atlas JSON</a> | <a href="/api/a11oy/v1/genome">Genome JSON</a> | <a href="/api/a11oy/v1/formulas/index">Wired formula JSON</a> | <a href="/api/a11oy/v1/wire-d/status">Wire-D JSON</a> | <a href="/.well-known/szl-source.json">Source attestation</a></span></div></footer> | |
| <script> | |
| (()=>{ | |
| 'use strict'; | |
| const endpoints={ | |
| atlas:['/api/a11oy/v1/ecosystem/atlas'], | |
| brain:['/api/a11oy/v1/brain/pulse'], | |
| router:['/api/a11oy/v1/router/stats','/v1/router/stats'], | |
| mesh:['/api/a11oy/v1/mesh/state'], | |
| spaces:['/api/a11oy/v1/spaces/health'], | |
| genome:['/api/a11oy/v1/genome'], | |
| formulas:['/api/a11oy/v1/formulas/index'], | |
| wireD:['/api/a11oy/v1/wire-d/status'] | |
| }; | |
| const probes={}; | |
| const esc=v=>String(v??'').replace(/[&<>"']/g,c=>({'&':'&','<':'<','>':'>','"':'"',"'":'''}[c])); | |
| const simple=v=>v===null||['string','number','boolean'].includes(typeof v)?String(v??'--'):'--'; | |
| const EVIDENCE_STATES=Object.freeze(['LIVE','MEASURED','READY_UNMEASURED','CACHED','STALE_CACHE','SNAPSHOT','MODELED','OBSERVED','AVAILABLE','DEGRADED','UNCONFIGURED','UNAVAILABLE','CONFLICT','ERROR']); | |
| const stateClass=s=>String(s||'').toLowerCase().replace(/[^a-z]/g,''); | |
| const normalizedState=s=>String(s||'').trim().toUpperCase().replace(/[ -]+/g,'_'); | |
| const evidenceState=s=>{const normalized=normalizedState(s);return EVIDENCE_STATES.includes(normalized)?normalized:''}; | |
| const bounded=(v,n=2800)=>{const s=JSON.stringify(v,null,2);return s.length>n?s.slice(0,n)+'\n... display capped; open source endpoint for complete payload':s}; | |
| function classifyProbe(name,data){ | |
| const declared=evidenceState(data?.state||data?.status); | |
| if(name==='brain'){ | |
| const pulse=evidenceState(data?.labels?.pulse); | |
| return pulse||declared||'OBSERVED'; | |
| } | |
| if(name==='router'){ | |
| const source=normalizedState(data?.source);const catalog=normalizedState(data?.catalog_state);const throughput=evidenceState(data?.throughput_state); | |
| if(source==='HONEST_STUB_CATALOG'||catalog==='FALLBACK')return 'MODELED'; | |
| return declared||throughput||'OBSERVED'; | |
| } | |
| if(name==='mesh'){ | |
| const wires=Object.values(data?.wires||{});const statuses=wires.map(w=>normalizedState(typeof w==='object'?w?.status:w)); | |
| const partial=statuses.some(s=>/(NOT_SERV|IN_PROCESS|PARTIAL|FALLBACK|STUB|UNAVAILABLE)/.test(s))||/stub|not wired|not served/i.test(String(data?.honesty||'')); | |
| if(partial)return 'DEGRADED'; | |
| if(declared&&declared!=='LIVE')return declared; | |
| if(declared==='LIVE'&&statuses.length&&statuses.every(s=>s==='LIVE'))return 'LIVE'; | |
| return 'OBSERVED'; | |
| } | |
| if(name==='spaces'){ | |
| if(declared)return declared; | |
| const rows=Array.isArray(data?.spaces)?data.spaces:[]; | |
| if(rows.length&&rows.every(r=>!r?.app_reachable&&normalizedState(r?.stage)==='UNKNOWN'))return 'UNAVAILABLE'; | |
| if(rows.some(r=>!r?.app_reachable||normalizedState(r?.stage)!=='RUNNING'))return 'DEGRADED'; | |
| return 'OBSERVED'; | |
| } | |
| if(name==='wireD')return declared||'UNAVAILABLE'; | |
| if(name==='formulas'||name==='genome'){ | |
| return ['UNAVAILABLE','ERROR','DEGRADED'].includes(declared)?declared:'AVAILABLE'; | |
| } | |
| return declared||'OBSERVED'; | |
| } | |
| async function fetchPath(path){ | |
| const control=new AbortController();const timer=setTimeout(()=>control.abort(),9000); | |
| try{const response=await fetch(path,{headers:{accept:'application/json'},signal:control.signal,cache:'no-store'});if(!response.ok)throw Error('HTTP '+response.status);return {data:await response.json(),endpoint:path};} | |
| finally{clearTimeout(timer)} | |
| } | |
| async function probe(name,paths){ | |
| let last='unavailable'; | |
| for(const path of paths){try{const hit=await fetchPath(path);return {state:classifyProbe(name,hit.data),data:hit.data,endpoint:hit.endpoint,read_at:new Date().toISOString()};}catch(error){last=error?.name==='AbortError'?'timeout':String(error?.message||error)}} | |
| return {state:'UNAVAILABLE',data:null,endpoint:paths[0],error:last,read_at:new Date().toISOString()}; | |
| } | |
| function valueAt(obj,keys){for(const key of keys){const value=key.split('.').reduce((a,k)=>a&&a[k],obj);if(value!==undefined&&value!==null)return value}return null} | |
| function arrayAt(obj,keys){const value=valueAt(obj,keys);return Array.isArray(value)?value:[]} | |
| function paint(){ | |
| document.getElementById('probe-badges').innerHTML=Object.entries(probes).map(([name,p])=>`<a class="badge ${stateClass(p.state)}" href="${esc(p.endpoint)}">${esc(name.toUpperCase())}: ${esc(p.state)}</a>`).join(''); | |
| document.querySelectorAll('.organ').forEach(el=>{const p=probes[el.dataset.probe];el.className=el.className.replace(/\s(live|cached|stalecache|modeled|snapshot|observed|available|degraded|unavailable|error)\b/g,'')+' '+stateClass(p?.state||'UNAVAILABLE')}); | |
| const atlas=probes.atlas?.data||{};const counts=atlas.counts||{};const formulas=probes.formulas?.data||{};const genome=probes.genome?.data||{};const router=probes.router?.data||{};const brain=probes.brain?.data||{};const spaces=probes.spaces?.data||{}; | |
| const routes=arrayAt(router,['routes','tiers','data.routes']);const wiredRows=arrayAt(formulas,['wired','formulas','entries']);const genomeRows=arrayAt(genome,['entries','genome']);const spaceRows=arrayAt(spaces,['spaces','resources','results']); | |
| const surfacesLit=valueAt(brain,['lit.surfaces_lit','surfaces_lit.count','surfaces_lit','surface_count']); | |
| const organsLit=valueAt(brain,['lit.organs_lit','organs_lit.count','organs_lit']); | |
| const vitals=[ | |
| [simple(counts.models),'Models',probes.atlas?.state],[simple(counts.kernels),'Governed kernels',probes.atlas?.state],[simple(genomeRows.length||genome.count),'Formula genome',probes.genome?.state], | |
| [simple(routes.length),'Router routes',probes.router?.state],[simple(surfacesLit),'Brain-lit surfaces',probes.brain?.state],[simple(spaceRows.length||counts.spaces),'Spaces observed',probes.spaces?.state] | |
| ]; | |
| document.getElementById('vitals').innerHTML=vitals.map(([v,l,s])=>`<div class="vital"><b>${esc(v)}</b><span>${esc(l)}</span><small>${esc(s||'UNAVAILABLE')} | source-derived</small></div>`).join(''); | |
| const brainLit=[surfacesLit!==null?surfacesLit+' surfaces':null,organsLit!==null?organsLit+' organs':null].filter(Boolean).join(' | '); | |
| document.getElementById('organ-brain').textContent=brainLit||probes.brain?.state||'UNAVAILABLE'; | |
| document.getElementById('organ-router').textContent=routes.length?routes.length+' routes observed':(probes.router?.state||'UNAVAILABLE'); | |
| document.getElementById('organ-models').textContent=counts.models!==undefined?counts.models+' public models':(probes.atlas?.state||'UNAVAILABLE'); | |
| document.getElementById('organ-kernels').textContent=counts.kernels!==undefined?counts.kernels+' governed kernels':(probes.atlas?.state||'UNAVAILABLE'); | |
| document.getElementById('organ-data').textContent=counts.datasets!==undefined?counts.datasets+' datasets':(probes.atlas?.state||'UNAVAILABLE'); | |
| document.getElementById('organ-spaces').textContent=counts.spaces!==undefined?counts.spaces+' inventory entries':(probes.spaces?.state||'UNAVAILABLE'); | |
| document.getElementById('organ-formulas').textContent=genomeRows.length?genomeRows.length+' genome | '+wiredRows.length+' wired':(probes.genome?.state||'UNAVAILABLE'); | |
| document.getElementById('organ-receipts').textContent=probes.mesh?.state||'UNAVAILABLE'; | |
| const readoutKeys=['brain','router','atlas','spaces']; | |
| document.getElementById('readout').innerHTML=readoutKeys.map(key=>{const p=probes[key];return `<article><h3>${esc(key[0].toUpperCase()+key.slice(1))} <span class="badge ${stateClass(p?.state)}">${esc(p?.state||'UNAVAILABLE')}</span></h3><pre>${esc(p?.data?bounded(p.data,620):(p?.error||'No response'))}</pre><div class="source"><span>${esc(p?.endpoint)}</span><span>${esc(p?.read_at||'')}</span></div></article>`}).join(''); | |
| renderRoutes(routes,router);renderFormulas(genomeRows,wiredRows);renderWireD(probes.wireD);document.getElementById('mesh-json').textContent=probes.mesh?.data?bounded(probes.mesh.data,12000):(probes.mesh?.error||'UNAVAILABLE'); | |
| document.getElementById('raw-json').textContent=bounded(probes,32000); | |
| } | |
| function renderRoutes(rows,router={}){ | |
| const host=document.getElementById('routes');if(!rows.length){host.innerHTML='<div class="empty">Router did not expose a route array. Open the raw evidence view for its exact payload.</div>';return} | |
| const throughputState=evidenceState(router?.throughput_state)||'MODELED';const throughputLabel=throughputState==='MODELED'?'modeled load':'throughput'; | |
| host.innerHTML=rows.map((r,i)=>{const name=r.model||r.organ||r.id||r.name||('route '+(i+1));const tier=r.tier||r.rank||r.provider||'--';const license=r.license||'not reported';const throughput=r.throughput??r.tokens_per_second??'not reported';return `<article class="route"><strong>${esc(name)}</strong><span>tier ${esc(tier)}</span><span>${esc(license)}</span><span class="signal ${stateClass(throughputState)}">${esc(throughputLabel)} ${esc(throughput)}</span></article>`}).join(''); | |
| } | |
| let allGenome=[];let allWired=[];let allFormulas=[]; | |
| const formulaKey=(row,fallback)=>String(row?.name||row?.id||fallback).trim().toLowerCase(); | |
| function mergeFormulaRows(genome,wired){ | |
| const wiredMap=new Map();wired.forEach((row,i)=>wiredMap.set(formulaKey(row,'wired:'+i),row)); | |
| const seen=new Set();const merged=[]; | |
| genome.forEach((row,i)=>{const key=formulaKey(row,'genome:'+i);if(seen.has(key))return;seen.add(key);const runtime=wiredMap.get(key);merged.push({...row,runtime_wiring:runtime?'WIRED':'GENOME_ONLY',evidence_source:runtime?'genome + runtime registry':'genome',runtime_tier:runtime?.tier,runtime_citation:runtime?.citation,runtime_lean_theorem:runtime?.lean_theorem})}); | |
| wired.forEach((row,i)=>{const key=formulaKey(row,'wired:'+i);if(seen.has(key))return;seen.add(key);merged.push({...row,runtime_wiring:'WIRED_ONLY',evidence_source:'runtime registry; absent from genome snapshot'})}); | |
| return merged; | |
| } | |
| function renderFormulas(genome=allGenome,wired=allWired){allGenome=genome;allWired=wired;allFormulas=mergeFormulaRows(genome,wired);const q=(document.getElementById('formula-search').value||'').trim().toLowerCase();const shown=allFormulas.filter(r=>JSON.stringify(r).toLowerCase().includes(q));document.getElementById('formula-count').textContent=(probes.genome?.state||'UNAVAILABLE')+' | '+shown.length+' OF '+allFormulas.length+' UNION | '+genome.length+' GENOME | '+wired.length+' WIRED';const host=document.getElementById('formula-list');if(!shown.length){host.innerHTML='<div class="empty">No formula rows are available for this filter. No entries were invented.</div>';return}host.innerHTML=shown.map(r=>{const locations=Array.isArray(r.locations)?r.locations.map(x=>[x.repo,x.file,x.line].filter(Boolean).join(':')).join(' | '):'';const tier=r.tag||r.tier||r.runtime_tier||'tier not reported';const citation=r.citation||locations||r.runtime_citation||r.meaning||'citation not reported';const theorem=r.lean_theorem||r.theorem||r.lean_ref||r.runtime_lean_theorem||r.powers||'theorem metadata not reported';return `<article class="formula"><div><b>${esc(r.name||r.id||'unnamed')}</b><div class="tier">${esc(tier)} | ${esc(r.runtime_wiring)}</div></div><p>${esc(citation)}</p><p>${esc(theorem)} | source: ${esc(r.evidence_source)}</p></article>`}).join('')} | |
| function renderWireD(probe){const data=probe?.data||{};const state=probe?.state||'UNAVAILABLE';const stateNode=document.getElementById('wire-d-state');stateNode.textContent=state;stateNode.className='badge '+stateClass(state);const select=document.getElementById('wire-d-target');const button=document.getElementById('wire-d-run');const targets=Array.isArray(data.targets)?data.targets:[];const selected=select.value;select.innerHTML=targets.length?targets.map(t=>`<option value="${esc(t.target)}">${esc(t.target)} | ${esc(t.endpoint_fingerprint||'no fingerprint')}</option>`).join(''):'<option value="">No configured peer</option>';if(targets.some(t=>t.target===selected))select.value=selected;select.disabled=!targets.length;button.disabled=!targets.length;document.getElementById('wire-d-json').textContent=probe?.data?bounded(probe.data,14000):(probe?.error||'UNAVAILABLE');} | |
| async function runWireDProbe(){const select=document.getElementById('wire-d-target');const button=document.getElementById('wire-d-run');const target=select.value;if(!target)return;const token=window.prompt('Operator bearer required for this state-changing probe. It is used once and is not stored.');if(!token)return;button.disabled=true;document.getElementById('wire-d-json').textContent='Running one bounded hop to '+target+'...';try{const response=await fetch('/api/a11oy/v1/wire-d/probe',{method:'POST',headers:{accept:'application/json','content-type':'application/json',authorization:'Bearer '+token},body:JSON.stringify({target})});const result=await response.json();document.getElementById('wire-d-json').textContent=bounded(result,14000);probes.wireD=await probe('wireD',endpoints.wireD);paint()}catch(error){document.getElementById('wire-d-json').textContent='UNAVAILABLE | '+String(error?.message||error)}finally{button.disabled=!(Array.isArray(probes.wireD?.data?.targets)&&probes.wireD.data.targets.length)}} | |
| document.getElementById('wire-d-run').addEventListener('click',runWireDProbe); | |
| document.getElementById('formula-search').addEventListener('input',()=>renderFormulas(allGenome,allWired)); | |
| const tabButtons=[...document.querySelectorAll('.tab')]; | |
| function activateTab(button,{focus=false,updateHash=true}={}){tabButtons.forEach(tab=>{const selected=tab===button;tab.classList.toggle('active',selected);tab.setAttribute('aria-selected',String(selected));tab.tabIndex=selected?0:-1;const panel=document.getElementById(tab.getAttribute('aria-controls'));if(panel){panel.classList.toggle('active',selected);panel.hidden=!selected}});if(focus)button.focus();if(updateHash)history.replaceState(null,'','#'+button.dataset.view)} | |
| tabButtons.forEach((button,index)=>{button.addEventListener('click',()=>activateTab(button,{updateHash:true}));button.addEventListener('keydown',event=>{let next;if(event.key==='ArrowRight')next=(index+1)%tabButtons.length;else if(event.key==='ArrowLeft')next=(index-1+tabButtons.length)%tabButtons.length;else if(event.key==='Home')next=0;else if(event.key==='End')next=tabButtons.length-1;else return;event.preventDefault();activateTab(tabButtons[next],{focus:true,updateHash:true})})}); | |
| const initial=location.hash.slice(1);const initialTab=tabButtons.find(tab=>tab.dataset.view===initial)||tabButtons[0];activateTab(initialTab,{focus:false,updateHash:false}); | |
| Promise.all(Object.entries(endpoints).map(async([name,paths])=>{probes[name]=await probe(name,paths);paint()})).then(paint); | |
| })(); | |
| </script> | |
| </body> | |
| </html> | |