{ "capability_id": "math.linear_algebra", "tool_id": "linear-system", "engine": "linear-algebra", "calculation_version": "1.14.15", "generated_at": "2026-10-22T08:54:35.177Z", "engine_build": "2026-10-16", "test_count": 58, "passed": 58, "failed": 0, "tests_summary": { "golden": { "passed": 29, "total": 29 }, "boundary": { "passed": 6, "total": 6 }, "property": { "passed": 23, "total": 23 } }, "engine_tested": true, "expert_reviewed": false, "internally_reviewed": false, "review_kind": null, "source_checked": true, "reviewed_by": null, "reviewer_role": null, "last_reviewed": null, "expert_review": { "status": "optional_not_performed", "reviewer": null, "scope": [ "formula", "input semantics", "assumptions", "limitations", "sources", "tests" ], "note": "Domain expert review is optional under CVP (CVP-EXP-01). Absence does not block CVP Verified. See Review policy for supplemental domain assurance." }, "internal_review": { "status": "not_applicable", "reviewer": null }, "page": "https://www.calculatorx.com/calc/math/linear-system", "api": "https://www.calculatorx.com/api/v1/calc/linear-system", "schema_input": "https://www.calculatorx.com/schemas/math.linear_algebra.input.json", "schema_output": "https://www.calculatorx.com/schemas/math.linear_algebra.output.json", "assumptions": [ "Real matrices", "Order ≤ 4 square for solve/det/inverse/factorizations", "lstsq also A ∈ R^{m×n} with m,n ∈ [2,4]", "Planar ℝ² figure when 2×2; other shapes omit it", "Not a CAS" ], "limitations": [ "Order ≤ 4 (local small-matrix seed)", "Singular inverse → SINGULAR_MATRIX", "qr, svd, and lstsq accept rectangular m×n with m,n ∈ [2,4]; solve / det / inverse / LU / Cholesky stay square", "Cholesky is SPD only (NOT_SYMMETRIC / NOT_POSITIVE_DEFINITE)", "Not Statistics regression / large-matrix server compute", "Not 2-norm κ₂ as a product / CAS / Jordan form", "Finite decimal scalars only; nonzero text underflow is rejected. Conflicting aliases or nested/flat values are rejected. Every required cell must be supplied.", "Numerical outputs that exceed binary64 range or cannot be resolved at working precision refuse with NUMERIC_PRECISION_LIMIT; out-of-range auxiliary determinants are omitted with a warning.", "Singular solve distinguishes consistent (infinite) from inconsistent systems using the stated numerical rank tolerance." ], "boundary_conditions": [ "singular inverse → SINGULAR_MATRIX", "asymmetric Cholesky → NOT_SYMMETRIC; nonpositive pivot → NOT_POSITIVE_DEFINITE", "unknown mode (including jordan-form) → INVALID_MODE" ], "sources": [ { "title": "ISO 80000-2:2019 Quantities and units — Mathematics", "url": "https://www.iso.org/standard/64973.html", "supports": "Mathematical symbols and notation. This standard is not numerical verification or an endorsement of this implementation.", "kind": "standard", "publisher": "International Organization for Standardization", "reference_scope": "all" }, { "title": "CRC / Strang — Ax=b, LU/QR/SVD, four fundamental subspaces", "supports": "LU + partial pivoting solve; det; Gauss–Jordan inverse; rank-nullity; Householder QR; one-sided Jacobi SVD; RREF; κ₁(A)", "kind": "reference", "reference_scope": "model", "oracle_class": "O1" }, { "title": "NIST DLMF §3.2 — Linear Algebra", "section": "§3.2", "url": "https://dlmf.nist.gov/3.2", "supports": "Gaussian elimination, LU decomposition, conditioning, eigenvalues, and eigenvectors.", "kind": "reference", "publisher": "National Institute of Standards and Technology" }, { "title": "MIT OpenCourseWare — The Four Fundamental Subspaces", "url": "https://ocw.mit.edu/courses/18-06-linear-algebra-spring-2010/resources/lecture-10-the-four-fundamental-subspaces/", "supports": "Column space, row space, nullspace, left nullspace, and their dimensions.", "kind": "reference", "publisher": "Massachusetts Institute of Technology" }, { "title": "MIT OpenCourseWare — Orthogonal Matrices and Gram-Schmidt", "url": "https://ocw.mit.edu/courses/18-06-linear-algebra-spring-2010/resources/lecture-17-orthogonal-matrices-and-gram-schmidt/", "supports": "Orthogonal matrices and QR factorization; a mathematical reference, not a claim that this implementation uses Gram-Schmidt.", "kind": "reference", "publisher": "Massachusetts Institute of Technology" }, { "title": "MIT OpenCourseWare — Singular Value Decomposition", "url": "https://ocw.mit.edu/courses/18-06-linear-algebra-spring-2010/resources/lecture-29-singular-value-decomposition/", "supports": "Singular-value decomposition and its relationship to orthogonal bases and matrix rank.", "kind": "reference", "publisher": "Massachusetts Institute of Technology" }, { "title": "MIT OpenCourseWare — Projection Matrices and Least Squares", "url": "https://ocw.mit.edu/courses/18-06-linear-algebra-spring-2010/resources/lecture-16-projection-matrices-and-least-squares/", "supports": "Least-squares minimization, projections, and normal-equation relationships.", "kind": "reference", "publisher": "Massachusetts Institute of Technology" }, { "title": "NIST DLMF §1.2 — Elementary Algebra", "section": "Determinants and matrices; systems of linear equations", "url": "https://dlmf.nist.gov/1.2", "supports": "Determinants, inverses, matrix identities, and linear-system relationships.", "kind": "reference", "publisher": "National Institute of Standards and Technology" }, { "title": "NumPy — numpy.linalg.cholesky", "url": "https://numpy.org/doc/stable/reference/generated/numpy.linalg.cholesky.html", "supports": "Cholesky factorization A = LLᴴ (or UᴴU) for Hermitian positive-definite matrices, with the real symmetric case A = LLᵀ. This states the factorization and domain, not CalculatorX implementation details. Mathematical reference only; not validation or endorsement of this implementation.", "kind": "reference", "publisher": "NumPy Developers" } ], "methods": [], "fingerprint": "sha256:d42473580c218a8850bb0e15489240bf787d2d940456525748e93847329dcd96", "tier": "engine_tested", "verification": { "tests": { "passed": 58, "total": 58, "golden": 29, "boundary": 6, "property": 23 }, "contract_checks": { "passed": 6, "total": 6 } }, "evidence_core_generated_at": "2026-10-16T14:24:45.799Z", "rendered_at": "2026-10-22T08:54:35.177Z", "release_integrity": { "status": "verified", "scope": "workspace", "production_attestation_required": true, "calculation_version": "1.14.15", "artifacts": { "engine": "1.14.15", "page": "1.14.15", "capability": "1.14.15", "evidence": "1.14.15", "input_schema": "1.14.15", "output_schema": "1.14.15", "mcp_contract": "1.14.15" }, "digests": { "input_schema_sha256": "d76b8673b4e122958e08a4a7718c12aec02b27f637f9faa9971f851678844faf", "output_schema_sha256": "bc8a02c5a0f8905b94688c0317df232c76c7f0e062fcf04593aa924004c525f3", "evidence_sha256": "831f04c29273da7293258e9bc664007eeae00c65d0cb7dcfe5f7283a41d62eff", "evidence_core_sha256": "831f04c29273da7293258e9bc664007eeae00c65d0cb7dcfe5f7283a41d62eff", "capability_sha256": "ef72de5eed8c7008185c07bae7957b90601a8dcff9831c6fcdc2b0d19a99cf64", "engine_sha256": "a664ae25cd2134de7de43a99352933043215473589aec38c9416508150cb1008", "mcp_contract_sha256": "a1a8617719bef45391ee6917dc1783a01de2eedf297e7596b3cb5017cd0e1560" }, "contract_checks": { "total": 6, "passed": 6, "failed": 0, "items": [ { "id": "release-artifacts-aligned", "status": "pass", "detail": "1.14.15" }, { "id": "schema-output-required-declared", "status": "pass" }, { "id": "schema-valid-input-executes", "status": "pass" }, { "id": "engine-success-output-validates-schema", "status": "pass" }, { "id": "schema-rejects-incomplete-input", "status": "pass" }, { "id": "rest-success-payload-validates-schema", "status": "pass" } ] }, "report": "https://www.calculatorx.com/.well-known/calculatorx-release-integrity.json" }, "tests": [], "disclosure": { "policy": "calculatorx-public-evidence-v1", "full_validation": "private", "representation": "summary" } }