this derivation will be built:
  /nix/store/83601iq52x8kl6273fbklqi6hz5a3bcy-nix-grpc-store-spec.drv
Failed to find a machine for remote build!
derivation: 83601iq52x8kl6273fbklqi6hz5a3bcy-nix-grpc-store-spec.drv
required (system, features): (aarch64-linux, [])
1 available machines:
(systems, maxjobs, supportedFeatures, mandatoryFeatures)
([aarch64-darwin, x86_64-darwin], 8, [big-parallel, recursive-nix], [])
building '/nix/store/83601iq52x8kl6273fbklqi6hz5a3bcy-nix-grpc-store-spec.drv'
nix-grpc-store-spec> tribuchet: building on eliza
nix-grpc-store-spec> An example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 0,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 0,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 0,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 0,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 1,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 1,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c1", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 6]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 1,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 7]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 1,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 8]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 1,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 9]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1", "c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 10]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 11]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1", "c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 12]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 13]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 14]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c1", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 15]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 16]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c2", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 17]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1", "c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 18]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 19]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 20]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 21]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c2", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 22]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c2", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 23]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c2", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 0,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 24]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c2", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 1,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 25]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 1,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 26]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set("c2"),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 1,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 27]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CDone),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 1,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 28]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CDone),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(("c1", "w1")),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 1,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 29]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CDone),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set("c1"),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 1,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 30]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),
nix-grpc-store-spec>   schedFixed::scheduler::crashes: 2,
nix-grpc-store-spec>   schedFixed::scheduler::entry: [],
nix-grpc-store-spec>   schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedFixed::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedFixed::scheduler::published: 1,
nix-grpc-store-spec>   schedFixed::scheduler::publishedBy: Set("w1"),
nix-grpc-store-spec>   schedFixed::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [ok] No violation found (7094ms at 4229 traces/second).
nix-grpc-store-spec> Trace length statistics: max=27, min=14, average=17.88
nix-grpc-store-spec> You may increase --max-samples and --max-steps.
nix-grpc-store-spec> Use --verbosity to produce more (or less) output.
nix-grpc-store-spec> Use --seed=0x1477875f26bc8154 --backend=rust to reproduce.
nix-grpc-store-spec> An example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c1", "c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c1", "c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 6]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 7]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 8]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 9]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c1", "c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 10]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c1", "c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 11]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 12]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c1", "c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 13]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: false,
nix-grpc-store-spec>           up: false
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 14]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 15]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 16]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 17]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w1")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 18]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 19]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 20]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 0,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 21]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 22]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 23]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c2", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 24]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set("c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 25]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set("c2"),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 26]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CDone),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 27]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CDone),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 28]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CDone),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 29]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 30]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoFence::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),
nix-grpc-store-spec>   schedNoFence::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoFence::scheduler::entry: [],
nix-grpc-store-spec>   schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoFence::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mResult: Set("c1"),
nix-grpc-store-spec>   schedNoFence::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoFence::scheduler::published: 1,
nix-grpc-store-spec>   schedNoFence::scheduler::publishedBy: Set("w2"),
nix-grpc-store-spec>   schedNoFence::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: true,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [ok] No violation found (7747ms at 3872 traces/second).
nix-grpc-store-spec> Trace length statistics: max=30, min=14, average=17.65
nix-grpc-store-spec> You may increase --max-samples and --max-steps.
nix-grpc-store-spec> Use --verbosity to produce more (or less) output.
nix-grpc-store-spec> Use --seed=0x272c6253e4bdf0b8 --backend=rust to reproduce.
nix-grpc-store-spec> An example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::entry: [],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::entry: [],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(("c2", "w1")),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoPush::scheduler::entry: [],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(("c2", "w1")),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),
nix-grpc-store-spec>   schedNoPush::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoPush::scheduler::entry: [],
nix-grpc-store-spec>   schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoPush::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::published: 0,
nix-grpc-store-spec>   schedNoPush::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoPush::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set("c2"),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [violation] Found an issue (2365ms at 3930 traces/second).
nix-grpc-store-spec> Use --verbosity=3 to show executions.
nix-grpc-store-spec> Use --seed=0xf54e637418875411 --backend=rust to reproduce.
nix-grpc-store-spec> error: Invariant violated
nix-grpc-store-spec> An example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set("c1"),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoReport::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set("w2"),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 1,
nix-grpc-store-spec>   schedNoReport::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c1"), leased: true, worker: "w2" }],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 6]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c1", "c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 7]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoReport::scheduler::entry: [],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set("c2"),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 8]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoReport::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set("w1"),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: false,
nix-grpc-store-spec>           running: false,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 9]
nix-grpc-store-spec> {
nix-grpc-store-spec>   schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),
nix-grpc-store-spec>   schedNoReport::scheduler::crashes: 2,
nix-grpc-store-spec>   schedNoReport::scheduler::entry:
nix-grpc-store-spec>     [{ followers: Set("c2"), leased: true, worker: "w1" }],
nix-grpc-store-spec>   schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),
nix-grpc-store-spec>   schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),
nix-grpc-store-spec>   schedNoReport::scheduler::mBuild: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mDone: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mExpect: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mResult: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::mRetry: Set("c1"),
nix-grpc-store-spec>   schedNoReport::scheduler::mSchedule: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::published: 0,
nix-grpc-store-spec>   schedNoReport::scheduler::publishedBy: Set(),
nix-grpc-store-spec>   schedNoReport::scheduler::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           attached: Set(),
nix-grpc-store-spec>           built: false,
nix-grpc-store-spec>           expecting: true,
nix-grpc-store-spec>           running: true,
nix-grpc-store-spec>           session: true,
nix-grpc-store-spec>           up: true
nix-grpc-store-spec>         }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [violation] Found an issue (4691ms at 5250 traces/second).
nix-grpc-store-spec> Use --verbosity=3 to show executions.
nix-grpc-store-spec> Use --seed=0x3f5e6643701b172e --backend=rust to reproduce.
nix-grpc-store-spec> error: Invariant violated
nix-grpc-store-spec> An example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "idle", "c2" -> "idle"),
nix-grpc-store-spec>   foFixed::failover::flaps: 0,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set(),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "idle", "c2" -> "idle"),
nix-grpc-store-spec>   foFixed::failover::flaps: 1,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("w1", "w2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: false,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s2", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),
nix-grpc-store-spec>   foFixed::failover::flaps: 1,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("w1", "w2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(("c1", "s2")),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: false,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s2", "c2" -> "s2"),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 1,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("w1", "w2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(("c1", "s2"), ("c2", "s2")),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: false,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 1,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 1,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c1", "w1", "w2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(("c2", "s1")),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 6]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 1,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c1", "w2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(("c2", "s1")),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> ""),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 7]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 2,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: false,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 8]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 2,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c1", "c2", "w2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: false,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s2", "w2" -> ""),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 9]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s2", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 2,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c2", "w2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(("c1", "s2")),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: false,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s2", "w2" -> ""),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 10]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s2", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 2,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(("s2", "c1", "w1")),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(("s2", "w1")),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c2", "w2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: false,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s2", "w2" -> ""),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 11]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s2", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 2,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(("s2", "c1", "w1")),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(("s2", "w1")),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: false,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s2", "w2" -> "s2"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 12]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 2,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 13]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 2,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c1", "c2", "w1"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 14]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 2,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c1", "c2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 15]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 2,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c1"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(("c2", "s1")),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 16]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: false,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 17]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c1", "c2", "w1"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: false,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> "s2"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 18]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s2", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c2", "w1"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(("c1", "s2")),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: false,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> "s2"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 19]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 20]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c1", "c2", "w1"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 21]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c2", "w1"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(("c1", "s1")),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 22]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(("c1", "s1")),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 23]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(("s1", "c1", "w1")),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(("s1", "w1")),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" ->
nix-grpc-store-spec>         { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 24]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(("s1", "c1", "w1")),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set("c2"),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" ->
nix-grpc-store-spec>         { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: true, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 25]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(("s1", "c1", "w1")),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set(),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(("c2", "s1")),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" ->
nix-grpc-store-spec>         { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: true, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 26]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(("c1", "w1")),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set(),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(("c2", "s1")),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" ->
nix-grpc-store-spec>         { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: true, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 27]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(("s1", "c2", "w1")),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(("c1", "w1")),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set(),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           busy: Set("w1"),
nix-grpc-store-spec>           followers: Set("c1", "c2"),
nix-grpc-store-spec>           has: true,
nix-grpc-store-spec>           worker: "w1"
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: true, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 28]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> ""),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "queued"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(("s1", "c2", "w1")),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(("c1", "w1")),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(("w1", "s1")),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set(),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           busy: Set("w1"),
nix-grpc-store-spec>           followers: Set("c1", "c2"),
nix-grpc-store-spec>           has: true,
nix-grpc-store-spec>           worker: "w1"
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 29]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> "w1"),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "sent"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(("c1", "w1"), ("c2", "w1")),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(("w1", "s1")),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set(),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set(),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           busy: Set("w1"),
nix-grpc-store-spec>           followers: Set("c1", "c2"),
nix-grpc-store-spec>           has: true,
nix-grpc-store-spec>           worker: "w1"
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 30]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> "w1"),
nix-grpc-store-spec>   foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "sent"),
nix-grpc-store-spec>   foFixed::failover::flaps: 3,
nix-grpc-store-spec>   foFixed::failover::mAssigned: Set(),
nix-grpc-store-spec>   foFixed::failover::mBuild: Set(("c2", "w1")),
nix-grpc-store-spec>   foFixed::failover::mDone: Set(("w1", "s1")),
nix-grpc-store-spec>   foFixed::failover::mExpect: Set(),
nix-grpc-store-spec>   foFixed::failover::mRestart: Set(),
nix-grpc-store-spec>   foFixed::failover::mResult: Set(),
nix-grpc-store-spec>   foFixed::failover::mRetry: Set("c1"),
nix-grpc-store-spec>   foFixed::failover::mWant: Set(),
nix-grpc-store-spec>   foFixed::failover::published: 0,
nix-grpc-store-spec>   foFixed::failover::s1up: true,
nix-grpc-store-spec>   foFixed::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" ->
nix-grpc-store-spec>         {
nix-grpc-store-spec>           busy: Set("w1"),
nix-grpc-store-spec>           followers: Set("c1", "c2"),
nix-grpc-store-spec>           has: true,
nix-grpc-store-spec>           worker: "w1"
nix-grpc-store-spec>         },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),
nix-grpc-store-spec>   foFixed::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [ok] No violation found (1946ms at 15416 traces/second).
nix-grpc-store-spec> Trace length statistics: max=31, min=25, average=30.59
nix-grpc-store-spec> You may increase --max-samples and --max-steps.
nix-grpc-store-spec> Use --verbosity to produce more (or less) output.
nix-grpc-store-spec> Use --seed=0x2e2672ec9e23d1a3 --backend=rust to reproduce.
nix-grpc-store-spec> An example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foNoStepDown::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::cl: Map("c1" -> "idle", "c2" -> "idle"),
nix-grpc-store-spec>   foNoStepDown::failover::flaps: 0,
nix-grpc-store-spec>   foNoStepDown::failover::mAssigned: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mBuild: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mDone: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mExpect: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mRestart: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mResult: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mRetry: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mWant: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::published: 0,
nix-grpc-store-spec>   foNoStepDown::failover::s1up: true,
nix-grpc-store-spec>   foNoStepDown::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foNoStepDown::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),
nix-grpc-store-spec>   foNoStepDown::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foNoStepDown::failover::cOn: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::cl: Map("c1" -> "idle", "c2" -> "idle"),
nix-grpc-store-spec>   foNoStepDown::failover::flaps: 1,
nix-grpc-store-spec>   foNoStepDown::failover::mAssigned: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mBuild: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mDone: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mExpect: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mRestart: Set("w1", "w2"),
nix-grpc-store-spec>   foNoStepDown::failover::mResult: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mRetry: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mWant: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::published: 0,
nix-grpc-store-spec>   foNoStepDown::failover::s1up: false,
nix-grpc-store-spec>   foNoStepDown::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foNoStepDown::failover::wOn: Map("w1" -> "", "w2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foNoStepDown::failover::cOn: Map("c1" -> "s2", "c2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),
nix-grpc-store-spec>   foNoStepDown::failover::flaps: 1,
nix-grpc-store-spec>   foNoStepDown::failover::mAssigned: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mBuild: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mDone: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mExpect: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mRestart: Set("w1", "w2"),
nix-grpc-store-spec>   foNoStepDown::failover::mResult: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mRetry: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mWant: Set(("c1", "s2")),
nix-grpc-store-spec>   foNoStepDown::failover::published: 0,
nix-grpc-store-spec>   foNoStepDown::failover::s1up: false,
nix-grpc-store-spec>   foNoStepDown::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foNoStepDown::failover::wOn: Map("w1" -> "", "w2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foNoStepDown::failover::cOn: Map("c1" -> "s2", "c2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),
nix-grpc-store-spec>   foNoStepDown::failover::flaps: 1,
nix-grpc-store-spec>   foNoStepDown::failover::mAssigned: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mBuild: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mDone: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mExpect: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mRestart: Set("w1", "w2"),
nix-grpc-store-spec>   foNoStepDown::failover::mResult: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mRetry: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mWant: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::published: 0,
nix-grpc-store-spec>   foNoStepDown::failover::s1up: false,
nix-grpc-store-spec>   foNoStepDown::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set("c1"), has: true, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foNoStepDown::failover::wOn: Map("w1" -> "", "w2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   foNoStepDown::failover::cOn: Map("c1" -> "s2", "c2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),
nix-grpc-store-spec>   foNoStepDown::failover::flaps: 1,
nix-grpc-store-spec>   foNoStepDown::failover::mAssigned: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mBuild: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mDone: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mExpect: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mRestart: Set("w1", "w2"),
nix-grpc-store-spec>   foNoStepDown::failover::mResult: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mRetry: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::mWant: Set(),
nix-grpc-store-spec>   foNoStepDown::failover::published: 0,
nix-grpc-store-spec>   foNoStepDown::failover::s1up: true,
nix-grpc-store-spec>   foNoStepDown::failover::ss:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },
nix-grpc-store-spec>       "s2" -> { busy: Set(), followers: Set("c1"), has: true, worker: "" }
nix-grpc-store-spec>     ),
nix-grpc-store-spec>   foNoStepDown::failover::wOn: Map("w1" -> "", "w2" -> ""),
nix-grpc-store-spec>   foNoStepDown::failover::ws:
nix-grpc-store-spec>     Map(
nix-grpc-store-spec>       "w1" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false },
nix-grpc-store-spec>       "w2" ->
nix-grpc-store-spec>         { attached: Set(), built: false, expecting: false, running: false }
nix-grpc-store-spec>     )
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [violation] Found an issue (8711ms at 66 traces/second).
nix-grpc-store-spec> Use --verbosity=3 to show executions.
nix-grpc-store-spec> Use --seed=0xc35ed63b64e501a0 --backend=rust to reproduce.
nix-grpc-store-spec> error: Invariant violated
nix-grpc-store-spec> An example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookFixed::hook::cache: Set(),
nix-grpc-store-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-spec>   hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),
nix-grpc-store-spec>   hookFixed::hook::phase: Query,
nix-grpc-store-spec>   hookFixed::hook::restarts: 0,
nix-grpc-store-spec>   hookFixed::hook::retries: 0,
nix-grpc-store-spec>   hookFixed::hook::toUpload: Set()
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookFixed::hook::cache: Set(),
nix-grpc-store-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-spec>   hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),
nix-grpc-store-spec>   hookFixed::hook::phase: Query,
nix-grpc-store-spec>   hookFixed::hook::restarts: 1,
nix-grpc-store-spec>   hookFixed::hook::retries: 1,
nix-grpc-store-spec>   hookFixed::hook::toUpload: Set()
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookFixed::hook::cache: Set("in"),
nix-grpc-store-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-spec>   hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),
nix-grpc-store-spec>   hookFixed::hook::phase: Upload,
nix-grpc-store-spec>   hookFixed::hook::restarts: 1,
nix-grpc-store-spec>   hookFixed::hook::retries: 1,
nix-grpc-store-spec>   hookFixed::hook::toUpload: Set("drv")
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookFixed::hook::cache: Set("in"),
nix-grpc-store-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-spec>   hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),
nix-grpc-store-spec>   hookFixed::hook::phase: Upload,
nix-grpc-store-spec>   hookFixed::hook::restarts: 2,
nix-grpc-store-spec>   hookFixed::hook::retries: 2,
nix-grpc-store-spec>   hookFixed::hook::toUpload: Set("drv")
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookFixed::hook::cache: Set("drv", "in"),
nix-grpc-store-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-spec>   hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),
nix-grpc-store-spec>   hookFixed::hook::phase: Build,
nix-grpc-store-spec>   hookFixed::hook::restarts: 2,
nix-grpc-store-spec>   hookFixed::hook::retries: 2,
nix-grpc-store-spec>   hookFixed::hook::toUpload: Set("drv")
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookFixed::hook::cache: Set("drv", "in", "out"),
nix-grpc-store-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-spec>   hookFixed::hook::local:
nix-grpc-store-spec>     Map("w1" -> Set("in"), "w2" -> Set("drv", "in", "out")),
nix-grpc-store-spec>   hookFixed::hook::phase: Fetch,
nix-grpc-store-spec>   hookFixed::hook::restarts: 2,
nix-grpc-store-spec>   hookFixed::hook::retries: 2,
nix-grpc-store-spec>   hookFixed::hook::toUpload: Set("drv")
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 6]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookFixed::hook::cache: Set("drv", "in", "out"),
nix-grpc-store-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-spec>   hookFixed::hook::local:
nix-grpc-store-spec>     Map("w1" -> Set("in"), "w2" -> Set("drv", "in", "out")),
nix-grpc-store-spec>   hookFixed::hook::phase: Done,
nix-grpc-store-spec>   hookFixed::hook::restarts: 2,
nix-grpc-store-spec>   hookFixed::hook::retries: 2,
nix-grpc-store-spec>   hookFixed::hook::toUpload: Set("drv")
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [ok] No violation found (1604ms at 12469 traces/second).
nix-grpc-store-spec> Trace length statistics: max=7, min=5, average=6.73
nix-grpc-store-spec> You may increase --max-samples and --max-steps.
nix-grpc-store-spec> Use --verbosity to produce more (or less) output.
nix-grpc-store-spec> Use --seed=0xcd36f2022ced4f56 --backend=rust to reproduce.
nix-grpc-store-spec> An example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::cache: Set(),
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::drvUploaded: false,
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::phase: Query,
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::restarts: 0,
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::retries: 0,
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::toUpload: Set()
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::cache: Set("in"),
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::drvUploaded: false,
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::phase: Upload,
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::restarts: 0,
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::retries: 0,
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::toUpload: Set("drv")
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::cache: Set("in"),
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::drvUploaded: false,
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::phase: Failed,
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::restarts: 0,
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::retries: 0,
nix-grpc-store-spec>   hookNoSubstituteRefs::hook::toUpload: Set("drv")
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [violation] Found an issue (68ms at 21088 traces/second).
nix-grpc-store-spec> Use --verbosity=3 to show executions.
nix-grpc-store-spec> Use --seed=0x8f8a48848f4a90bd --backend=rust to reproduce.
nix-grpc-store-spec> error: Invariant violated
nix-grpc-store-spec> An example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::cache: Set(),
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::drvUploaded: false,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::phase: Query,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::restarts: 0,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::retries: 0,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::toUpload: Set()
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::cache: Set("in"),
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::drvUploaded: false,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::phase: Upload,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::restarts: 0,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::retries: 0,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::toUpload: Set("drv")
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::cache: Set("drv", "in"),
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::drvUploaded: false,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::local:
nix-grpc-store-spec>     Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::phase: Build,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::restarts: 0,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::retries: 0,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::toUpload: Set("drv")
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::cache: Set("drv", "in"),
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::drvUploaded: false,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::local:
nix-grpc-store-spec>     Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::phase: UploadDrv,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::restarts: 0,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::retries: 0,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::toUpload: Set("drv")
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::cache: Set("drv", "in"),
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::drvUploaded: true,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::local:
nix-grpc-store-spec>     Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::phase: Build,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::restarts: 0,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::retries: 0,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::toUpload: Set("drv")
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::cache: Set("drv", "in"),
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::drvUploaded: true,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::local:
nix-grpc-store-spec>     Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::phase: Failed,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::restarts: 0,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::retries: 0,
nix-grpc-store-spec>   hookNoSubstituteDrv::hook::toUpload: Set("drv")
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [violation] Found an issue (292ms at 6021 traces/second).
nix-grpc-store-spec> Use --verbosity=3 to show executions.
nix-grpc-store-spec> Use --seed=0xb52a99193584d819 --backend=rust to reproduce.
nix-grpc-store-spec> error: Invariant violated
nix-grpc-store-spec> An example execution:
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 0]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map(),
nix-grpc-store-spec>   pushFixed::push::inflight: Set(),
nix-grpc-store-spec>   pushFixed::push::left: Map(),
nix-grpc-store-spec>   pushFixed::push::sent: Map()
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 1]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((3, "a"), (3, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(3 -> 2),
nix-grpc-store-spec>   pushFixed::push::sent: Map(3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 2]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((3, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(3 -> 1),
nix-grpc-store-spec>   pushFixed::push::sent: Map(3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 3]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((2, "a"), (2, "b"), (3, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(2 -> 2, 3 -> 1),
nix-grpc-store-spec>   pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 4]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((2, "a"), (3, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(2 -> 1, 3 -> 1),
nix-grpc-store-spec>   pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 5]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "a"), (3, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(1 -> 2, 2 -> 1, 3 -> 1),
nix-grpc-store-spec>   pushFixed::push::sent:
nix-grpc-store-spec>     Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 6]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(1 -> 2, 2 -> 0, 3 -> 1),
nix-grpc-store-spec>   pushFixed::push::sent:
nix-grpc-store-spec>     Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 7]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((1, "b"), (3, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 1),
nix-grpc-store-spec>   pushFixed::push::sent:
nix-grpc-store-spec>     Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 8]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
nix-grpc-store-spec>   pushFixed::push::inflight: Set((1, "b")),
nix-grpc-store-spec>   pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 0),
nix-grpc-store-spec>   pushFixed::push::sent:
nix-grpc-store-spec>     Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [State 9]
nix-grpc-store-spec> {
nix-grpc-store-spec>   pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
nix-grpc-store-spec>   pushFixed::push::inflight: Set(),
nix-grpc-store-spec>   pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),
nix-grpc-store-spec>   pushFixed::push::sent:
nix-grpc-store-spec>     Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-spec> }
nix-grpc-store-spec> 
nix-grpc-store-spec> [ok] No violation found (93ms at 215054 traces/second).
nix-grpc-store-spec> Trace length statistics: max=10, min=7, average=7.94
nix-grpc-store-spec> You may increase --max-samples and --max-steps.
nix-grpc-store-spec> Use --verbosity to produce more (or less) output.
nix-grpc-store-spec> Use --seed=0xdba9f3d8cd94dd90 --backend=rust to reproduce.

post-build step Upload coverage to codecov: ok
Skipping codecov: project=Mic92/nix-grpc-store attr=checks.aarch64-linux.spec