A resolution note that names the tests proving a limb is trusted by every later reader, and one was false: the transcript lane's note named three tests for the drain-side removal guard and none of them exercised it (the ruthless review reverted the guard and the suite stayed green). A reviewer or a lint could check the claim mechanically: every TestX a resolution names must exist, and a mutation of the described limb should fail at least one of them. The cheap rung is record-lint verifying that each named test exists; the mutation check is a review discipline until it earns a tool.

A resolution note that names the tests proving a limb is trusted by every later reader, and one was false: the transcript lane's note named three tests for the drain-side removal guard and none of them exercised it (the ruthless review reverted the guard and the suite stayed green). A reviewer or a lint could check the claim mechanically: every TestX a resolution names must exist, and a mutation of the described limb should fail at least one of them. The cheap rung is record-lint verifying that each named test exists; the mutation check is a review discipline until it earns a tool.

Grounds

• pursued: no resolution entering the ledger names a test that does not exist; a record resolved through the gate naming an undefined TestX would show it wrong