{ "capability_id": "math.linear_algebra", "tool_id": "linear-system", "engine": "linear-algebra", "calculation_version": "1.14.12", "generated_at": "2026-10-16T12:29:55.878Z", "engine_build": "2026-10-14", "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" ], "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:5a8cc900e1d6ad9ee887c2303f1783d9673bad715a123b0993eb47ccbaa1d71d", "tier": "engine_tested", "verification": { "tests": { "passed": 58, "total": 58, "golden": 29, "boundary": 6, "property": 23 }, "contract_checks": { "passed": 5, "total": 5 } }, "evidence_core_generated_at": "2026-10-14T04:17:16.233Z", "rendered_at": "2026-10-16T12:29:55.878Z", "release_integrity": { "status": "verified", "scope": "workspace", "production_attestation_required": true, "calculation_version": "1.14.12", "artifacts": { "engine": "1.14.12", "page": "1.14.12", "capability": "1.14.12", "evidence": "1.14.12", "input_schema": "1.14.12", "output_schema": "1.14.12", "mcp_contract": "1.14.12" }, "digests": { "input_schema_sha256": "e8b4a633b22958a4c7ac2a3ce0a1e3bc5c1e48b2523e127fcf6933cb3adf5b10", "output_schema_sha256": "d6f6aac76f8a733d543dc39a3a76af35781c1eac035f5c9420f352a4fb980e15", "evidence_sha256": "ab041f9b487577123f0de65e3089a6728eed4602985978ca262a6e2541834aed", "evidence_core_sha256": "ab041f9b487577123f0de65e3089a6728eed4602985978ca262a6e2541834aed", "capability_sha256": "c979c5f419a1a21a16de905e79d0bda318bb8cea8b5ea1c85f18f10e586f7093", "engine_sha256": "6ef38e64f6a7018cce0538e78ba57c8e2a141f11e8779e9e3f91408a668b7b71", "mcp_contract_sha256": "7d6b414ec122ff1cb776b5df0e8c0769a7b5ce391f790b699f2e49715b3c0fd3" }, "contract_checks": { "total": 5, "passed": 5, "failed": 0, "items": [ { "id": "release-artifacts-aligned", "status": "pass", "detail": "1.14.12" }, { "id": "schema-output-required-declared", "status": "pass" }, { "id": "schema-valid-input-executes", "status": "pass" }, { "id": "engine-success-output-validates-schema", "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" } }