deploy(hf): sync szl-holdings/a11oy@dfe49d77e89440501eb4e499e4da12fe5412c113 derived COPY set

Reusable Dockerfile-COPY-derived deploy from szl-holdings/a11oy dfe49d77e89440501eb4e499e4da12fe5412c113.
Files: 1353 Pruned: 0
Derived from Dockerfile COPY sources (NO hand-maintained allowlist).

Signed-off-by: SZL Holdings <noreply@szlholdings.ai>
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

a11oy_command_center.py

@@ -6,22 +6,11 @@
 Product host: a-11-oy.com  (this surface)
 Proof host:   a11oy.net    (do not serve this surface there)
 
-The canonical /command surface now prefers the existing 20-tab Elite Console,
-which is backed by real /api/a11oy/... endpoints through szl_elite_console.py.
-The older public command-center SPA remains an explicit fallback only if the
-Elite Console asset is absent from a constrained build.
-
-/command/constellation is an additive tab: 49 estates probing live /api/a11oy
-endpoints. It does not replace Elite Console and does not steal /console.
-
-Bound path only. Does not edit the landing door and does not steal /console,
-which remains the operator runtime. Mounts:
-
+Additive tabs:
   GET+HEAD /command
   GET+HEAD /command/constellation
+  GET+HEAD /command/brain
   GET+HEAD /command/{rest}
