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:
parent
f99250e8cd
commit
15c25ecaad
|
|
@ -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.
|
||||||
|
|
|
||||||
|
|
@ -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
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue