Crovia — verifiable silence (TACET) and Crovia Seal

Live totals of Crovia's TACET log: epochs closed and anchored in Bitcoin, models on the map, negative snapshots, signed silence proofs, the longest verifiable silence and the latest weekly Silence Report. Every figure with its source URL.

{
  "type": "object",
  "properties": {},
  "additionalProperties": false
}

What Crovia has observed about one AI model (Hugging Face id, e.g. 'Qwen/Qwen3-32B'): latest verdict on the monitored surface, negative snapshots and how many are Bitcoin-anchored, the published silence proof if any, the 2026-archive silence, badge and record URLs.

{
  "type": "object",
  "properties": {
    "model": {
      "type": "string",
      "description": "Hugging Face model id, org/name"
    }
  },
  "required": [
    "model"
  ]
}

Find observed models by substring of their id (e.g. 'mistral'). Returns id, live status, last result and record URL.

{
  "type": "object",
  "properties": {
    "query": {
      "type": "string"
    },
    "limit": {
      "type": "integer",
      "minimum": 1,
      "maximum": 100
    }
  }
}

The published TACET silence proof for a model (or the index of all proofs): silence_days, observed window, epochs, seal id, URL, and how to verify it in the browser, in Python, or with verify_seal. Set include_bundle=true to receive the full crovia.seal.v1 bundle.

{
  "type": "object",
  "properties": {
    "model": {
      "type": "string"
    },
    "include_bundle": {
      "type": "boolean"
    }
  }
}

Verify a crovia.seal.v1 object or a wrapped TACET silence proof offline: signature, canonical bytes, bindings, per-epoch non-inclusion paths. Pass the object as 'seal' or a croviatrust.com URL as 'url'. check_anchors=true also checks the drand round and the Bitcoin anchors (network).

{
  "type": "object",
  "properties": {
    "seal": {
      "type": [
        "object",
        "string"
      ]
    },
    "url": {
      "type": "string"
    },
    "check_anchors": {
      "type": "boolean"
    }
  }
}

Facts of the weekly Silence Report: models observed, epochs closed and anchored, negative snapshots, proofs, longest verifiable silences. Latest week by default, or a given ISO week like '2026-W38'.

{
  "type": "object",
  "properties": {
    "week": {
      "type": "string"
    }
  }
}

Canonical definitions of Crovia terms: tacet, silence, lacuna, seal, epoch, pnx, predicate, canon. Without a term, returns all.

{
  "type": "object",
  "properties": {
    "term": {
      "type": "string"
    }
  }
}

Disambiguate Crovia (AI training-data disclosure observatory) from Causari (code-provenance developer tool).

{
  "type": "object",
  "properties": {},
  "additionalProperties": false
}