Spaces:
Running
Running
File size: 36,971 Bytes
be00018 0ead177 8486abf 0ead177 7ef7a0a be00018 8486abf 0ead177 7ef7a0a be00018 7ef7a0a be00018 5684452 55e5019 be00018 7ef7a0a be00018 7ef7a0a be00018 7ef7a0a be00018 0ead177 be00018 0ead177 be00018 7ef7a0a be00018 0ead177 7ef7a0a be00018 0ead177 be00018 0ead177 7ef7a0a 4e72990 7ef7a0a be00018 7ef7a0a be00018 7ef7a0a be00018 7ef7a0a be00018 7ef7a0a be00018 0ead177 be00018 cb33dc3 be00018 0ead177 be00018 8486abf be00018 5684452 55e5019 be00018 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 | <!doctype html>
<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(7,1fr);gap:10px;margin:20px 0 18px}.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 b.down{color:var(--red)}.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)}
.failclosed{margin:0 0 22px}.failclosed .eyebrow{margin-bottom:10px}.grid5{display:grid;grid-template-columns:repeat(5,1fr);gap:10px}.grid5 .vital{min-height:92px}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:1100px){.vitals,.grid5{grid-template-columns:repeat(3,minmax(0,1fr))}}@media(max-width:960px){.vitals,.grid5{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,.grid5{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>
<link rel="stylesheet" href="/assets/szl-flow.css" data-szl-flow-asset="style" />
<link rel="stylesheet" href="/assets/szl-holo-v2.css" data-szl-holo-asset="style-v2" />
</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="/organs/integrity">Organs</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, Wire-D, and the fail-closed five-organ kernel (HEART/YUYAY, BRAIN/YACHAY, CIRCULATORY/YAWAR, NERVOUS/OTel, SKELETON/Khipu). Each organ keeps its source and state; a failed probe stays visibly unavailable. Zero a Yuyay axis and the body blocks.</p>
<div class="badges" id="probe-badges" aria-live="polite"><span class="badge">CONNECTING TO NINE 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>
<section class="failclosed" id="failclosed" aria-label="Fail-closed five-organ kernel">
<div class="eyebrow">Fail-closed kernel · HEART YUYAY · BRAIN YACHAY · CIRCULATORY YAWAR · NERVOUS OTel · SKELETON Khipu · energy UNAVAILABLE · Λ = Conjecture 1 OPEN</div>
<div class="grid5" id="failclosed-organs"><div class="vital"><b>--</b><span>Kernel pending</span><small>Never a fabricated LIVE.</small></div></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="/api/a11oy/v1/organs/integrity">Organ integrity JSON</a> | <a href="/organs/integrity">Evidence Bay</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'],
integrity:['/api/a11oy/v1/organs/integrity','/api/organs/integrity','/v1/organs/integrity']
};
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==='integrity'){
const ev=data?.body||data||{};
const verdict=String(ev.verdict||ev.decision||data?.decision||ev.honesty||data?.honesty||'');
if(verdict==='UNKNOWN')return 'UNAVAILABLE';
if(ev.blocked===true)return 'DEGRADED';
if(Number(ev.live_count)===5 && String(ev.verdict||'')==='ADVISORY_BODY')return 'LIVE';
if(Array.isArray(ev.organs)&&ev.organs.length)return 'OBSERVED';
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 integ=probes.integrity?.data?.body||probes.integrity?.data||{};
const integLive=integ.live_count;
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],
[integLive==null?'--':integLive+'/5','Fail-closed organs',probes.integrity?.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 fc=document.getElementById('failclosed-organs');
if(fc){
const organs=Array.isArray(integ.organs)?integ.organs:[];
if(organs.length){
fc.innerHTML=organs.map(o=>`<div class="vital"><b class="${o.status==='DOWN'?'down':''}">${esc(o.status||'--')}</b><span>${esc(o.name)} · ${esc(o.quechua)}</span><small>${esc((o.formulas||[]).join('+'))} · ${esc(o.honesty||'')} · ${esc(o.detail||'')}</small></div>`).join('');
} else {
fc.innerHTML=`<div class="vital"><b>--</b><span>Fail-closed kernel</span><small>${esc(probes.integrity?.error||probes.integrity?.state||'UNAVAILABLE')} · never faked LIVE</small></div>`;
}
}
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=['integrity','brain','router','atlas'];
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)||'UNAVAILABLE';const throughputLabel=throughputState==='OBSERVED'?'routing decisions':(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>
<script src="/assets/szl-flow.js" defer data-szl-flow-asset="script"></script>
<script src="/assets/szl-holo-v2.js" defer data-szl-holo-asset="script-v2"></script>
</body>
</html>
|