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.

Proof-registry job split.

a11oy.net remains the canonical public proof/registry if a-11-oy.com or the HF Space is down.

  • Header Product | Proof links https://a-11-oy.com and https://a11oy.net with 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. _headers is policy intent; GitHub Pages does not apply it.
  • /health.json is the only health document: a committed static JSON file (not runtime, not DSSE-LIVE, not uptime). signer is unavailable (no DSSE signer, no local key). sha is the last published main revision; this file cannot contain its own future commit SHA. /readyz is an HTML directory (Pages may 301 /readyz/readyz/). /healthz is 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.

Fetch the contracts.