Local-only · bounded matrix receipt

Muon update audit lab

This lab audits arithmetic and routing on bounded 2×2 through 4×4 matrices. It does not establish convergence, speedup, model quality, or a preferred hyperparameter.

Declared update

Parameter name Semantic role Dimensions Parameter matrix · rows separated by semicolons Gradient matrix · rows separated by semicolons Prior momentum matrix · rows separated by semicolons Momentum βLearning rateWeight decay

Ordered stage ledger

Stage	Shape	Norm / value	Hash	Meaning

Independent polar comparison

Measure	Polynomial update	Polar oracle	Difference

Muon update audit lab

Declared update

Ordered stage ledger

Independent polar comparison

Named negative fixtures

Canonical receipt