gate_count
Counts states admitted when a policy check is removed, revealing redundant checks. A zero count means the check is redundant.
Instructions
Exactly how many states does removing a check admit? Replaces 'we found no escapes' with a count. Zero means the check is REDUNDANT, which is a finding. Requires gatecount.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| domain | Yes | each variable to a list of values or {lo, hi[, step]} | |
| policy | Yes | the full policy, with the check | |
| weakened | Yes | the policy with the check removed |