feat: add formal verification — Lean 4 soundness proofs + proptest for permission lattice#42

bordumb merged 1 commit intomainauths-dev/capsec:mainfrom

dev-leanProofauths-dev/capsec:dev-leanProofCopy head branch name to clipboard