Replace formal benchmark shim with full Mathlib audit

Compile official FPS source in kernel audit

Widen formal FPS evidence with Lean kernel audit

Publish validated ICML reproduction

initial commit