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.

Current public Hub listing, generated from the unauthenticated Hub API and observed 2026-10-03T11:01:47Z: 47 models, 37 public datasets, 34 public Spaces, 14 kernels (included in models). Private assets are NOT_OBSERVED. Source /estate/hf-current.json. Counts in the dated notes below are the observations of their own dates and are not rewritten.

Hub inventory is generated, not typed.

One committed generator reads the unauthenticated Hub API. Dated snapshots stay historical.

  • scripts/generate_hf_inventory.py writes /public-inventory.json, /estate/hf-current.json, /live-align/hf_live_inventory.json, the hub block and model classification in /models.json, and the Hub presence block in /spaces.json. The pages print its counts beside their observation time.
  • .github/workflows/hf-inventory-refresh.yml reruns it daily and on dispatch, and proposes a reviewed pull request only when the output changes. It holds no Hugging Face token, so it cannot write to the Hub. Private assets are NOT_OBSERVED, never counted as zero.
  • The 2026-08-31 capture is kept byte-identical at /public-inventory-2026-08-31.json, and /estate.json stays the dated 2026-08-31 snapshot. Space rows the public listing no longer returns are gone from the current inventory, not from the dated files.
  • The home page no longer reads the absent Spaces szl-estate-live and receipt-chain-live. Its Hugging Face rows are the /spaces.json KEEP Spaces that the public listing still returns. The estate hologram bake keeps its rows and records which Hub links were retired.

INC-05 www-404 closed as MEASURED. Lyte catch remains a separate claim.

Two different claims. A content-hash match is not a source-revision match. A www 301 is not a production certificate.

At 23:25Z https://www.a-11-oy.com/ presented a valid certificate and HTTP/2 301 to https://a-11-oy.com/. Hugging Face runtime listed custom domain a-11-oy.com READY. Product Vessels evaluate replayed 3/3 MATCH with licensed AIS CLOSED and E03 OUTSTANDING. This closes the www-404 / TLS-denied honesty gap. It does not stamp LIVE and does not authorize production. Promotion of N1–N27 stays BLOCKED for those other holds, not because www is 404.

Read the dated recapture · Origin lock contract. The 19:04Z note remains a historical probe.

At 22:34Z GitHub szl-holdings/lyte-services, the a11oy publisher pin, and Hugging Face Space szlholdings-lyte.hf.space all reported dd17d9f. A 22:23Z healthz of 9af99c9 is superseded. Canonical Forecast Loom hashes matched. Granite remains withheld. Product /lyte is a STRUCTURAL-ONLY BIND hologram. Proof www.a11oy.net 301s onto a11oy.net, not the product host. The 22:34Z sentence that INC-05 remained OPEN is superseded by the 23:25Z recapture.

Read the dated RECORD · Machine copy. This origin does not republish the Space and does not mint DNS.

Lyte forecast evidence, source to runtime.

Dated observations of an advisory SAMPLE runtime. Not production model admission or a live status feed.

The source-bound Lyte forecast contract and product-origin source identity were observed after canonical publication. Read the deployment observation and remaining boundaries.

The earlier source and evaluation note remains a dated historical record. Synthetic model evaluation, runtime verification, and production qualification are different claims. Content digests are not signatures; this origin hosts pointers, not forecast receipts or a verifier.

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.

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.

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.

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.

Fetch the contracts.