probe(751): NEGATIVE CONTROL — is a dropped step now RED? #753

Closed
timothy wants to merge 1 commits from probe751/head-neg into probe751/base-neg
Owner

Throwaway probe for ersatztv#751. Identical to the positive probe EXCEPT the exact defect is reintroduced in the run-body comment. EXPECT: the classify step is dropped, and the new Assert the classifier actually executed step FAILS THE JOB. If the job goes GREEN with no classify output, the guard is inert because the runner drops later steps too — and the fix must instead move the body into scripts/. Closed and deleted after reading the log.

Throwaway probe for ersatztv#751. Identical to the positive probe EXCEPT the exact defect is reintroduced in the run-body comment. EXPECT: the classify step is dropped, and the new `Assert the classifier actually executed` step FAILS THE JOB. If the job goes GREEN with no classify output, the guard is inert because the runner drops later steps too — and the fix must instead move the body into `scripts/`. Closed and deleted after reading the log.
timothy force-pushed probe751/head-neg from cb3380ad86 to 7303f12fe6 2026-08-06 21:36:24 +02:00 Compare
timothy force-pushed probe751/head-neg from 7303f12fe6 to 5e819969fd 2026-08-06 22:16:03 +02:00 Compare
timothy force-pushed probe751/head-neg from 5e819969fd to ad92f6d781 2026-08-10 18:54:40 +02:00 Compare
timothy added 1 commit 2026-08-10 19:43:20 +02:00
probe(751): round-6 head (neg)
PR Gates / CI image pin matches docker/ci (pull_request) Successful in 17s
PR Gates / Docs update reminder (pull_request) Successful in 19s
Build ErsatzTV Image / Build & test (.NET) (pull_request) Successful in 20s
PR Gates / decisions lifecycle (pull_request) Successful in 22s
Build ErsatzTV Image / EF migration integrity (SQLite + MySql) (pull_request) Successful in 14s
Build ErsatzTV Image / Build & push image (amd64) (pull_request) Skipped
Build ErsatzTV Image / Functional E2E (curl + UI contracts) (pull_request) Successful in 15s
Review verdict / Set review-verdict status (pull_request_target) Failing after 5s
Build ErsatzTV Image / API docs in sync (OpenAPI + endpoint index) (pull_request) Successful in 12s
Build ErsatzTV Image / Formatting (changed .cs conform to .editorconfig) (pull_request) Successful in 9s
PR Gates / Script tests (pytest) (pull_request) Failing after 2m25s
4a0cfb2aef
timothy force-pushed probe751/head-neg from ad92f6d781 to 4a0cfb2aef 2026-08-10 19:43:20 +02:00 Compare
Author
Owner

Probe complete — closing. Final evidence is recorded on #751 and in PR #764.

This pair verified the #751 fix on the live instance across six rounds, the last against e133c11fd, whose executable content is byte-identical to the merged head (only comments changed after it). Positive: the classify step runs, the fence reports trusted=yes, and the docs-only exemption is posted. Negative control: the defect reintroduced, the step dropped, and the new guard fails the job with the probe context absent — which is what established that a later step still runs after the runner drops an earlier one, the premise the guard stands on.

The probe context was probe751/h10 throughout, never the real one: a status forged on a scratch head is inherited by any later PR carrying the same head sha (#663).

Probe complete — closing. Final evidence is recorded on #751 and in PR #764. This pair verified the #751 fix on the live instance across six rounds, the last against `e133c11fd`, whose executable content is byte-identical to the merged head (only comments changed after it). Positive: the classify step runs, the fence reports `trusted=yes`, and the docs-only exemption is posted. Negative control: the defect reintroduced, the step dropped, and the new guard fails the job with the probe context absent — which is what established that a later step still runs after the runner drops an earlier one, the premise the guard stands on. The probe context was `probe751/h10` throughout, never the real one: a status forged on a scratch head is inherited by any later PR carrying the same head sha (#663).
timothy closed this pull request 2026-08-10 21:10:13 +02:00

Pull request closed

This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.