fixtures/vm100/etc/router-wgpay-selector.d/peers.conf: OK
fixtures/vm100/usr/local/lib/router-wgpay-slot-topology-lib.sh: OK
fixtures/vm101/usr/local/sbin/router-egress-zero-healthy-bootstrap.sh: OK
rootfs/vm100/etc/router-wgpay-slot-topology.conf: OK
rootfs/vm100/usr/local/sbin/router-wgpay-direct-mode.sh: OK
rootfs/vm100/usr/local/sbin/router-wgpay-slot-topology-apply.sh: OK
runtime/vm100-direct-exit-isolated-proof.sh: OK
runtime/vm101-refresh-handoff-isolated-proof.sh: OK
fixtures/vm100/etc/router-wgpay-selector.d/peers.conf: OK
fixtures/vm100/usr/local/lib/router-wgpay-slot-topology-lib.sh: OK
fixtures/vm101/usr/local/sbin/router-egress-zero-healthy-bootstrap.sh: OK
rootfs/vm100/etc/router-wgpay-slot-topology.conf: OK
rootfs/vm100/usr/local/sbin/router-wgpay-direct-mode.sh: OK
rootfs/vm100/usr/local/sbin/router-wgpay-slot-topology-apply.sh: OK
runtime/vm100-direct-exit-isolated-proof.sh: OK
runtime/vm101-refresh-handoff-isolated-proof.sh: OK
/tmp/r20qo-direct-proof.30572/disable-failure/state/state.kv: OK
/tmp/r20qo-direct-proof.30572/disable-failure/state/plan.kv: OK
/tmp/r20qo-direct-proof.30572/disable-failure/state/ack.kv: OK
/tmp/r20qo-direct-proof.30572/persist-failure/state/state.kv: OK
/tmp/r20qo-direct-proof.30572/persist-failure/state/plan.kv: OK
/tmp/r20qo-direct-proof.30572/persist-failure/state/ack.kv: OK
DIRECT_HOLD_COUNTS_PROVED=0,1,2
DIRECT_EXIT_COUNTS_PROVED=3,4,5
DIRECT_DISABLE_FAILURE_NO_ACK_PROVED=true
DIRECT_PERSIST_ROLLBACK_PROVED=true
SELECTOR_HASH_BYTE_IDENTICAL_PROVED=true
REPLAY_NOOP_PROVED=true
FALL_3_TO_2_NO_REENTER_PROVED=true
LIVE_DIRECT_ROUTE_CHANGED=false
RESULT=PASS_R20QO_VM100_DIRECT_EXIT_ISOLATED_PROOF
/etc/router-wgpay-selector.d/peers.conf: OK
/var/lib/router-wgpay-topology/state.kv: OK
/var/lib/router-wgpay-topology/plan.kv: OK
/var/lib/router-wgpay-topology/ack.kv: OK
VM100_SELECTOR_SHA256_BEFORE=46d41783effb8d80ea1b09895f829b98a0946e0edbff1e29e7651eb3ef9b036a
VM100_SELECTOR_SHA256_AFTER=46d41783effb8d80ea1b09895f829b98a0946e0edbff1e29e7651eb3ef9b036a
PRODUCTION_VM100_RUNTIME_UNCHANGED=true
LIVE_ZERO_HEALTHY_SIMULATED=false
LIVE_DIRECT_ROUTE_CHANGED=false
PROVIDER_ACQUISITION_USED=false
HEAVY_REFRESH_EXECUTED=false
RESULT=PASS_R20QO_VM100_APPLY
REFRESH_REQUEST_REQUESTED_ACCEPTED=true
REFRESH_PENDING_RUNNING_RETRY_NOOP_ACCEPTED=true
REFRESH_HANDOFF_TRANSIENT_RETRY_WITHOUT_SECOND_COMMIT_PROVED=true
RESULT=PASS_R20QN_ISOLATED_PROOF
/etc/router-egress-recovery/state.kv: OK
/etc/router-wgpay-fallback/state.kv: OK
/etc/router-wgpay-fallback/ack.kv: OK
/etc/router-wgpay-watcher-topology/state.kv: OK
/etc/router-wgpay-topology-delivery/state.kv: OK
/etc/config/network: OK
/etc/router-egress-zero-healthy-bootstrap.conf: OK
/usr/local/sbin/router-egress-zero-healthy-bootstrap.sh: OK
VM101_PRODUCTION_HASHES_UNCHANGED=true
REFRESH_HANDOFF_TRANSIENT_RETRY_WITHOUT_SECOND_COMMIT_PROVED=true
PROVIDER_ACQUISITION_USED=false
HEAVY_REFRESH_EXECUTED=false
RESULT=PASS_R20QO_VM101_REFRESH_HANDOFF_PROOF
DIRECT_HOLD_COUNTS_PROVED=0,1,2
DIRECT_EXIT_COUNTS_PROVED=3,4,5
SELECTOR_HASH_BYTE_IDENTICAL_PROVED=true
DIRECT_DISABLE_FAILURE_NO_ACK_PROVED=true
DIRECT_PERSIST_ROLLBACK_PROVED=true
REFRESH_HANDOFF_TRANSIENT_RETRY_WITHOUT_SECOND_COMMIT_PROVED=true
PRODUCTION_RUNTIME_STATE_UNCHANGED=true
LIVE_ZERO_HEALTHY_SIMULATED=false
LIVE_DIRECT_ROUTE_CHANGED=false
PROVIDER_ACQUISITION_USED=false
HEAVY_REFRESH_EXECUTED=false
RESULT=PASS_R20QO_APPLY