Spaces:
Running
Running
| <html lang="en"><head> | |
| <meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1"> | |
| <title>a11oy — Λ-gate router / Brand Orchestration Layer — Upgrades Index</title> | |
| <meta name="description" content="Every upgrade instilled into a11oy: Cursor PRs, Replit verbatim pages, cookbook recipes, E4 governed-loop receipts, Wires, Lean theorems. Doctrine v10 honest numbers."> | |
| <style> | |
| :root{--bg:#0b0e14;--card:#121826;--ink:#e8eef7;--mut:#8aa0bf;--acc:#5ad1c0;--line:#243149} | |
| *{box-sizing:border-box} | |
| body{margin:0;font:15px/1.55 -apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif;background:var(--bg);color:var(--ink)} | |
| .wrap{max-width:1060px;margin:0 auto;padding:32px 20px 80px} | |
| h1{font-size:26px;margin:0 0 4px} | |
| h2{font-size:18px;margin:34px 0 10px;border-bottom:1px solid var(--line);padding-bottom:6px} | |
| .sub{color:var(--mut);margin:0 0 20px} | |
| .card{background:var(--card);border:1px solid var(--line);border-radius:12px;padding:16px 18px;margin:14px 0} | |
| table{width:100%;border-collapse:collapse;font-size:13px} | |
| th,td{text-align:left;padding:6px 8px;border-bottom:1px solid var(--line);vertical-align:top} | |
| th{color:var(--mut);font-weight:600} | |
| code{background:#0a1626;padding:1px 5px;border-radius:5px;color:var(--acc);font-size:12px} | |
| a{color:var(--acc);text-decoration:none}a:hover{text-decoration:underline} | |
| .b{display:inline-block;padding:1px 8px;border-radius:999px;font-size:11px;font-weight:700} | |
| .green{background:#0f3a2e;color:#5ad1c0}.amber{background:#3a2f0f;color:#e0c060}.gray{background:#222b3a;color:#8aa0bf} | |
| .note{color:var(--mut);font-size:13px} | |
| .kpis{display:flex;gap:10px;flex-wrap:wrap;margin:10px 0} | |
| .kpi{background:var(--card);border:1px solid var(--line);border-radius:10px;padding:10px 14px;min-width:120px} | |
| .kpi b{font-size:20px;display:block;color:var(--acc)} | |
| .foot{margin-top:40px;color:var(--mut);font-size:12px;border-top:1px solid var(--line);padding-top:14px} | |
| </style></head> | |
| <body><div class="wrap"> | |
| <h1>a11oy — Λ-gate router / Brand Orchestration Layer</h1> | |
| <p class="sub">All Upgrades Index · Doctrine v10 · generated 2026-06-01</p> | |
| <p class="note">This index is scoped to <b>a11oy</b> upgrades. The org-wide master index lives on the <a href='https://huggingface.co/SZLHOLDINGS' target='_blank' rel='noopener'>org card</a> and the a11oy <a href='https://szlholdings-a11oy.hf.space/upgrades' target='_blank' rel='noopener'>/upgrades</a> route.</p> | |
| <div class="kpis"> | |
| <div class="kpi"><b>38</b>Cursor PRs (this Space)</div> | |
| <div class="kpi"><b>749</b>Lean declarations</div> | |
| <div class="kpi"><b>14</b>unique axioms</div> | |
| <div class="kpi"><b>163</b>tracked sorries</div> | |
| <div class="kpi"><b>12</b>E4 receipts</div> | |
| </div> | |
| <h2>1 · Cursor PRs merged & instilled</h2> | |
| <div class="card"><table> | |
| <tr><th>PR</th><th>Title</th><th>Merged</th><th>SHA</th><th>Type</th><th>Diff</th><th>Live</th></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/67' target='_blank' rel='noopener'>a11oy#67</a></td><td>Document SZL org repository map</td><td>2026-05-29</td><td><code>ee6e17b9c3</code></td><td>other</td><td>4f · +154/-1</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/68' target='_blank' rel='noopener'>a11oy#68</a></td><td>SUPERSEDED: fix(core): restore KS18 parity cover</td><td>2026-05-29</td><td><code>a2a0ef8349</code></td><td>fix</td><td>3f · +83/-14</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/69' target='_blank' rel='noopener'>a11oy#69</a></td><td>build(ops): operationalize A11oy GitHub and Hugging Face payload hub</td><td>2026-05-29</td><td><code>4a0591d81e</code></td><td>feature</td><td>28f · +3214/-112</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/70' target='_blank' rel='noopener'>a11oy#70</a></td><td>Improve org repository sync helper</td><td>2026-05-29</td><td><code>43104ecfc5</code></td><td>other</td><td>59f · +4606/-13</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/71' target='_blank' rel='noopener'>a11oy#71</a></td><td>chore: set up dev environment with test infrastructure</td><td>2026-05-29</td><td><code>1d9ab5fecd</code></td><td>infra</td><td>13f · +9025/-28</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/74' target='_blank' rel='noopener'>a11oy#74</a></td><td>Add operational validation gate</td><td>2026-05-29</td><td><code>a6a537bbe0</code></td><td>gate</td><td>5f · +106/-63</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/75' target='_blank' rel='noopener'>a11oy#75</a></td><td>docs(showcase): polish Hugging Face diligence packet</td><td>2026-05-29</td><td><code>831ee29876</code></td><td>page</td><td>13f · +3552/-689</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/83' target='_blank' rel='noopener'>a11oy#83</a></td><td>feat: harden investor demo, HF showcase, and policy gates</td><td>2026-05-29</td><td><code>30421b70b0</code></td><td>gate</td><td>29f · +1698/-35</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/89' target='_blank' rel='noopener'>a11oy#89</a></td><td>feat: harden investor demo, HF showcase, policy gates, and UDS ops</td><td>2026-05-29</td><td><code>6aca5bbd37</code></td><td>gate</td><td>9f · +79/-45</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/92' target='_blank' rel='noopener'>a11oy#92</a></td><td>docs: clarify adversarial robustness gate scope [PhD audit]</td><td>2026-05-29</td><td><code>663e7c3eb1</code></td><td>gate</td><td>1f · +8/-1</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/93' target='_blank' rel='noopener'>a11oy#93</a></td><td>docs: add deep-dive HF Space showcase link</td><td>2026-05-29</td><td><code>3b120ea400</code></td><td>feature</td><td>1f · +16/-0</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/94' target='_blank' rel='noopener'>a11oy#94</a></td><td>docs: UDS frontier gap map (Cursor proxy)</td><td>2026-05-30</td><td><code>c918745299</code></td><td>uds</td><td>5f · +90/-1</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/99' target='_blank' rel='noopener'>a11oy#99</a></td><td>docs: avoid linking private HF deep-dive space (Cursor proxy)</td><td>2026-05-30</td><td><code>1290e19821</code></td><td>page</td><td>1f · +9/-3</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/100' target='_blank' rel='noopener'>a11oy#100</a></td><td>docs(coordination): latest Cursor proxy handshake (2026-05-29)</td><td>2026-05-30</td><td><code>2c847afac6</code></td><td>coord/docs</td><td>1f · +77/-0</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/101' target='_blank' rel='noopener'>a11oy#101</a></td><td>docs(coordination): agi-forecast FG-pipeline proxy source files</td><td>2026-05-30</td><td><code>fc3c9f93da</code></td><td>coord/docs</td><td>2f · +1910/-0</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/102' target='_blank' rel='noopener'>a11oy#102</a></td><td>docs(coordination): lutar-lean API drift proxy source files</td><td>2026-05-30</td><td><code>c1de4044b9</code></td><td>proof</td><td>2f · +97/-0</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/103' target='_blank' rel='noopener'>a11oy#103</a></td><td>docs(a11oy): clarify adversarial robustness gate scope (Cursor proxy)</td><td>2026-05-30</td><td><code>49ea0d67d7</code></td><td>gate</td><td>1f · +8/-1</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/104' target='_blank' rel='noopener'>a11oy#104</a></td><td>docs(coordination): Cursor daily status 2026-05-29</td><td>2026-05-30</td><td><code>00f472597d</code></td><td>coord/docs</td><td>1f · +62/-0</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/105' target='_blank' rel='noopener'>a11oy#105</a></td><td>feat(a11oy): harden investor demo + HF showcase (Cursor proxy, 25 file</td><td>2026-05-30</td><td><code>fceaa50cc4</code></td><td>feature</td><td>6f · +31/-24</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/106' target='_blank' rel='noopener'>a11oy#106</a></td><td>docs(coordination): Cursor latest status (lutar + agi)</td><td>2026-05-30</td><td><code>2ef8fe5b1c</code></td><td>coord/docs</td><td>1f · +58/-0</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/107' target='_blank' rel='noopener'>a11oy#107</a></td><td>ci(a11oy): operational readiness validation + UDS bundle docs (Cursor</td><td>2026-05-30</td><td><code>3bacba1e7d</code></td><td>uds</td><td>2f · +2/-1</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/108' target='_blank' rel='noopener'>a11oy#108</a></td><td>test(a11oy): harden policy gate formula instillation (Cursor proxy)</td><td>2026-05-30</td><td><code>7e81a915ce</code></td><td>gate</td><td>3f · +11/-274</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/111' target='_blank' rel='noopener'>a11oy#111</a></td><td>fix(dependabot): remove missing github-actions label</td><td>2026-05-30</td><td><code>e569b679fa</code></td><td>fix</td><td>1f · +0/-1</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/112' target='_blank' rel='noopener'>a11oy#112</a></td><td>docs(coordination): lutar-lean doc-comment drift proxy source files</td><td>2026-05-30</td><td><code>5ae492c533</code></td><td>proof</td><td>2f · +106/-0</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/113' target='_blank' rel='noopener'>a11oy#113</a></td><td>docs(coordination): AdversarialRobustness chain-scope proxy source fil</td><td>2026-05-30</td><td><code>7c2ab88149</code></td><td>coord/docs</td><td>2f · +108/-0</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/117' target='_blank' rel='noopener'>a11oy#117</a></td><td>feat(gates): wire 8 GREEN Lean theorems as TypeScript gates + vitest t</td><td>2026-05-30</td><td><code>5437ae7eb3</code></td><td>gate</td><td>16f · +3331/-0</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/118' target='_blank' rel='noopener'>a11oy#118</a></td><td>feat(a11oy): runtime functional upgrades — formulas exported, TH4-TH7</td><td>2026-05-30</td><td><code>f1d215122f</code></td><td>gate</td><td>21f · +238/-25</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/119' target='_blank' rel='noopener'>a11oy#119</a></td><td>fix(slsa): truth-correction — L3 badges → L1 (SBOM + DCO) (Cursor doct</td><td>2026-05-30</td><td><code>1254dc4f5f</code></td><td>doctrine</td><td>3f · +4/-4</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/120' target='_blank' rel='noopener'>a11oy#120</a></td><td>docs(coordination): Cursor current one-of-one execution status</td><td>2026-05-30</td><td><code>f6bb9a56c4</code></td><td>coord/docs</td><td>1f · +53/-0</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/123' target='_blank' rel='noopener'>a11oy#123</a></td><td>feat(a11oy): Hugging Face ecosystem manifest (Cursor)</td><td>2026-05-30</td><td><code>89ab7fca8f</code></td><td>codex</td><td>8f · +363/-690</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/127' target='_blank' rel='noopener'>a11oy#127</a></td><td>docs: ancient texts formula lineage — provable provenance, doctrine v6</td><td>2026-05-30</td><td><code>a36a0fd0e8</code></td><td>doctrine</td><td>5f · +78/-1</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/129' target='_blank' rel='noopener'>a11oy#129</a></td><td>feat: theorem-to-runtime manifest — machine-readable evidence map (Cur</td><td>2026-05-30</td><td><code>0d0bc23cab</code></td><td>proof</td><td>5f · +205/-0</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/130' target='_blank' rel='noopener'>a11oy#130</a></td><td>feat(docs): ecosystem stage matrix (Cursor handoff)</td><td>2026-05-30</td><td><code>b6022993d4</code></td><td>feature</td><td>10f · +3759/-1</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/132' target='_blank' rel='noopener'>a11oy#132</a></td><td>feat: emit DSSE receipts from formula gates (Cursor handoff)</td><td>2026-05-30</td><td><code>eb1901d00b</code></td><td>gate</td><td>3f · +94/-303</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/133' target='_blank' rel='noopener'>a11oy#133</a></td><td>docs: clarify adversarial robustness gate scope (Cursor PhD audit)</td><td>2026-05-30</td><td><code>d04117bd1d</code></td><td>gate</td><td>2f · +11/-1</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/134' target='_blank' rel='noopener'>a11oy#134</a></td><td>feat: ecosystem OS doctrine — anatomy/formula/runtime map, benchmark m</td><td>2026-05-30</td><td><code>c0b9525c3a</code></td><td>doctrine</td><td>46f · +5127/-12</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/136' target='_blank' rel='noopener'>a11oy#136</a></td><td>ci: Doctrine v7 §14 namespace-leak PR gate (post-cursor-drift audit)</td><td>2026-05-30</td><td><code>0c4a554acd</code></td><td>gate</td><td>3f · +238/-0</td><td><span class="b green">LIVE</span></td></tr> | |
| <tr><td><a href='https://github.com/szl-holdings/a11oy/pull/139' target='_blank' rel='noopener'>a11oy#139</a></td><td>docs: harden investor demo and HF showcase</td><td>2026-05-30</td><td><code>77c90305b4</code></td><td>feature</td><td>20f · +405/-72</td><td><span class="b green">LIVE</span></td></tr> | |
| </table> | |
| <p class="note">Liveness verified per <a href="https://github.com/szl-holdings/.github/tree/main/cursor-directives" target="_blank" rel="noopener">cursor-directives</a> + re-instill ship log (64). IP-HOLD PRs (a11oy#57 / amaru#46 / sentra#45) intentionally untouched.</p> | |
| </div> | |
| <h2>2 · Replit verbatim surface</h2> | |
| <div class="card"><p>Replit verbatim surface live on this Space: <b>Brand Orchestration Layer SPA at / (artifact.toml BASE_PATH=/)</b> <span class='note'>(source of truth: Replit artifact.toml)</span>.</p></div> | |
| <h2>3 · Cookbook recipes instilled</h2> | |
| <div class="card"><ul><li><a href='https://github.com/szl-holdings/szl-cookbook/tree/main/recipes/knot-calculus-v1' target='_blank' rel='noopener'>knot-calculus-v1</a></li><li><a href='https://github.com/szl-holdings/szl-cookbook/tree/main/recipes/anatomy-evolved-v1' target='_blank' rel='noopener'>anatomy-evolved-v1</a></li><li><a href='https://github.com/szl-holdings/szl-cookbook/blob/main/recipes/chakra-unification.md' target='_blank' rel='noopener'>chakra-unification</a></li><li><a href='https://github.com/szl-holdings/szl-cookbook/blob/main/recipes/anatomy-build-report.md' target='_blank' rel='noopener'>anatomy-build-report</a></li></ul></div> | |
| <h2>4 · szl-trust E4 governed-loop receipts</h2> | |
| <div class="card"><p>szl-trust <b>E4 codex-kernel governed loop</b>: <b>12</b> receipts emitted · 0 hard-stop failures · stop reason <code>convergence</code> · ledger digest <code>4d0a943cef5b8fa605919db38df5e8e7</code>.</p><p class='note'>Run <code>run_386723681730b1fd</code> · kernel codex-kernel-runner-1.0.0 · <a href='https://github.com/szl-holdings/szl-trust/tree/main/runs/E4-codex-kernel-2026-04-29' target='_blank' rel='noopener'>12 receipts + run manifest</a>. Replay status: not_run (offline deterministic emulator — honest disclosure).</p></div> | |
| <h2>5 · Wires</h2> | |
| <div class="card"><table> | |
| <tr><th>Wire</th><th>Route</th><th>Endpoints</th><th>Status</th></tr> | |
| <tr><td><b>Wire B</b></td><td>a11oy -> sentra</td><td><code>/v1/verdict + /v1/inspect</code></td><td><span class='b green'>LIVE</span></td></tr><tr><td><b>Wire C</b></td><td>a11oy -> rosie</td><td><code>/v1/events + Khipu DAG ingest</code></td><td><span class='b green'>LIVE</span></td></tr><tr><td><b>Wire D</b></td><td>honest-disclosure</td><td><code>pending</code></td><td><span class='b amber'>PENDING</span></td></tr> | |
| </table></div> | |
| <h2>6 · Lean theorems (Doctrine v10 honest numbers)</h2> | |
| <div class="card"><p><b>749</b> declarations · <b>14</b> unique axioms · <b>163</b> tracked sorries <span class='note'>(Doctrine v10 honest numbers — <a href='https://github.com/szl-holdings/.github/blob/main/.github/data/lean_numbers.json' target='_blank' rel='noopener'>lean_numbers.json</a> @ <code>c7c0ba17</code>)</span></p><p class='note'>749 declarations / 14 unique axioms / 163 tracked sorries per Doctrine v10. Sorries carry discharge routes (PACBayes, MadhavaBound, TwoWitness, Uniqueness, Putnam set).</p><p class='note'>14 unique axioms (honest gap): MomentSubGaussian, audit_reidemeister_invariance, canonicalReceipt, chromotopology_code_bijection, gleason_length_mod_8, klDivergence_nonneg, lambda_schur_concave_n_axis, lambda_stationary_unique, liu_hui_pi_converges, pinsker, r1_invariance, r2_invariance, sha256, sha256_collision_resistant</p></div> | |
| <h2>7 · Cross-Space surfaces (linked, not duplicated)</h2> | |
| <div class="card"><p>This page <b>links</b> to sibling surfaces rather than duplicating them:</p><ul><li><a href='/research/dinn'>DINN demos</a> — knot-DINN, doctrine-DINN, bekenstein-DINN (DINN agent surface)</li><li><a href='/codex-kernel'>codex-kernel</a> — replay-grade governed loop + Dresden-Venus emulator</li><li><a href='/wires'>Wires</a> — Wire B/C live, Wire D honest-disclosure pending</li></ul><p>Other Space upgrade indexes:</p><ul><li><a href='https://szlholdings-amaru.hf.space/upgrades' target='_blank' rel='noopener'>amaru upgrades</a></li><li><a href='https://szlholdings-sentra.hf.space/upgrades' target='_blank' rel='noopener'>sentra upgrades</a></li><li><a href='https://szlholdings-vessels.hf.space/upgrades' target='_blank' rel='noopener'>vessels upgrades</a></li><li><a href='https://szlholdings-rosie.hf.space (tab: All Upgrades Index)' target='_blank' rel='noopener'>rosie upgrades</a></li></ul></div> | |
| <div class="foot"> | |
| Source of truth: <a href="https://github.com/szl-holdings/.github/blob/main/.github/data/lean_numbers.json" target="_blank" rel="noopener">org .github/data/lean_numbers.json</a> @ <code>c7c0ba17</code>. | |
| Cursor directives: <a href="https://github.com/szl-holdings/.github/tree/main/cursor-directives" target="_blank" rel="noopener">.github/cursor-directives</a>. | |
| Doctrine: <a href="https://github.com/szl-holdings/.github/tree/main/doctrine" target="_blank" rel="noopener">.github/doctrine</a>. | |
| Additive surface — existing routes preserved. ZERO BANDAID. Doctrine v10 honest numbers (749/14/163). | |
| </div> | |
| </div></body></html> |