Public evidence

math.vector

Machine-checked verification for calculation version 1.0.0 · tier engine_tested

Open calculator API Capability Download JSON MCP Review policy

Verification

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

Golden tests 3 / 3
Boundary tests 2 / 2
Property tests 6 / 6
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 STALE (2 capabilities; 162 remain CURRENT) @ 2026-09-20T09:01:12.147Z
Semantic contract PASS
Evidence attested at 2026-09-18T21:41:55.460Z
Last production check 2026-09-18T21:41:55.460Z
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:a13c8c2eceb68442e67624cd72a734c310c0ac2e5437db2195d2c108de3b8a6c

Input schema sha256:edeae6ba0412d1dfbb35dc690a1007f4af4f5813b2fe750cad6b9bea64c42687 · Output schema sha256:9e7b6c3a259365a757805cdb19952b4e5cdaddfd9e37bd82ba929d0701cdb7cf · 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: vector
Engine: vector
Engine build: 2026-09-20
Evidence core: 2026-09-20T02:57:05.889Z
Rendered: 2026-09-20T09:07:29.781Z
Last reviewed: —

Assumptions

Euclidean R²/R³
uz/vz/wz default to 0
Not a matrix
Not coordinate geometry
Not CAS

Limitations

R²/R³ only; uz/vz/wz default to 0
Not a matrix — det / inverse / eigen stay on math.linear_algebra
Not coordinate geometry (two-point line / intersection / angle between lines)
Angle is the vector included angle in [0°, 180°], not the acute line angle
Zero vector: magnitude 0 is valid; normalize / angle / projection → INVALID_INPUT
unknown mode (including cas, eigen, matrix) → INVALID_MODE

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-vector-345`	golden	pass	Expected magnitude=5 · Actual mode=magnitude · ux=3 · uy=4 · uz=0 · magnitude=5 · formula=\|u\| = √(ux² + uy² + uz²)
`golden-dot-123-456`	golden	pass	Expected dot=32 · Actual mode=dot · ux=1 · uy=2 · uz=3 · vx=4 · vy=5 · vz=6 · dot=32
`golden-cross-i-j`	golden	pass	Expected cx=0 · cy=0 · cz=1 · Actual mode=cross · ux=1 · uy=0 · uz=0 · vx=0 · vy=1 · vz=0 · cx=0
`boundary-vector-mode`	boundary	pass	Expected INVALID_MODE · Actual INVALID_MODE
`boundary-normalize-zero`	boundary	pass	Expected INVALID_INPUT · Actual INVALID_INPUT
`property-vec-345`	property	pass	\|(3,4)\|=5
`property-vec-unit`	property	pass	unit 3-4
`property-vec-dot`	property	pass	dot 1-2-3·4-5-6
`property-vec-cross`	property	pass	i×j=k
`property-vec-angle`	property	pass	i∠j=90°
`property-vec-triple`	property	pass	i·(j×k)=1