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.

Read CHANGELOG.md Open RECORD Diligence room
2026-09-04

Control-plane thread recorded. Frontier stays NOT READY.

Source lives on the format repo. This origin indexes it. No new Space. No product /thread route.

  • SOURCE RECORD: governance-as-code/docs/THREAD_OPS_2026-09-04.md on main at c068e58. Class REPORTED. Not a LIVE canary.
  • Credo map C1–C5 executable on governance-as-code main. Lean witness Showcase/Frontier/CredoVerdictWitness.lean on lutar-lean main. Λ remains Conjecture 1. Locked-proven set unchanged (exactly 8).
  • a11oy source Menu lock #1844 / #1847 (7f51d72) is on GitHub main. Product honest git_sha at recapture was still dfe49d77. Publisher pickup is UNAVAILABLE until the live honest API matches.
  • Frontier tracker szl-hf-frontier STATUS_2026-09-04: estate NOT READY. Winner none. Flagship empty. Waves 2–4 IN MOTION and BLOCKED_NO_METAL. C1–C6 closed on GitHub-side contracts. L1–L3 remain OPEN.
  • This origin does not run the kernel, does not train, and does not clone /verify. GPU train UNAVAILABLE. www.a-11-oy.com TLS remains owner-metal.
  • Canary #1359 stays OPEN until the live product canary is green against protected main. A Grok working copy is not a fourth public origin. Never a11oy.com.
2026-08-31

Hub snapshot refresh. Public surface expanded.

Public author-list now reports 44 models and 30 datasets. Org-authenticated view: 44 models, 38 datasets.

  • Hub unauthenticated author-list MEASURED 2026-08-31: 44 models, 30 datasets, 47 public Spaces, 21 collections, 1 bucket. The README profile card is a 48th public Space not returned by the list API.
  • Hub org-authenticated view REPORTED 2026-08-31: 44 models, 38 datasets, 49 Spaces. 8 datasets and 1 Space are private. Nothing deleted.
  • Public Space count moved 6 → 47 since 2026-08-29. This supersedes the 2026-08-28 snapshot (17 models, 27 datasets) and the 2026-08-29 keep-7 recapture (43 / 28 / 6). Visibility change, not artifact creation.
  • GitHub szl-holdings MEASURED 2026-08-31: 95 public repositories via unauthenticated search; 103 via authenticated search (8 private).
  • Manifests /estate.json, /atlas.json, /models.json, and /estate/os/ refreshed to this observation. Counts are listing metadata only — not quality, safety, or readiness. Λ remains Conjecture 1.
2026-08-29

Estate recapture. GPU train stays BLOCKED.

Inventory folds here. Runtime stays on a-11-oy.com. Never a11oy.com.

  • GitHub szl-holdings MEASURED 98 repositories (93 public, 5 private, 34 archived). 4 open PRs, 0 merge-qualified.
  • Hub unauthenticated author-list MEASURED 43 models, 28 datasets, 6 public Spaces (a11oy, killinchu, immune, governed-receipt-verifier, szl-khipu, szl-atelier). Factory and command-lab recaptured private. None deleted.
  • GPU train UNAVAILABLE: GitHub gate command-lab#12, factory N27. CUDA absent. Live Hub /api/train not recapturable. willay / khipu-r3 / waman stay NOT_APPROVED.
  • Energy UNAVAILABLE this recapture. Joules only from RAPL/NVML. A prior T4 wrap is not a live meter.
  • Product honesty UNAVAILABLE: custom domain a-11-oy.com PENDING; Space HTTP timeout. Hub Space git is not a GitHub commit.
  • Λ remains Conjecture 1. proven_trust=false. This origin does not clone /verify.
  • Key hunt: private keys in public git = 0. Four published P-256 keys diverge. Closeout MATCH only against a11oy Space /cosign.pub (keyid 9926bf69) at 18:00Z. HMAC remains PLACEHOLDER. Envelope is not stored here.
  • Closeout state is BLOCKED_EXTERNAL_AUTHORITY. Unauth Hub author-list MEASURED 6 at 18:37Z is not a rewrite of atlas keep-7. A Grok working copy is not a fourth public origin.
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.

  • 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. Superseded 2026-08-31: org-authenticated counts are 44 models, 38 datasets, 49 Spaces, 21 collections, 1 bucket — see the 2026-08-31 note.
  • KERNEL originals and Fall 2026 cuts stay ROADMAP. Λ remains Conjecture 1.
Machine readers

Fetch the contracts.

evidence.jsonrecord.jsonatlas.jsonestate.json