Spaces:

SZLHOLDINGS
/

a11oy

Running

App Files Files Community

betterwithage commited on Jun 7

Commit

510b5fb

verified ·

1 Parent(s): 93aa51a

Front door: cathedral-style sovereign 3D hero at / (console one click in at /console); current updates; 0 CDN

Browse files

Files changed (4) hide show

Dockerfile +9 -0
cathedral.html +126 -0
serve.py +31 -3
static/a11oy_cathedral.js +164 -0

Dockerfile CHANGED Viewed

@@ -70,6 +70,15 @@ COPY szl_parity_gaps.py ./szl_parity_gaps.py
 # omitted it, so import a11oy_warhacker_obs failed and /warhacker + /observability 404'd.
 COPY a11oy_warhacker_obs.py ./a11oy_warhacker_obs.py
 COPY serve.py ./serve.py
 # ADDITIVE: batch-2 sovereign security data module (imported by serve.py; try/except-guarded).
 COPY szl_b2_secdata.py ./szl_b2_secdata.py
 COPY gates_manifest.json ./gates_manifest.json

 # omitted it, so import a11oy_warhacker_obs failed and /warhacker + /observability 404'd.
 COPY a11oy_warhacker_obs.py ./a11oy_warhacker_obs.py
 COPY serve.py ./serve.py
+# ADDITIVE (cathedral front-door hero): sovereign 3D landing matching the org card.
+# Served at / by serve.py (console one click in at /console). Placed AFTER
+# `COPY console/ ./static/` (line 65) so vendor3d + hero js are not clobbered.
+# ES-module Three.js r160 (MIT) vendored locally — NO CDN. Doctrine v11 LOCKED.
+COPY cathedral.html ./cathedral.html
+COPY static/a11oy_cathedral.js ./static/a11oy_cathedral.js
+COPY static/vendor3d/three.module.min.js ./static/vendor3d/three.module.min.js
+COPY static/vendor3d/OrbitControls.js ./static/vendor3d/OrbitControls.js
+COPY static/vendor3d/THREE_LICENSE.txt ./static/vendor3d/THREE_LICENSE.txt
 # ADDITIVE: batch-2 sovereign security data module (imported by serve.py; try/except-guarded).
 COPY szl_b2_secdata.py ./szl_b2_secdata.py
 COPY gates_manifest.json ./gates_manifest.json

cathedral.html ADDED Viewed

	@@ -0,0 +1,126 @@

