Run a mathematical operation
math.runRun a math capability by ID with its typed payload, returning the calculated output and execution status. Check math.find for contract details if the payload shape is unknown.
Instructions
Run one installed math tool by ID with its typed payload. Read the mathematical
value in output first, then execution status. If the payload shape is unknown,
use math.find with view CONTRACT.
Ordinary tools return calculations. Independent checking uses a separate checker
tool ID (for example polynomial.identity.verify or case.partition.finite.verify),
not a switch on the producer. Failed or incomplete runs are not mathematical conclusions.
Examples:
{"capability_id":"integer.compute.gcd","payload":{"left":"84","right":"30"}}{"capability_id":"polynomial.identity.verify","payload":{"variables":["x"],"left":{"terms":[]},"right":{"terms":[]}}}
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| payload | Yes | ||
| capability_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| scope | No | ||
| output | No | ||
| provider | No | ||
| assurance | Yes | ||
| execution | Yes | ||
| diagnostics | No | ||
| obligations | No | ||
| completeness | No | ||
| artifact_uris | No | ||
| capability_id | Yes | ||
| relationships | No | ||
| provider_digest | No | ||
| response_version | No | 2 | |
| capability_version | Yes |