Model record ● live · TACET

deepseek-ai / DeepSeek-R1

No training-data disclosure found on the model card.

At every check so far the published predicate returned false: the card does not name its training data. Crovia fetches the Hugging Face model card of deepseek-ai/DeepSeek-R1 in hourly TACET epochs, runs the published predicate crovia.pred.hf-card-training-data 1.0.0 over the exact bytes, signs the result and commits it to a sparse Merkle map that is anchored in Bitcoin. Numbers below are observation facts, not a judgement of the model.

66
signed observations
since 2026-09-19
66
returned “not found”
predicate false
62
epochs confirmed in Bitcoin
only these count
2026-09-22 23:19
last check (UTC)
hourly cadence
77
current TACET epoch
map: disclosure

Verify it yourself

no account · no Crovia server in the loop
Level-2 silence proof

A signed proof exists for this model

The proof wraps every negative observation of deepseek-ai/DeepSeek-R1 in a Crovia Seal: sparse-Merkle non-inclusion for each epoch, the drand round that opened it and the OpenTimestamps receipt that closed it. Your browser checks all of it, Bitcoin anchor included.

Verify in your browserproof .seal.json
pip install crovia-tacet-operator crovia-seal
curl -sO https://croviatrust.com/registry/data/tacet/proofs/deepseek-ai__DeepSeek-R1.seal.json
tacet-operator verify deepseek-ai__DeepSeek-R1.seal.json
What this record means

Observation facts only

  • Surface: the raw model card on Hugging Face (last fetched URL). A disclosure published elsewhere is not seen here.
  • Predicate: crovia.pred.hf-card-training-data 1.0.0 — a pure function of the bytes, published with its hash. It accepts thin disclosures; it never rates quality.
  • Time: each epoch is opened by a drand round and closed by a Bitcoin block, so the window is not chosen by Crovia.
  • Not a grade. Crovia does not rank, score or accuse. It records what was observable, signs it, and lets anyone check.

Also in the 2026 archive

first-generation collector · observation paused 2026-06-01
observed days of silence3 (observation-bounded)
signed observations66
first / last observation2026-09-19 18:23 UTC → 2026-09-22 23:19 UTC
collectortacet
axiom idn/a

Embed the record

badge regenerates hourly · links back here
Badge

Crovia badge for deepseek-ai/DeepSeek-R1

[![Crovia](https://croviatrust.com/badge/m/deepseek-ai/DeepSeek-R1.svg)](https://croviatrust.com/m/deepseek-ai/DeepSeek-R1/)

shields.io endpoint: https://croviatrust.com/badge/m/deepseek-ai/DeepSeek-R1.json

Machine-readable

Same facts, as data

this model/badge/m/deepseek-ai/DeepSeek-R1.json
every model/registry/data/model_records.json
live per-target summary/registry/data/tacet/targets.json
model cardhuggingface.co/deepseek-ai/DeepSeek-R1

Generated 2026-09-23 01:11 UTC from public files under /registry/data/. Browse all model records or read how TACET works. Errors: [email protected].