Verified calculation capability

Linear system / small matrix Calculation Capability

Solve Ax=b for order 2–4, plus det, inverse, multiply, transpose. Same engine as /workspace/matrix. Not a CAS. · Math

Capability ID math.linear_algebra · version 1.0.0

Open calculator REST API MCP Evidence Evidence JSON Review policy

Model

2×2 determinant

2×2 determinant: det = a₁₁a₂₂ − a₁₂a₂₁
Solve: x = A⁻¹ b when det(A) ≠ 0

Solve modes: solve · det · inverse · multiply · transpose

Inputs / Outputs

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

Symbol	Quantity	Unit	Role
`order`	—	—	input / output
`a11`	—	—	input
`a12`	—	—	input
`a21`	—	—	input
`a22`	—	—	input
`b1`	—	—	input
`b2`	—	—	input
`A`	—	—	input
`x`	—	—	output
`y`	—	—	output
`z`	—	—	output
`det`	—	—	output

Assumptions / Validity

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

Assumptions

Real matrices
Order ≤ 4
Not a CAS

Example

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

2x+y=5, x+y=3 → x=2, y=1

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: 10/10 calculation tests · golden 3/3 · boundary 2/2 · 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 3/3.

Tool id: linear-system
Engine: linear-algebra
REST: POST /api/v1/calc/linear-system
MCP: execute_calculation with capability_id: "math.linear_algebra"
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.linear_algebra"}}}'

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