CVP verified calculation capability
Exact decimal totals and rational means; scientific lists use finite Neumaier binary64; bounded Long addition shows complete place-value carry work.
Math Capability ID math.sum version 1.0.3 CVP VERIFIED CURRENT Core
Sum
Sum = Σᵢ₌₁ⁿ xᵢx̄ = (1/n) Σᵢ₌₁ⁿ xᵢMean = Sum / nModes: sum · long
Canonical symbols for this capability. Agent schemas remain the contract.
| Symbol | Quantity | Unit | Role |
|---|---|---|---|
sumInput | — | — | input |
review | — | — | output |
api_version | — | — | output |
api_contract_version | — | — | output |
spec_version | — | — | output |
page | Canonical calculator page URL | — | output |
links | — | — | output |
Inspectable numeric contract for this Capability@Version. Not a rewrite of the engine.
| Field | Declaration |
|---|---|
numeric_domain | real |
exactness | float64 |
algorithm | Exact scaled-integer decimal sum; scientific tokens select Neumaier binary64; bounded Long column carrying |
valid_domain | 1–10000 values;65536 total characters;512 per token;plain decimals at most48 significant digits and fractional places. Long:1–32 nonnegative plain decimals and48 aligned columns. JSON numeric integral values must be safe; use strings for larger exact values. |
singularity_policy | not applicable — Addition has no pole; nonzero underflow and nonfinite scientific intermediate totals rejected |
branch_policy | not applicable — real principal value only |
tolerance | not applicable — closed form; capability Evidence owns comparison, no global default |
convergence | not applicable — non-iterative |
conditioning | Cancellation can amplify relative input/conversion error. Scientific mode is approximate, with no universal ULP guarantee; measurement uncertainty is not modeled. |
rounding | sumStr/display exact in decimal/Long modes; scientific display is shortest binary64 round trip. mean_rational_exact describes the source, not JSON mean; numeric approximation flags compare actual binary64 against exact fractions. Terminating means exact, repeating means rounded half away to4 places. chart[] contains binary64 prefixes, not exact decimal strings. |
overflow | ieee754_nonfinite_or_coded_error |
reproducibility | deterministic algorithm + Capability@Version |
independent_oracle | Independent CPython Fraction / Decimal / integer complete packs, including every prefix and Long carry work; strict comparator controls |
golden_vectors | Evidence golden + boundary + property (and published_reference_case when listed) |
Declared scope for this capability. Do not use it outside this domain.
Assumptions
One numerical check. The calculator page holds worked steps and FAQ.
937 + 129 + 2248 = 3314
CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance. Computational verification is defined by CVP. Supplemental domain review (internal) and named expert review are defined by the Review policy and do not by themselves determine CVP conformance.
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 6/6.
curl -sS -X POST 'https://www.calculatorx.com/api/v1/calc/add' \
-H 'Content-Type: application/json' \
-d '{"inputs":{"values":[-66.25,-37.5,40,42,47,53,54,59,65]},"calculation_version":"1.0.3"}'{
"inputs": {
"values": [
-66.25,
-37.5,
40,
42,
47,
53,
54,
59,
65
]
},
"calculation_version": "1.0.3"
}POST /api/v1/calc/add. This is a POST calculate endpoint — do not GET it.
Full REST contract: REST API docs.
Declared calculation modes for this capability.
sumlongHuman-readable sources plus CVP reference evidence classes.
Sources
Derived identities
Reference evidence classes: O1 model · O2 expected_values · O2 numerical_behavior
Inspect, then execute. Same engine as REST and the human calculator.
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.sum"},"_meta":{"io.modelcontextprotocol/protocolVersion":"2026-07-28","io.modelcontextprotocol/clientInfo":{"name":"calculatorx-docs-example","version":"1.0.0"},"io.modelcontextprotocol/clientCapabilities":{}}}}'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: execute_calculation' \
-d '{"jsonrpc":"2.0","id":2,"method":"tools/call","params":{"name":"execute_calculation","arguments":{"capability_id":"math.sum","inputs":{"values":[-66.25,-37.5,40,42,47,53,54,59,65]},"calculation_version":"1.0.3"},"_meta":{"io.modelcontextprotocol/protocolVersion":"2026-07-28","io.modelcontextprotocol/clientInfo":{"name":"calculatorx-docs-example","version":"1.0.0"},"io.modelcontextprotocol/clientCapabilities":{}}}}'Pin calculation_version (1.0.3) when the result must stay reproducible.
Inspect the trust tier and required assurance level before execution. Full protocol notes: MCP docs.