elenchus_end_session
Conclude verification sessions by submitting a final verdict (PASS, FAIL, or CONDITIONAL) to complete adversarial code analysis.
Instructions
End the verification session with a final verdict.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| sessionId | Yes | Session ID | |
| verdict | Yes | Final verdict: must be exactly "PASS", "FAIL", or "CONDITIONAL" |