Receipt
The content on this page was written by AI under human supervision.
Receipt is now part of Trust, the reduction-verification package, as the directory tools/trust/receipt/. It makes the rows of an integration-by-parts reduction table individually checkable. For a row it writes a small certificate file, a witness in the format of WITNESS_FORMAT.md, holding a vector of multipliers. The multipliers show that the row follows exactly from the linear system the table was reduced from, at one kinematic point and one prime. It verifies such certificates in about a millisecond per row without knowing which program produced the table, and it audits the system for a wrong or incomplete choice of master integrals. The command line is python3 tools/trust/receipt/receipt.py {verify|emit|detect} ..., with --adapter strata for Kira-based tables or --system-jsonl for a system written out by any solver; the tests run with sh tools/trust/receipt/tests/run_tests.sh. Winnow carries identical copies of the checker modules and reads the same certificate files. See the Trust page for the routines and requirements.