+<!doctype html>
+<!-- ======================================================================
+  a11oy · Front Door — cathedral-style sovereign 3D hero.
+  Brain-sun (a11oy) with 3 internal capabilities orbiting + inspectable.
+  Sovereign: Three.js r160 (MIT) VENDORED under /static/vendor3d, NO CDN.
+  Honesty: locked proven = 5 {F1,F11,F12,F18,F19}; experimental main 1304/22;
+  Λ = Conjecture 1; SLSA L1 honest / L2 roadmap. Live /healthz + Λ.
+  "Enter Command Console" -> /console (the full working app).
+  Signed-off-by: Stephen P. Lutar Jr. <stephenlutar2@gmail.com>
+====================================================================== -->
+<html lang="en">
+<head>
+<meta charset="utf-8" />
+<meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover" />
+<meta name="theme-color" content="#0a0e14" />
+<title>a11oy · Governed-AI Command Platform</title>
+<meta name="description" content="a11oy front door: cinematic sovereign 3D brain-sun with internal capabilities orbiting, live Trust Score Λ. Vendored Three.js, no CDN. Λ = Conjecture 1; locked proven 5." />
+<!-- SOVEREIGN: 0 runtime CDN. System font stacks only. -->
+<style>
+:root{
+  --hatun-300:#e6c875; --hatun-400:#d7b96b; --hatun-500:#c08f2f;
+  --yawar-500:#c0392b; --yuyay-300:#5cc4bf; --yuyay-500:#168f89;
+  --indigo-900:#070815; --indigo-800:#0e1024; --indigo-700:#16183a;
+  --green:#4fd18b; --amber:#d7b96b; --red:#c0392b;
+  --ink:#f3ecdc; --ink-dim:#aba287;
+  --hud-bg:rgba(9,10,26,0.82); --hud-border:rgba(215,185,107,0.30);
+  --mono:ui-monospace,'JetBrains Mono',Menlo,Consolas,monospace;
+  --sans:'Inter',system-ui,-apple-system,sans-serif;
+}
+*{box-sizing:border-box}
+html,body{margin:0;height:100%;background:var(--indigo-900);overflow:hidden;color:var(--ink);font-family:var(--sans)}
+#scene{position:fixed;inset:0;z-index:0;display:block}
+.hud{position:fixed;z-index:10;background:var(--hud-bg);border:1px solid var(--hud-border);border-radius:12px;
+  backdrop-filter:blur(9px);-webkit-backdrop-filter:blur(9px);box-shadow:0 10px 34px rgba(0,0,0,0.5)}
+.plaque{top:16px;left:16px;max-width:min(50ch,84vw);padding:14px 16px}
+.plaque .title{color:var(--hatun-300);font-weight:700;letter-spacing:.05em;font-size:13px;text-transform:uppercase;margin-bottom:6px}
+.plaque .line{font:12px/1.55 var(--mono);color:var(--ink)}
+.plaque .line b{color:var(--hatun-400)}
+.plaque .sha{color:var(--yuyay-300)}
+.status{top:16px;right:16px;padding:12px 14px;min-width:230px}
+.status .h{font-size:11px;color:var(--ink-dim);text-transform:uppercase;letter-spacing:.08em;margin-bottom:8px}
+.row{display:flex;align-items:center;gap:8px;font:12px var(--mono);padding:3px 0}
+.dot{width:9px;height:9px;border-radius:50%;flex:none}
+.dot.live{background:var(--green);box-shadow:0 0 9px var(--green)}
+.dot.off{background:var(--red);box-shadow:0 0 9px var(--red)}
+.dot.seed{background:var(--hatun-400);box-shadow:0 0 9px var(--hatun-400)}
+.row .meta{margin-left:auto;color:var(--ink-dim);font-size:11px}
+.feed{margin-top:8px;font:11px var(--mono);color:var(--yuyay-300)}
+.legend{bottom:16px;left:16px;padding:12px 14px;font-size:11px;max-width:46ch}
+.legend .h{color:var(--ink-dim);text-transform:uppercase;letter-spacing:.08em;margin-bottom:7px}
+.legend .hint{color:var(--ink-dim);margin-top:4px}
+.enter{position:fixed;z-index:14;left:50%;bottom:80px;transform:translateX(-50%);display:flex;gap:12px;flex-wrap:wrap;justify-content:center}
+.enter a{font:700 13px var(--mono);letter-spacing:.06em;text-transform:uppercase;text-decoration:none;
+  padding:13px 26px;border-radius:11px;border:1px solid var(--hatun-400);color:var(--indigo-900);
+  background:linear-gradient(180deg,var(--hatun-300),var(--hatun-500));box-shadow:0 10px 30px rgba(192,143,47,0.35);
+  transition:transform .15s ease, box-shadow .15s ease}
+.enter a.ghost{background:transparent;color:var(--hatun-300);border-color:var(--hud-border)}
+.enter a:hover{transform:translateY(-2px);box-shadow:0 14px 38px rgba(192,143,47,0.5)}
+.enter a.ghost:hover{color:var(--ink)}
+#inspector{position:fixed;z-index:20;top:50%;right:-420px;transform:translateY(-50%);
+  width:380px;max-width:88vw;max-height:80vh;overflow:auto;padding:18px 20px;
+  background:var(--hud-bg);border:1px solid var(--hud-border);border-radius:14px;
+  backdrop-filter:blur(10px);box-shadow:0 16px 48px rgba(0,0,0,0.6);transition:right .35s cubic-bezier(.2,.8,.2,1)}
+#inspector.show{right:16px}
+#inspector .ititle{color:var(--hatun-300);font-weight:700;font-size:16px;margin-bottom:4px}
+#inspector .iplain{color:var(--ink);font-size:13px;line-height:1.5;margin-bottom:12px}
+#inspector .ih{font:11px var(--mono);color:var(--ink-dim);text-transform:uppercase;letter-spacing:.07em;margin:12px 0 5px}
+#inspector ul{margin:0;padding-left:18px}
+#inspector li{font:12px/1.55 var(--mono);color:var(--ink);margin-bottom:3px}
+#inspector li.proof{color:var(--yuyay-300)}
+#inspector .close{position:absolute;top:12px;right:14px;cursor:pointer;color:var(--ink-dim);font-size:18px;background:none;border:0}
+#inspector .close:hover{color:var(--hatun-300)}
+#boot{position:fixed;inset:0;z-index:30;display:flex;align-items:center;justify-content:center;flex-direction:column;
+  background:var(--indigo-900);text-align:center;transition:opacity .6s ease}
+#boot.hide{opacity:0;pointer-events:none}
+#boot .b1{font:700 20px var(--mono);color:var(--hatun-300);letter-spacing:.08em}
+#boot .b2{color:var(--ink-dim);font-size:13px;margin-top:10px}
+.title-card{position:fixed;z-index:8;left:50%;bottom:32px;transform:translateX(-50%);text-align:center;pointer-events:none}
+.title-card .t1{font:700 15px var(--mono);color:var(--hatun-300);letter-spacing:.18em;text-transform:uppercase}
+.title-card .t2{color:var(--ink-dim);font-size:12px;margin-top:4px}
+@media(max-width:680px){.legend{display:none}.status{min-width:160px}.plaque{max-width:78vw}.enter{bottom:96px}}
+</style>
+</head>
+<body>
+  <canvas id="scene" aria-label="3D scene: a11oy brain-sun with orbiting internal capabilities"></canvas>
+  <div id="boot"><div class="b1">a11oy</div><div class="b2">vendoring sovereign 3D · no CDN…</div></div>
+  <div class="hud plaque" aria-live="polite">
+    <div class="title">a11oy · Governed-AI Command Platform</div>
+    <div class="line">Doctrine <b>v11 LOCKED</b> · <b>749/14/163</b> · <span class="sha">c7c0ba17</span></div>
+    <div class="line" style="margin-top:5px">Λ = <b>Conjecture 1</b> (not a theorem) · locked proven <b>5</b> {F1,F11,F12,F18,F19}</div>
+    <div class="line" style="margin-top:5px">Experimental main: <b>1304</b> decl / <b>22</b> axioms · waves 3–10 CI-green · SLSA <b>L1 honest / L2 roadmap</b></div>
+    <div class="line" style="margin-top:5px;color:var(--ink-dim)">Sun = a11oy brain · orbit = internal capabilities (reasoning / policy / operator)</div>
+  </div>
+  <div class="hud status">
+    <div class="h">Live mesh · /healthz</div>
+    <div id="status-rows"></div>
+    <div class="feed">feed · <span id="feed-src">connecting…</span></div>
+  </div>
+  <div class="hud legend">
+    <div class="h">a11oy front door</div>
+    <div class="hint">Click the sun or a capability to inspect. 25-demo Warhacker · a11oy Code · proven-formulas (9 wave 9/10 cards) all live inside the console.</div>
+  </div>
+  <div class="enter">
+    <a href="/console">Enter Command Console →</a>
+    <a class="ghost" href="/proven-formulas">proven formulas · wave 9/10</a>
+  </div>
+  <div id="inspector" role="dialog" aria-modal="false">
+    <button class="close" id="insp-close" aria-label="Close">×</button>
+    <div class="ititle" id="insp-title"></div>
+    <div class="iplain" id="insp-plain"></div>
+    <div id="insp-body"></div>
+  </div>
+  <div class="title-card"><div class="t1">a11oy</div><div class="t2">drag to orbit · scroll to zoom · click a body to inspect</div></div>
+  <script type="importmap">
+  { "imports": { "three": "/hero/vendor3d/three.module.min.js", "three/addons/": "/hero/vendor3d/" } }
+  </script>
+  <script type="module" src="/hero/a11oy_cathedral.js"></script>
+</body>
+</html>

