gate-ledger

Overview ¶

Command gate-ledger is the memory of `make gate` (docs/specs/gate-ledger-v0.md). A gate step is keyed on the content it reads, never on the worktree or commit it ran in, so a step whose inputs are byte-identical to a recorded pass is not executed again, from any worktree of the same user. It only ever refuses to repeat a step; it never narrows what a step tests.

Usage:

gate-ledger run STEP -- CMD [ARG...]   run CMD unless the ledger holds a pass for STEP's inputs
gate-ledger go-test -- GO_TEST [FLAG...] run the resolved packages through Go's own test cache
                                        and the unresolved packages under a tree-keyed record
gate-ledger plan STEP...                print HIT or RUN per step; reads nothing but the ledger

Every doubt is a RUN: a step with no declared scope, a worktree the tool cannot digest (skip-worktree or assume-unchanged entries, an ignored Go file, a failed git), a ledger directory it does not own, or a record it cannot read. A failed command leaves no record. CORVINT_GATE_LEDGER=off runs every command untouched; CORVINT_GATE_LEDGER_DIR overrides the per-user ledger directory.