Public diligence room · RECORD on a11oy.net

Evidence first. Boundaries visible.

a11oy is evaluated here through public source, receipts, RECORD, runtime identity, assurance controls, and artifact metadata—not through a polished demo alone.

locked-proven = N/A · scriptless surface; observe /api/a11oy/v1/honest locked_formula_count catalog LOCKED-PROVEN = 25 · genome catalog, not the kernel · Lean-8 ≠ genome-144 Λ = Conjecture 1 · advisory, never a theorem

Start 90-second table Open RECORD Read machine contract

DILIGENCE HANDOFFSGoverned console /chat/ · governed code /code/ — one-line static routes, not top-level nav peers. Product runtime stays on a-11-oy.com; this registry does not clone /verify.

Operational boundary: this is a static proof front door. Its availability does not establish that the separate a11oy product runtime, model endpoints, or upstream registries are available. First paint does not fetch a-11-oy.com (script-src none). Observe /api/a11oy/v1/honest locked_formula_count on the product origin; this room paints N/A.

SurfaceStatic proof front door

Public documentation and evidence links.

Product runtimeSeparate system

Check the live honesty manifest before relying on it.

Evidence classSource-bounded

REPORTED remains distinct from MEASURED.

Private dataNot requested

No account, token, private model, or dataset payload.

Ninety seconds

What is MEASURED, ROADMAP, or UNAVAILABLE.

A figure without method, date, and N is omitted. This table does not invent evals.

Claim	Class	Method / date / N	Bound
This origin is a static proof registry	MEASURED	This document · GitHub Pages · 2026-08-28	Reachability of a11oy.net only.
Origin health document	MEASURED	/health.json · committed static file · 2026-08-28	Not DSSE-LIVE. signer=unavailable. sha is last published main. Not uptime. /readyz is HTML. /healthz is not published (404 HTML).
Receipt store on this origin	MEASURED	This repository · 2026-08-28	None. RECORD is pointers. Live receipts stay on the product Space.
Public Hub listing snapshot	REPORTED	Committed Hub metadata · 2026-08-31	Estate counts render from the estate.json manifest — see github.com/szl-holdings. Listing metadata, not quality.
Eight locked-proven formulas	REPORTED	Lean kernel c7c0ba17 in public source	Source-bounded. Live kernel count is /honest locked_formula_count, not this row. Λ is not among the eight.
Λ uniqueness	UNAVAILABLE	Conjecture 1 · advisory	Never a theorem. Never green.
Fall 2026 cuts and KERNEL originals	ROADMAP	Named cards and GitHub source	Not OPERATIONAL.
Interactive receipt verification	UNAVAILABLE	—	Tool stays at a-11-oy.com/verify.
Product runtime honesty / health	UNAVAILABLE	—	This scriptless room does not fetch. Kernel chip on / paints from locked_formula_count or N/A.
Estate snapshot on this origin	MEASURED	/estate/ + /estate.json · 2026-08-29T18:23Z	Dated inventory and closeout recapture. Not a live dashboard. Not a receipt store. Not product runtime.
Eval leaderboard or quality scores	UNAVAILABLE	—	No method+date+N figure on this origin.
SLSA L3	ROADMAP	—	L1 honest · L2 attested · L3 not claimed here.

Truth boundary

What this room proves—and what it does not.

A serious diligence surface makes its non-claims as visible as its evidence.

What can be inspected

Versioned public source, history, checks, and release records.
Receipt-verification entry points and published assurance evidence.
Public benchmark implementations and schemas.
Point-in-time public Hugging Face listing metadata.
The static proof site’s own reachability and committed contract.

What is not implied

A link or HTTP response is not proof of capability, quality, or uptime.
This site’s reachability is not product-runtime readiness.
Public Hub metadata is not an authenticated private inventory.
A runtime stage is transport metadata, not end-to-end promotion.
No financial, customer, safety, or performance claim is created here.

Investor path

Four passes through the public record.

Review the operating thesis and its evidence in a sequence that exposes uncertainty early.

Product boundary

Separate the product experience from this separately navigable proof surface.

Open product domain

RECORD and receipts

Read the canonical index of pointers here. Live receipts stay on the product Space. Use the product /verify tool if you need an interactive check.

Open RECORD

Source and benchmarks

Read the public implementation, history, CI, and governed-agent benchmark.

Inspect source

Public estate

Review Hub atlas and GitHub surfaces as reported metadata. Reachability is not quality.

Browse Hub atlas

Estate snapshot

Read the dated MEASURED inventory, key hunt, and closeout recapture. Counts are not quality. Closeout stays BLOCKED until exact-SHA deploy and HMAC.

Open estate snapshot

Developer path

Start from executable contracts.

The proof front door has no framework build, backend, account, or secret. Its contracts run with stock Python and Node.

Verify the static surface locally

git clone https://github.com/szl-holdings/a11oy-net.git
cd a11oy-net
python scripts/check_proof_surface.py
python scripts/check_diligence_surface.py
python scripts/check_honest_kernel_bind.py
node scripts/check_atlas_policy.mjs

Machine entry points

/evidence.json · evidence contract /record.json · RECORD contract /atlas.json · Hub and GitHub inventory /estate.json · dated MEASURED inventory and closeout recapture /estate/ · estate snapshot HTML /site.webmanifest · application metadata /llms.txt · automated-reader routing /api/build-info/ · static surface scope /health.json · only health document (static JSON, not runtime) /readyz/ · HTML directory; not a health URL /record/ · canonical receipt record /notes/ · dated notes /chat/ · governed-console handoff /code/ · governed-code handoff GitHub · source and checks security.txt · reporting path

Known boundaries

Risks stay in the room.

Architecture boundaries are versioned; runtime and edge-deployment states remain point-in-time and require source-bound observation.

SEPARATE RUNTIME

Product availability can differ

The product domain and this static evidence domain have different deployment and failure modes. Live DNS for a11oy.net is GitHub Pages. Product code may 301 .net to .com only if that Host is routed into the product app. This origin is not a product host.

PUBLIC METADATA

Registry reads are bounded

Hub listing APIs report public metadata only and may be partial, unavailable, or rate limited.

EDGE UNKNOWN

Header deployment remains unverified

The repository contains an edge-header contract, but this candidate carries no source-bound live readback URI, UTC time, or source revision. GitHub Pages does not apply _headers; do not claim enforcement until a bound readback succeeds.

Evidence vocabulary

Labels are a control surface.

MEASURED: Direct observation with disclosed source and context.
REPORTED: Public upstream metadata; not independently measured here.
MODELED: Simulated or analytically derived.
HEURISTIC: A bounded rule or score, not a proof.
UNKNOWN: Evidence is insufficient for a stronger statement.
UNAVAILABLE: The relevant source could not be inspected.

Continue review

Move from narrative to evidence.

Use the full proof registry for live observations and public artifact metadata, or inspect the underlying source directly.

Open proof registry Browse organization source