guard_dominance
Evaluates whether guards on a call path from entry to effect dominate the effect, returning proven, skippable, or undecided evidence and never giving a safety verdict.
Instructions
Check whether recognized guards on an entry-to-effect call path dominate the effect. Returns proven, skippable, or undecided evidence and never emits a safety verdict.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| depth | No | ||
| entry | Yes | ||
| effect | Yes | ||
| format | No | text (compact, default) | json (structured result page) |