v4.2.02026-10-28current
Provable hard-limit immutability
- Published formal verification proof that hard limits survive any platform_admin override attempt.
- Added Rego and Terraform HCL export targets to the Policy Builder.
- Tightened dead-man switch grace period from 15s to 11s on critical-risk sessions.