-- These tables implement immutable records for AZR amendments. -- Axiom 14 (Temporal Irreversibility) is enforced by hash chaining. '∀ amendment ∈ System.Amendments: amendment.valid ⇔ (amendment.type ...