serve.py CHANGED Viewed

@@ -4112,15 +4112,43 @@ except Exception as _vend_e:  # never crash the app — additive only
 @app.get("/")
 async def spa_root() -> FileResponse:
-    """PRIMARY FACE: the full a11oy operator application (left-nav, live views,
-    cross-flag switcher). Opening a11oy lands directly in the app — not a thin
-    marketing landing. Falls back to the SPA index only if the app file is absent."""
     app_file = PAGES_DIR / "console.html"
     if app_file.is_file():
         return FileResponse(app_file, media_type="text/html")
     return FileResponse(INDEX_HTML, media_type="text/html")
 # --- Doctrine v13 organ page routes (ADDITIVE; explicit, win over SPA catch-all) ---
 PAGES_DIR = Path("/app/pages")

 @app.get("/")
 async def spa_root() -> FileResponse:
+    """FRONT DOOR: cathedral-style sovereign 3D hero (a11oy brain-sun, live Trust
+    Score Λ, current updates) matching the org card. The full working console is
+    one click in at /console. Falls back to the console then SPA index if absent."""
+    hero = Path("/app/cathedral.html")
+    if hero.is_file():
+        return FileResponse(hero, media_type="text/html")
     app_file = PAGES_DIR / "console.html"
     if app_file.is_file():
         return FileResponse(app_file, media_type="text/html")
     return FileResponse(INDEX_HTML, media_type="text/html")
