Public evidence

math.linear_algebra

Machine-checked verification for calculation version 1.0.0 · tier engine_tested

Open calculator API Capability Download JSON MCP Review policy

Verification

10/10 calculation tests · Production surface contract 3/3

Golden tests 3 / 3
Boundary tests 2 / 2
Property tests 5 / 5
Production surface contract 3 / 3
Engine tested Yes
Source checked Yes
Artifact integrity PASS
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 —
Supplemental domain review Not performed
Named expert review Not performed

release artifacts aligned PASS
schema valid input executes PASS
engine success output validates schema PASS

Fingerprint sha256:33d693b4211f8c5cee8499739c2c5f65a9faf7db9639323db671f5823873efab

Input schema sha256:0e17c89cf4e428a60059791c8e69c2f8a75fb9fecef59d23328bf7e0640d4e58 · Output schema sha256:bf1a78398b0e21e520a3c3ae48d341cdac2d38a2cab6f653731789d9f7183082 · Build-time SHA-256 digests prove published artifacts agree with each other (release_integrity.scope=workspace). Production attestation GETs canonical URLs twice (public/cached view and origin), including Capability HTML, via npm run attest:production --write (published at /.well-known/calculatorx-production-attestation.json) and fails if the public Capability page advertises a different calculation_version. This is artifact consistency, not an independent immutable release log.

Build & scope

Engine identity and declared limitations.

Tool: linear-system
Engine: linear-algebra
Engine build: 2026-09-16
Evidence core: 2026-09-16T15:14:48.779Z
Rendered: 2026-09-16T22:38:08.876Z
Last reviewed: —

Assumptions

Real matrices
Order ≤ 4
Not a CAS

Limitations

Order ≤ 4 (local small-matrix seed)
Singular inverse → SINGULAR_MATRIX
Not eigenvalue / SVD / large-matrix server compute

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

ISO 80000-2:2019 Quantities and units — Mathematics

Published checks

Golden, boundary, and property cases included in this evidence build.

ID	Kind	Status	Detail
`golden-2x2`	golden	pass	Expected x=2 · y=1 · status=unique · Actual mode=solve · order=2 · x=2 · y=1 · status=unique · det=1 · formula=Ax = b
`golden-det`	golden	pass	Expected det=-2 · Actual mode=det · order=2 · det=-2 · formula=det(A)
`golden-identity-3`	golden	pass	Expected x=4 · y=5 · z=6 · Actual mode=solve · order=3 · x=4 · y=5 · z=6 · status=unique · det=1 · formula=Ax = b
`boundary-singular`	boundary	pass	Expected SINGULAR_MATRIX · Actual SINGULAR_MATRIX
`boundary-eigen`	boundary	pass	Expected INVALID_MODE · Actual INVALID_MODE
`property-la-solve`	property	pass	2x+y=5
`property-la-det`	property	pass	det
`property-la-inv`	property	pass	diag inverse
`property-la-t`	property	pass	transpose
`property-la-id3`	property	pass	I₃ solve