
ROW P16.a Reconcile latest dirty local, retain only compatible A remote; stream/result/cache exact. Head uses split writes; don't require base failure if both recover.
CAPTURE P16.a-before.ndjson
@1={"kind":"provenance","seq":1,"type":"external deterministic service harness; controlled workflow fake + TestClock; no real server","virtualTimeMs":0}
@2={"branchChanges":{"baseRef":"origin/main","deletions":0,"insertions":1},"hasPrimaryRemote":true,"hasWorkingTreeChanges":false,"isDefaultRef":true,"isRepo":true,"refName":"main","workingTree":{"deletions":0,"files":[],"insertions":0}}
@3={"baseRef":"main","headRef":"main","number":613,"state":"open","title":"Fixture A","url":"https://github.com/proof-audit/status-fixture/pull/613"}
@4={"aheadCount":0,"aheadOfDefaultCount":1,"behindCount":2,"hasUpstream":true,"pr":"@3"}
@5={"branch":"main","kind":"remote-read-start","n":1,"options":{"refreshUpstream":true},"seq":3,"value":"@4","virtualTimeMs":0}
@6={"kind":"remote-read-return","n":1,"seq":4,"value":"@4","virtualTimeMs":0}
@7={"aheadCount":0,"aheadOfDefaultCount":1,"behindCount":2,"branchChanges":{"baseRef":"origin/main","deletions":0,"insertions":1},"hasPrimaryRemote":true,"hasUpstream":true,"hasWorkingTreeChanges":false,"isDefaultRef":true,"isRepo":true,"pr":"@3","refName":"main","workingTree":{"deletions":0,"files":[],"insertions":0}}
@8={"event":{"_tag":"snapshot","local":"@2","remote":"@4"},"kind":"stream","merged":"@7","observer":"passive-1","seq":5,"virtualTimeMs":0}
@9={"branch":"main","kind":"remote-read-start","n":1,"options":{"refreshUpstream":true},"seq":7,"value":"@4","virtualTimeMs":0}
@10={"kind":"remote-read-return","n":1,"seq":8,"value":"@4","virtualTimeMs":0}
@11={"deletions":0,"files":[{"deletions":0,"insertions":1,"path":"partial.txt"}],"insertions":1}
@12={"branchChanges":{"baseRef":"origin/main","deletions":0,"insertions":1},"hasPrimaryRemote":true,"hasWorkingTreeChanges":true,"isDefaultRef":true,"isRepo":true,"refName":"main","workingTree":"@11"}
@13={"aheadCount":0,"aheadOfDefaultCount":1,"behindCount":2,"branchChanges":{"baseRef":"origin/main","deletions":0,"insertions":1},"hasPrimaryRemote":true,"hasUpstream":true,"hasWorkingTreeChanges":true,"isDefaultRef":true,"isRepo":true,"pr":"@3","refName":"main","workingTree":"@11"}
@14={"event":{"_tag":"snapshot","local":"@12","remote":"@4"},"kind":"stream","merged":"@13","observer":"passive-1","seq":16,"virtualTimeMs":0}
@15={"exit":{"_id":"Exit","_tag":"Success","value":"@13"},"kind":"result","seq":17,"virtualTimeMs":0}
@16={"actual":{"_id":"Exit","_tag":"Success","value":"@13"},"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":18,"test":"partial mutation reconciled into final local","virtualTimeMs":0}
@17={"actual":[{"_tag":"snapshot","local":"@2","remote":"@4"},{"_tag":"snapshot","local":"@12","remote":"@4"}],"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":19,"test":"partial local mutation published","virtualTimeMs":0}
@18={"actual":1,"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":20,"test":"pull attempted once","virtualTimeMs":0}
SESSION P16-pull-fails-after-local-mutation 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e /tmp/lead-21046-r2/capture/2026-10-28T17-54-04-119Z-harness-before
"@1"
{"kind":"local-read","local":"@2","n":1,"seq":2,"virtualTimeMs":0}
"@5"
"@6"
"@8"
{"kind":"invalidate-all","seq":6,"virtualTimeMs":0}
"@9"
"@10"
{"kind":"local-read","local":"@2","n":2,"seq":9,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":10,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":3,"seq":11,"virtualTimeMs":0}
{"branch":"main","kind":"pull","seq":12,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":13,"virtualTimeMs":0}
{"kind":"local-read","local":"@12","n":4,"seq":14,"virtualTimeMs":0}
{"byMs":0,"kind":"clock-advance","seq":15,"virtualTimeMs":0}
"@14"
"@15"
"@16"
"@17"
"@18"
{"kind":"complete","seq":21,"virtualTimeMs":0}
CAPTURE P16.a-after.ndjson
@19={"branch":"main","kind":"remote-read-start","n":1,"options":{"refreshUpstream":true},"seq":5,"value":"@4","virtualTimeMs":0}
@20={"kind":"remote-read-return","n":1,"seq":6,"value":"@4","virtualTimeMs":0}
@21={"event":{"_tag":"snapshot","local":"@2","remote":"@4"},"kind":"stream","merged":"@7","observer":"passive-1","seq":8,"virtualTimeMs":0}
@22={"branch":"main","kind":"remote-read-start","n":1,"options":{"refreshUpstream":true},"seq":14,"value":"@4","virtualTimeMs":0}
@23={"kind":"remote-read-return","n":1,"seq":15,"value":"@4","virtualTimeMs":0}
@24={"event":{"_tag":"localUpdated","local":"@12"},"kind":"stream","merged":"@13","observer":"passive-1","seq":24,"virtualTimeMs":0}
@25={"exit":{"_id":"Exit","_tag":"Success","value":"@13"},"kind":"result","seq":25,"virtualTimeMs":0}
@26={"actual":{"_id":"Exit","_tag":"Success","value":"@13"},"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":26,"test":"partial mutation reconciled into final local","virtualTimeMs":0}
@27={"actual":[{"_tag":"snapshot","local":"@2","remote":"@4"},{"_tag":"localUpdated","local":"@12"}],"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":27,"test":"partial local mutation published","virtualTimeMs":0}
@28={"actual":1,"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":28,"test":"pull attempted once","virtualTimeMs":0}
SESSION P16-pull-fails-after-local-mutation bb35b941115a0a9f818e8512eebe67c29ee68355 /tmp/lead-21046-r2/capture/2026-10-28T17-54-04-297Z-harness-after
"@1"
{"kind":"local-read","local":"@2","n":1,"seq":2,"virtualTimeMs":0}
{"branch":"main","kind":"branch-probe","seq":3,"virtualTimeMs":0}
{"kind":"invalidate-remote","seq":4,"virtualTimeMs":0}
"@19"
"@20"
{"branch":"main","kind":"branch-probe","seq":7,"virtualTimeMs":0}
"@21"
{"kind":"invalidate-local","seq":9,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":2,"seq":10,"virtualTimeMs":0}
{"kind":"invalidate-all","seq":11,"virtualTimeMs":0}
{"branch":"main","kind":"branch-probe","seq":12,"virtualTimeMs":0}
{"kind":"invalidate-remote","seq":13,"virtualTimeMs":0}
"@22"
"@23"
{"branch":"main","kind":"branch-probe","seq":16,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":3,"seq":17,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":18,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":4,"seq":19,"virtualTimeMs":0}
{"branch":"main","kind":"pull","seq":20,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":21,"virtualTimeMs":0}
{"kind":"local-read","local":"@12","n":5,"seq":22,"virtualTimeMs":0}
{"byMs":0,"kind":"clock-advance","seq":23,"virtualTimeMs":0}
"@24"
"@25"
"@26"
"@27"
"@28"
{"kind":"complete","seq":29,"virtualTimeMs":0}
COMPARISON P16.a Diff0 bytes 1172 
["/observers/0/events/1/_tag","snapshot","localUpdated"]
["/observers/0/events/1/remote","@4","<ABSENT>"]
COMPARISON P16.a DiffT bytes 3897 
["/services/P16-pull-fails-after-local-mutation/assertions/1/actual/1/_tag","snapshot","localUpdated"]
["/services/P16-pull-fails-after-local-mutation/assertions/1/actual/1/remote","@4","<ABSENT>"]
["/services/P16-pull-fails-after-local-mutation/branchProbeChannel",[],[{"branch":"main","virtualTimeMs":0},{"branch":"main","virtualTimeMs":0},{"branch":"main","virtualTimeMs":0},{"branch":"main","virtualTimeMs":0}]]
["/services/P16-pull-fails-after-local-mutation/invalidationChannel",[{"kind":"invalidate-all"},{"kind":"invalidate-local"},{"kind":"invalidate-local"}],[{"kind":"invalidate-remote"},{"kind":"invalidate-local"},{"kind":"invalidate-all"},{"kind":"invalidate-remote"},{"kind":"invalidate-local"},{"kind":"invalidate-local"}]]
["/services/P16-pull-fails-after-local-mutation/localReadChannel",[{"local":"@2","n":1,"virtualTimeMs":0},{"local":"@2","n":2,"virtualTimeMs":0},{"local":"@2","n":3,"virtualTimeMs":0},{"local":"@12","n":4,"virtualTimeMs":0}],[{"local":"@2","n":1,"virtualTimeMs":0},{"local":"@2","n":2,"virtualTimeMs":0},{"local":"@2","n":3,"virtualTimeMs":0},{"local":"@2","n":4,"virtualTimeMs":0},{"local":"@12","n":5,"virtualTimeMs":0}]]
["/streams/P16-pull-fails-after-local-mutation/P16-pull-fails-after-local-mutation/passive-1/1/event/_tag","snapshot","localUpdated"]
["/streams/P16-pull-fails-after-local-mutation/P16-pull-fails-after-local-mutation/passive-1/1/event/remote","@4","<ABSENT>"]

ROW P16.b Latest local retained/published, compatible original remote allowed, recorded failure/recovery outcome; no stale local.
CAPTURE P16.b-before.ndjson
@29={"aheadCount":0,"aheadOfDefaultCount":1,"behindCount":0,"hasUpstream":true,"pr":"@3"}
@30={"branch":"main","kind":"remote-read-start","n":2,"options":{"refreshUpstream":false},"seq":15,"value":"@29","virtualTimeMs":0}
@31={"event":{"_tag":"snapshot","local":"@12","remote":"@4"},"kind":"stream","merged":"@13","observer":"passive-1","seq":19,"virtualTimeMs":0}
@32={"exit":{"_id":"Exit","_tag":"Success","value":"@13"},"kind":"result","seq":20,"virtualTimeMs":0}
@33={"actual":{"_id":"Exit","_tag":"Success","value":"@13"},"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":21,"test":"partial mutation reconciled into final local","virtualTimeMs":0}
@34={"actual":[{"_tag":"snapshot","local":"@2","remote":"@4"},{"_tag":"snapshot","local":"@12","remote":"@4"}],"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":22,"test":"partial local mutation published","virtualTimeMs":0}
@35={"actual":1,"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":23,"test":"pull attempted once","virtualTimeMs":0}
SESSION P16-post-pull-remote-fails 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e /tmp/lead-21046-r2/capture/2026-10-28T17-54-04-119Z-harness-before
"@1"
{"kind":"local-read","local":"@2","n":1,"seq":2,"virtualTimeMs":0}
"@5"
"@6"
"@8"
{"kind":"invalidate-all","seq":6,"virtualTimeMs":0}
"@9"
"@10"
{"kind":"local-read","local":"@2","n":2,"seq":9,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":10,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":3,"seq":11,"virtualTimeMs":0}
{"branch":"main","kind":"pull","seq":12,"virtualTimeMs":0}
{"kind":"invalidate-all","seq":13,"virtualTimeMs":0}
{"kind":"local-read","local":"@12","n":4,"seq":14,"virtualTimeMs":0}
"@30"
{"kind":"invalidate-local","seq":16,"virtualTimeMs":0}
{"kind":"local-read","local":"@12","n":5,"seq":17,"virtualTimeMs":0}
{"byMs":0,"kind":"clock-advance","seq":18,"virtualTimeMs":0}
"@31"
"@32"
"@33"
"@34"
"@35"
{"kind":"complete","seq":24,"virtualTimeMs":0}
CAPTURE P16.b-after.ndjson
@36={"branch":"main","kind":"remote-read-start","n":2,"options":{"refreshUpstream":false},"seq":26,"value":"@29","virtualTimeMs":0}
@37={"event":{"_tag":"localUpdated","local":"@12"},"kind":"stream","merged":"@13","observer":"passive-1","seq":30,"virtualTimeMs":0}
@38={"exit":{"_id":"Exit","_tag":"Success","value":"@13"},"kind":"result","seq":31,"virtualTimeMs":0}
@39={"actual":{"_id":"Exit","_tag":"Success","value":"@13"},"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":32,"test":"partial mutation reconciled into final local","virtualTimeMs":0}
@40={"actual":[{"_tag":"snapshot","local":"@2","remote":"@4"},{"_tag":"localUpdated","local":"@12"}],"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":33,"test":"partial local mutation published","virtualTimeMs":0}
@41={"actual":1,"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":34,"test":"pull attempted once","virtualTimeMs":0}
SESSION P16-post-pull-remote-fails bb35b941115a0a9f818e8512eebe67c29ee68355 /tmp/lead-21046-r2/capture/2026-10-28T17-54-04-297Z-harness-after
"@1"
{"kind":"local-read","local":"@2","n":1,"seq":2,"virtualTimeMs":0}
{"branch":"main","kind":"branch-probe","seq":3,"virtualTimeMs":0}
{"kind":"invalidate-remote","seq":4,"virtualTimeMs":0}
"@19"
"@20"
{"branch":"main","kind":"branch-probe","seq":7,"virtualTimeMs":0}
"@21"
{"kind":"invalidate-local","seq":9,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":2,"seq":10,"virtualTimeMs":0}
{"kind":"invalidate-all","seq":11,"virtualTimeMs":0}
{"branch":"main","kind":"branch-probe","seq":12,"virtualTimeMs":0}
{"kind":"invalidate-remote","seq":13,"virtualTimeMs":0}
"@22"
"@23"
{"branch":"main","kind":"branch-probe","seq":16,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":3,"seq":17,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":18,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":4,"seq":19,"virtualTimeMs":0}
{"branch":"main","kind":"pull","seq":20,"virtualTimeMs":0}
{"kind":"invalidate-all","seq":21,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":22,"virtualTimeMs":0}
{"kind":"local-read","local":"@12","n":5,"seq":23,"virtualTimeMs":0}
{"branch":"main","kind":"branch-probe","seq":24,"virtualTimeMs":0}
{"kind":"invalidate-remote","seq":25,"virtualTimeMs":0}
"@36"
{"kind":"invalidate-local","seq":27,"virtualTimeMs":0}
{"kind":"local-read","local":"@12","n":6,"seq":28,"virtualTimeMs":0}
{"byMs":0,"kind":"clock-advance","seq":29,"virtualTimeMs":0}
"@37"
"@38"
"@39"
"@40"
"@41"
{"kind":"complete","seq":35,"virtualTimeMs":0}
COMPARISON P16.b Diff0 bytes 1172 
["/observers/0/events/1/_tag","snapshot","localUpdated"]
["/observers/0/events/1/remote","@4","<ABSENT>"]
COMPARISON P16.b DiffT bytes 4394 
["/services/P16-post-pull-remote-fails/assertions/1/actual/1/_tag","snapshot","localUpdated"]
["/services/P16-post-pull-remote-fails/assertions/1/actual/1/remote","@4","<ABSENT>"]
["/services/P16-post-pull-remote-fails/branchProbeChannel",[],[{"branch":"main","virtualTimeMs":0},{"branch":"main","virtualTimeMs":0},{"branch":"main","virtualTimeMs":0},{"branch":"main","virtualTimeMs":0},{"branch":"main","virtualTimeMs":0}]]
["/services/P16-post-pull-remote-fails/invalidationChannel",[{"kind":"invalidate-all"},{"kind":"invalidate-local"},{"kind":"invalidate-all"},{"kind":"invalidate-local"}],[{"kind":"invalidate-remote"},{"kind":"invalidate-local"},{"kind":"invalidate-all"},{"kind":"invalidate-remote"},{"kind":"invalidate-local"},{"kind":"invalidate-all"},{"kind":"invalidate-local"},{"kind":"invalidate-remote"},{"kind":"invalidate-local"}]]
["/services/P16-post-pull-remote-fails/localReadChannel",[{"local":"@2","n":1,"virtualTimeMs":0},{"local":"@2","n":2,"virtualTimeMs":0},{"local":"@2","n":3,"virtualTimeMs":0},{"local":"@12","n":4,"virtualTimeMs":0},{"local":"@12","n":5,"virtualTimeMs":0}],[{"local":"@2","n":1,"virtualTimeMs":0},{"local":"@2","n":2,"virtualTimeMs":0},{"local":"@2","n":3,"virtualTimeMs":0},{"local":"@2","n":4,"virtualTimeMs":0},{"local":"@12","n":5,"virtualTimeMs":0},{"local":"@12","n":6,"virtualTimeMs":0}]]
["/streams/P16-post-pull-remote-fails/P16-post-pull-remote-fails/passive-1/1/event/_tag","snapshot","localUpdated"]
["/streams/P16-post-pull-remote-fails/P16-post-pull-remote-fails/passive-1/1/event/remote","@4","<ABSENT>"]

ROW P16.c Final effect fails; no fabricated successful stale local publication. Prior already-published local state retained.
CAPTURE P16.c-before.ndjson
@42={"_tag":"GitManagerError","cwd":"/proof/repo","detail":"controlled reconciliation local failure","operation":"proof.reconcile"}
@43={"_id":"Exit","_tag":"Failure","cause":{"_id":"Cause","failures":[{"_tag":"Fail","error":"@42"}]}}
@44={"actual":"@43","expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":17,"test":"reconciliation local error propagates","virtualTimeMs":0}
@45={"actual":[{"_tag":"snapshot","local":"@2","remote":"@4"}],"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":18,"test":"failed reconciliation publishes no stale local","virtualTimeMs":0}
@46={"actual":1,"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":19,"test":"pull attempted once","virtualTimeMs":0}
SESSION P16-reconciliation-local-fails 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e /tmp/lead-21046-r2/capture/2026-10-28T17-54-04-119Z-harness-before
"@1"
{"kind":"local-read","local":"@2","n":1,"seq":2,"virtualTimeMs":0}
"@5"
"@6"
"@8"
{"kind":"invalidate-all","seq":6,"virtualTimeMs":0}
"@9"
"@10"
{"kind":"local-read","local":"@2","n":2,"seq":9,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":10,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":3,"seq":11,"virtualTimeMs":0}
{"branch":"main","kind":"pull","seq":12,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":13,"virtualTimeMs":0}
{"kind":"local-read","local":"@12","n":4,"seq":14,"virtualTimeMs":0}
{"byMs":0,"kind":"clock-advance","seq":15,"virtualTimeMs":0}
{"exit":"@43","kind":"result","seq":16,"virtualTimeMs":0}
"@44"
"@45"
"@46"
{"kind":"complete","seq":20,"virtualTimeMs":0}
CAPTURE P16.c-after.ndjson
@47={"actual":"@43","expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":25,"test":"reconciliation local error propagates","virtualTimeMs":0}
@48={"actual":[{"_tag":"snapshot","local":"@2","remote":"@4"}],"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":26,"test":"failed reconciliation publishes no stale local","virtualTimeMs":0}
@49={"actual":1,"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":27,"test":"pull attempted once","virtualTimeMs":0}
SESSION P16-reconciliation-local-fails bb35b941115a0a9f818e8512eebe67c29ee68355 /tmp/lead-21046-r2/capture/2026-10-28T17-54-04-297Z-harness-after
"@1"
{"kind":"local-read","local":"@2","n":1,"seq":2,"virtualTimeMs":0}
{"branch":"main","kind":"branch-probe","seq":3,"virtualTimeMs":0}
{"kind":"invalidate-remote","seq":4,"virtualTimeMs":0}
"@19"
"@20"
{"branch":"main","kind":"branch-probe","seq":7,"virtualTimeMs":0}
"@21"
{"kind":"invalidate-local","seq":9,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":2,"seq":10,"virtualTimeMs":0}
{"kind":"invalidate-all","seq":11,"virtualTimeMs":0}
{"branch":"main","kind":"branch-probe","seq":12,"virtualTimeMs":0}
{"kind":"invalidate-remote","seq":13,"virtualTimeMs":0}
"@22"
"@23"
{"branch":"main","kind":"branch-probe","seq":16,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":3,"seq":17,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":18,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":4,"seq":19,"virtualTimeMs":0}
{"branch":"main","kind":"pull","seq":20,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":21,"virtualTimeMs":0}
{"kind":"local-read","local":"@12","n":5,"seq":22,"virtualTimeMs":0}
{"byMs":0,"kind":"clock-advance","seq":23,"virtualTimeMs":0}
{"exit":"@43","kind":"result","seq":24,"virtualTimeMs":0}
"@47"
"@48"
"@49"
{"kind":"complete","seq":28,"virtualTimeMs":0}
COMPARISON P16.c Diff0 bytes 321 
IDENTICAL
COMPARISON P16.c DiffT bytes 2194 
["/services/P16-reconciliation-local-fails/branchProbeChannel",[],[{"branch":"main","virtualTimeMs":0},{"branch":"main","virtualTimeMs":0},{"branch":"main","virtualTimeMs":0},{"branch":"main","virtualTimeMs":0}]]
["/services/P16-reconciliation-local-fails/invalidationChannel",[{"kind":"invalidate-all"},{"kind":"invalidate-local"},{"kind":"invalidate-local"}],[{"kind":"invalidate-remote"},{"kind":"invalidate-local"},{"kind":"invalidate-all"},{"kind":"invalidate-remote"},{"kind":"invalidate-local"},{"kind":"invalidate-local"}]]
["/services/P16-reconciliation-local-fails/localReadChannel",[{"local":"@2","n":1,"virtualTimeMs":0},{"local":"@2","n":2,"virtualTimeMs":0},{"local":"@2","n":3,"virtualTimeMs":0},{"local":"@12","n":4,"virtualTimeMs":0}],[{"local":"@2","n":1,"virtualTimeMs":0},{"local":"@2","n":2,"virtualTimeMs":0},{"local":"@2","n":3,"virtualTimeMs":0},{"local":"@2","n":4,"virtualTimeMs":0},{"local":"@12","n":5,"virtualTimeMs":0}]]

ROW P16.pre Warning/catch returns no-pull; zero pull calls. Record any later count-driven local reconciliation separately.
CAPTURE P16.pre-before.ndjson
@50={"branchChanges":{"baseRef":"origin/main","deletions":0,"insertions":1},"hasPrimaryRemote":true,"hasWorkingTreeChanges":false,"isDefaultRef":true,"isRepo":true,"refName":"A","workingTree":{"deletions":0,"files":[],"insertions":0}}
@51={"baseRef":"main","headRef":"A","number":613,"state":"open","title":"Fixture A","url":"https://github.com/proof-audit/status-fixture/pull/613"}
@52={"aheadCount":0,"aheadOfDefaultCount":1,"behindCount":2,"hasUpstream":true,"pr":"@51"}
@53={"branch":"A","kind":"remote-read-start","n":1,"options":{"refreshUpstream":true},"seq":3,"value":"@52","virtualTimeMs":0}
@54={"kind":"remote-read-return","n":1,"seq":4,"value":"@52","virtualTimeMs":0}
@55={"aheadCount":0,"aheadOfDefaultCount":1,"behindCount":2,"branchChanges":{"baseRef":"origin/main","deletions":0,"insertions":1},"hasPrimaryRemote":true,"hasUpstream":true,"hasWorkingTreeChanges":false,"isDefaultRef":true,"isRepo":true,"pr":"@51","refName":"A","workingTree":{"deletions":0,"files":[],"insertions":0}}
@56={"event":{"_tag":"snapshot","local":"@50","remote":"@52"},"kind":"stream","merged":"@55","observer":"passive-1","seq":5,"virtualTimeMs":0}
@57={"branch":"A","kind":"remote-read-start","n":2,"options":{"refreshUpstream":true},"seq":7,"value":"@52","virtualTimeMs":0}
@58={"kind":"remote-read-return","n":2,"seq":8,"value":"@52","virtualTimeMs":0}
@59={"kind":"checkpoint","localReads":2,"name":"policy-before-eligibility","pending":true,"pulls":0,"seq":10,"virtualTimeMs":0}
@60={"event":{"_tag":"snapshot","local":"@50","remote":"@52"},"kind":"snapshot","merged":"@55","name":"eligibility-failure-cache","seq":14,"virtualTimeMs":0}
@61={"exit":{"_id":"Exit","_tag":"Success","value":"@55"},"kind":"result","pulls":0,"seq":15,"snapshot":{"_tag":"snapshot","local":"@50","remote":"@52"},"virtualTimeMs":0}
@62={"actual":0,"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":16,"test":"eligibility-failure-caught-before-pull","virtualTimeMs":0}
@63={"actual":{"_id":"Exit","_tag":"Success","value":"@55"},"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":17,"test":"eligibility-failure-keeps-successful-cache","virtualTimeMs":0}
SESSION P16-eligibility-local-fails 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e /tmp/lead-21046-r2/capture/2026-10-28T17-54-04-288Z-harness-before
"@1"
{"kind":"local-read","local":"@50","n":1,"seq":2,"virtualTimeMs":0}
"@53"
"@54"
"@56"
{"kind":"invalidate-all","seq":6,"virtualTimeMs":0}
"@57"
"@58"
{"kind":"local-read","local":"@50","n":2,"seq":9,"virtualTimeMs":0}
"@59"
{"kind":"invalidate-local","seq":11,"virtualTimeMs":0}
{"kind":"local-read","local":"@50","n":3,"seq":12,"virtualTimeMs":0}
{"byMs":0,"kind":"clock-advance","seq":13,"virtualTimeMs":0}
"@60"
"@61"
"@62"
"@63"
{"kind":"complete","seq":18,"virtualTimeMs":0}
CAPTURE P16.pre-after.ndjson
@64={"branch":"A","kind":"remote-read-start","n":1,"options":{"refreshUpstream":true},"seq":5,"value":"@52","virtualTimeMs":0}
@65={"kind":"remote-read-return","n":1,"seq":6,"value":"@52","virtualTimeMs":0}
@66={"event":{"_tag":"snapshot","local":"@50","remote":"@52"},"kind":"stream","merged":"@55","observer":"passive-1","seq":8,"virtualTimeMs":0}
@67={"branch":"A","kind":"remote-read-start","n":2,"options":{"refreshUpstream":true},"seq":14,"value":"@52","virtualTimeMs":0}
@68={"kind":"remote-read-return","n":2,"seq":15,"value":"@52","virtualTimeMs":0}
@69={"kind":"checkpoint","localReads":3,"name":"policy-before-eligibility","pending":true,"pulls":0,"seq":18,"virtualTimeMs":0}
@70={"event":{"_tag":"snapshot","local":"@50","remote":"@52"},"kind":"snapshot","merged":"@55","name":"eligibility-failure-cache","seq":22,"virtualTimeMs":0}
@71={"exit":{"_id":"Exit","_tag":"Success","value":"@55"},"kind":"result","pulls":0,"seq":23,"snapshot":{"_tag":"snapshot","local":"@50","remote":"@52"},"virtualTimeMs":0}
@72={"actual":0,"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":24,"test":"eligibility-failure-caught-before-pull","virtualTimeMs":0}
@73={"actual":{"_id":"Exit","_tag":"Success","value":"@55"},"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":25,"test":"eligibility-failure-keeps-successful-cache","virtualTimeMs":0}
SESSION P16-eligibility-local-fails bb35b941115a0a9f818e8512eebe67c29ee68355 /tmp/lead-21046-r2/capture/2026-10-28T17-54-03-990Z-harness-after
"@1"
{"kind":"local-read","local":"@50","n":1,"seq":2,"virtualTimeMs":0}
{"branch":"A","kind":"branch-probe","seq":3,"virtualTimeMs":0}
{"kind":"invalidate-remote","seq":4,"virtualTimeMs":0}
"@64"
"@65"
{"branch":"A","kind":"branch-probe","seq":7,"virtualTimeMs":0}
"@66"
{"kind":"invalidate-local","seq":9,"virtualTimeMs":0}
{"kind":"local-read","local":"@50","n":2,"seq":10,"virtualTimeMs":0}
{"kind":"invalidate-all","seq":11,"virtualTimeMs":0}
{"branch":"A","kind":"branch-probe","seq":12,"virtualTimeMs":0}
{"kind":"invalidate-remote","seq":13,"virtualTimeMs":0}
"@67"
"@68"
{"branch":"A","kind":"branch-probe","seq":16,"virtualTimeMs":0}
{"kind":"local-read","local":"@50","n":3,"seq":17,"virtualTimeMs":0}
"@69"
{"kind":"invalidate-local","seq":19,"virtualTimeMs":0}
{"kind":"local-read","local":"@50","n":4,"seq":20,"virtualTimeMs":0}
{"byMs":0,"kind":"clock-advance","seq":21,"virtualTimeMs":0}
"@70"
"@71"
"@72"
"@73"
{"kind":"complete","seq":26,"virtualTimeMs":0}
COMPARISON P16.pre Diff0 bytes 323 
IDENTICAL
COMPARISON P16.pre DiffT bytes 2163 
["/services/P16-eligibility-local-fails/branchProbeChannel",[],[{"branch":"A","virtualTimeMs":0},{"branch":"A","virtualTimeMs":0},{"branch":"A","virtualTimeMs":0},{"branch":"A","virtualTimeMs":0}]]
["/services/P16-eligibility-local-fails/checkpoints/0/localReads",2,3]
["/services/P16-eligibility-local-fails/invalidationChannel",[{"kind":"invalidate-all"},{"kind":"invalidate-local"}],[{"kind":"invalidate-remote"},{"kind":"invalidate-local"},{"kind":"invalidate-all"},{"kind":"invalidate-remote"},{"kind":"invalidate-local"}]]
["/services/P16-eligibility-local-fails/localReadChannel",[{"local":"@50","n":1,"virtualTimeMs":0},{"local":"@50","n":2,"virtualTimeMs":0},{"local":"@50","n":3,"virtualTimeMs":0}],[{"local":"@50","n":1,"virtualTimeMs":0},{"local":"@50","n":2,"virtualTimeMs":0},{"local":"@50","n":3,"virtualTimeMs":0},{"local":"@50","n":4,"virtualTimeMs":0}]]

ROW P16.d Head rejects old A remote, B/null; base may mix old A remote with B. Exactly one attempted pull.
CAPTURE P16.d-before.ndjson
@74={"branchChanges":{"baseRef":"origin/main","deletions":0,"insertions":1},"hasPrimaryRemote":true,"hasWorkingTreeChanges":true,"isDefaultRef":true,"isRepo":true,"refName":"B","workingTree":"@11"}
@75={"aheadCount":0,"aheadOfDefaultCount":1,"behindCount":2,"branchChanges":{"baseRef":"origin/main","deletions":0,"insertions":1},"hasPrimaryRemote":true,"hasUpstream":true,"hasWorkingTreeChanges":true,"isDefaultRef":true,"isRepo":true,"pr":"@3","refName":"B","workingTree":"@11"}
@76={"event":{"_tag":"snapshot","local":"@74","remote":"@4"},"kind":"stream","merged":"@75","observer":"passive-1","seq":16,"virtualTimeMs":0}
@77={"exit":{"_id":"Exit","_tag":"Success","value":"@75"},"kind":"result","seq":17,"virtualTimeMs":0}
@78={"actual":{"_id":"Exit","_tag":"Success","value":"@75"},"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":18,"test":"partial mutation reconciled into final local","virtualTimeMs":0}
@79={"actual":[{"_tag":"snapshot","local":"@2","remote":"@4"},{"_tag":"snapshot","local":"@74","remote":"@4"}],"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":19,"test":"partial local mutation published","virtualTimeMs":0}
@80={"actual":{"_id":"Exit","_tag":"Success","value":"@75"},"expectedPredicate":true,"kind":"assertion","observedPredicate":false,"outcome":"FAIL","seq":20,"test":"failed pull reconciliation rejects old-branch remote","virtualTimeMs":0}
@81={"actual":1,"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":21,"test":"pull attempted once","virtualTimeMs":0}
SESSION P16-branch-switch-after-failed-pull 5211acfe95a0c6d82a60e2524b5e46b47fe67a3e /tmp/lead-21046-r2/capture/2026-10-28T17-54-04-119Z-harness-before
"@1"
{"kind":"local-read","local":"@2","n":1,"seq":2,"virtualTimeMs":0}
"@5"
"@6"
"@8"
{"kind":"invalidate-all","seq":6,"virtualTimeMs":0}
"@9"
"@10"
{"kind":"local-read","local":"@2","n":2,"seq":9,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":10,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":3,"seq":11,"virtualTimeMs":0}
{"branch":"main","kind":"pull","seq":12,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":13,"virtualTimeMs":0}
{"kind":"local-read","local":"@74","n":4,"seq":14,"virtualTimeMs":0}
{"byMs":0,"kind":"clock-advance","seq":15,"virtualTimeMs":0}
"@76"
"@77"
"@78"
"@79"
"@80"
"@81"
{"kind":"complete","seq":22,"virtualTimeMs":0}
CAPTURE P16.d-after.ndjson
@82={"aheadCount":0,"aheadOfDefaultCount":0,"behindCount":0,"branchChanges":{"baseRef":"origin/main","deletions":0,"insertions":1},"hasPrimaryRemote":true,"hasUpstream":false,"hasWorkingTreeChanges":false,"isDefaultRef":true,"isRepo":true,"pr":null,"refName":"main","workingTree":{"deletions":0,"files":[],"insertions":0}}
@83={"event":{"_tag":"remoteUpdated","remote":null},"kind":"stream","merged":"@82","observer":"passive-1","seq":24,"virtualTimeMs":0}
@84={"aheadCount":0,"aheadOfDefaultCount":0,"behindCount":0,"branchChanges":{"baseRef":"origin/main","deletions":0,"insertions":1},"hasPrimaryRemote":true,"hasUpstream":false,"hasWorkingTreeChanges":true,"isDefaultRef":true,"isRepo":true,"pr":null,"refName":"B","workingTree":"@11"}
@85={"event":{"_tag":"localUpdated","local":"@74"},"kind":"stream","merged":"@84","observer":"passive-1","seq":25,"virtualTimeMs":0}
@86={"exit":{"_id":"Exit","_tag":"Success","value":"@84"},"kind":"result","seq":26,"virtualTimeMs":0}
@87={"actual":{"_id":"Exit","_tag":"Success","value":"@84"},"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":27,"test":"partial mutation reconciled into final local","virtualTimeMs":0}
@88={"actual":[{"_tag":"snapshot","local":"@2","remote":"@4"},{"_tag":"remoteUpdated","remote":null},{"_tag":"localUpdated","local":"@74"}],"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":28,"test":"partial local mutation published","virtualTimeMs":0}
@89={"actual":{"_id":"Exit","_tag":"Success","value":"@84"},"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":29,"test":"failed pull reconciliation rejects old-branch remote","virtualTimeMs":0}
@90={"actual":1,"expectedPredicate":true,"kind":"assertion","observedPredicate":true,"outcome":"PASS","seq":30,"test":"pull attempted once","virtualTimeMs":0}
SESSION P16-branch-switch-after-failed-pull bb35b941115a0a9f818e8512eebe67c29ee68355 /tmp/lead-21046-r2/capture/2026-10-28T17-54-04-297Z-harness-after
"@1"
{"kind":"local-read","local":"@2","n":1,"seq":2,"virtualTimeMs":0}
{"branch":"main","kind":"branch-probe","seq":3,"virtualTimeMs":0}
{"kind":"invalidate-remote","seq":4,"virtualTimeMs":0}
"@19"
"@20"
{"branch":"main","kind":"branch-probe","seq":7,"virtualTimeMs":0}
"@21"
{"kind":"invalidate-local","seq":9,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":2,"seq":10,"virtualTimeMs":0}
{"kind":"invalidate-all","seq":11,"virtualTimeMs":0}
{"branch":"main","kind":"branch-probe","seq":12,"virtualTimeMs":0}
{"kind":"invalidate-remote","seq":13,"virtualTimeMs":0}
"@22"
"@23"
{"branch":"main","kind":"branch-probe","seq":16,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":3,"seq":17,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":18,"virtualTimeMs":0}
{"kind":"local-read","local":"@2","n":4,"seq":19,"virtualTimeMs":0}
{"branch":"main","kind":"pull","seq":20,"virtualTimeMs":0}
{"kind":"invalidate-local","seq":21,"virtualTimeMs":0}
{"kind":"local-read","local":"@74","n":5,"seq":22,"virtualTimeMs":0}
{"byMs":0,"kind":"clock-advance","seq":23,"virtualTimeMs":0}
"@83"
"@85"
"@86"
"@87"
"@88"
"@89"
"@90"
{"kind":"complete","seq":31,"virtualTimeMs":0}
COMPARISON P16.d Diff0 bytes 1258 
["/observers/0/events",[{"_tag":"snapshot","local":"@2","remote":"@4"},{"_tag":"snapshot","local":"@74","remote":"@4"}],[{"_tag":"snapshot","local":"@2","remote":"@4"},{"_tag":"remoteUpdated","remote":null},{"_tag":"localUpdated","local":"@74"}]]
COMPARISON P16.d DiffT bytes 9186 
@91={"event":{"_tag":"snapshot","local":"@2","remote":"@4"},"merged":"@7","virtualTimeMs":0}
@92={"event":{"_tag":"snapshot","local":"@74","remote":"@4"},"merged":"@75","virtualTimeMs":0}
@93={"event":{"_tag":"remoteUpdated","remote":null},"merged":"@82","virtualTimeMs":0}
@94={"event":{"_tag":"localUpdated","local":"@74"},"merged":"@84","virtualTimeMs":0}
["/services/P16-branch-switch-after-failed-pull/assertions/0/actual/value/aheadOfDefaultCount",1,0]
["/services/P16-branch-switch-after-failed-pull/assertions/0/actual/value/behindCount",2,0]
["/services/P16-branch-switch-after-failed-pull/assertions/0/actual/value/hasUpstream",true,false]
["/services/P16-branch-switch-after-failed-pull/assertions/0/actual/value/pr","@3",null]
["/services/P16-branch-switch-after-failed-pull/assertions/1/actual",[{"_tag":"snapshot","local":"@2","remote":"@4"},{"_tag":"snapshot","local":"@74","remote":"@4"}],[{"_tag":"snapshot","local":"@2","remote":"@4"},{"_tag":"remoteUpdated","remote":null},{"_tag":"localUpdated","local":"@74"}]]
["/services/P16-branch-switch-after-failed-pull/assertions/2/actual/value/aheadOfDefaultCount",1,0]
["/services/P16-branch-switch-after-failed-pull/assertions/2/actual/value/behindCount",2,0]
["/services/P16-branch-switch-after-failed-pull/assertions/2/actual/value/hasUpstream",true,false]
["/services/P16-branch-switch-after-failed-pull/assertions/2/actual/value/pr","@3",null]
["/services/P16-branch-switch-after-failed-pull/assertions/2/observedPredicate",false,true]
["/services/P16-branch-switch-after-failed-pull/assertions/2/outcome","FAIL","PASS"]
["/services/P16-branch-switch-after-failed-pull/branchProbeChannel",[],[{"branch":"main","virtualTimeMs":0},{"branch":"main","virtualTimeMs":0},{"branch":"main","virtualTimeMs":0},{"branch":"main","virtualTimeMs":0}]]
["/services/P16-branch-switch-after-failed-pull/finalResultsAndObservations/0/exit/value/aheadOfDefaultCount",1,0]
["/services/P16-branch-switch-after-failed-pull/finalResultsAndObservations/0/exit/value/behindCount",2,0]
["/services/P16-branch-switch-after-failed-pull/finalResultsAndObservations/0/exit/value/hasUpstream",true,false]
["/services/P16-branch-switch-after-failed-pull/finalResultsAndObservations/0/exit/value/pr","@3",null]
["/services/P16-branch-switch-after-failed-pull/invalidationChannel",[{"kind":"invalidate-all"},{"kind":"invalidate-local"},{"kind":"invalidate-local"}],[{"kind":"invalidate-remote"},{"kind":"invalidate-local"},{"kind":"invalidate-all"},{"kind":"invalidate-remote"},{"kind":"invalidate-local"},{"kind":"invalidate-local"}]]
["/services/P16-branch-switch-after-failed-pull/localReadChannel",[{"local":"@2","n":1,"virtualTimeMs":0},{"local":"@2","n":2,"virtualTimeMs":0},{"local":"@2","n":3,"virtualTimeMs":0},{"local":"@74","n":4,"virtualTimeMs":0}],[{"local":"@2","n":1,"virtualTimeMs":0},{"local":"@2","n":2,"virtualTimeMs":0},{"local":"@2","n":3,"virtualTimeMs":0},{"local":"@2","n":4,"virtualTimeMs":0},{"local":"@74","n":5,"virtualTimeMs":0}]]
["/streams/P16-branch-switch-after-failed-pull/P16-branch-switch-after-failed-pull/passive-1",["@91","@92"],["@91","@93","@94"]]
