Verified calculation capability

Definite integral Calculation Capability

Composite trapezoid or Simpson 1/3 of a polynomial, sin, or exp on [a, b]. Not indefinite symbolic integrate. · Math · Numerical

Capability ID math.numerical.definite_integral · version 1.0.0

Open calculator REST API MCP Evidence Evidence JSON Review policy

Model

Trapezoid

Trapezoid: h/2 · (y₀ + 2Σ yᵢ + yₙ)
Simpson 1/3: h/3 · (y₀ + 4Σ odd + 2Σ even + yₙ)

Inputs / Outputs

Canonical symbols for this capability. Agent schemas remain the contract.

Symbol	Quantity	Unit	Role
`method`	—	—	input / output
`integrand`	—	—	input / output
`a`	acceleration	—	input
`b`	—	—	input
`n`	amount of substance	—	input / output
`coeffs`	—	—	input
`value`	—	—	output
`exact`	—	—	output
`abs_err`	—	—	output

Assumptions / Validity

Declared scope for this capability. Do not use it outside this domain.

Assumptions

Not indefinite CAS
Polynomial degree ≤ 8

Example

One numerical check. The calculator page holds worked steps and FAQ.

simpson poly 0,1 on [0,1] → 0.5

Open this example in the calculator

Trust

Review-policy: engine tested — automated tests, sources, version lock, and evidence published. Supplemental to CVP; not Domain Expert Review. See CVP and Review policy.

Tier: Engine tested — catalog token engine_tested
Calculation version: 1.0.0
Evidence tests: 9/9 calculation tests · golden 3/3 · boundary 1/1 · property 5/5
Engine tested: Yes
Source checked: Yes
Supplemental domain review: Not performed
Named expert review: Not performed
Version lock: Supported (409 VERSION_MISMATCH)
Artifact consistency: Build verified · 1.0.0 (workspace artifacts agree)

Production attestation: Embedded snapshot: unpublished · Build schema 1.0.0 ready · Semantic contract ✓ · Attestation report not published on origin · Live production status PASS (0 stale; 164 CURRENT) @ 2026-09-16T06:44:24.909Z
Semantic contract: PASS
Evidence attested at: 2026-09-16T06:44:24.203Z
Last production check: 2026-09-16T06:44:24.203Z
Public / cache: —
Origin: —

Call this capability

Human page, REST, and MCP share the same engine and calculation_version. Build verified hashes workspace artifacts only. After deploy, attest:production GETs canonical URLs twice — the public/cached view an Agent actually hits, and origin — including every /capabilities/{id} HTML page. Public Capability HTML version must match catalog before production attestation passes. Live Trust rows above fetch /.well-known/calculatorx-production-attestation.json and the output schema const. Build hashes: release integrity. That proves currently published page / engine / schema / evidence / MCP agree — not that a historical version is independently immutable. Reference Calculation Standard — Production surface contract 4/4.

Tool id: definite-integral
Engine: definite-integral
REST: POST /api/v1/calc/definite-integral
MCP: execute_calculation with capability_id: "math.numerical.definite_integral"
Agent input schema: Canonical (MCP / Agent)
Output schema: JSON Schema (latest)
Versioned input schema: Immutable pin (1.0.0)
Versioned output schema: Immutable pin (1.0.0)

References

Human-readable sources plus CVP reference evidence classes.

Sources

ISO 80000-2:2019 Quantities and units — Mathematics

Try with an agent

Inspect this capability via same-origin MCP, then call execute_calculation.

curl -sS -X POST 'https://www.calculatorx.com/mcp' \
  -H 'Content-Type: application/json' \
  -H 'MCP-Protocol-Version: 2026-07-28' \
  -H 'Mcp-Method: tools/call' \
  -H 'Mcp-Name: inspect_capability' \
  -d '{"jsonrpc":"2.0","id":1,"method":"tools/call","params":{"name":"inspect_capability","arguments":{"capability_id":"math.numerical.definite_integral"}}}'

Inspect the trust tier and required assurance level before execution. Pin calculation_version (1.0.0) when reproducibility matters. Full protocol notes: MCP docs.