fixtures/vm100/etc/router-wgpay-selector.d/peers.conf: OK
fixtures/vm100/usr/local/lib/router-wgpay-slot-topology-lib.sh: OK
rootfs/vm100/etc/router-machine-git-source.conf: OK
rootfs/vm100/etc/router-wgpay-selector.d/canonical.conf: OK
rootfs/vm100/etc/router-wgpay-slot-topology.conf: OK
rootfs/vm100/usr/local/sbin/router-wgpay-slot-topology-apply.sh: OK
runtime/vm100-normal-selector-restore-isolated-proof.sh: OK
/tmp/r20qr-normal-selector-proof.6429/persist-failure/state/state.kv: OK
/tmp/r20qr-normal-selector-proof.6429/persist-failure/state/plan.kv: OK
/tmp/r20qr-normal-selector-proof.6429/persist-failure/state/ack.kv: OK
NORMAL_SELECTOR_CANONICAL_RESTORE_PROVED=true
FINAL_SELECTOR_BYTE_IDENTICAL_PROVED=true
NORMAL_REPLAY_NOOP_PROVED=true
DIRECT_EXIT_SELECTOR_NEUTRAL_PROVED=true
UNKNOWN_PEER_SET_REJECTED_PROVED=true
APPLY_FAILURE_ROLLBACK_PROVED=true
PERSIST_FAILURE_ROLLBACK_PROVED=true
LIVE_ZERO_HEALTHY_SIMULATED=false
LIVE_DIRECT_ROUTE_CHANGED=false
RESULT=PASS_R20QR_VM100_NORMAL_SELECTOR_RESTORE_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_R20QR_VM100_APPLY
NORMAL_SELECTOR_CANONICAL_RESTORE_PROVED=true
FINAL_SELECTOR_BYTE_IDENTICAL_PROVED=true
NORMAL_REPLAY_NOOP_PROVED=true
DIRECT_EXIT_SELECTOR_NEUTRAL_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_R20QR_APPLY