Add live reachability checks for cited datasets & standards (not just GitHub)

fix(code): read inference token from Forge/Token/HF_ROUTER_TOKEN fallbacks so founder-pasted secret is picked up

Dockerfile: COPY a11oy_code_ide.html into /app so orchestrator GET /api/a11oy/code/ide serves the self-contained IDE page (was 404: per-file COPY Dockerfile had no copy line for the IDE)

a11oy.code: full IDE Code tab (streaming chat + CodeMirror editor + sandboxed run + Lambda/Khipu receipts + FAST/HEART/PRIME/FRONTIER tiers); honest-stub until HF_TOKEN set; doctrine sweep (axis rename, role-neutral service names). Built by Perplexity Computer Agent.

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

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

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

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

feat(console): instill complete Wave16+Wave17 frontier cards (CF-23 crux/geoBin Aczel/CF-25/CF-26 + binary_pinsker headline/CF-27/CF-28) into FRONTIER_CARDS + LAMBDA_FRONTIER_CARDS; epoch 11-17 @ 99d07509. EXPERIMENTAL·CI-green, #print-axioms-clean, NOT folded into locked-5; Λ Conjecture 1. Signed-off-by: SZL CTO <cto@szl-holdings.com>

align(slsa): sync serve.py SLSA L1-honest comment from GitHub to HF (was stale L2)

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

doctrine(slsa): console SLSA posture L1 honest across all surfaces; L2 verification on roadmap (never L2-attested); frontier formula cards intact

feat(console): honest frontier formula cards (Wave11-15) on Formulas tab + CUT-2/CF-22 cards on Trust-Score tab; SLSA footer fixed to L1-honest/L2-roadmap. Locked-5 + Lambda=Conjecture-1 preserved.

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

fix(docker): COPY a11oy_seismic.py into image so seismic routes register (was 404 — per-file COPY Dockerfile omitted the new module)

feat(seismic+forecast+code+doctrine v13): honest Reasenberg-Jones/Omori aftershock forecast over live USGS (new /api/a11oy/v1/seismic/* + forecast-tab panel); code tab Ouro/DEQ-EqR badges; user-visible codename sweep -> YACHAY/CHAPAQ/Companion. EXPERIMENTAL, clean-room MIT, 0 runtime CDN, never folded into locked-5.

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

console: live Reciprocity tab (real /v1/ayni+/v1/tinkuy) + fix /v1/ayni 500 (-inf strict-JSON sanitizer)

Add Evidence & Research tab + curated/live evidence layer (#185)

Ayni-OS: event-source ledger from real signed receipts + live Reciprocity console tab

docs(slsa): sync Space card with GitHub README (SLSA L1 honest; L2 roadmap, not yet claimed)

JOB B1/B3: refresh experimental tier Wave 14 + CUT-2 (@b910c276); Λ conditional note; consistency

Instill Wave11-14 + CUT-2 frontier into formula tabs (kbformulas/lambda/honest); SLSA L1-honest/L2-roadmap

test(hf-sync): verify deletion of stale front-door page

test(hf-sync): seed throwaway stale front-door page

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

docs(slsa): sync Space card with GitHub README (SLSA L1 honest; L2 roadmap, not yet claimed)

sync README from GitHub canonical (task #153 parity)

docs(slsa): sync Space card with GitHub README (SLSA L1 honest; L2 roadmap, not yet claimed)

P2 llm tab graph-based router: clean-room edge-affinity routing graph (concept after GraphRouter/Router-R1/LLMRouter, attributed in NOTICES.md), retire banned codenames amaru->yachay sentra->chapaq, affinity in card+tooltip, honest GRAPH-ROUTER label

sync: bring szl_formulas/szl_wire/requirements to GitHub main (real Sigstore/Rekor DSSE upgrade) [task-155]

a11oy Code: broaden HF token detection (read 'Token' + fallbacks, strip quotes/ws) + honest token diagnostics on /code/health

chore(topbar): remove GitHub source link from a11oy.net front door (keep HF demo links)

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

fix(code): broaden HF token detection so a11oy Code flips to generative

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

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

docs(slsa): sync Space card with GitHub README (SLSA L1 honest; L2 roadmap, not yet claimed)

fix(warhacker): render all 25 individual demos as launchable 5x5 board (5 problems x 5)

feat(console): make GitHub + Hugging Face topbar links permanent

a11oy frontier: server-side live feeds (NVD/KEV/arXiv) + research corpus; +3 Wave9/10 cards (RA-1/OE-2/MR-1) live; doctrine cleanup (dead rosie.hf.space removed, codenames scrubbed from companion output, capability-labelled fleet); SLSA L1-honest/L2-roadmap across console + serve

feat(warhacker): a11oy 7->25 demos + doctrine

Hero polish: fully hide boot overlay after fade (no lingering text)

Front door: cathedral-style sovereign 3D hero at / (console one click in at /console); current updates; 0 CDN

Add sovereign ES-module Three.js + OrbitControls for cathedral-style front-door hero (0 CDN)

Tab cleanup (conservative): remove 6 merged-away nav entries (Signed Receipts, Trust Ledger, Threat Library, Known-Exploited, Business Observability, MELT, System Health); fold ECDSA verify panel into Receipt Chain (A1) and Threat Library list into Adversary Techniques (A3). Endpoints + view code untouched; doctrine intact (Lambda=Conjecture 1, locked-5, 0 codenames, 0 CDN).

fix(a11oy): COPY szl_wave910_proofs.py into image (per-file Dockerfile) so /proven-formulas + proven/* + governance matrix-health resolve

feat(a11oy): instill Wave9/10 proven formulas (experimental, CI-green) — proven-formulas tab + Gershgorin matrix-health pre-flight in governance gateway + audit/replay theorem cards in gor-audit

re-sweep wave2: ship 4 REAL 0-CDN operator surfaces — /sovereign-search (tantivy-wasm MIT), /consensus-clusters (ngraph.leiden MIT), /mission-ledger (research-arcade MIT), /budget-router (BudgetMem+MemSkill Apache, GraphPlanner MIT)

Add experimental proof tier (1304/22 @ 7885fd9) to szl_be_hardening.py honest block alongside locked floor (749/14/163, 5 proven); Λ=Conjecture 1 verbatim