Get Assertion Types
get_assertion_typesRetrieve the complete catalogue of assertion types accepted by submit_assertions, including required and optional parameters, soundness classes, and worked examples, so you can write valid assertions before submitting them.
Instructions
List the assertion types submit_assertions accepts, with their params.
Read-only. Returns the catalogue as structured data: every type, what it
proves, its soundness class, which params it requires, which it
accepts (an array-valued param carries its item_schema), and a
worked example. soundness_classes defines the five classes by the
fact a pass establishes, weakest to strongest — presence,
under_approximating_scan, existential_witness,
sound_over_approximation, by_construction — and
sound_classes names the two that can credit a for-all clause.
covers gives the accepted form of a binding declaration.
Call this before writing assertions. submit_assertions names the types and their required params in its own description, but descriptions are prose a client may present only in part, and a half-list reads exactly like a whole one. This returns data, so what you get back is the complete contract.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| types | No | Optional comma-separated type names to return (e.g. "file_exists,pattern_absent"). Omit for all of them. | |
| server_version | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||