-
-/command-center is 307'd onto /command by serve.py.
 """
 from pathlib import Path
 from typing import List
@@ -30,7 +19,6 @@ MOUNTS = ("/command",)
 
 
 def _spa_path() -> Path:
-    """Resolve the richest shipped Command Center, fail-soft to legacy UI."""
     here = Path(__file__).resolve().parent
     candidates = (
         here / "web" / "elite_console.html",
@@ -45,15 +33,12 @@ def _spa_path() -> Path:
     return here / "web" / "elite_console.html"
 
 
-def _constellation_path() -> Path:
+def _page(name: str) -> Path:
     here = Path(__file__).resolve().parent
-    for cand in (
-        here / "pages" / "constellation.html",
-        Path("/app/pages/constellation.html"),
-    ):
+    for cand in (here / "pages" / name, Path("/app/pages") / name):
         if cand.is_file():
             return cand
-    return here / "pages" / "constellation.html"
+    return here / "pages" / name
 
 
 def _existing_paths(app) -> set:
@@ -82,8 +67,7 @@ def _front_move(app, paths: set) -> None:
 
 
 def register(app, ns: str = "a11oy") -> List[str]:
-    """Mount the canonical Command Center. Additive; skips existing paths."""
-    del ns  # surface is host-level, not namespaced
+    del ns
     spa = _spa_path()
     registered: List[str] = []
     if not spa.is_file():
@@ -96,11 +80,13 @@ def register(app, ns: str = "a11oy") -> List[str]:
         del rest
         return FileResponse(spa, media_type="text/html; charset=utf-8")
 
-    async def _constellation(_request=None):
-        page = _constellation_path()
-        if page.is_file():
-            return FileResponse(page, media_type="text/html; charset=utf-8")
-        return FileResponse(spa, media_type="text/html; charset=utf-8")
+    def _file(name: str):
+        async def _handler(_request=None):
+            page = _page(name)
+            if page.is_file():
+                return FileResponse(page, media_type="text/html; charset=utf-8")
+            return FileResponse(spa, media_type="text/html; charset=utf-8")
+        return _handler
 
     existing = _existing_paths(app)
     mounted: set = set()
@@ -120,16 +106,14 @@ def register(app, ns: str = "a11oy") -> List[str]:
 
     for path in MOUNTS:
         _add(path, _spa, ["GET", "HEAD"])
-    _add("/command/constellation", _constellation, ["GET", "HEAD"])
+    _add("/command/constellation", _file("constellation.html"), ["GET", "HEAD"])
+    _add("/command/brain", _file("second-brain.html"), ["GET", "HEAD"])
     _add("/command/{rest:path}", _spa, ["GET", "HEAD"])
     _front_move(
         app,
-        mounted | set(MOUNTS) | {"/command/constellation", "/command/{rest:path}"},
-    )
-    flavor = "elite-20-tab" if spa.name == "elite_console.html" else "legacy-fallback"
-    registered.append(
-        f"command-center {flavor} on /command (does not steal /console; not a landing door)"
+        mounted | set(MOUNTS) | {"/command/constellation", "/command/brain", "/command/{rest:path}"},
     )
+    registered.append("command-center on /command (does not steal /console; not a landing door)")
     return registered
 
 
@@ -157,31 +141,18 @@ def _selftest() -> None:
     out = register(app, ns="a11oy")
     assert any("/command" in row for row in out), out
     c = TestClient(app)
-    for path in (
-        "/command",
-        "/command/overview",
-        "/command/gates",
-        "/command/alerts",
-        "/command/anatomy",
-        "/command/honest",
-    ):
+    for path in ("/command", "/command/anatomy", "/command/honest"):
         r = c.get(path)
         assert r.status_code == 200, (path, r.status_code)
-        assert ("Elite Console" in r.text) or ("a11oy Command Center" in r.text)
-        h = c.head(path)
-        assert h.status_code == 200, (path, h.status_code)
-    page = _constellation_path()
-    if page.is_file():
-        cr = c.get("/command/constellation")
-        assert cr.status_code == 200, cr.status_code
-        assert "Constellation" in cr.text
-        assert "cdnjs" not in cr.text
-    op = c.get("/console")
-    assert op.status_code == 200 and "operator console" in op.text
-    print(
-        "a11oy_command_center: ALL OK "
-        f"({spa.name} on /command; constellation tab additive; /console untouched; 0 runtime CDN)"
-    )
+    if _page("constellation.html").is_file():
+        assert "Constellation" in c.get("/command/constellation").text
+    if _page("second-brain.html").is_file():
+        br = c.get("/command/brain")
+        assert br.status_code == 200
+        assert "Second Brain" in br.text
+        assert "F1" in br.text
+    assert c.get("/console").status_code == 200
+    print("a11oy_command_center: ALL OK (brain + constellation additive; /console untouched)")
 
 
 if __name__ == "__main__":

pages/second-brain.html

@@ -0,0 +1,77 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+<meta charset="utf-8"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>a11oy Second Brain</title>
+<link rel="canonical" href="https://a-11-oy.com/command/brain"/>
+<style>
+:root{--bg:#070b0c;--fg:#eaf6f9;--muted:#8fb3bd;--line:#1b3a44;--teal:#7ad0c6}
+*{box-sizing:border-box}html,body{margin:0;background:var(--bg);color:var(--fg);font:16px/1.45 ui-sans-serif,system-ui,sans-serif}
+a{color:var(--teal)}header,main{max-width:1100px;margin:0 auto;padding:1.25rem}
+.sub{color:var(--muted);font-size:.8rem;letter-spacing:.14em;text-transform:uppercase}
+.row{display:flex;flex-wrap:wrap;gap:.5rem;margin:1rem 0}
+.chip{border:1px solid var(--line);padding:.7rem;min-height:2.75rem}
+canvas{display:block;width:100%;height:320px;border:1px solid var(--line);background:#070b0c}
+pre{white-space:pre-wrap;border:1px solid var(--line);padding:.75rem;font:12px ui-monospace,monospace;color:var(--muted)}
+</style>
+</head>
+<body>
+<header>
+<p class="sub">a-11-oy.com / command / brain</p>
+<h1>Second Brain</h1>
+<p>Kernel formulas from /api/a11oy/v1/honest. Locked-proven is exactly 8. Capabilities from /api/a11oy/v1/brain/capabilities. Source: szl-holdings/szl-second-brain and szl-formulas. Lambda is Conjecture 1.</p>
+<p><a href="/command">Elite Console</a> / <a href="/command/constellation">Constellation</a> / <a href="/command/anatomy">Anatomy</a> / <a href="/api/a11oy/v1/formulas/selftest">Formulas selftest</a></p>
+</header>
+<main>
+<canvas id="brain" width="1100" height="320" aria-label="Second brain"></canvas>
+<div class="row" id="chips"></div>
+<pre id="raw">probing Lean-8 and brain capabilities</pre>
+</main>
+<script>
+const LOCKED=["F1","F4","F7","F11","F12","F18","F19","F22"];
+async function load(url){
+  try{const r=await fetch(url,{cache:"no-store"});if(!r.ok)return {ok:false};return {ok:true,json:await r.json().catch(function(){return null})};}
+  catch(e){return {ok:false};}
+}
+(async function(){
+  const honest=await load("/api/a11oy/v1/honest");
+  const brain=await load("/api/a11oy/v1/brain/capabilities");
+  const formulas=await load("/api/a11oy/v1/formulas/selftest");
+  const box=document.getElementById("chips");
+  const ids=(honest.json&&honest.json.locked_formula_ids)||LOCKED;
+  const count=honest.json&&honest.json.locked_formula_count;
+  box.appendChild(Object.assign(document.createElement("span"),{className:"chip",textContent:"honest · "+(honest.ok?"MEASURED":"UNAVAILABLE")}));
+  box.appendChild(Object.assign(document.createElement("span"),{className:"chip",textContent:"brain · "+(brain.ok?"MEASURED":"UNAVAILABLE")}));
+  box.appendChild(Object.assign(document.createElement("span"),{className:"chip",textContent:"formulas · "+(formulas.ok?"MEASURED":"UNAVAILABLE")}));
+  box.appendChild(Object.assign(document.createElement("span"),{className:"chip",textContent:"locked_formula_count · "+(count===8?"8":"UNAVAILABLE")}));
+  ids.forEach(function(id){const s=document.createElement("span");s.className="chip";s.textContent=id;box.appendChild(s);});
+  document.getElementById("raw").textContent=JSON.stringify({
+    locked_formula_count:count||null,
+    locked_formula_ids:ids,
+    brain_ok:brain.ok,
+    formulas_ok:formulas.ok,
+    lambda:"Conjecture 1",
+    source:"szl-holdings/szl-formulas + szl-second-brain"
+  },null,2);
+})();
+const c=document.getElementById("brain");const x=c.getContext("2d");let t=0;
+function draw(){
+  t+=0.012;const w=c.width,h=c.height;
+  x.fillStyle="#070b0c";x.fillRect(0,0,w,h);
+  const cx=w*0.5,cy=h*0.5;
+  x.strokeStyle="rgba(122,208,198,0.4)";x.beginPath();x.ellipse(cx,cy,70,46,0,0,Math.PI*2);x.stroke();
+  LOCKED.forEach(function(id,i){
+    const ang=i*(Math.PI*2/LOCKED.length)+t;
+    const px=cx+Math.cos(ang)*120;const py=cy+Math.sin(ang)*70;
+    x.strokeStyle="rgba(122,208,198,0.2)";x.beginPath();x.moveTo(cx,cy);x.lineTo(px,py);x.stroke();
+    x.fillStyle="#7ad0c6";x.beginPath();x.arc(px,py,5,0,Math.PI*2);x.fill();
+    x.fillStyle="#eaf6f9";x.font="12px ui-monospace,monospace";x.fillText(id,px+8,py+4);
+  });
+  x.fillStyle="#7ad0c6";x.font="13px sans-serif";x.fillText("Second brain",cx-42,cy-58);
+  requestAnimationFrame(draw);
+}
+draw();
+</script>
+</body>
+</html>