math.algebra.linear_equation

• Golden tests 7 / 7
• Boundary tests 3 / 3
• Property tests 8 / 8
• Production surface contract 4 / 4
}
• Engine tested Yes
• Source checked Yes
• Artifact integrity PASS
• Production attestation Embedded snapshot: STALE · Last attested schema matched 1.5.0 snapshot / local build · Semantic contract ✓ · Last attestation PASS · current evidence changed · re-attestation required · Public/cache ✓ · 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 PASS
• Origin PASS
• 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
• schema rejects incomplete input PASS

Fingerprint sha256:377665020e0dc7814f58864ebd93118f1ea85ee2e7d982d8842b8ccfc1e4df2e

Input schema sha256:40dae8e6c190a5c2c1b6a5d66bf0a4a6f7ae46fecbfb3a4205af090f245b5a64 · Output schema sha256:0b79e6418d826e2e9bacc475f70a48c725f1d5ec68406d2b296ffaba119bd227 · 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.

Tool

linear-equation

Engine

linear-equation

Engine build

2026-09-20

Evidence core

2026-09-20T01:32:35.605Z

Rendered

2026-09-20T09:07:29.779Z

Last reviewed

—

Assumptions

• Degree 1 only
• Not quadratic

Limitations

• Not ax² + bx + c = 0 — use /calc/math/quadratic
• Not a quadratic inequality
• Not a linear system
• Not CAS
• a = 0 and b = rhs → infinite (equation)
• a = 0 and b ≠ rhs → inconsistent (equation)
• a = 0 inequality → ℝ or ∅
• |ax+b|=rhs is mode=abs; rhs < 0 → empty
• |ax+b| ○ rhs is mode=abs_inequality; rhs < 0 → ℝ or ∅
• (ax+b)/(cx+d)=rhs is mode=rational; pole x=−d/c excluded; identically 0 denominator → INVALID_INPUT
• (ax+b)/(cx+d) ○ rhs is mode=rational_inequality; pole excluded; identically 0 denominator → INVALID_INPUT