guard_dominance
Determine whether guards on an entry-to-effect call path dominate that effect, returning evidence classified as proven, skippable, or undecided—without emitting 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) |