Open Kioku Verify Change Contract
verify_change_contractVerify changed files or a diff against a stored or inline change contract to ensure edits meet specified constraints, with optional API and dependency checks.
Instructions
Verify changed files or a diff against a stored or inline change contract. Stored contract ids append verification records to .ok/contracts. Use after edits to verify a diff against a stored or inline change contract. Stored contract ids append verification records under .ok/contracts, and command execution is opt-in via run_commands.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| diff | No | The unified diff showing the actual changes. | |
| format | No | Return format. Defaults to json. | |
| contract | No | Inline ChangeContractV1 or StoredContractRecord object. | |
| since_plan | No | Optional git revision/range used with git diff --unified=0 to derive changed files and diff input. | |
| contract_id | No | Stored contract id. | |
| run_commands | No | Set true to execute validation commands defined in the contract. | |
| changed_files | No | List of repository-relative paths of changed files. | |
| contract_json | No | JSON-encoded ChangeContractV1 or StoredContractRecord. | |
| evidence_refs | No | List of evidence reference identifiers. | |
| check_api_surface | No | Set true to detect public API additions, removals, and signature changes during verification. | |
| write_attestation | No | Set true with run_commands and a stored contract id to persist validation attestations. | |
| traceability_strict | No | Set true to reject supplied evidence references that are not present in the contract. | |
| check_dependency_delta | No | Set true to detect dependency graph deltas and flag forbidden dependency additions. | |
| validation_attestations | No | Previously recorded validation attestations to replay during verification. |
Output Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| value | No | Wrapped non-object output, used for Markdown, TOON, or scalar responses. |