a11oy — Λ-gate router / Brand Orchestration Layer

All Upgrades Index · Doctrine v10 · generated 2026-06-01

This index is scoped to a11oy upgrades. The org-wide master index lives on the org card and the a11oy /upgrades route.

38Cursor PRs (this Space)
749Lean declarations
14unique axioms
163tracked sorries
12E4 receipts

1 · Cursor PRs merged & instilled

PRTitleMergedSHATypeDiffLive
a11oy#67Document SZL org repository map2026-05-29ee6e17b9c3other4f · +154/-1LIVE
a11oy#68SUPERSEDED: fix(core): restore KS18 parity cover2026-05-29a2a0ef8349fix3f · +83/-14LIVE
a11oy#69build(ops): operationalize A11oy GitHub and Hugging Face payload hub2026-05-294a0591d81efeature28f · +3214/-112LIVE
a11oy#70Improve org repository sync helper2026-05-2943104ecfc5other59f · +4606/-13LIVE
a11oy#71chore: set up dev environment with test infrastructure2026-05-291d9ab5fecdinfra13f · +9025/-28LIVE
a11oy#74Add operational validation gate2026-05-29a6a537bbe0gate5f · +106/-63LIVE
a11oy#75docs(showcase): polish Hugging Face diligence packet2026-05-29831ee29876page13f · +3552/-689LIVE
a11oy#83feat: harden investor demo, HF showcase, and policy gates2026-05-2930421b70b0gate29f · +1698/-35LIVE
a11oy#89feat: harden investor demo, HF showcase, policy gates, and UDS ops2026-05-296aca5bbd37gate9f · +79/-45LIVE
a11oy#92docs: clarify adversarial robustness gate scope [PhD audit]2026-05-29663e7c3eb1gate1f · +8/-1LIVE
a11oy#93docs: add deep-dive HF Space showcase link2026-05-293b120ea400feature1f · +16/-0LIVE
a11oy#94docs: UDS frontier gap map (Cursor proxy)2026-05-30c918745299uds5f · +90/-1LIVE
a11oy#99docs: avoid linking private HF deep-dive space (Cursor proxy)2026-05-301290e19821page1f · +9/-3LIVE
a11oy#100docs(coordination): latest Cursor proxy handshake (2026-05-29)2026-05-302c847afac6coord/docs1f · +77/-0LIVE
a11oy#101docs(coordination): agi-forecast FG-pipeline proxy source files2026-05-30fc3c9f93dacoord/docs2f · +1910/-0LIVE
a11oy#102docs(coordination): lutar-lean API drift proxy source files2026-05-30c1de4044b9proof2f · +97/-0LIVE
a11oy#103docs(a11oy): clarify adversarial robustness gate scope (Cursor proxy)2026-05-3049ea0d67d7gate1f · +8/-1LIVE
a11oy#104docs(coordination): Cursor daily status 2026-05-292026-05-3000f472597dcoord/docs1f · +62/-0LIVE
a11oy#105feat(a11oy): harden investor demo + HF showcase (Cursor proxy, 25 file2026-05-30fceaa50cc4feature6f · +31/-24LIVE
a11oy#106docs(coordination): Cursor latest status (lutar + agi)2026-05-302ef8fe5b1ccoord/docs1f · +58/-0LIVE
a11oy#107ci(a11oy): operational readiness validation + UDS bundle docs (Cursor2026-05-303bacba1e7duds2f · +2/-1LIVE
a11oy#108test(a11oy): harden policy gate formula instillation (Cursor proxy)2026-05-307e81a915cegate3f · +11/-274LIVE
a11oy#111fix(dependabot): remove missing github-actions label2026-05-30e569b679fafix1f · +0/-1LIVE
a11oy#112docs(coordination): lutar-lean doc-comment drift proxy source files2026-05-305ae492c533proof2f · +106/-0LIVE
a11oy#113docs(coordination): AdversarialRobustness chain-scope proxy source fil2026-05-307c2ab88149coord/docs2f · +108/-0LIVE
a11oy#117feat(gates): wire 8 GREEN Lean theorems as TypeScript gates + vitest t2026-05-305437ae7eb3gate16f · +3331/-0LIVE
a11oy#118feat(a11oy): runtime functional upgrades — formulas exported, TH4-TH72026-05-30f1d215122fgate21f · +238/-25LIVE
a11oy#119fix(slsa): truth-correction — L3 badges → L1 (SBOM + DCO) (Cursor doct2026-05-301254dc4f5fdoctrine3f · +4/-4LIVE
a11oy#120docs(coordination): Cursor current one-of-one execution status2026-05-30f6bb9a56c4coord/docs1f · +53/-0LIVE
a11oy#123feat(a11oy): Hugging Face ecosystem manifest (Cursor)2026-05-3089ab7fca8fcodex8f · +363/-690LIVE
a11oy#127docs: ancient texts formula lineage — provable provenance, doctrine v62026-05-30a36a0fd0e8doctrine5f · +78/-1LIVE
a11oy#129feat: theorem-to-runtime manifest — machine-readable evidence map (Cur2026-05-300d0bc23cabproof5f · +205/-0LIVE
a11oy#130feat(docs): ecosystem stage matrix (Cursor handoff)2026-05-30b6022993d4feature10f · +3759/-1LIVE
a11oy#132feat: emit DSSE receipts from formula gates (Cursor handoff)2026-05-30eb1901d00bgate3f · +94/-303LIVE
a11oy#133docs: clarify adversarial robustness gate scope (Cursor PhD audit)2026-05-30d04117bd1dgate2f · +11/-1LIVE
a11oy#134feat: ecosystem OS doctrine — anatomy/formula/runtime map, benchmark m2026-05-30c0b9525c3adoctrine46f · +5127/-12LIVE
a11oy#136ci: Doctrine v7 §14 namespace-leak PR gate (post-cursor-drift audit)2026-05-300c4a554acdgate3f · +238/-0LIVE
a11oy#139docs: harden investor demo and HF showcase2026-05-3077c90305b4feature20f · +405/-72LIVE

