Model record ● live · TACET

arithmetic-circuit-overloading / Qwen3-32B-3d-1M-100K-0.1-reverse-padzero-plus-mul-sub-99-256D-3L-8H-1024I

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 arithmetic-circuit-overloading/Qwen3-32B-3d-1M-100K-0.1-reverse-padzero-plus-mul-sub-99-256D-3L-8H-1024I 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.

2
signed observations
since 2026-09-21
2
returned “not found”
predicate false
2
epochs confirmed in Bitcoin
only these count
2026-09-25 21:06
last check (UTC)
hourly cadence
193
current TACET epoch
map: disclosure

Verify it yourself

no account · no Crovia server in the loop
Epoch sheets

Every observation is in the public log

Each hourly epoch sheet lists the snapshot of arithmetic-circuit-overloading/Qwen3-32B-3d-1M-100K-0.1-reverse-padzero-plus-mul-sub-99-256D-3L-8H-1024I with its signature and its leaf in the sparse Merkle map. Featured models get a wrapped level-2 proof automatically; for any other model you can request a certificate and receive the same object.

latest epoch sheettargets.jsonhow to verify
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.

Embed the record

badge regenerates hourly · links back here
Badge

Crovia badge for arithmetic-circuit-overloading/Qwen3-32B-3d-1M-100K-0.1-reverse-padzero-plus-mul-sub-99-256D-3L-8H-1024I

[![Crovia](https://croviatrust.com/badge/m/arithmetic-circuit-overloading/Qwen3-32B-3d-1M-100K-0.1-reverse-padzero-plus-mul-sub-99-256D-3L-8H-1024I.svg)](https://croviatrust.com/m/arithmetic-circuit-overloading/Qwen3-32B-3d-1M-100K-0.1-reverse-padzero-plus-mul-sub-99-256D-3L-8H-1024I/)

shields.io endpoint: https://croviatrust.com/badge/m/arithmetic-circuit-overloading/Qwen3-32B-3d-1M-100K-0.1-reverse-padzero-plus-mul-sub-99-256D-3L-8H-1024I.json

Machine-readable

Same facts, as data

this model/badge/m/arithmetic-circuit-overloading/Qwen3-32B-3d-1M-100K-0.1-reverse-padzero-plus-mul-sub-99-256D-3L-8H-1024I.json
every model/registry/data/model_records.json
live per-target summary/registry/data/tacet/targets.json
model cardhuggingface.co/arithmetic-circuit-overloading/Qwen3-32B-3d-1M-100K-0.1-reverse-padzero-plus-mul-sub-99-256D-3L-8H-1024I

Generated 2026-09-27 19:09 UTC from public files under /registry/data/. Browse all model records or read how TACET works. Errors: info@croviatrust.com.