Spaces:
Running
chore(sync): mirror front-door files to Space (hf-sync)
Browse filesAutomated front-door sync from szl-holdings/a11oy main via hf-sync.
Added/updated: cathedral.html, cathedral_genius.html, console/docs.html, console/index.html, console/pricing.html, console/throne-room.html, console/throne-room.js, live_wires.html, pages/api-keys.html, pages/audit.html, pages/ayni.html, pages/brain-dual.html, pages/brain-jack.html, pages/brain.html, pages/chaski.html, pages/codex-kernel.html, pages/company.html, pages/compliance.html, pages/console.html, pages/counter-uas.html, pages/cued-engagement.html, pages/docs.html, pages/energy-ops.html, pages/evidence.html, pages/fabric.html, pages/gap-report.html, pages/harvest.html, pages/hatun-mcp.html, pages/hub.html, pages/integrations.html, pages/landing.html, pages/mesh.html, pages/observability.html, pages/operator_organ.html, pages/pinn.html, pages/pnt.html, pages/pricing.html, pages/run-all.html, pages/sdk.html, pages/security.html, pages/status.html, pages/substrate.html, pages/superpowers.html, pages/throne-room.html, pages/throne-room.js, pages/uds.html, pages/upgrades.html, pages/wallpa.html, pages/warhacker.html, pages/wasi-rikuq.html, pages/wires.html, static/a11oy_cathedral.js, static/cathedral_app.js, static/shared/szl_codename_sanitizer.js, static/shared/szl_holo3d.js, static/shared/szl_label_engine.js, static/shared/szl_receipt_cosign.js, web/agent-loop.html, web/agentic-gpu.html, web/autoreview.html, web/console.html, web/console_index.html, web/constitution.html, web/defense-readiness.html, web/dns.html, web/elite_console.html, web/energy-holographic.html, web/energy.html, web/estate-hologram.html, web/fleet-c2.html, web/formulas.html, web/governance.html, web/holo.html, web/hologram.html, web/immune.html, web/index.html, web/living-anatomy.html, web/materials.html, web/nemo.html, web/operator.html, web/quant.html, web/restraint-bench.html, web/restraint.html, web/sda.html, web/signature-is-not-proof.html, web/v4_fleet_panel.html
Deleted (gone from GitHub main): (none)
Keeps the served front-door (pages/*.html, console/*.html) identical
to GitHub main so an HF factory rebuild never drops a GitHub edit or
keeps serving a page that was deleted on GitHub.
- web/console.html +2 -2
- web/elite_console.html +10 -10
|
@@ -163,7 +163,7 @@ footer b{color:var(--gold)}
|
|
| 163 |
<!-- doctrine plaque -->
|
| 164 |
<div class="plaque">
|
| 165 |
<b>v11 LOCKED</b> <span class="sep">·</span> 749/14/163 <span class="sep">·</span> <b>c7c0ba17</b><br>
|
| 166 |
-
Λ = <b>Conjecture 1</b> <span class="sep">·</span> SLSA L1 honest
|
| 167 |
</div>
|
| 168 |
|
| 169 |
<button class="theme-toggle" id="themeToggle" aria-label="Toggle light/dark theme">◑</button>
|
|
@@ -231,7 +231,7 @@ footer b{color:var(--gold)}
|
|
| 231 |
<footer>
|
| 232 |
a11oy Substrate Console · every tile bound to a <b>real</b> same-origin <code>/api/a11oy/v1/…</code> endpoint ·
|
| 233 |
skeletons over spinners · W3C traceparent on every panel.<br>
|
| 234 |
-
<b>Doctrine v11 LOCKED · 749/14/163 · c7c0ba17 · Λ = Conjecture 1 (NOT a theorem) · SLSA L1 honest
|
| 235 |
Sign: Yachay <yachay@szlholdings.ai> · Co-Authored-By: Perplexity Computer Agent <agent@perplexity.ai>
|
| 236 |
</footer>
|
| 237 |
|
|
|
|
| 163 |
<!-- doctrine plaque -->
|
| 164 |
<div class="plaque">
|
| 165 |
<b>v11 LOCKED</b> <span class="sep">·</span> 749/14/163 <span class="sep">·</span> <b>c7c0ba17</b><br>
|
| 166 |
+
Λ = <b>Conjecture 1</b> <span class="sep">·</span> SLSA L1 honest · L2 .att emitted (not independently verified) · L3 roadmap
|
| 167 |
</div>
|
| 168 |
|
| 169 |
<button class="theme-toggle" id="themeToggle" aria-label="Toggle light/dark theme">◑</button>
|
|
|
|
| 231 |
<footer>
|
| 232 |
a11oy Substrate Console · every tile bound to a <b>real</b> same-origin <code>/api/a11oy/v1/…</code> endpoint ·
|
| 233 |
skeletons over spinners · W3C traceparent on every panel.<br>
|
| 234 |
+
<b>Doctrine v11 LOCKED · 749/14/163 · c7c0ba17 · Λ = Conjecture 1 (NOT a theorem) · SLSA L1 honest · L2 .att emitted (not independently verified) · L3 roadmap · HONESTY OVER CHECKLIST</b><br>
|
| 235 |
Sign: Yachay <yachay@szlholdings.ai> · Co-Authored-By: Perplexity Computer Agent <agent@perplexity.ai>
|
| 236 |
</footer>
|
| 237 |
|
|
@@ -488,7 +488,7 @@ input, button, select { font:inherit }
|
|
| 488 |
<b>v11 LOCKED</b> <span class="sep">·</span> 749/<span id="dp-decl">14</span>/163
|
| 489 |
<span class="sep">·</span> <b>c7c0ba17</b><br>
|
| 490 |
Λ = <b>Conjecture 1</b> <span class="sep">·</span>
|
| 491 |
-
SLSA <b id="dp-slsa">L2</b> <span class="sep">·</span>
|
| 492 |
<span id="dp-gates">46</span> gates
|
| 493 |
</div>
|
| 494 |
|
|
@@ -509,7 +509,7 @@ input, button, select { font:inherit }
|
|
| 509 |
</div>
|
| 510 |
<div class="header-spacer"></div>
|
| 511 |
<div class="slsa-badge" id="slsaBadge">
|
| 512 |
-
<span>✓</span> <span>SLSA L1 honest · L2
|
| 513 |
</div>
|
| 514 |
</header>
|
| 515 |
|
|
@@ -575,7 +575,7 @@ input, button, select { font:inherit }
|
|
| 575 |
</div>
|
| 576 |
<div class="grid g-3" style="margin-top:16px">
|
| 577 |
<div class="card">
|
| 578 |
-
<div class="card-head"><span class="icon">🔏</span>SLSA L1 honest · L2
|
| 579 |
<div class="card-body" id="ov-prov-body"><div class="sk sk-line w80"></div><div class="sk sk-line w60"></div></div>
|
| 580 |
</div>
|
| 581 |
<div class="card">
|
|
@@ -985,9 +985,9 @@ input, button, select { font:inherit }
|
|
| 985 |
<div class="card">
|
| 986 |
<div class="card-head"><span class="icon">✔</span>What We Claim</div>
|
| 987 |
<div class="card-body" style="font:11px/1.9 var(--mono);color:var(--text-dim)">
|
| 988 |
-
<div class="tag tag-green" style="display:inline-block;margin-bottom:6px">SLSA L1 honest · L2
|
| 989 |
-
✓ signed
|
| 990 |
-
✓
|
| 991 |
✓ Fulcio issuer: sigstore.dev (public-good)<br>
|
| 992 |
✓ 749 Lean declarations · 14 unique axioms<br>
|
| 993 |
✓ 163 honest open sorries<br>
|
|
@@ -1012,7 +1012,7 @@ input, button, select { font:inherit }
|
|
| 1012 |
<div class="card-head"><span class="icon">⚙</span>SLSA Verify Command</div>
|
| 1013 |
<div class="card-body">
|
| 1014 |
<div class="codeblock">
|
| 1015 |
-
<span class="cmt"># Verify the SLSA L1 honest · L2
|
| 1016 |
<span class="kw">cosign</span> verify-attestation \
|
| 1017 |
--type <span class="str">slsaprovenance</span> \
|
| 1018 |
--certificate-identity-regexp <span class="str">github.com/szl-holdings</span> \
|
|
@@ -1083,7 +1083,7 @@ input, button, select { font:inherit }
|
|
| 1083 |
<footer class="honest-footer">
|
| 1084 |
<b>a11oy Elite Console</b> — 20 tabs · zero mocks · every surface bound to a real <code>/api/a11oy/…</code> endpoint ·
|
| 1085 |
W3C traceparent on every panel · skeletons over spinners · 3D where it adds value (Three.js r128 vendored)<br>
|
| 1086 |
-
<b>Doctrine v11 LOCKED · 749/14/163 · c7c0ba17 · Λ = Conjecture 1 (NOT a theorem) · SLSA L1 honest · L2
|
| 1087 |
HONEST: Wires G+H not live · audit log resets on rebuild · no FedRAMP/Iron Bank/CMMC · no L3<br>
|
| 1088 |
Sign: Yachay <yachay@szlholdings.ai> ·
|
| 1089 |
Co-Authored-By: <a href="https://perplexity.ai">Perplexity Computer Agent</a> ·
|
|
@@ -1882,7 +1882,7 @@ async function loadAnatomy() {
|
|
| 1882 |
const el = document.getElementById('anatomy-prov-body');
|
| 1883 |
el.innerHTML = `
|
| 1884 |
<div style="font:10px/1.7 var(--mono);color:var(--text-muted)">
|
| 1885 |
-
SLSA: <b style="color:var(--gold)">${pv.slsa?.level||'L2'}</b><br>
|
| 1886 |
Rekor: <b style="color:var(--cyan)">${pv.slsa?.rekor_log_index||'— (resolved at verify time)'}</b><br>
|
| 1887 |
image: <code>${(pv.slsa?.image_digest||'').slice(0,30)}…</code><br>
|
| 1888 |
builder: ${pv.slsa?.builder||'GitHub Actions'}
|
|
@@ -2010,7 +2010,7 @@ async function loadHonest() {
|
|
| 2010 |
</div>
|
| 2011 |
<div style="margin-top:16px">
|
| 2012 |
<div class="kpi-label">SLSA Level</div>
|
| 2013 |
-
<span class="tag tag-green">${d.slsa?.level||d.slsa||'L2'}</span>
|
| 2014 |
${d.slsa_evidence ? `<div style="margin-top:8px;font:10px/1.7 var(--mono);color:var(--text-muted)">
|
| 2015 |
image_tag: <b style="color:var(--gold)">${d.slsa_evidence.image_tag||''}</b><br>
|
| 2016 |
Rekor: <b style="color:var(--cyan)">${d.slsa_evidence.rekor_log_index||'— (resolved at verify time)'}</b><br>
|
|
|
|
| 488 |
<b>v11 LOCKED</b> <span class="sep">·</span> 749/<span id="dp-decl">14</span>/163
|
| 489 |
<span class="sep">·</span> <b>c7c0ba17</b><br>
|
| 490 |
Λ = <b>Conjecture 1</b> <span class="sep">·</span>
|
| 491 |
+
SLSA <b id="dp-slsa">L1 honest · L2 .att emitted (not independently verified) · L3 roadmap</b> <span class="sep">·</span>
|
| 492 |
<span id="dp-gates">46</span> gates
|
| 493 |
</div>
|
| 494 |
|
|
|
|
| 509 |
</div>
|
| 510 |
<div class="header-spacer"></div>
|
| 511 |
<div class="slsa-badge" id="slsaBadge">
|
| 512 |
+
<span>✓</span> <span>SLSA L1 honest · L2 .att emitted (not independently verified) · L3 roadmap</span>
|
| 513 |
</div>
|
| 514 |
</header>
|
| 515 |
|
|
|
|
| 575 |
</div>
|
| 576 |
<div class="grid g-3" style="margin-top:16px">
|
| 577 |
<div class="card">
|
| 578 |
+
<div class="card-head"><span class="icon">🔏</span>SLSA L1 honest · L2 .att emitted (not independently verified) Provenance<span class="pill">/v1/version</span></div>
|
| 579 |
<div class="card-body" id="ov-prov-body"><div class="sk sk-line w80"></div><div class="sk sk-line w60"></div></div>
|
| 580 |
</div>
|
| 581 |
<div class="card">
|
|
|
|
| 985 |
<div class="card">
|
| 986 |
<div class="card-head"><span class="icon">✔</span>What We Claim</div>
|
| 987 |
<div class="card-body" style="font:11px/1.9 var(--mono);color:var(--text-dim)">
|
| 988 |
+
<div class="tag tag-green" style="display:inline-block;margin-bottom:6px">SLSA L1 honest · L2 .att emitted (not independently verified) · L3 roadmap</div><br>
|
| 989 |
+
✓ cosign-signed GHCR image, verifiable via cosign verify (L1)<br>
|
| 990 |
+
✓ signed slsa.dev/provenance .att emitted by actions/attest-build-provenance (L2 .att, not independently verified)<br>
|
| 991 |
✓ Fulcio issuer: sigstore.dev (public-good)<br>
|
| 992 |
✓ 749 Lean declarations · 14 unique axioms<br>
|
| 993 |
✓ 163 honest open sorries<br>
|
|
|
|
| 1012 |
<div class="card-head"><span class="icon">⚙</span>SLSA Verify Command</div>
|
| 1013 |
<div class="card-body">
|
| 1014 |
<div class="codeblock">
|
| 1015 |
+
<span class="cmt"># Verify the SLSA L1 honest · L2 .att emitted (not independently verified) · L3 roadmap provenance attestation on the published image</span>
|
| 1016 |
<span class="kw">cosign</span> verify-attestation \
|
| 1017 |
--type <span class="str">slsaprovenance</span> \
|
| 1018 |
--certificate-identity-regexp <span class="str">github.com/szl-holdings</span> \
|
|
|
|
| 1083 |
<footer class="honest-footer">
|
| 1084 |
<b>a11oy Elite Console</b> — 20 tabs · zero mocks · every surface bound to a real <code>/api/a11oy/…</code> endpoint ·
|
| 1085 |
W3C traceparent on every panel · skeletons over spinners · 3D where it adds value (Three.js r128 vendored)<br>
|
| 1086 |
+
<b>Doctrine v11 LOCKED · 749/14/163 · c7c0ba17 · Λ = Conjecture 1 (NOT a theorem) · SLSA L1 honest · L2 .att emitted (not independently verified) · L3 roadmap (signed slsa.dev/provenance .att; never L3)</b><br>
|
| 1087 |
HONEST: Wires G+H not live · audit log resets on rebuild · no FedRAMP/Iron Bank/CMMC · no L3<br>
|
| 1088 |
Sign: Yachay <yachay@szlholdings.ai> ·
|
| 1089 |
Co-Authored-By: <a href="https://perplexity.ai">Perplexity Computer Agent</a> ·
|
|
|
|
| 1882 |
const el = document.getElementById('anatomy-prov-body');
|
| 1883 |
el.innerHTML = `
|
| 1884 |
<div style="font:10px/1.7 var(--mono);color:var(--text-muted)">
|
| 1885 |
+
SLSA: <b style="color:var(--gold)">${pv.slsa?.level||'L1 honest · L2 .att emitted (not independently verified) · L3 roadmap'}</b><br>
|
| 1886 |
Rekor: <b style="color:var(--cyan)">${pv.slsa?.rekor_log_index||'— (resolved at verify time)'}</b><br>
|
| 1887 |
image: <code>${(pv.slsa?.image_digest||'').slice(0,30)}…</code><br>
|
| 1888 |
builder: ${pv.slsa?.builder||'GitHub Actions'}
|
|
|
|
| 2010 |
</div>
|
| 2011 |
<div style="margin-top:16px">
|
| 2012 |
<div class="kpi-label">SLSA Level</div>
|
| 2013 |
+
<span class="tag tag-green">${d.slsa?.level||d.slsa||'L1 honest · L2 .att emitted (not independently verified) · L3 roadmap'}</span>
|
| 2014 |
${d.slsa_evidence ? `<div style="margin-top:8px;font:10px/1.7 var(--mono);color:var(--text-muted)">
|
| 2015 |
image_tag: <b style="color:var(--gold)">${d.slsa_evidence.image_tag||''}</b><br>
|
| 2016 |
Rekor: <b style="color:var(--cyan)">${d.slsa_evidence.rekor_log_index||'— (resolved at verify time)'}</b><br>
|