log the fifth measurement defect: a count that was not counting #170
Reference in New Issue
Block a user
Delete Branch "chore/log-fifth-measurement-defect"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
git differrored to stderr on a malformed revision whilewc -lcounted empty stdout, producing three confidentIDENTICALresults that meant nothing. Had the promoted trees actually differed, I would have reported the promotion clean.The correct check is not how many files differ but is the tree object the same object — all three share hash
2acd9374.All five defects are now visibly one shape: reading a proxy instead of the thing. One file instead of the operation, a variable name instead of the shape, a scope instead of the whole, a pipe's exit instead of the program's, a line count instead of object identity.