Spaces:
Running
Running
| <!-- SPDX-License-Identifier: Apache-2.0 © 2026 Lutar, Stephen P. — SZL Holdings · Doctrine v10 --> | |
| <!-- ADDITIVE moat surface — shipped via HfApi.create_commit (never GitHub Actions). --> | |
| <html lang="en"><head> | |
| <meta charset="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/> | |
| <title>a11oy · Ouroboros Run-All — 32 module self-tests</title> | |
| <style>:root{--bg:#0b0d12;--panel:#12151d;--ink:#e7ecf3;--mut:#8a93a6;--acc:#7cc4ff;--ok:#54d18c;--warn:#ffcf5c;--bad:#ff6b6b;--line:#222838;--mono:'SF Mono',ui-monospace,'JetBrains Mono',Menlo,Consolas,monospace} | |
| *{box-sizing:border-box} | |
| body{margin:0;background:var(--bg);color:var(--ink);font:15px/1.55 -apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,sans-serif} | |
| a{color:var(--acc)} | |
| .wrap{max-width:1080px;margin:0 auto;padding:28px 20px 80px} | |
| .top{display:flex;justify-content:space-between;align-items:center;gap:12px;flex-wrap:wrap;border-bottom:1px solid var(--line);padding-bottom:16px} | |
| .brand{font-weight:700;letter-spacing:.5px} | |
| .tag{font-size:12px;color:var(--mut)} | |
| .nav a{margin-left:14px;font-size:13px;text-decoration:none;color:var(--mut)} | |
| .nav a:hover{color:var(--acc)} | |
| h1{font-size:26px;margin:24px 0 6px} | |
| h2{font-size:18px;margin:28px 0 10px;border-bottom:1px solid var(--line);padding-bottom:6px} | |
| .sub{color:var(--mut);margin:0 0 18px} | |
| .grid{display:grid;grid-template-columns:1fr 1fr;gap:14px} | |
| .grid3{display:grid;grid-template-columns:repeat(3,1fr);gap:12px} | |
| @media(max-width:820px){.grid,.grid3{grid-template-columns:1fr}} | |
| .card{background:var(--panel);border:1px solid var(--line);border-radius:12px;padding:16px} | |
| .card h3{margin:0 0 8px;font-size:14px;letter-spacing:.4px;text-transform:uppercase;color:var(--mut)} | |
| .pill{display:inline-block;font-size:11px;padding:2px 8px;border-radius:20px;border:1px solid var(--line);color:var(--mut);margin:2px 4px 2px 0} | |
| .pill.ok{color:var(--ok);border-color:#1f5a3c} | |
| .pill.warn{color:var(--warn);border-color:#5a4a1f} | |
| .pill.bad{color:var(--bad);border-color:#5a1f1f} | |
| .pill.acc{color:var(--acc);border-color:#1f3a5a} | |
| textarea,pre{width:100%;background:#0a0c11;color:var(--ink);border:1px solid var(--line);border-radius:8px;font-family:var(--mono);font-size:12.5px;padding:10px} | |
| pre{overflow:auto;max-height:340px;white-space:pre-wrap;word-break:break-word} | |
| button{background:var(--acc);color:#06121f;border:0;border-radius:8px;padding:9px 16px;font-weight:600;cursor:pointer;font-size:13px} | |
| button.ghost{background:transparent;color:var(--acc);border:1px solid var(--acc)} | |
| button:disabled{opacity:.5;cursor:default} | |
| .row{display:flex;gap:8px;flex-wrap:wrap;margin:10px 0;align-items:center} | |
| .k{color:var(--acc)} .v{color:var(--ink)} | |
| .tbl{width:100%;border-collapse:collapse;font-size:12.5px;font-family:var(--mono)} | |
| .tbl th,.tbl td{border-bottom:1px solid var(--line);padding:6px 8px;text-align:left;vertical-align:top} | |
| .tbl th{color:var(--mut);font-weight:600} | |
| .st-PROVEN{color:var(--ok);font-weight:700} | |
| .st-AXIOM{color:var(--acc);font-weight:700} | |
| .st-CONJECTURE{color:var(--warn);font-weight:700} | |
| .st-SORRY{color:var(--bad);font-weight:700} | |
| .mut{color:var(--mut)} | |
| .honest{background:#0e1117;border:1px solid #2a2030;border-left:3px solid var(--warn);border-radius:10px;padding:14px 16px;margin:22px 0;font-size:13px} | |
| .honest b{color:var(--warn)} | |
| .disc{background:#160e12;border:1px solid #4a2030;border-left:3px solid var(--bad);border-radius:10px;padding:14px 16px;margin:22px 0;font-size:13px} | |
| .disc b{color:var(--bad)} | |
| code{font-family:var(--mono);color:var(--acc);font-size:12.5px} | |
| .bar{height:14px;background:#0a0c11;border:1px solid var(--line);border-radius:8px;overflow:hidden;margin:8px 0} | |
| .bar>i{display:block;height:100%;width:0;background:linear-gradient(90deg,var(--acc),var(--ok));transition:width .25s} | |
| .modgrid{display:grid;grid-template-columns:repeat(auto-fill,minmax(180px,1fr));gap:6px;font-family:var(--mono);font-size:11.5px} | |
| .mod{border:1px solid var(--line);border-radius:6px;padding:6px 8px;display:flex;justify-content:space-between;gap:6px} | |
| .mod .s{font-weight:700} | |
| .mono{font-family:var(--mono);font-size:12px} | |
| footer{margin-top:34px;border-top:1px solid var(--line);padding-top:14px;color:var(--mut);font-size:12px}</style></head><body><div class="wrap"> | |
| <div class="top"> | |
| <div><span class="brand">a11oy</span> <span class="tag">· Governance Substrate · Doctrine v10</span></div> | |
| <div class="nav"> | |
| <a href="/">home</a><a href="/wires">wires</a><a href="/codex-kernel">codex-kernel</a> | |
| <a href="/substrate">substrate</a><a href="/evidence">evidence</a><a href="/run-all">run-all</a> | |
| </div> | |
| </div> | |
| <h1>Ouroboros Run-All — 32 module self-tests</h1> | |
| <p class="sub">Wraps <code>OUROBOROS_RUN_ALL.py</code> (szl-holdings/ouroboros) to be callable from this HF Space. | |
| Stdlib-only · zero pip installs · each module is base64-embedded in the runner. Exit 0 = all GREEN.</p> | |
| <div class="row"> | |
| <button id="runbtn" onclick="runAll()">▶ Run all 32 module self-tests</button> | |
| <button class="ghost" onclick="loadList()">List modules</button> | |
| <span id="status" class="mut">— idle —</span> | |
| </div> | |
| <div class="bar"><i id="prog"></i></div> | |
| <div class="row"> | |
| <span class="pill ok" id="p-green">GREEN: —</span> | |
| <span class="pill bad" id="p-red">RED/ERR: —</span> | |
| <span class="pill acc" id="p-total">modules: —</span> | |
| <span class="pill" id="p-dur">duration: —</span> | |
| </div> | |
| <h2>Per-module result</h2> | |
| <div class="modgrid" id="modgrid"><div class="mut">click Run to execute the suite live on this Space.</div></div> | |
| <h2>Runner JSON</h2> | |
| <pre id="out">— results appear here —</pre> | |
| <div class="honest"><b>What is honest right now.</b> The button POSTs to | |
| <code>/api/a11oy/internal/run-all</code>, which executes the real <code>OUROBOROS_RUN_ALL.py</code> runner in a subprocess on the | |
| Space and returns the genuine pass/fail JSON (module name · GREEN/RED · per-module duration · total duration · exit code). | |
| The runner header historically advertised "25 modules"; the actual embedded count is <b>32</b> (count drift, tracked). | |
| This proves the 32 self-test suites run end-to-end; it does <b>not</b> assert any Lean theorem is closed — see <a href="/evidence">/evidence</a> for proof status.</div> | |
| <footer>SZL Holdings · Apache-2.0 · ORCID <a href="https://orcid.org/0009-0001-0110-4173">0009-0001-0110-4173</a> · | |
| Doctrine v10 (749 declarations · 14 unique axioms · 163 tracked sorries · lutar-v18.0.0 @ c7c0ba17). | |
| Shipped additively via HfApi.create_commit.</footer> | |
| </div><script> | |
| const $=id=>document.getElementById(id); | |
| function setBar(p){$('prog').style.width=Math.max(0,Math.min(100,p))+'%';} | |
| async function loadList(){ | |
| $('status').textContent='loading module list…'; | |
| try{const r=await fetch('/api/a11oy/internal/run-all?list=1');const j=await r.json(); | |
| $('modgrid').innerHTML=(j.modules||[]).map(m=>`<div class="mod"><span>${m}</span><span class="s mut">·</span></div>`).join(''); | |
| $('status').textContent=`${(j.modules||[]).length} modules embedded`;} | |
| catch(e){$('status').textContent='list failed: '+e;} | |
| } | |
| async function runAll(){ | |
| $('runbtn').disabled=true;$('status').textContent='running 32 self-test suites…'; | |
| setBar(8);$('modgrid').innerHTML='<div class="mut">executing…</div>'; | |
| let tick=8;const iv=setInterval(()=>{tick=Math.min(92,tick+3);setBar(tick);},800); | |
| try{ | |
| const r=await fetch('/api/a11oy/internal/run-all',{method:'POST'}); | |
| const j=await r.json();clearInterval(iv);setBar(100); | |
| $('p-green').textContent='GREEN: '+(j.green??'—'); | |
| $('p-red').textContent='RED/ERR: '+(j.red??'—'); | |
| $('p-total').textContent='modules: '+(j.total??'—'); | |
| $('p-dur').textContent='duration: '+((j.duration_s??0).toFixed(2))+'s'; | |
| $('status').textContent=j.verdict==='GREEN'?'✓ GREEN — all modules pass (exit 0)':'✗ '+(j.verdict||'done'); | |
| $('modgrid').innerHTML=(j.results||[]).map(m=>{ | |
| const ok=(m.status||'').indexOf('GREEN')>=0; | |
| return `<div class="mod"><span>${m.name}</span><span class="s ${ok?'st-PROVEN':'st-SORRY'}">${m.status}</span></div>`;}).join(''); | |
| $('out').textContent=JSON.stringify(j,null,2); | |
| }catch(e){clearInterval(iv);$('status').textContent='run failed: '+e;$('runbtn').disabled=false;} | |
| $('runbtn').disabled=false; | |
| } | |
| </script></body></html> |