docs(evidence): preserve endpoint direction in D0 summary

The portable manifest collapsed the two clean-split directions even though
the governing endpoint table permits a bisect only when 7599661 is uniform
green and 724b785 is uniform red. Preserve that direction explicitly, and
carry the same distinction in the compact active-work summary.

The inverted split remains a real difference, but it contradicts the onset
reading and therefore requires that reading to be re-examined before any
bisect.
This commit is contained in:
Levi Neuwirth 2026-08-19 12:02:21 +02:00
parent f99250e8cd
commit 15c25ecaad
No known key found for this signature in database
2 changed files with 14 additions and 6 deletions

View File

@ -412,10 +412,13 @@ from #171 and #215.
D0a stops). A sweep red only on **unrelated** rows is a `green` run; D0a stops). A sweep red only on **unrelated** rows is a `green` run;
both outcomes occur in the historical logs — `…-708693` is a void both outcomes occur in the historical logs — `…-708693` is a void
(compile failure), and `…-2839374`/`…-830195` are unrelated-red with (compile failure), and `…-2839374`/`…-830195` are unrelated-red with
both copies passing. A bisect of both copies passing. A bisect of `7599661..724b785` is permitted
`7599661..724b785` is permitted **only on a clean split** — all N red **only on the expected-direction clean split** — all N green at
one side, all N green the other. A mixed result means the failure is `7599661`, all N red at `724b785`. The inverted split is a real
intermittent under fixed source and **no bisect is justified**. difference but contradicts the onset reading, so it is recorded and
that reading is re-examined before any bisect. A mixed result means
the failure is intermittent under fixed source and **no bisect is
justified**.
- **Red full-sweep count is SEVEN, not five** (F1–F7 in the manifest), - **Red full-sweep count is SEVEN, not five** (F1–F7 in the manifest),
each with its own log digest; revision 3 said 5/5 while the framing each with its own log digest; revision 3 said 5/5 while the framing
separately cited a gate run the manifest never listed. separately cited a gate run the manifest never listed.

View File

@ -181,8 +181,13 @@ log digest. Two constraints learned the hard way:
the bisect-step policy. In summary, keeping the two conclusions with the bisect-step policy. In summary, keeping the two conclusions with
the verdicts they actually belong to: the verdicts they actually belong to:
- **clean split** (one endpoint uniform green, the other uniform red) - **expected-direction clean split** (`7599661` uniform green,
→ a bisect of `7599661..724b785` is permitted; `724b785` uniform red) → a bisect of `7599661..724b785` is
permitted;
- **inverted clean split** (`7599661` uniform red, `724b785` uniform
green) → the commits differ, but the observed direction contradicts
the onset reading; record it and re-examine that reading before any
bisect;
- **mixed at either endpoint** → the failure is **intermittent under - **mixed at either endpoint** → the failure is **intermittent under
fixed source**; no bisect; fixed source**; no bisect;
- **both endpoints uniform the same way**, green or red → **the - **both endpoints uniform the same way**, green or red → **the