fixtures/vm100/etc/router-wgpay-selector.d/peers.conf: OK
fixtures/vm100/etc/router-wgpay-slot-topology.conf: OK
rootfs/vm100/usr/local/lib/router-wgpay-slot-topology-lib.sh: OK
rootfs/vm100/usr/local/sbin/router-wgpay-slot-topology-apply.sh: OK
runtime/vm100-selector-empty-move-isolated-proof.sh: OK
ISOLATED_PROOF_APPLY_SHELL=busybox_ash
EMPTY_MOVE_MAP_COPIES_SELECTOR_BYTE_IDENTICAL=true
NONEMPTY_MOVE_MAP_STILL_APPLIES=true
R14_SELECTOR_CANDIDATE_FAILURE_REPRODUCTION_COVERED=true
SELECTOR_CANDIDATE_FAILURE_DETAIL_INCLUDES_RC=true
PRODUCTION_RUNTIME_MUTATED=false
RESULT=PASS_R20QT_VM100_SELECTOR_EMPTY_MOVE_ISOLATED_PROOF
/etc/router-wgpay-selector.d/peers.conf: OK
/etc/router-wgpay-selector.d/canonical.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
/var/lib/router-wgpay-direct-mode/state.kv: OK
VM100_SELECTOR_EMPTY_MOVE_HARDENING_INSTALLED=true
SELECTOR_CANDIDATE_FAILURE_DETAIL_HARDENED=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_R20QT_VM100_APPLY
EMPTY_MOVE_MAP_COPIES_SELECTOR_BYTE_IDENTICAL=true
NONEMPTY_MOVE_MAP_STILL_APPLIES=true
R14_SELECTOR_CANDIDATE_FAILURE_REPRODUCTION_COVERED=true
SELECTOR_CANDIDATE_FAILURE_DETAIL_INCLUDES_RC=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_R20QT_APPLY