diff --git a/README.md b/README.md index a7a21ec..4df6bd2 100644 --- a/README.md +++ b/README.md @@ -414,9 +414,10 @@ Where more than one guard could catch a fault, a scenario should assert green because a sibling fires in its place. Scenarios 8a to 8d and 10 of the seed suite do, and each is reddened by exactly one mutation of the clone's checks. Scenario 9 does not, and a mutation still survives it: with its source -unreadable, `cp -al` leaves the staging directory at mode `000`, so the -unshare pass aborts the clone before the copy's own exit status is ever -consulted, and the assertion is satisfied down a path it was not written for. +unreadable, `cp -al` leaves the staging directory at mode `000`, so deleting +the exit-status check does not change the outcome — the unshare pass aborts +the clone instead, and the assertion is satisfied down a path it was not +written for. That is the standing hazard here, and it is not hypothetical. Two guards that can each catch the same fault mask each other, so **neither** is individually