audit_contract
Verifies wire contracts across multiple source files, detecting missing tokens, schema version drift, and ordering bugs. Returns a block or pass verdict.
Instructions
Verify a wire contract (token list / field set / schemaVersion) is identical across N independent source files (iOS Swift, proxy JS, Android Kotlin). Flags missing/inconsistent tokens, schemaVersion drift, and prefix-ordering bugs (a contained token matched before the longer one). BLOCK/PASS verdict.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file_paths | Yes | ||
| contract_spec | Yes |