amadan
sim: hostlife: the three box-side admission fences alone are an expected miss under writer sessions (claim rev 6.8.1)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
1 file changed,
+1
−0
internal/sim/hostlife/expected-outcomes.txt+1 −0
diff --git a/internal/sim/hostlife/expected-outcomes.txt b/internal/sim/hostlife/expected-outcomes.txt| index 93003463c..bd5afdee9 100644 |
| --- a/internal/sim/hostlife/expected-outcomes.txt |
| +++ b/internal/sim/hostlife/expected-outcomes.txt |
| @@ -18,3 +18,4 @@ door-reread missed subsumed by C3a and, since rev 7.8, by writer epochs (claim r |
| door-by-version missed subsumed by C3a and, since rev 7.8, by writer epochs (claim rev 6.6): a recreated incarnation writes into a fresh generation the listing never selects; its witness is retired |
| registration-check missed a cheap extra: subsumed by purge-claim-fence and fence-etag together |
| exec-writer missed one of four admission fences (claim rev 6.8.1): the AdmitWriter CAS refuses a box that is not op.exec; caught with exec-admission, hold-op-open and start-check-claim-gen (witness) |
| +exec-admission,hold-op-open,start-check-claim-gen missed the three box-side fences alone (rev 7.5's admission triple): under writer sessions the old source's wake has no certificate for the current session, and the AdmitWriter CAS alone refuses a box that is not op.exec (claim rev 6.8.1, exec-writer); the four-rule combination with exec-writer is the one that fails |