purewhite42/DExplorer-8B warn
Weights only ship in a format that can run code when loaded.
claims base: Goedel-Prover/Goedel-Prover-V2-8B · chat template: present · view on Hugging Face ↗
Scan coverageStatic battery2026-08-25Weights batteryqueuedBehavioral batterynot rundetails
| Battery | Looks at | Status |
|---|---|---|
| Static battery | Metadata & packaging | complete 2026-08-25 |
| Weights battery | Weights forensics — no GPU, no download | queued |
| Behavioral battery | Live-inference differentials | not run |
Ingot runs three batteries against a model. What each one checks →
Findings
Scanned 2026-08-25 · published from a community scan.
medium Pickle-serialized weights, no safetensors
Weights ship only as pickle-based files (pytorch_model-00001-of-00009.bin, pytorch_model-00002-of-00009.bin, pytorch_model-00003-of-00009.bin, …). Loading pickle executes arbitrary code from the file — prefer a safetensors release or load in a sandbox.
How to fix
Convert the weights to safetensors before loading them anywhere that matters.
- Do not load the pickle files in-process — pickle deserialization executes arbitrary code from the file.
- Convert locally in a sandbox: `pip install safetensors` and use `safetensors.torch.save_file` on a state dict loaded with `torch.load(..., weights_only=True)` (refuses most code-execution payloads), or use Hugging Face's `convert.py` space/script.
- Pin the exact revision hash you converted from, and load only your converted safetensors artifact from then on.
info Claimed parent Goedel-Prover/Goedel-Prover-V2-8B not readable
The declared base model could not be fetched from the Hugging Face API, so lineage differentials (template, license, tokenizer) could not be verified.
How to fix
Fix or verify the `base_model` declaration so lineage checks can run.
- If you own the repo: correct the `base_model` field in the model card metadata to the real, public parent.
- If you don't: identify the true parent (config architecture + weight shapes narrow it fast) and re-scan with that lineage in mind.
Remediation guidance addresses the documented findings only. It is evidence-driven repair, not a safety certification of the model.
Fingerprint
The durable profile of this model: measured weights-and-metadata facts, rebuilt on every scan and battery run. Updated 2026-08-25.
| architecture | qwen3 · 36 layers · 4096-dim |
| vocabulary | 151,936 tokens |
| license | apache-2.0 |
| serialization | no safetensors pickle |
| chat template | present (chat_template.jinja) · sha256:a55ee1b1660128b7 |
| claimed lineage | Goedel-Prover/Goedel-Prover-V2-8B |
| lineage verified | unverified — weights battery pending |
Full measured fingerprint
| architectures | Qwen3ForCausalLM |
| library | transformers |
| pipeline | text-generation |
| repo files | 22 — pickle: pytorch_model-00001-of-00009.bin, pytorch_model-00002-of-00009.bin, pytorch_model-00003-of-00009.bin, pytorch_model-00004-of-00009.bin, pytorch_model-00005-of-00009.bin, pytorch_model-00006-of-00009.bin, pytorch_model-00007-of-00009.bin, pytorch_model-00008-of-00009.bin, pytorch_model-00009-of-00009.bin |
| revision | b1e10aaba91c |
| HF snapshot | 17 downloads · 0 likes · updated 2026-02-28 · captured 2026-08-25 |
Battery runs (1)the run trace behind the findings — what each job measured
| battery | status | queued | duration | attempts |
|---|---|---|---|---|
| weights | queued | 2026-08-25 22:20 | — | 0 |
Verdict badge
Ship the verdict in your README — it always shows the latest published analysis:
[](https://ingot.tools/models/purewhite42/DExplorer-8B)