{"flagship":"amaru","version":"1.0.0","api":"v1","doctrine":"v11","kernel_commit":"c7c0ba17","declarations":749,"axioms":14,"sorries":163,"lambda":"Conjecture 1 (NOT a theorem)","slsa":"L1 (honest)","ts":"2026-06-03T06:54:52.580175+00:00"}