Xenova / segformer-b0-finetuned-ade-512-512
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 Xenova/segformer-b0-finetuned-ade-512-512 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.
Verify it yourself
Every observation is in the public log
Each hourly epoch sheet lists the snapshot of Xenova/segformer-b0-finetuned-ade-512-512 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.
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
| observed days of silence | 112 (observation-bounded) |
| signed observations | 55 |
| first / last observation | 2026-02-09 02:00 UTC → 2026-06-01 11:01 UTC |
| collector | autonomous_observer |
| axiom id | axm_ad998cec44c0fa65c97dd1a98b5f45a29de28ae2d0b21db3b252a76a2fcc7fac |
Embed the record
[](https://croviatrust.com/m/Xenova/segformer-b0-finetuned-ade-512-512/)
shields.io endpoint: https://croviatrust.com/badge/m/Xenova/segformer-b0-finetuned-ade-512-512.json
Same facts, as data
| this model | /badge/m/Xenova/segformer-b0-finetuned-ade-512-512.json |
| every model | /registry/data/model_records.json |
| live per-target summary | /registry/data/tacet/targets.json |
| model card | huggingface.co/Xenova/segformer-b0-finetuned-ade-512-512 |
Generated 2026-09-27 16:09 UTC from public files under /registry/data/. Browse all model records or read how TACET works. Errors: info@croviatrust.com.