stepfun-ai/StepFun-Formalizer-7B warn
Its license differs from its base model's; the chat template differs from its base model, which changes behavior; glitch tokens that can silently corrupt ordinary input.
claims base: deepseek-ai/DeepSeek-R1-Distill-Qwen-7B · chat template: present · view on Hugging Face ↗
Scan coverageStatic battery2026-08-21Weights battery2026-08-21Behavioral batterynot rundetails
| Battery | Looks at | Status |
|---|---|---|
| Static battery | Metadata & packaging | complete 2026-08-21 |
| Weights battery | Weights forensics: no GPU, no download | complete 2026-08-21152,064-token embedding scanned · 14086 undertrained · lineage consistent |
| Behavioral battery | Live-inference differentials | not run |
Ingot runs three batteries against a model. What each one checks →
Findings
Scanned 2026-08-21 · published from a community scan.
medium License differs from claimed parent (apache-2.0 vs mit)
This model declares apache-2.0 while its claimed base deepseek-ai/DeepSeek-R1-Distill-Qwen-7B declares mit. Verify the re-license is permitted before commercial use.
How to fix
Verify the re-license is actually permitted before relying on it.
- Read the parent's license for derivative-work and re-licensing terms — many open-weight licenses (e.g. Llama-family) do not permit arbitrary re-licensing.
- If the re-license is not permitted, the parent's terms govern your use regardless of what this repo declares.
medium Chat template differs from claimed parent
The chat template does not match deepseek-ai/DeepSeek-R1-Distill-Qwen-7B's. Template drift silently changes model behavior even when weights are identical — 37% of drifted derivatives in our census left it undisclosed. Diff the templates before deploying.
How to fixingot patch
Restore the parent's chat template in `tokenizer_config.json` — a pure metadata fix.
- Run `ingot patch <owner/model>` — the patch manifest carries the parent's template and applies it to a local copy's `tokenizer_config.json`.
- Or fix by hand: copy the `chat_template` value from the parent repo's `tokenizer_config.json` into this model's, and pin your serving stack to that file.
- If the drift was intentional (the author retrained on a new template), confirm that in the model card before "fixing" it — restoring the parent template on retrained weights changes behavior too.
medium Undertrained (glitch) token surface in vocabulary
Embedding-norm scan flagged 14086 undertrained tokens (norm < 0.3× the vocabulary median of 1.160), including 3462 plain-ASCII strings that can appear in ordinary input as identifiers — e.g. "TokenNameIdentifier", "ForCanBeConverted", "ForCanBeConvertedToF", "$PostalCodesNL", "<unk>", "useRalative", "useRal", "Cumhurba". In models where this class was tested behaviorally, such tokens silently rewrote user input into confident, schema-valid, wrong output. These are candidates from the weights alone; behavioral confirmation requires the behavioral battery.
How to fixruntime guardweight-level
Keep the affected token strings out of the model's input — the scan-derived runtime guard carries this model's exact blocklist.
- Fetch this model's guard artifact (`/api/v1/guard/<owner>/<model>`): the confirmed corrupting tokens and the low-norm candidate list, derived from the published scan.
- Screen inbound text with it (the `@ingotai/guard` package is a reference implementation) and route flagged records to a different model or human review — verbatim-copy tasks on flagged strings are the failure mode.
- The underlying cause is undertrained embeddings in the weights; a true fix is weight-level (continued pretraining on the affected tokens) — that is not a patch, it's a training job.
info Weights consistent with claimed parent deepseek-ai/DeepSeek-R1-Distill-Qwen-7B
Mean cosine similarity of 64 sampled token-embedding rows against deepseek-ai/DeepSeek-R1-Distill-Qwen-7B is 1.000 — the weights plausibly descend from the declared base (relation: unspecified).
Check every checkpoint before it ships
Use the web app, API, CLI, or CI gate to scan candidate checkpoints and catch model drift before deployment. Public-model scans publish to the open database; paid plans add the volume needed for continuous checks.
Fix it
Some findings are metadata-level and patchable — apply the fixes to your local copy (your weights never leave your machine):
npx @ingotai/scan patch stepfun-ai/StepFun-Formalizer-7B
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-21.
| architecture | qwen2 · 28 layers · 3584-dim |
| parameters | 7615.6M |
| vocabulary | 152,064 tokens |
| license | apache-2.0 |
| serialization | safetensors |
| chat template | present · sha256:b6835114b7303ddd |
| claimed lineage | deepseek-ai/DeepSeek-R1-Distill-Qwen-7B |
| lineage verified | consistent vs deepseek-ai/DeepSeek-R1-Distill-Qwen-7B — embedding-row cosine 1.000 |
| glitch-token surface | 14,086 undertrained candidates, 3,462 plain-ASCII |
Full measured fingerprint
| architectures | Qwen2ForCausalLM |
| library | transformers |
| pipeline | text-generation |
| repo files | 14 |
| revision | fb0dc612761f |
| HF snapshot | 1.2k downloads · 6 likes · updated 2025-10-13 · captured 2026-08-21 |
| embedding tensor | model.embed_tokens.weight · BF16 · 152,064×3584 |
| embedding norms | median 1.1598 · mean 1.0363 |
| lineage check | consistent — cosine 1 over 64 sampled rows vs deepseek-ai/DeepSeek-R1-Distill-Qwen-7B |
| glitch-token samples | "TokenNameIdentifier", "ForCanBeConverted", "ForCanBeConvertedToF", "$PostalCodesNL", "<unk>", "useRalative", "useRal", "Cumhurba", "webElementX", "NdrFc", "_ComCallableWrapper", "NdrFcShort" |
Battery runs (1)the run trace behind the findings — what each job measured
| battery | status | queued | duration | attempts |
|---|---|---|---|---|
| weights | complete | 2026-08-21 05:12 | 4m | 1 |
weights run 2026-08-21 — measurements
| probes run | glitch-norm-scan, lineage-norm-correlation |
| embedding tensor | model.embed_tokens.weight · BF16 · 152,064×3584 |
| glitch surface | 14,086 undertrained, 3,462 plain-ASCII |
| lineage check | consistent — cosine 1 over 64 rows vs deepseek-ai/DeepSeek-R1-Distill-Qwen-7B |
Verdict badge
Ship the verdict in your README — it always shows the latest published analysis:
[](https://ingot.tools/models/stepfun-ai/StepFun-Formalizer-7B)