LACUNA · loss-of-auditability certificates · built on TACET silence proofs

When disclosure was not there, provably.

A LACUNA certificate states one defensible fact: during a defined window, Crovia fetched a model's public surfaces hour by hour, ran a published predicate over the bytes, and found no training-data disclosure — each observation signed, each hour opened by a public randomness beacon and closed by a Bitcoin anchor. The certificate is a TACET level-2 silence proof, wrapped in a Crovia Seal, verifiable offline by the opposing party.

not a fraud findingnot "evidence never existed"not a claim of bad faithnot damagesnot a quality gradenot an override of private records
Embed the silence index

Paste this on any page. Live, no API key, no account.

<iframe src="https://croviatrust.com/registry/embed/silence.html?target=mistralai/Mistral-7B-v0.1" width="420" height="220" style="border:0"></iframe>

Change target= to any model id from the table.

Download proofs Verify offline

Live LACUNA candidates

Every model in the TACET log with at least one absent observation. Anchored hours are the ones that count toward silence; the rest are waiting for their Bitcoin confirmation. A model that discloses leaves this table at the next epoch.

Loading…

A signed certificate for a specific window

For a regulator submission, litigation hold, M&A diligence or a newsroom fact-check: the TACET proof for the model and window you name, wrapped in a Seal we sign, with the predicate source, the archived surface copies, and a counsel-facing PDF that explains exactly what is and is not being asserted.

Request a signed LACUNA certificate I am the model provider

From €2,500 per certificate · public proofs stay free (CC-BY-4.0) · stop a LACUNA from accruing with a commitment in the map