{ "capability_id": "math.algebra.linear_equation", "tool_id": "linear-equation", "engine": "linear-equation", "calculation_version": "1.5.1", "generated_at": "2026-10-29T17:04:55.747Z", "engine_build": "2026-10-27", "test_count": 18, "passed": 18, "failed": 0, "tests_summary": { "golden": { "passed": 7, "total": 7 }, "boundary": { "passed": 3, "total": 3 }, "property": { "passed": 8, "total": 8 } }, "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-equation", "api": "https://www.calculatorx.com/api/v1/calc/linear-equation", "schema_input": "https://www.calculatorx.com/schemas/math.algebra.linear_equation.input.json", "schema_output": "https://www.calculatorx.com/schemas/math.algebra.linear_equation.output.json", "assumptions": [ "Degree 1 only", "Not quadratic" ], "limitations": [ "One variable:linear equation/inequality,absolute equation/inequality,rational equation/inequality. Accepted coefficients are finite binary64; exact rational decisions use those rounded inputs, not arbitrary-precision raw decimals.", "Strict decimal/scientific text up to512 characters; nonzero text rounding tozero rejects NUMERIC_UNDERFLOW. a andrhs required,b defaults0; rational c,d default0 andcannot bothzero. Nonrational c/d are rhs aliases andmust agree. Unknown keys,conflicts,invalid modes/relations andexplicit blank fields reject.", "Returned solution ranges preserve open/closed endpoints andexcluded poles. No epsilon zero/pole/root merging. Endpoints are rounded once tobinary64; overflow/underflow ordistinct exact boundaries collapsing toonebinary64 value reject explicitly. Exact arithmetic is bounded to16384 numerator/denominator bits.", "178 independent Fraction predicate/open-cell references compare complete result packs. One-ULP numerical ceiling for listed vectors; current full serialized comparisons are strict. No whole-domain/cross-runtime guarantee. Display/native result pack remain separate.", "Six discovery entries lock their documented mode exceptthe canonical page,which accepts all modes. Typing local;share/REST/MCP transmit data andmay enter logs. Real screen reader user-deferred." ], "boundary_conditions": [ "missing a or rhs → MISSING_REQUIRED_INPUT", "unknown mode → 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 Standard Mathematical Tables — linear equations, absolute value, and linear rational equations", "supports": "x = (rhs − b)/a; |ax+b| = rhs has two roots when rhs > 0; (ax+b)/(cx+d) = rhs clears to a linear equation excluding the pole", "kind": "reference", "reference_scope": "model", "oracle_class": "O1" }, { "title": "Margaret Stevens — The Maths Workbook (University of Oxford)", "section": "Chapter 1, §§1 and 3: Algebraic Expressions and Equations Chapter 1, §5: Inequalities and Absolute Value Chapter 1, §5: Inequalities and Absolute Value Chapter 1, §§1 and 3: Algebraic Expressions and Equations", "url": "https://www.some.ox.ac.uk/wp-content/uploads/2024/08/Maths-Workbook.pdf", "supports": "Algebraic fraction simplification and solving linear equations, including equations with parameters and rearranging formulas. A denominator must be nonzero; candidates introduced by clearing denominators must be checked in the original equation. Mathematical reference only; not implementation validation or an endorsement of CalculatorX. The piecewise definition of |x|, reversal of inequalities under a negative factor, and worked absolute-value equation and inequality solutions. The calculator applies these rules to its stated linear arguments and zero/negative right-hand-side cases. Mathematical reference only; not implementation validation or an endorsement of CalculatorX. The piecewise definition of |x|, reversal of inequalities under a negative factor, and worked absolute-value equation and inequality solutions. The calculator applies these rules to its stated linear arguments and zero/negative right-hand-side cases. Mathematical reference only; not implementation validation or an endorsement of CalculatorX. Algebraic fraction simplification and solving linear equations, including equations with parameters and rearranging formulas. A denominator must be nonzero; candidates introduced by clearing denominators must be checked in the original equation. Mathematical reference only; not implementation validation or an endorsement of CalculatorX.", "kind": "reference", "publisher": "University of Oxford, Department of Economics; hosted by Somerville College" }, { "title": "University of Oxford Mathematical Institute — Algebra", "section": "Linear/quadratic inequalities and sign of factors", "url": "https://www.maths.ox.ac.uk/study-here/undergraduate-study/tmua/mat-livestream/algebra", "supports": "Factoring polynomials and determining sign intervals, with explicit quadratic-inequality examples. For a rational inequality the calculator applies the same factor-sign rules to numerator and denominator separately and excludes denominator zeros; that rational extension is a derived application, not a claim that the page tests this solver. Mathematical reference only; not implementation validation or an endorsement of CalculatorX.", "kind": "reference", "publisher": "University of Oxford, Mathematical Institute" } ], "methods": [], "fingerprint": "sha256:e5ad5fe3a04a28643e352f33467a6aac49b10a08eccd42ddc3926881e0a9b8ab", "tier": "engine_tested", "verification": { "tests": { "passed": 18, "total": 18, "golden": 7, "boundary": 3, "property": 8 }, "contract_checks": { "passed": 6, "total": 6 } }, "evidence_core_generated_at": "2026-10-27T06:31:51.020Z", "rendered_at": "2026-10-29T17:04:55.747Z", "release_integrity": { "status": "verified", "scope": "workspace", "production_attestation_required": true, "calculation_version": "1.5.1", "artifacts": { "engine": "1.5.1", "page": "1.5.1", "capability": "1.5.1", "evidence": "1.5.1", "input_schema": "1.5.1", "output_schema": "1.5.1", "mcp_contract": "1.5.1" }, "digests": { "input_schema_sha256": "586b391b4b6e11c37cd67ea08f5acd59bc31794624f7321a7116e97e5f76a0b1", "output_schema_sha256": "245ef5eaf7fe98c652db13600bf7e8203c50145057e7da4d90a1d1310e90d03b", "evidence_sha256": "aadd44ac6fb8d6b5507b79059e3eb98513f21801b07aca9dc96bc87529ec7672", "evidence_core_sha256": "aadd44ac6fb8d6b5507b79059e3eb98513f21801b07aca9dc96bc87529ec7672", "capability_sha256": "f41e9aeae2d19d819ed940620b03a7061965fc830e54cfe069e502490c841fbd", "engine_sha256": "c6ebd8436f08b413e1ac6317b2d48550f2e6639a90dff254244e3aa562158b8d", "mcp_contract_sha256": "1cafec71298a0deb89bd361494db4322a690d14b61e801243407475112bdacbd" }, "contract_checks": { "total": 6, "passed": 6, "failed": 0, "items": [ { "id": "release-artifacts-aligned", "status": "pass", "detail": "1.5.1" }, { "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" } }