submit_functional_tests
Attach machine-verifiable assertions to a functional test so CI can independently verify the test exists and passes.
Instructions
Attach machine-verifiable evidence assertions to a functional test so CI can verify it. Mutating.
This is the functional-conformance analog of submit_assertions (which covers security controls): it binds assertions such as "the test exists" and "the test passes" to a functional test, and an independent CI run against the named repo is what turns an operator's "verified" claim into verified state. Call it after the test is implemented (e.g. following get_functional_scan_prompt), then read the resulting state via get_functional_coverage or get_functional_test_sufficiency.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| model_id | Yes | ID of the threat model. | |
| server_version | Yes | ||
| assertions_json | Yes | JSON array of assertion objects, each {"type": "test_passes" | "test_exists" | ..., "params": {...}, "description": "...", "repo": "<owner>/<repo>"}. Every assertion must carry an explicit repo, or the "no_repo" sentinel when the check is not tied to a repository. | |
| functional_test_id | Yes | The functional test the assertions prove. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||