Muse-Glimmer-30B, 6.34% of the decoder removed, Q4_K with distillation-recovered scales (GGUF)
Research artifact, not a general-purpose release.
- What was changed: the healed 6.34% model at Q4_K with every block's fp16 scales retrained by distillation against the BF16 parent; integer codes unchanged.
- Why it exists: to close the gate the surgery study left open: the 6.34% model could not ship at plain Q4_K (0.05815, fail); with recovered scales it reads 0.04949 / 97.90%, inside the bar.
- Parent model: Muse-Glimmer-30B-Surgical-Q8_0-GGUF, itself from meta-models/Muse-Glimmer-30B
- Useful for normal inference? as usable as the Q8_0 sibling at half the bytes, with the same benchmark-annex caveat.
- Experiment: Model Surgery and Scale Recovery
- Evidence: scale-recovery evidence (dataset: preregistration, four-arm scores, logs, code), also copied under
evidence/here- Runner compatibility: any Runner release; Q4_K is GPU-resident; any runtime that runs the parent runs this file.
The healed 6.34% surgical model — FFN sublayers of layers 4, 7, 9 and 48 removed, one FFN retrained per cut, the same weights as the published Q8_0 release — at Q4_K, 14.61 GiB, with every quantised block's scales retrained against the frozen BF16 parent. Mean KLD 0.04949, margin-qualified top-1 97.90% on the study's 45,056-position held-out split — inside the house bar.
This closes the gate the surgery study left open. Its dense-ladder arithmetic (L6) found the 6.34% model could not ship at Q4_K: BF16 surgery cost 0.03857 plus the Q4_K quantisation term 0.01930 lands near 0.056, and three levers on the surgery term left the gap at +0.00561. Recovery attacks the quantisation term instead — and the two turn out not to be independent once the scales are trained.
Serve with xyntetik-runner
runner -m Muse-Glimmer-30B-surgical-6p34-Q4_K-recovered.gguf --serve --port 8080
Q4_K is GPU-resident in Runner. The 12 removed FFN tensors are stored as exact zeros in standard shape, as in the Q8_0 release, so any runtime that runs the parent GGUF runs this file with no loader changes.
Quickstart
runner -m Muse-Glimmer-30B-surgical-6p34-Q4_K-recovered.gguf -p "The lighthouse keeper" -n 64
What was changed, exactly
Two layers of change, each recorded in its own sidecar:
- Surgery (
SURGERY.json, from the study): FFN sublayers at layers 4, 7, 9 and 48 zeroed; the first surviving FFN downstream of each cut (layers 5, 8, 10 and 49) retrained against the frozen parent on the run-9 audited corpus (14.4× dose). These are the weights ofMuse-Glimmer-30B-Surgical-Q8_0-GGUF(run9_d14x_bf16.gguf). - Quantisation: Runner's own quantiser,
--quant q4_k, every quantised tensor Q4_K (418 tensors), F32 elsewhere. Unmodified, this file scores 0.05615 / 97.41% — FAIL. - Recovery (
RECOVERY.json): the fp16danddminscale fields of every block in 416 Q4_K tensors (196,591,616 fields) retrained; every integer code, every F32 tensor, the embedding and output-head scales, all metadata and offsets unchanged. Byte length identical to the unrecovered file. Verified: every patched tensor re-decodes to the trained weights, every other tensor is byte-identical. Largest change to any decoded weight: 0.0071.
Training: 400 steps × one 2048-token window of corpus_run9 (0.82 M tokens,
the study's window-audited training corpus, nothing else; 20 of its 474 sequences
held aside as the kill-check dev proxy, the study's held-out split never read
during training), lr 3e-4 cosine,
top-64 forward KL to the parent through the study's own bf16 streamer and
softcapped logit function, only scales trainable.
Why scales, and what the control found
In a fixed GGUF the per-block scale is the remaining continuous degree of freedom, linear in the decoded weight for every block format; it can be trained end to end against the parent's distribution without reimplementing any codec. The study's ladder had attacked only the surgery term (healing dose, seeds, rung-2 adapters, wider repair windows). This is the first lever on the other term.
The preregistered control — the same recovery on the parent's Q4_K, no surgery — tested whether the study's independence law (quantisation and surgery costs additive, five prior points at 0.965–0.996×) survives recovery. It does not:
| KLD | margin-q | |
|---|---|---|
| parent Q4_K, unmodified (quant term) | 0.01930 | 99.12% |
| parent Q4_K, recovered | 0.01518 | 99.43% |
| additive prediction for this file: 0.03857 + 0.01518 | 0.05375 | |
| this file, measured | 0.04949 | 97.90% |
| implied stacking factor | 0.921 |
Recovery removed 21% of the quant term on the parent and 38% on the surgical
file: scales trained against the parent took back part of the surgery
error too. Recovered quantisation and surgery are the first sub-additive pair
in the study's compounding taxonomy. Preregistered as the refutation outcome
(supported-preregistered); the mechanism is an interpretation
(supported-exploratory). It moves the ladder's gate from BF16 surgery
≤ 0.0307 to ≤ ~0.039 at recovered Q4_K, which predicts the rung-2 6.34% model
at ≈ 0.0474 — a test written down before it is run.
Measured envelope
Study scorer (run6_x1_score.py), 11 held-out sequences / 45,056 positions,
frozen BF16 parent, never trained on:
| artifact | size | KLD | margin-q | verdict |
|---|---|---|---|---|
| this file: surgery + Q4_K + recovered scales | 14.61 GiB | 0.04949 | 97.90% | PASS |
| surgery + Q4_K, unrecovered | 14.61 GiB | 0.05615 | 97.41% | FAIL |
| same weights at Q8_0 (published) | 27.58 GiB | 0.03883 | 98.34% | PASS |
| same weights, BF16 | 51.90 GiB | 0.03857 | 98.38% | PASS |
| parent at Q4_K (control) | 14.61 GiB | 0.01930 | 99.12% | PASS |
| parent at Q4_K, recovered (control) | 14.61 GiB | 0.01518 | 99.43% | PASS |
Runner fidelity (scripts/kld-compare-raw.py, both models on CPU, 500
positions of the detokenised held-out split, tie band 0.5 nats):
| vs BF16 parent | mean KLD | top-1 | margin-q | top-8 |
|---|---|---|---|---|
| surgery + Q4_K, unrecovered | 0.0519 | 95.20% | 98.80% | 0.837 |
| this file | 0.0474 | 95.40% | 98.80% | 0.849 |
Both instruments agree on the headline: the unrecovered file fails the KLD term, this file passes it. The 500-position runner pair's paired interval includes zero; the 45,056-position study scorer resolves the same pair at 9.4× the study's ±0.00071 noise floor.
Benchmark annex (separate quantity): HellaSwag validation, fixed random 1,000-item subsample, parent and candidate through one instrument, paired.
| acc | acc_norm | |
|---|---|---|
| BF16 parent | 61.7% | 83.5% |
| this file | 61.2% | 82.2% |
| paired Δ (points), 95% bootstrap | −0.50 [−1.70, +0.70], p = 0.50 | −1.30 [−2.50, −0.10], p = 0.047 |
The study's published full-n figure for this surgery at BF16 is −1.52 [−1.87, −1.15] on acc_norm; quantisation plus recovery added no measurable task loss beyond the surgery's own within this subsample's interval.
Limits, read before quoting
- The margin under the bar is 0.00051 — 0.7× the study's ±0.00071 noise floor. This file passes because it was measured, not comfortably; a different training seed could plausibly land either side. The same qualification the study attached to its 4.75% Q4_K release (#30).
- Parent-agreement is not a capability benchmark. The annex shows the surgery's task cost persists: fidelity and benchmark equivalence are different quantities.
- "No quality loss" is not claimed and is not supported by this evidence.
- Two fidelity instruments, two protocols. Study-scorer KL is full-vocabulary variant‖parent; the runner harness is variant‖reference over the top-20 union. Not interchangeable.
- Size is not reduced by the surgery. The zeroed FFN tensors are still stored (0.84 GiB at Q4_K, verified still exact zeros after recovery); dropping them is a runtime-side edit not applied here.
- Selection data.
corpus_run9trained the scales; the held-out split was opened once, by the scorer, for the numbers above. Benchmark items touched none of the study's data. - One model, one corpus, one shared 24 GB slice.
Reproduce
# 0. Starting point: the study's healed BF16 (weights of the published Q8_0).
# 1. Quantise with Runner's own quantiser.
runner -m run9_d14x_bf16.gguf --quantize healed_6p34_run9_q4_k --quant q4_k
# 2. Decompose (codes frozen, scales trainable; bit-exact by construction).
python build_unit_cache.py --gguf healed_6p34_run9_q4_k.gguf --output cache/
# 3. Teacher targets from the frozen parent through the study's streamer.
python muse_teacher.py --output teacher-run9
# 4. Train the scales.
python train_muse_scales.py --gguf healed_6p34_run9_q4_k.gguf --cache cache/ \
--teacher teacher-run9 --steps 400 --seq-tokens 2048 --lr 3e-4 --output run/
# 5. Write back with verification.
python write_scales.py --arch muse --source healed_6p34_run9_q4_k.gguf --cache cache/ \
--checkpoint run/checkpoint-00400.pt --output Muse-Glimmer-30B-surgical-6p34-Q4_K-recovered.gguf
# 6. Score on the study's held-out split.
python scripts/run6_x1_score.py --variants variants.json --out score.json
Code in code/; the preregistration (hypothesis, lean, criteria, kill rule,
and the control) with its commit timestamps in evidence/PREREG_MUSE_SR1.md.
Provenance
- Parent:
meta-models/Muse-Glimmer-30B, revisiona4e59da52a7bc87ae7251dd5545c0dd437c44b68, Apache-2.0. - Surgical weights: the Muse-Glimmer surgery study's
run9_d14x_bf16.gguf(healed FFN[4,7,9,48], 14.4× dose), published asJoakimpalm-Zen/Muse-Glimmer-30B-Surgical-Q8_0-GGUF;SURGERY.jsonincluded. - Unrecovered Q4_K: SHA-256
7a780a3e21b34341…, 15,686,266,304 bytes. - This file: SHA-256
12a429483b18aefc…, 15,686,266,304 bytes. - Training checkpoint: SHA-256
9ed79cd4d6667a84…, step 400. - Training data:
corpus_run9only (window-audited); the first 2048 tokens of 400 of its 454 training sequences, each seen once, seed 20260913; hashes inRECOVERY.json.