chore(sync): mirror front-door files to Space (hf-sync)

Automated front-door sync from szl-holdings/a11oy main via hf-sync.
Added/updated: cathedral.html, console/docs.html, console/index.html, console/pricing.html, console/throne-room.html, console/throne-room.js, 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/evidence.html, pages/gap-report.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/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
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.

console/index.html

@@ -366,7 +366,7 @@ function cyGraph(id,elements,layout){const host=el(id);if(!host||!window.cytosca
   return _cy;}
 function nowts(){return new Date().toISOString().slice(11,19);}
 
-const HONEST='<div class="honesty"><b>How to read this.</b> Every panel reads a live service \u2014 no mock data. The trust score is a research conjecture, not a proven theorem. Five formulas are formally proven; the rest are open. Builds are SLSA Level 2 (not L3/FedRAMP/Iron Bank). Audit receipts are cryptographically signed where a key is present, and honestly marked unsigned otherwise.</div>';
+const HONEST='<div class="honesty"><b>How to read this.</b> Every panel reads a live service \u2014 no mock data. The trust score is a research conjecture, not a proven theorem. Eight formulas are formally proven (the locked set F1,F4,F7,F11,F12,F18,F19,F22); the rest are open. Builds are SLSA Level 2 (not L3/FedRAMP/Iron Bank). Audit receipts are cryptographically signed where a key is present, and honestly marked unsigned otherwise.</div>';
 const FLOOR=0.9;
 
 window.__GPD__={"id": "GPD", "name": "Governed Post-Determinism", "owner": "SZL Holdings", "foundation": "SZL prior art (Zenodo DOIs - see prior_art)", "thesis": "Classical systems demand every correct node produce the SAME bytes. Autonomous AI agents produce DIFFERENT reasoning paths that are still correct - so the unit of agreement must shift from 'identical output' to 'certified semantic admissibility,' and SZL is the stack that PROVES that certification with a signed, Lean-anchored receipt.", "admissibility_model": "Adm : S x I x C x P x E -> 2^(U x R); classical = |Adm|=1 (zero-ambiguity special case); post-deterministic = |Adm|>1. SZL's Lambda-gate + Khipu quorum + receipt chain IS the operational Adm-membership certifier.", "pillars": [{"id": "PDD", "pillar": "Protocol-Bounded Execution", "szl_component": "a11oy governed-decision loop + YUYAY 13-axis conjunctive gate (deny-by-default)", "live_tab": "decision", "proof": "Lean: gate soundness over locked F-set (A1 soundnessAxiom)", "status": "LIVE - gate proven sound (locked F-set)", "status_key": "live"}, {"id": "VAI", "pillar": "Verifiable Intent-to-Execution", "szl_component": "DSSE-signed receipt chain + Lean-theorem trace (Provable-Interdiction)", "live_tab": "receipts", "proof": "Receipt: ECDSA-P256 signed, SHA-256 hash-chain tamper-evident", "status": "LIVE - ECDSA-P256 signing, hash-chained", "status_key": "live"}, {"id": "ASCP", "pillar": "Bounded-Recursion Control Planes", "szl_component": "Ouroboros bounded-recursion loop (P1-P6) + sandboxed agent + mission ledger", "live_tab": "mission", "proof": "Lean: loop invariants proven (agentic-loop wave)", "status": "LIVE - loop invariants proven", "status_key": "live"}, {"id": "SQA", "pillar": "Semantic Quorum Assurance", "szl_component": "Khipu BFT quorum + Wave23 conditional safety theorem (agreement under non-equivocation)", "live_tab": "chain", "proof": "Lean theorem TH_L5 khipu_quorum_safety_conditional (CONDITIONAL, axiom-clean)", "status": "CONDITIONAL THEOREM (Wave23); unconditional = Conjecture 2", "status_key": "conditional"}, {"id": "ESR", "pillar": "Epistemic State Replication", "szl_component": "YAWAR append-only SHA-256 receipt bus + deterministic replay + Verifiable Semantic Rollback", "live_tab": "replay", "proof": "Receipt: deterministic replay verified; full ESR semantics = open R&D", "status": "PARTIAL - receipts/replay LIVE; full ESR = ROADMAP (open)", "status_key": "partial"}], "failure_guards": [{"class": "Semantic Drift", "szl_detector": "Lambda-axis drift monitor (conformal band on trust axes over time)", "status": "live"}, {"class": "Correlated Reasoning Failure", "szl_detector": "model-router diversity check (flag when N agents share one model family/inference)", "status": "live"}, {"class": "Intent Loss", "szl_detector": "Ouroboros intent-anchor diff (declared intent vs cumulative action sequence)", "status": "live"}, {"class": "Evidence Fabrication", "szl_detector": "receipt provenance verify (reasoning trace r must hash-match real telemetry)", "status": "live"}, {"class": "Unsafe Delegation", "szl_detector": "delegation receipt must carry forward policy+intent constraints (gate fails if missing)", "status": "design"}, {"class": "Policy-Violating Autonomy", "szl_detector": "YUYAY conjunctive gate (local-pass but composition-violates -> DENY)", "status": "live"}, {"class": "Epistemic Divergence", "szl_detector": "quorum disagreement on retrieved evidence -> SQA does NOT certify", "status": "design"}, {"class": "Context Amnesia", "szl_detector": "replay/rollback must preserve failure-cause evidence (rollback receipt retains lineage)", "status": "design"}], "prior_art": [{"title": "The Loop Is the Product (v1): Bounded Recursion as a System Primitive", "zenodo": "19867281", "date": "2026-04-28", "doi": "https://doi.org/10.5281/zenodo.19867281", "grounds": "Bounded-Recursion Control Planes (Ouroboros P1-P6 bounded-recursion loop)"}, {"title": "The Loop Is the Product (v2): Empirical Companion", "zenodo": "19934129", "date": "2026-04-30", "doi": "https://doi.org/10.5281/zenodo.19934129", "grounds": "Bounded-Recursion Control Planes (empirical loop behavior)"}, {"title": "Lineage-Aware Retrieval-Augmented Generation (v5): Prisca-GraphRAG", "zenodo": "20020846", "date": "2026-05-04", "doi": "https://doi.org/10.5281/zenodo.20020846", "grounds": "Epistemic State Replication (belief-lineage / YAWAR receipt bus)"}, {"title": "Sealed Constitutional Guardrails (v6): Chinchilla-Lutar Scaling", "zenodo": "20020845", "date": "2026-05-04", "doi": "https://doi.org/10.5281/zenodo.20020845", "grounds": "Protocol-Bounded Execution (governed-decision loop + YUYAY gate)"}, {"title": "The Lutar Omega Formalism (v4)", "zenodo": "20020841", "date": "2026-05-04", "doi": "https://doi.org/10.5281/zenodo.20020841", "grounds": "Formal substrate for admissibility certification"}, {"title": "SZL Doctrine v2 - 9 Canonical Axes (Lambda DOI)", "zenodo": "20174600", "date": "2026-05-14", "doi": "https://doi.org/10.5281/zenodo.20174600", "grounds": "Admissibility / Lambda canonical trust axes"}], "honest_note": "Governed Post-Determinism is SZL's own framework, grounded entirely in SZL's prior DOI-stamped published work (Zenodo, Apr 28 - May 14 2026). Locked-proven stays exactly 8; Lambda = Conjecture 1; Semantic Quorum Assurance safety = Wave23 CONDITIONAL theorem (unconditional = Conjecture 2); full Epistemic State Replication semantics = open R&D (roadmap). Failure-guard detectors not yet live are labeled design/roadmap."};