Keeps a coding agents green claims honest

Key features

• The exit status is also written next to the log, and the hook trusts that file rather than the printed line, so output text alone can never create or refresh a receipt.
• piped into tail, head, grep, wc, cut, awk, sed, less, cat or tee (without set -o pipefail the exit status is lost
• A run is pass only with the runner's own positive summary and a known exit status of 0.
• Every message names the receipt id, the command, the time and the files edited afterwards.
• Result-eating pipes and suffixes can no longer hide a failure.