Jacobian mathematics
Use Jacobian when a mathematical task benefits from exact computation or a
bounded check. Search with math.find, then execute a selected operation with
math.run.
Keep the mathematical reasoning in the agent. Treat operations as atomic instruments: compose their typed results yourself rather than asking discovery to prescribe a proof strategy or workflow.
Before running an operation:
- Inspect its exact request schema and mathematical scope with
math.find. - Supply canonical mathematical values without backend-specific expressions or ambient contexts.
- Respect the operation's declared bounds and distinguish exact results from incomplete, unknown, unavailable, or transport outcomes.
Use returned values and certificates only for the conclusion they establish. Absence of a witness, a timeout, or an incomplete search is not a proof of a global mathematical claim.