Recalc Verify — a spreadsheet verifier that knows when to refuse

Field notes

The command-line workflow takes a workbook and a policy file, then returns both an exit status and a report under the recalc.verify.report/v1 format. The documented status model reserves FALLBACK for cases where safe calculation or requested evidence is unavailable, while measured failures identify changed cells in the stale example. Release archives are platform-specific, include a static Linux binary, and come with checksum and provenance-verification instructions.