Liveness verified per cursor-directives + re-instill ship log (64). IP-HOLD PRs (a11oy#57 / amaru#46 / sentra#45) intentionally untouched.

2 · Replit verbatim surface

Replit verbatim surface live on this Space: Brand Orchestration Layer SPA at / (artifact.toml BASE_PATH=/) (source of truth: Replit artifact.toml).

3 · Cookbook recipes instilled

4 · szl-trust E4 governed-loop receipts

szl-trust E4 codex-kernel governed loop: 12 receipts emitted · 0 hard-stop failures · stop reason convergence · ledger digest 4d0a943cef5b8fa605919db38df5e8e7.

Run run_386723681730b1fd · kernel codex-kernel-runner-1.0.0 · 12 receipts + run manifest. Replay status: not_run (offline deterministic emulator — honest disclosure).

5 · Wires

WireRouteEndpointsStatus
Wire Ba11oy -> sentra/v1/verdict + /v1/inspectLIVE
Wire Ca11oy -> rosie/v1/events + Khipu DAG ingestLIVE
Wire Dhonest-disclosurependingPENDING

6 · Lean theorems (Doctrine v10 honest numbers)

749 declarations · 14 unique axioms · 163 tracked sorries (Doctrine v10 honest numbers — lean_numbers.json @ c7c0ba17)

749 declarations / 14 unique axioms / 163 tracked sorries per Doctrine v10. Sorries carry discharge routes (PACBayes, MadhavaBound, TwoWitness, Uniqueness, Putnam set).

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

7 · Cross-Space surfaces (linked, not duplicated)

This page links to sibling surfaces rather than duplicating them:

Other Space upgrade indexes:

Source of truth: org .github/data/lean_numbers.json @ c7c0ba17. Cursor directives: .github/cursor-directives. Doctrine: .github/doctrine. Additive surface — existing routes preserved. ZERO BANDAID. Doctrine v10 honest numbers (749/14/163).