Plan evidence-aware electronics verification
electronics_plan_verificationBuilds a deterministic, simulator-neutral verification plan from explicit claims and bounded caller-reported evidence, without reading files or running tools.
Instructions
Builds a deterministic, simulator-neutral plan for explicit claims using bounded caller-reported evidence. It reads no files, runs no tools or simulators, authenticates no receipts, and never certifies physical hardware.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"target": "<target>",
"claims": "<claims>"
},
"name": "electronics_plan_verification"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| claims | Yes | ||
| target | Yes | ||
| evidence | No | ||
| declaredInterface | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ok | Yes | ||
| data | No | ||
| error | No | ||
| context | Yes | ||
| summary | Yes | ||
| diagnostics | Yes | ||
| nextActions | Yes | ||
| contractVersion | Yes |