Use when reviewing a branch diff for implicit state-machine defects — a status, phase, flag or lifecycle timestamp written without the prior state in its WHERE, a state and its paired columns written apart, terminal or first-time values overwritten, a multi-statement transition that does not converge, an insert racing a unique index, a value set only the HTTP boundary enforces, a refusal in the wrong order — by listing every writer of each state across the repository, and reporting findings with G-C/H/M/L IDs in the four-field format.