+# === ADDITIVE: cathedral front-door hero assets (sovereign, vendored, NO CDN) ===
+# Served via explicit routes BEFORE the SPA catch-all. ES-module Three.js r160
+# (MIT) vendored under /app/static/vendor3d. Doctrine v11 LOCKED. Lambda Conjecture 1.
+_HERO_DIR = Path("/app")
+_HERO_VENDOR = Path("/app/static/vendor3d")
+@app.get("/hero/a11oy_cathedral.js")
+async def _hero_app_js() -> Response:
+    f = _HERO_DIR / "static" / "a11oy_cathedral.js"
+    if f.is_file():
+        return FileResponse(str(f), media_type="application/javascript; charset=utf-8")
+    return JSONResponse({"error": "hero js missing"}, status_code=404)
+@app.get("/hero/vendor3d/{fname}")
+async def _hero_vendor(fname: str) -> Response:
+    if fname not in {"three.module.min.js", "OrbitControls.js", "THREE_LICENSE.txt"}:
+        return JSONResponse({"error": "not allowlisted"}, status_code=404)
+    f = _HERO_VENDOR / fname
+    if f.is_file():
+        ct = "text/plain; charset=utf-8" if fname.endswith(".txt") else "application/javascript; charset=utf-8"
+        return FileResponse(str(f), media_type=ct,
+                            headers={"Cache-Control": "public, max-age=31536000, immutable"})
+    return JSONResponse({"error": "vendor missing"}, status_code=404)
 # --- Doctrine v13 organ page routes (ADDITIVE; explicit, win over SPA catch-all) ---
 PAGES_DIR = Path("/app/pages")

static/a11oy_cathedral.js ADDED Viewed

	@@ -0,0 +1,164 @@

