v1.0.0

This release is kept for history. See v1.0.1 for the corrected parser and the corrected coverage measurement.

The first release.

The engine checks every step of a derivation, exactly, over a finite field. No AI is in the verdict path, and nothing leaves the browser.

The engine. A tokenizer and a Pratt parser for the LaTeX people actually write. Shape inference with a union find over the dimension variables. Exact mode over GF(2^31-1) and GF(2147483629), with the bound computed per size and shown on the card. Gradients and Hessians by dual numbers. Exact expectations by rational quadrature. Implications by constraint completion. Counterexamples shrunk until they are small enough to read. Repairs by mutation search, residual fingerprint, missing assumption and shape.

The surfaces. The web app, the CLI (pretty, JSON, SARIF, GitHub), the MCP server, the GitHub Action, the Agent Skill, and the npm package.

npx samosa-math check paper.tex

Measured. The measurement first published here was lenient and is superseded. The current measurement of the latest source, on 36 recent arXiv papers, is 56.3% of claim rows parsed end to end and 24.9% read with no named unknown construct, 21.5% of all display rows. The method and the correction are in docs/COVERAGE.md. The parser and the corrected number ship in v1.0.1.