Function verifyPolicyComposition

verifyPolicyComposition(policies: FormalPolicyRule[][]): PolicyCompositionResult
Verify that a set of policies can be composed without conflict. Uses SAT-style witness search: find a state where two rules disagree.
Parameters
- policies: FormalPolicyRule[][]
Returns PolicyCompositionResult
- Defined in src/enforce/formalVerification.ts:644