math.quadratic

Three distinct suites: educational examples on the calculator page, this legacy regression count (9/9 golden + boundary), and the CVP verification suite below. They are not the same number. Property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the CVP Manifest . SKIP (0/0) means that suite has no published vectors.

This calculator CURRENT · Public schema 1.1.2 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-10-27.full-review-v1. Calculation version 1.1.2. CVP 1.0.0-proposed. 66/66 golden · 3/3 CVP boundary · 33/33 invalid · 3/3 property · 1/1 metamorphic · 97/97 cross-interface · 1/1 cross-calculator · 5/5 CVP contract. digest fbb37f7854b6. 66 listed independent complete packs only

• Golden (oracle-backed) 66 / 66
• CVP boundary 3 / 3
• Invalid input 33 / 33
• Property 3 / 3
• Metamorphic 1 / 1
• Cross-interface 97 / 97
• Cross-calculator 1 / 1
• CVP contract 5 / 5
• Interfaces PASS · UI (SSR) / REST / MCP
• Interface claim ui-ssr is query-result HTML, not a live browser session. Error-path engine·REST·MCP 30/30 (status, code, calculation_version). SSR compared on URL-canonical requested calculations; empty query is idle (not an error) and JSON-typed object/array inputs are REST/MCP-only.
• Verified scope solve and four quadratic inequality operators
• Assurance Core

• release artifacts aligned PASS
• schema output required declared PASS
• schema valid input executes PASS
• engine success output validates schema PASS
• rest success payload validates schema PASS

Fingerprint sha256:566bb43716531e815180e69c8f8d2680ec4e34af9444be04f2cfd18545d7cecf

Input schema sha256:d5ac3d081d0f60aad98791fe1ffdb35af0a7adf5331d92de0fb52f30e3bdf887 · Output schema sha256:6671a3f4d2755952d89d69cdab67453c815c43abb1da42ab688759508b8a77ae · 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

quadratic

Engine

quadratic

Engine build

2026-10-27

Evidence core

2026-10-27T10:34:29.047Z

Rendered

2026-10-28T03:01:57.867Z

Last reviewed

—

Assumptions

• a ≠ 0; coefficients are real numbers (fractions allowed).

Limitations

• Finite real binary64 a,b,c with a nonzero; solve or quadratic inequality lt/le/gt/ge. Decimal/scientific,Unicode minus,en-US grouped inputs andinteger fractions supported; each text token <=512characters. Fractions are projected once tobinary64; exact decisions refer toaccepted binary64 values.
• a/aInput,b/bInput,c/cInput,rhs/d andoperator aliases mustagree. Missing/blank/null required coefficients reject; rawnonzero underflow rejects NUMERIC_UNDERFLOW; unknown keys andinapplicable solve-mode operators/rhs reject. The inequality entry locks mode=inequality.
• Exact bounded rational discriminant,shifted constant andvertex decisions; scaled square root andstableq roots. Required discriminant/root/vertex projection outside finite binary64 or distinct roots collapsing toonefloat rejects NUMERICAL_RANGE_ERROR. This isnot universal success forfinite coefficients; exact arithmetic bounded16384bits.
• 65-plus independent CPython Fraction andDecimal800/1100 fullpacks; rootcoordinate ceiling4ULP forfixedvectors,all other numbers/keys/types/presentation strict. Classification/topology exact onaccepted floats. Near multiple roots areillconditioned undercoefficient changes; nocross-runtime/globalULP guarantee.
• Display preservesnonzero/distinct binary64 values; symbolic factors onlywhen exact reconstruction succeeds. Curve samples useexact rational Horner. Finite-window/cluster/tiny graph omissions areexplicit; fullscalar/interval data andnative JSON/CSV remain. CSV text isformula-neutralized.
• Typing computeslocally. ShareURLs andREST/MCP transmitinputs andmayenterbrowser/server/intermediary logs. Oldversionlinks warnbeforecurrent execution; historical numerical runtime isnot replayed.