{ "capability_id": "math.linear_algebra", "tool_id": "linear-system", "engine": "linear-algebra", "calculation_version": "1.14.16", "generated_at": "2026-10-30T00:53:49.050Z", "engine_build": "2026-10-29", "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.", "Cholesky: relative pairwise symmetry tolerance 1e-12, with no absolute floor; accepted differences mirror the lower triangle into effective_A and emit symmetry_adjusted. A preserves the original inputs.", "Cholesky: exact binary64 leading-minor signs distinguish NOT_POSITIVE_DEFINITE from NUMERIC_PRECISION_LIMIT. Positive pivots are not rejected merely for being small.", "Cholesky: L and A preserve binary64 round-trip values. Residuals use published L versus original A; relative Frobenius residual uses common scaling. Absolute residual can underflow to zero. Condition estimate is 1-norm; ill_conditioned threshold is 1e8." ], "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:6efca31af0401091d5ee42c1964aa92b99a2ff0dc6a8404dffe0bfb5ac3700c0", "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-29T11:27:09.312Z", "rendered_at": "2026-10-30T00:53:49.050Z", "release_integrity": { "status": "verified", "scope": "workspace", "production_attestation_required": true, "calculation_version": "1.14.16", "artifacts": { "engine": "1.14.16", "page": "1.14.16", "capability": "1.14.16", "evidence": "1.14.16", "input_schema": "1.14.16", "output_schema": "1.14.16", "mcp_contract": "1.14.16" }, "digests": { "input_schema_sha256": "95a66bdf2c9b68f691ace758e275da8d8ff6850e8be9e97e0a336b5200c9326f", "output_schema_sha256": "10a72aaaaee6ebc44f7ef71acf6c3e60a6e2048a8ea5a27eae23664d2a9f8933", "evidence_sha256": "de5c78259a45318130f1185c8a8c74fb6bef86df85ee2f414b4fd854b4ab1213", "evidence_core_sha256": "de5c78259a45318130f1185c8a8c74fb6bef86df85ee2f414b4fd854b4ab1213", "capability_sha256": "c078f17e543e2135e52721789d3c2c9197b743822e02a5aa37015ed2661a12d2", "engine_sha256": "c6ebd8436f08b413e1ac6317b2d48550f2e6639a90dff254244e3aa562158b8d", "mcp_contract_sha256": "1cafec71298a0deb89bd361494db4322a690d14b61e801243407475112bdacbd" }, "contract_checks": { "total": 6, "passed": 6, "failed": 0, "items": [ { "id": "release-artifacts-aligned", "status": "pass", "detail": "1.14.16" }, { "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" } }