elenchus_record_sampling_result
Records verification results from random file sampling to document security and correctness issues found during adversarial code analysis.
Instructions
Record results from random sampling verification of a skipped file.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| sessionId | Yes | Session ID | |
| filePath | Yes | Path of the sampled file | |
| issuesFound | Yes | Number of issues found | |
| severities | Yes | Severities of issues found: array of "CRITICAL", "HIGH", "MEDIUM", or "LOW" |