Everything observed, signed and anchored.
One place for every public object Crovia produces: the live TACET log, the LACUNA candidates it yields, the Crovia Seal standard that wraps every proof, the read-only 2026 archive, and the raw files behind every number on this site.
Live
The verifiable-silence log
Hourly epochs opened by drand, closed by Bitcoin. Every model card fetched, every predicate verdict signed, every hour committed to one sparse Merkle map.
Loss-of-auditability candidates
Models whose cards have stayed silent, ranked by anchored hours of silence. A signed certificate is a TACET level-2 proof for a named window.
One page per observed model
What the Hugging Face card said about training data at every signed check, how many checks are confirmed in Bitcoin, and how to verify it. Live watch list plus the 2026 archive. No grades.
What Crovia saw this week, and what it verifiably did not
Models observed hour by hour, epochs anchored in Bitcoin, the longest verifiable silences with their proofs. One card, one page, one RSS item per week; every number links to a signed file.
One number per model
Observation-bounded days of silence. Embed it on any page with one iframe; it reads the public file directly.
The standard
Tamper-evident receipts for AI outputs
The object that wraps every TACET proof and every certificate. Ed25519, CSC-1 canonicalization, offline verification in three lines.
draft-crovia-seal
Normative text, conformance vectors and the reference implementation. The draft is frozen; profiles extend it.
Verify a Seal in your browser
Paste any Seal. Canonicalization, hash chain and signature are checked locally — zero network calls.
The 2026 archive
Evidence Explorer
Browse the signed observations of the first-generation collectors, per model and per source, with the lineage graph.
Provenance passport
Per-model view of what was disclosed, when, and how the archive observed it. Includes the passport export.
EU AI Act Art. 53 hub
Transparency index and per-organisation disclosure timelines derived from the archive. Not a certification.
Dataset → model graph
Interactive graph of declared training sources across the archived cards.
Data files
| file | what it is | tier |
|---|---|---|
| tacet/latest.json | Latest epoch sheet summary, totals since genesis. | public |
| tacet/targets.json | Per-model summary: last verdict, negative and anchored counts. | public |
| tacet/trust_root.json | Operator, observer and issuer public keys; map id; genesis. | public |
| tacet/sheets/ · snapshots/ · ots/ | Every signed epoch sheet, every signed snapshot, every OpenTimestamps proof. Browsable. | public |
| _home_pulse.json | Archive headline numbers with their validity flags. | public |
| silence_index.json | Observation-bounded silence per model (archive). | public |
| substrate/ | AXIOM ledger: latest seal, anchors, collectors, recent envelopes. Browsable. | public |
| seal/transparency_log.json | Seals issued by seal.croviatrust.com, Merkle-logged. | public |
| global_ranking.json | 2026 archive: model-card checklist coverage (20 items) per model and organisation. Counts of what is present and absent, not grades. | public |
| /report/report.json · /feed.xml | Weekly Silence Report: models observed, epochs anchored, longest verifiable silences. JSON and RSS. | public |
| forensic_dossiers.json · forensic_report.json | Court-ready dossiers and memorization probes. Engagement letter first. | professional |
Full endpoint list, rate limits and licences: Data & API. Machine-readable: openapi.yaml · llms.txt. Public/professional boundary is recorded in the project canon.