promote dev → stage: measurement-defect log #171

Merged
will.anderson merged 3 commits from dev into stage 2026-08-17 16:15:05 +00:00
Owner

Carries PR #170.

Carries PR #170.
will.anderson added 3 commits 2026-08-17 16:14:40 +00:00
log the fifth measurement defect: a count that was not counting
El SDK CI - dev / build-and-test (pull_request) Failing after 10m9s
daad2fa2a0
git diff errored to stderr on a malformed revision while wc -l counted empty
stdout, producing three confident IDENTICAL results 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.
Merge pull request 'log the fifth measurement defect: a count that was not counting' (#170) from chore/log-fifth-measurement-defect into dev
El SDK CI - stage / build-and-test (pull_request) Failing after 14m30s
El SDK CI - dev / build-and-test (push) Failing after 14m55s
0032e8f8c4
will.anderson merged commit 6df362f84d into stage 2026-08-17 16:15:05 +00:00
Sign in to join this conversation.