hirokifukui/rational-derived-audit: v1.2.0 — Saturation certificates and adjudication addendum

v1.2.0 — Saturation certificates and adjudication addendum audit/bm2000_audit/saturation.log: unconditional saturation checks (index 1, Sage 10.8) for the three generators cited in the companion note: (-8, 36) on E0; (-12, 36) on E; (-35, 240) on the minimal model of E33. certificates/ADJUDICATION.md: addendum recording the prose discharge scan (BM2000, ll. 557-625) complementing the structural kernel record. This is the fixed version cited by the companion manuscript (Code availability).