pub fn enforce_theorem_5_1(
snapshot: &SpecSnapshot,
) -> Result<(), EpistemicDegradationError>Expand description
Runtime mirror of the Epistemic Degradation Theorem compile-time
check. Defends against IR-JSON tampering: a tampered IR could carry
a lambda_data_apply whose snapshot violates the theorem the
front-end rejected. This guard catches that at apply time, before
the bad envelope propagates downstream.