+/* ============================================================================
+ * a11oy_cathedral.js — a11oy front-door sovereign 3D hero (vendored Three.js).
+ * Brain-sun (a11oy) + 3 internal capabilities orbiting + inspectable.
+ * Honesty: locked proven = 5; experimental main 1304/22; Λ = Conjecture 1;
+ * conformal (never 100%) not Hoeffding; SLSA L1 honest / L2 roadmap.
+ * Live /healthz + /lambda (13-axis Trust Score). No fakery; honest fallback.
+ * Signed-off-by: Stephen P. Lutar Jr. <stephenlutar2@gmail.com>
+ * ========================================================================== */
+import * as THREE from 'three';
+import { OrbitControls } from 'three/addons/OrbitControls.js';
+const CAPABILITIES = [
+  { id:'reasoning', title:'Reasoning & Provenance', color:0x5cc4bf, angle:0,
+    plain:'Grounded reasoning, memory/recall and provenance over a signed knowledge base — an internal a11oy function.',
+    functions:['grounded ask (cites its source, refuses to fabricate)','13-axis Trust Score (geometric-mean aggregate, floor 0.90)','knowledge ontology (axioms → theorems → formulas)','model router (5-tier, cost-aware)'],
+    proof:['Trust-Score CI from CONFORMAL (W5-3 + W7-4) — distribution-free, anti-overconfidence floor (never 100%, NOT Hoeffding)','Model-Router stability C20 + PAC-Bayes/router envelope W7-5 (min ≤ avg ≤ max)','Ontology label-invariance: F-G2 / F-G4 / F-G6 / W7-1 (graph substrate)'] },
+  { id:'policy', title:'Policy & Compliance', color:0xd7b96b, angle:2.094,
+    plain:'Deny-by-default safety gates and full ALLOW/DENY verdicts with signed receipts — an internal a11oy function.',
+    functions:['8 deny-by-default safety gates','full verdict (ALLOW / DENY) with signals + receipt hash','30-signature threat corpus (MITRE ATT&CK + CVSS)','readiness / compliance (NIST / STIG / ISO)'],
+    proof:['Gate-soundness P2 — no action without BOTH policy AND kernel/doctrine check; a single DENY is absorbing','Agentic-loop P3 non-interference — poisoned input provably cannot flip a DENY into an ALLOW'] },
+  { id:'operator', title:'Operator · Ask / Act / Approvals', color:0xe58e54, angle:4.189,
+    plain:'The governed run loop: ask, act with approvals, and emit replayable signed receipts — an internal a11oy function.',
+    functions:['governed run loop P1–P6 (sign → gate → chain → memory → replay)','human approvals gate for high-impact actions','replayable, hash-chained receipts (Khipu)','a11oy Code — governed agentic coder (P1–P6), open-weight models'],
+    proof:['Agentic-loop P1–P6: 28 kernel-verified theorems — run is auditable, gate-sound, injection-resistant end-to-end','P5 replay-determinism gated only by declared hashFn_collision_resistant axiom (named, not a hardness proof)'] }
+];
+const A11OY = {
+  id:'a11oy', title:'a11oy — Command Platform (the brain)',
+  plain:'The orchestrating governance substrate: one brain coordinating reasoning, policy and operator capabilities. Live: /healthz.',
+  functions:['command center + five superpowers + 25-demo Warhacker board (5×5 live)','a11oy Code (governed agentic coder, P1–P6, open-weight router)','one governance substrate (capabilities are internal, no service split)','13-axis Trust Score aggregate (yuyay_v3, geometric mean, floor 0.90)','/proven: 9 wave 9/10 formula cards (5 with live runtime checks)','signed Khipu receipts for every governed action'],
+  proof:['Locked proven kernel = 5 {F1,F11,F12,F18,F19} @ c7c0ba17 (749/14/163) — machine-enforced count','Experimental main: 1304 decl / 22 axioms, waves 3–10 CI-green (~36–44 theorems), excluded from locked count','Λ-Aggregator uniqueness (F23) = Conjecture 1 — NOT a theorem (unconditional uniqueness machine-checked FALSE)'],
+  url:'/console'
+};
+const ENDPOINTS = { health:'/healthz', lambda:'/api/a11oy/v1/lambda' };
+const canvas = document.getElementById('scene');
+const renderer = new THREE.WebGLRenderer({ canvas, antialias:true, alpha:false });
+renderer.setPixelRatio(Math.min(window.devicePixelRatio, 1.8));
+renderer.setSize(window.innerWidth, window.innerHeight);
+renderer.toneMapping = THREE.ACESFilmicToneMapping; renderer.toneMappingExposure = 1.15;
+const scene = new THREE.Scene();
+scene.fog = new THREE.FogExp2(0x070815, 0.0019);
+const camera = new THREE.PerspectiveCamera(55, window.innerWidth/window.innerHeight, 0.1, 4000);
+camera.position.set(0, 70, 320);
+const controls = new OrbitControls(camera, renderer.domElement);
+controls.enableDamping = true; controls.dampingFactor = 0.06;
+controls.minDistance = 90; controls.maxDistance = 1000;
+controls.autoRotate = true; controls.autoRotateSpeed = 0.45;
+scene.add(new THREE.AmbientLight(0x33304a, 0.9));
+scene.add(new THREE.PointLight(0xffe6a8, 2.4, 1600, 1.4));
+const rim = new THREE.DirectionalLight(0x5c8fd1, 0.5); rim.position.set(-200,120,-150); scene.add(rim);
+(function backdrop(){
+  const N=2600, pos=new Float32Array(N*3);
+  for(let i=0;i<N;i++){ const r=1400+Math.random()*1600, t=Math.random()*Math.PI*2, p=Math.acos(2*Math.random()-1);
+    pos[i*3]=r*Math.sin(p)*Math.cos(t); pos[i*3+1]=r*Math.cos(p); pos[i*3+2]=r*Math.sin(p)*Math.sin(t); }
+  const g=new THREE.BufferGeometry(); g.setAttribute('position', new THREE.BufferAttribute(pos,3));
+  scene.add(new THREE.Points(g, new THREE.PointsMaterial({ color:0x8a90c0, size:1.4, sizeAttenuation:true, transparent:true, opacity:0.55 })));
+})();
+const interactables=[];
+function registerBody(mesh,data){ mesh.userData.inspect=data; interactables.push(mesh); }
+const sunGroup=new THREE.Group(); scene.add(sunGroup);
+const sunCore=new THREE.Mesh(new THREE.IcosahedronGeometry(36,4),
+  new THREE.MeshStandardMaterial({ color:0xffce6e, emissive:0xd79a2e, emissiveIntensity:1.5, roughness:0.35, metalness:0.1 }));
+sunGroup.add(sunCore); registerBody(sunCore, A11OY);
+const sunGlow=new THREE.Mesh(new THREE.SphereGeometry(50,32,32),
+  new THREE.MeshBasicMaterial({ color:0xffd98a, transparent:true, opacity:0.10, side:THREE.BackSide }));
+sunGroup.add(sunGlow);
+const brainLattice=new THREE.Mesh(new THREE.IcosahedronGeometry(42,2),
+  new THREE.MeshBasicMaterial({ color:0xffe6a8, wireframe:true, transparent:true, opacity:0.22 }));
+sunGroup.add(brainLattice);
+sunGroup.add(makeLabel('a11oy', 0xffe6a8, 66));
+const ORBIT_R=150; const capBodies=[];
+CAPABILITIES.forEach((cap)=>{
+  const grp=new THREE.Group();
+  const mesh=new THREE.Mesh(new THREE.IcosahedronGeometry(15,2),
+    new THREE.MeshStandardMaterial({ color:cap.color, emissive:cap.color, emissiveIntensity:0.55, roughness:0.5, metalness:0.2 }));
+  grp.add(mesh);
+  const ring=new THREE.Mesh(new THREE.TorusGeometry(22,0.7,8,64), new THREE.MeshBasicMaterial({ color:cap.color, transparent:true, opacity:0.35 }));
+  ring.rotation.x=Math.PI/2; grp.add(ring);
+  grp.add(makeLabel(cap.title.split(/[ &·]/)[0], cap.color, 30));
+  scene.add(grp); registerBody(mesh, cap);
+  const tether=new THREE.Line(new THREE.BufferGeometry().setFromPoints([new THREE.Vector3(),new THREE.Vector3()]),
+    new THREE.LineBasicMaterial({ color:cap.color, transparent:true, opacity:0.28 }));
+  scene.add(tether);
+  capBodies.push({ grp, mesh, cap, baseAngle:cap.angle, tether });
+});
+function makeLabel(text,color,size){
+  const c=document.createElement('canvas'); c.width=256; c.height=64; const ctx=c.getContext('2d');
+  ctx.font='700 34px ui-monospace, Menlo, Consolas, monospace';
+  ctx.fillStyle='#'+new THREE.Color(color).getHexString();
+  ctx.textAlign='center'; ctx.textBaseline='middle'; ctx.shadowColor='rgba(0,0,0,0.8)'; ctx.shadowBlur=8;
+  ctx.fillText(text,128,34);
+  const tex=new THREE.CanvasTexture(c); tex.anisotropy=4;
+  const spr=new THREE.Sprite(new THREE.SpriteMaterial({ map:tex, transparent:true, depthWrite:false }));
+  spr.scale.set(size*2,size*0.5,1); spr.position.y=size*0.9; spr.userData.isLabel=true; return spr;
+}
+const ray=new THREE.Raycaster(); const ptr=new THREE.Vector2();
+canvas.addEventListener('click',(e)=>{
+  const r=canvas.getBoundingClientRect();
+  ptr.x=((e.clientX-r.left)/r.width)*2-1; ptr.y=-((e.clientY-r.top)/r.height)*2+1;
+  ray.setFromCamera(ptr,camera);
+  const hits=ray.intersectObjects(interactables,false);
+  if(hits.length) openInspector(hits[0].object.userData.inspect);
+});
+const insp=document.getElementById('inspector');
+document.getElementById('insp-close').addEventListener('click',()=>insp.classList.remove('show'));
+function openInspector(d){
+  if(!d) return;
+  document.getElementById('insp-title').textContent=d.title;
+  document.getElementById('insp-plain').textContent=d.plain;
+  let html='<div class="ih">Functions</div><ul>'+d.functions.map(f=>`<li>${esc(f)}</li>`).join('')+'</ul>';
+  if(d.proof) html+='<div class="ih">Proof support (honest)</div><ul>'+d.proof.map(p=>`<li class="proof">${esc(p)}</li>`).join('')+'</ul>';
+  if(d.url) html+=`<div class="ih">Open</div><ul><li><a href="${d.url}" style="color:#5cc4bf">Enter the working app ↗</a></li></ul>`;
+  document.getElementById('insp-body').innerHTML=html; insp.classList.add('show');
+}
+function esc(s){ return String(s).replace(/[&<>"]/g,c=>({'&':'&amp;','<':'&lt;','>':'&gt;','"':'&quot;'}[c])); }
+let liveState={ a11oy:'…' }, feedSource='connecting…', liveLambda=null;
+async function getJSON(url,ms){
+  const ctrl=new AbortController(); const t=setTimeout(()=>ctrl.abort(), ms||7000);
+  try{ const r=await fetch(url,{ signal:ctrl.signal, headers:{accept:'application/json'} }); if(!r.ok) throw 0; return await r.json(); }
+  finally{ clearTimeout(t); }
+}
+async function poll(){
+  try{ const h=await getJSON(ENDPOINTS.health,7000); liveState.a11oy=(h&&(h.status==='ok'||h.ok))?'LIVE':'DEGRADED'; }
+  catch(_){ liveState.a11oy='OFFLINE'; }
+  try{ const lam=await getJSON(ENDPOINTS.lambda,7000); if(lam&&typeof lam.lambda==='number'){ liveLambda=lam.lambda; feedSource='LIVE a11oy Λ='+lam.lambda.toFixed(3)+' (13-axis Trust Score)'; } }
+  catch(_){ if(liveLambda===null) feedSource='Λ feed reconnecting…'; }
+  paintHUD();
+}
+function paintHUD(){
+  const cls=liveState.a11oy==='LIVE'?'live':(liveState.a11oy==='OFFLINE'?'off':'seed');
+  let rows=`<div class="row"><span class="dot ${cls}"></span><span>a11oy · brain</span><span class="meta">${liveState.a11oy}</span></div>`;
+  if(liveLambda!==null){ const v=liveLambda>=0.9?'green':(liveLambda>=0.5?'amber':'red'); const col=v==='green'?'#4fd18b':(v==='amber'?'#d7b96b':'#c0392b');
+    rows+=`<div class="row"><span class="dot" style="background:${col};box-shadow:0 0 9px ${col}"></span><span>Trust Score Λ</span><span class="meta">${liveLambda.toFixed(3)}</span></div>`; }
+  document.getElementById('status-rows').innerHTML=rows;
+  document.getElementById('feed-src').textContent=feedSource;
+}
+let tms=0;
+function animate(){
+  requestAnimationFrame(animate); tms+=0.004;
+  sunCore.rotation.y+=0.0015; brainLattice.rotation.y-=0.0011; brainLattice.rotation.x+=0.0006;
+  sunGlow.material.opacity=0.08+0.04*Math.sin(tms*2);
+  capBodies.forEach((cb,i)=>{ const a=cb.baseAngle+tms*0.6; const x=Math.cos(a)*ORBIT_R, z=Math.sin(a)*ORBIT_R, y=Math.sin(a*1.3+i)*22;
+    cb.grp.position.set(x,y,z); cb.mesh.rotation.y+=0.01;
+    cb.tether.geometry.setFromPoints([new THREE.Vector3(0,0,0), new THREE.Vector3(x,y,z)]); cb.tether.geometry.attributes.position.needsUpdate=true; });
+  controls.update(); renderer.render(scene,camera);
+}
+window.addEventListener('resize',()=>{ camera.aspect=window.innerWidth/window.innerHeight; camera.updateProjectionMatrix(); renderer.setSize(window.innerWidth,window.innerHeight); });
+paintHUD(); animate();
+document.getElementById('boot').classList.add('hide');
+poll(); setInterval(poll, 8000);
+controls.addEventListener('start',()=>{ controls.autoRotate=false; });