this derivation will be built:
  /nix/store/2vswbc879091kp8vh5ivkx6037mprdiy-nix-grpc-store-claims-spec.drv
these 2 paths will be fetched (153.3 MiB download, 284.4 MiB unpacked):
  /nix/store/1c2j7hz74lrnx5p66j5mzv45b4wcahcv-quint-0.32.0
  /nix/store/srfd5bgfnqw1b1lsvcmxw8537mi30qwz-quint-cli-0.32.0
Failed to find a machine for remote build!
derivation: 2vswbc879091kp8vh5ivkx6037mprdiy-nix-grpc-store-claims-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/2vswbc879091kp8vh5ivkx6037mprdiy-nix-grpc-store-claims-spec.drv'
nix-grpc-store-claims-spec> tribuchet: building on eliza
nix-grpc-store-claims-spec> An example execution:
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 0]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 1]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 2]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 3]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 4]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 5]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 6]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 7]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 8]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 9]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 10]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 11]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 12]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 13]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 14]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 15]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 1,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Building,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SHolder(1),
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 16]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 17]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 18]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 19]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 20]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 3,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 2,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Building,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SHolder(2),
nix-grpc-store-claims-spec>           token: 2
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 21]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 3,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 2,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Building,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 2
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 22]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 3,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: true,
nix-grpc-store-claims-spec>   rowToken: 2,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Building,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 2
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 23]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 3,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: true,
nix-grpc-store-claims-spec>   rowToken: 2,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 2
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 24]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 3,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: true,
nix-grpc-store-claims-spec>   rowToken: 2,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 25]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 3,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: true,
nix-grpc-store-claims-spec>   rowToken: 2,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 26]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 4,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 3,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Building,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SHolder(3),
nix-grpc-store-claims-spec>           token: 3
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 27]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 4,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 3
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 28]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 4,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 3
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 29]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 4,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 3
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 30]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 4,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [ok] No violation found (498ms at 40161 traces/second).
nix-grpc-store-claims-spec> Trace length statistics: max=31, min=31, average=31.00
nix-grpc-store-claims-spec> You may increase --max-samples and --max-steps.
nix-grpc-store-claims-spec> Use --verbosity to produce more (or less) output.
nix-grpc-store-claims-spec> Use --seed=0xd44067200ec46775 --backend=rust to reproduce.
nix-grpc-store-claims-spec> An example execution:
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 0]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookFixed::hook::cache: Set(),
nix-grpc-store-claims-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),
nix-grpc-store-claims-spec>   hookFixed::hook::phase: Query,
nix-grpc-store-claims-spec>   hookFixed::hook::restarts: 0,
nix-grpc-store-claims-spec>   hookFixed::hook::retries: 0,
nix-grpc-store-claims-spec>   hookFixed::hook::toUpload: Set()
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 1]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookFixed::hook::cache: Set("in"),
nix-grpc-store-claims-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),
nix-grpc-store-claims-spec>   hookFixed::hook::phase: Upload,
nix-grpc-store-claims-spec>   hookFixed::hook::restarts: 0,
nix-grpc-store-claims-spec>   hookFixed::hook::retries: 0,
nix-grpc-store-claims-spec>   hookFixed::hook::toUpload: Set("drv")
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 2]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookFixed::hook::cache: Set("in"),
nix-grpc-store-claims-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),
nix-grpc-store-claims-spec>   hookFixed::hook::phase: Upload,
nix-grpc-store-claims-spec>   hookFixed::hook::restarts: 1,
nix-grpc-store-claims-spec>   hookFixed::hook::retries: 1,
nix-grpc-store-claims-spec>   hookFixed::hook::toUpload: Set("drv")
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 3]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookFixed::hook::cache: Set("in"),
nix-grpc-store-claims-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("drv")),
nix-grpc-store-claims-spec>   hookFixed::hook::phase: Upload,
nix-grpc-store-claims-spec>   hookFixed::hook::restarts: 2,
nix-grpc-store-claims-spec>   hookFixed::hook::retries: 2,
nix-grpc-store-claims-spec>   hookFixed::hook::toUpload: Set("drv")
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 4]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookFixed::hook::cache: Set("drv", "in"),
nix-grpc-store-claims-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookFixed::hook::local: Map("w1" -> Set("drv", "in"), "w2" -> Set("drv")),
nix-grpc-store-claims-spec>   hookFixed::hook::phase: Build,
nix-grpc-store-claims-spec>   hookFixed::hook::restarts: 2,
nix-grpc-store-claims-spec>   hookFixed::hook::retries: 2,
nix-grpc-store-claims-spec>   hookFixed::hook::toUpload: Set("drv")
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 5]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookFixed::hook::cache: Set("drv", "in", "out"),
nix-grpc-store-claims-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookFixed::hook::local:
nix-grpc-store-claims-spec>     Map("w1" -> Set("drv", "in"), "w2" -> Set("drv", "in", "out")),
nix-grpc-store-claims-spec>   hookFixed::hook::phase: Fetch,
nix-grpc-store-claims-spec>   hookFixed::hook::restarts: 2,
nix-grpc-store-claims-spec>   hookFixed::hook::retries: 2,
nix-grpc-store-claims-spec>   hookFixed::hook::toUpload: Set("drv")
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 6]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookFixed::hook::cache: Set("drv", "in", "out"),
nix-grpc-store-claims-spec>   hookFixed::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookFixed::hook::local:
nix-grpc-store-claims-spec>     Map("w1" -> Set("drv", "in"), "w2" -> Set("drv", "in", "out")),
nix-grpc-store-claims-spec>   hookFixed::hook::phase: Done,
nix-grpc-store-claims-spec>   hookFixed::hook::restarts: 2,
nix-grpc-store-claims-spec>   hookFixed::hook::retries: 2,
nix-grpc-store-claims-spec>   hookFixed::hook::toUpload: Set("drv")
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [ok] No violation found (111ms at 180180 traces/second).
nix-grpc-store-claims-spec> Trace length statistics: max=7, min=5, average=6.75
nix-grpc-store-claims-spec> You may increase --max-samples and --max-steps.
nix-grpc-store-claims-spec> Use --verbosity to produce more (or less) output.
nix-grpc-store-claims-spec> Use --seed=0x136369ae0b3fba3e --backend=rust to reproduce.
nix-grpc-store-claims-spec> An example execution:
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 0]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::cache: Set(),
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::phase: Query,
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::restarts: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::retries: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::toUpload: Set()
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 1]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::cache: Set("in"),
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::phase: Upload,
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::restarts: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::retries: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::toUpload: Set("drv")
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 2]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::cache: Set("in"),
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::phase: Failed,
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::restarts: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::retries: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteRefs::hook::toUpload: Set("drv")
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [violation] Found an issue (67ms at 22164 traces/second).
nix-grpc-store-claims-spec> Use --verbosity=3 to show executions.
nix-grpc-store-claims-spec> Use --seed=0x130e35162a30c779 --backend=rust to reproduce.
nix-grpc-store-claims-spec> error: Invariant violated
nix-grpc-store-claims-spec> An example execution:
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 0]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::cache: Set(),
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::local: Map("w1" -> Set(), "w2" -> Set()),
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::phase: Query,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::restarts: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::retries: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::toUpload: Set()
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 1]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::cache: Set(),
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::local: Map("w1" -> Set(), "w2" -> Set()),
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::phase: Upload,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::restarts: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::retries: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 2]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::cache: Set("drv", "in"),
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::local:
nix-grpc-store-claims-spec>     Map("w1" -> Set(), "w2" -> Set("drv", "in")),
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::phase: Build,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::restarts: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::retries: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 3]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::cache: Set("drv", "in"),
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::drvUploaded: false,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::local:
nix-grpc-store-claims-spec>     Map("w1" -> Set(), "w2" -> Set("drv", "in")),
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::phase: UploadDrv,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::restarts: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::retries: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 4]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::cache: Set("drv", "in"),
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::drvUploaded: true,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::local:
nix-grpc-store-claims-spec>     Map("w1" -> Set(), "w2" -> Set("drv", "in")),
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::phase: Build,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::restarts: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::retries: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 5]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::cache: Set("drv", "in"),
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::drvUploaded: true,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::local:
nix-grpc-store-claims-spec>     Map("w1" -> Set(), "w2" -> Set("drv", "in")),
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::phase: Failed,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::restarts: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::retries: 0,
nix-grpc-store-claims-spec>   hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [violation] Found an issue (85ms at 22482 traces/second).
nix-grpc-store-claims-spec> Use --verbosity=3 to show executions.
nix-grpc-store-claims-spec> Use --seed=0x8c31480bd064c82 --backend=rust to reproduce.
nix-grpc-store-claims-spec> error: Invariant violated
nix-grpc-store-claims-spec> An example execution:
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 0]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   pushFixed::push::byPath: Map(),
nix-grpc-store-claims-spec>   pushFixed::push::inflight: Set(),
nix-grpc-store-claims-spec>   pushFixed::push::left: Map(),
nix-grpc-store-claims-spec>   pushFixed::push::sent: Map()
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 1]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
nix-grpc-store-claims-spec>   pushFixed::push::inflight: Set((1, "a"), (1, "b")),
nix-grpc-store-claims-spec>   pushFixed::push::left: Map(1 -> 2),
nix-grpc-store-claims-spec>   pushFixed::push::sent: Map(1 -> Set("a", "b"))
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 2]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),
nix-grpc-store-claims-spec>   pushFixed::push::inflight: Set((1, "a")),
nix-grpc-store-claims-spec>   pushFixed::push::left: Map(1 -> 1),
nix-grpc-store-claims-spec>   pushFixed::push::sent: Map(1 -> Set("a", "b"))
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 3]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),
nix-grpc-store-claims-spec>   pushFixed::push::inflight: Set((1, "a"), (2, "a"), (2, "b")),
nix-grpc-store-claims-spec>   pushFixed::push::left: Map(1 -> 1, 2 -> 2),
nix-grpc-store-claims-spec>   pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 4]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),
nix-grpc-store-claims-spec>   pushFixed::push::inflight: Set((2, "a"), (2, "b")),
nix-grpc-store-claims-spec>   pushFixed::push::left: Map(1 -> 0, 2 -> 2),
nix-grpc-store-claims-spec>   pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 5]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),
nix-grpc-store-claims-spec>   pushFixed::push::inflight: Set((2, "b")),
nix-grpc-store-claims-spec>   pushFixed::push::left: Map(1 -> 0, 2 -> 1),
nix-grpc-store-claims-spec>   pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 6]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),
nix-grpc-store-claims-spec>   pushFixed::push::inflight: Set((2, "b"), (3, "a"), (3, "b")),
nix-grpc-store-claims-spec>   pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 2),
nix-grpc-store-claims-spec>   pushFixed::push::sent:
nix-grpc-store-claims-spec>     Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 7]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),
nix-grpc-store-claims-spec>   pushFixed::push::inflight: Set((2, "b"), (3, "a")),
nix-grpc-store-claims-spec>   pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 1),
nix-grpc-store-claims-spec>   pushFixed::push::sent:
nix-grpc-store-claims-spec>     Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 8]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),
nix-grpc-store-claims-spec>   pushFixed::push::inflight: Set((2, "b")),
nix-grpc-store-claims-spec>   pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 0),
nix-grpc-store-claims-spec>   pushFixed::push::sent:
nix-grpc-store-claims-spec>     Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 9]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),
nix-grpc-store-claims-spec>   pushFixed::push::inflight: Set(),
nix-grpc-store-claims-spec>   pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),
nix-grpc-store-claims-spec>   pushFixed::push::sent:
nix-grpc-store-claims-spec>     Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [ok] No violation found (115ms at 173913 traces/second).
nix-grpc-store-claims-spec> Trace length statistics: max=10, min=7, average=7.93
nix-grpc-store-claims-spec> You may increase --max-samples and --max-steps.
nix-grpc-store-claims-spec> Use --verbosity to produce more (or less) output.
nix-grpc-store-claims-spec> Use --seed=0x180e43fdadf691a2 --backend=rust to reproduce.
nix-grpc-store-claims-spec> An example execution:
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 0]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 1]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 2]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 3]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 1,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 4]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 1,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Building,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SHolder(1),
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 5]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 1,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Building,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 6]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 1,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Building,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 7]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 1,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Building,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 8]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 1,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Building,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 9]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 10]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 11]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 12]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 13]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 14]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 15]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 16]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 17]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 18]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 19]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 20]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 21]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 22]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 23]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 24]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 25]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 26]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 27]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 28]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 29]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [State 30]
nix-grpc-store-claims-spec> {
nix-grpc-store-claims-spec>   nextToken: 2,
nix-grpc-store-claims-spec>   present: false,
nix-grpc-store-claims-spec>   rowStale: false,
nix-grpc-store-claims-spec>   rowToken: 0,
nix-grpc-store-claims-spec>   touched: false,
nix-grpc-store-claims-spec>   ws:
nix-grpc-store-claims-spec>     Map(
nix-grpc-store-claims-spec>       "w1" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Idle,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w2" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: false,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Done,
nix-grpc-store-claims-spec>           res: RUnavailable,
nix-grpc-store-claims-spec>           slot: false,
nix-grpc-store-claims-spec>           srv: SNone,
nix-grpc-store-claims-spec>           token: 1
nix-grpc-store-claims-spec>         },
nix-grpc-store-claims-spec>       "w3" ->
nix-grpc-store-claims-spec>         {
nix-grpc-store-claims-spec>           conn: true,
nix-grpc-store-claims-spec>           outputs: false,
nix-grpc-store-claims-spec>           phase: Pending,
nix-grpc-store-claims-spec>           res: RNone,
nix-grpc-store-claims-spec>           slot: true,
nix-grpc-store-claims-spec>           srv: SNeed,
nix-grpc-store-claims-spec>           token: 0
nix-grpc-store-claims-spec>         }
nix-grpc-store-claims-spec>     )
nix-grpc-store-claims-spec> }
nix-grpc-store-claims-spec> 
nix-grpc-store-claims-spec> [ok] No violation found (362ms at 55249 traces/second).
nix-grpc-store-claims-spec> Trace length statistics: max=31, min=10, average=18.26
nix-grpc-store-claims-spec> You may increase --max-samples and --max-steps.
nix-grpc-store-claims-spec> Use --verbosity to produce more (or less) output.
nix-grpc-store-claims-spec> Use --seed=0xfd36ccc650258871 --backend=rust to reproduce.

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