- Header Product | Proof links
https://a-11-oy.comandhttps://a11oy.netwith those exact words. - Canonical RECORD is static on this origin. It is an index of pointers, not a receipt database. This repository has no receipt store. Live receipts stay on the product Space (Khipu +
/data SZLHOLDINGS/szl-evidence+/api/lake/v1/receipts). Interactive /verify stays on the product origin and is not cloned. Empty receipt IDs are UNAVAILABLE, never invented. - CNAME is
a11oy.net. Live DNS is GitHub Pages. This origin is not a product host._headersis policy intent; GitHub Pages does not apply it. /health.jsonis the only health document: a committed static JSON file (not runtime, not DSSE-LIVE, not uptime).signerisunavailable(no DSSE signer, no local key).shais the last published main revision; this file cannot contain its own future commit SHA./readyzis an HTML directory (Pages may 301/readyz→/readyz/)./healthzis not published (404 HTML). Neither is a probe.- Hub atlas and ROADMAP cuts remain first-class here, including a committed GitHub inventory.
- 90-second diligence table states MEASURED, REPORTED, ROADMAP, and UNAVAILABLE without inventing evals.
- Hub snapshot: 57 public artifacts observed 2026-08-28 (17 models, 27 datasets, 12 collections, 1 bucket). Listing metadata only.
- KERNEL originals and Fall 2026 cuts stay ROADMAP. Λ remains Conjecture 1.
Dated notes · status pointer
What changed on this origin.
These notes track the public proof registry. They are not a product changelog, not a runtime health feed, and not an eval leaderboard.
2026-08-28
Proof-registry job split.
a11oy.net remains the canonical public proof/registry if a-11-oy.com or the HF Space is down.
Machine readers