feat(gf16): port GPTQ Hessian-correction with GF16 quantiser (replicates parameter-golf#2135 lever on CPU)#649

Merged

gHashTag merged 6 commits into

mainfrom

feat/gptq-on-gf16

May 19, 2026

Commits on May 9, 2026

feat(gf16): add GPTQ Hessian-correction with GF16 inner quantiser Q
Dmitrii Vasilev
committed
test(gf16): run 3-seed×N ablation, emit calibration_ablation.jsonl
Dmitrii Vasilev
committed
proof(coq): INV-26 gptq_reconstruction_dominates_naive, 0 Admitted
Dmitrii Vasilev
committed
docs(wave26): add wave26 report, MIGRATION.md, coq_runtime_invariants.json
Dmitrii Vasilev
committed
chore: add coq aux file
Dmitrii Vasilev
committed
chore: drop orphan submodule gitlinks (CI hygiene)
Dmitrii Vasilev
committed