this derivation will be built: /nix/store/yg3a0qk0w7snl4c5snq4cjshwp3r5cyk-nix-grpc-store-claims-spec.drv these 2 paths will be fetched (153.2 MiB download, 284.0 MiB unpacked): /nix/store/cma2isc46lrmfp65s0jg8z57gjvpzn6f-quint-0.32.0 /nix/store/mb1yba1gdnz42bz6aw7ax5iyq0cjsaya-quint-cli-0.32.0 building '/nix/store/yg3a0qk0w7snl4c5snq4cjshwp3r5cyk-nix-grpc-store-claims-spec.drv' on 'ssh-ng://customer@mac02' building '/nix/store/yg3a0qk0w7snl4c5snq4cjshwp3r5cyk-nix-grpc-store-claims-spec.drv' nix-grpc-store-claims-spec> Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [■■■■ ] 8% | ETA: 6s | 1752/20000 samples | 3168 samples/sRunning... [■■■■ ] 8% | ETA: 6s | 1752/20000 samples | 3168 samples/sRunning... [■■■■■■ ] 14% | ETA: 5s | 2968/20000 samples | 4022 samples/sRunning... [■■■■■■■ ] 18% | ETA: 4s | 3727/20000 samples | 4359 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 4s | 4600/20000 samples | 4632 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 4s | 4600/20000 samples | 4632 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 3s | 5973/20000 samples | 5249 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 3s | 7071/20000 samples | 5661 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 2s | 8238/20000 samples | 6057 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 2s | 10080/20000 samples | 6610 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 2s | 10080/20000 samples | 6610 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 2s | 11560/20000 samples | 6935 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 1s | 13044/20000 samples | 7203 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 1s | 14008/20000 samples | 7311 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 1s | 14985/20000 samples | 7411 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 1s | 14985/20000 samples | 7411 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 1s | 14985/20000 samples | 7411 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 1s | 16896/20000 samples | 7536 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 18265/20000 samples | 7678 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 19343/20000 samples | 7793 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 19343/20000 samples | 7793 samples/sAn 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: 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 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: 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 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: 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 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: 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: 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 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: 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: 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 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: 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: 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: 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: 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: 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 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: 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 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: 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 15] 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 16] 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 17] 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 18] 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 19] 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 20] 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 21] 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 22] 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 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: 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: 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> "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 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: 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: 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> "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 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: true, 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: 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> "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 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: true, 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: 1 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 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: true, 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: 1 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: 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 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: true, 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: 1 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: 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 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: true, 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: 1 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 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: true, 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: 1 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> [ok] No violation found (2578ms at 7758 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=0x9f3aff4648c5d80b --backend=rust to reproduce. nix-grpc-store-claims-spec> Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [■■■■■■■ ] 18% | ETA: 1s | 3734/20000 samples | 19448 samples/sRunning... [■■■■■■■ ] 18% | ETA: 1s | 3734/20000 samples | 19448 samples/sRunning... [■■■■■■■ ] 18% | ETA: 1s | 3734/20000 samples | 19448 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 1s | 8425/20000 samples | 19548 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 1s | 8425/20000 samples | 19548 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 1s | 11532/20000 samples | 18812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 1s | 11532/20000 samples | 18812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 1s | 15836/20000 samples | 18393 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 1s | 15836/20000 samples | 18393 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 18870/20000 samples | 18197 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 18870/20000 samples | 18197 samples/sAn 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: 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 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: 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 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: 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 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: 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 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: 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 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: 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 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: 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 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: 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 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: 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 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: 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: 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> "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: 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: 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> "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: 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: 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> "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: 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: 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> "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: 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: 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> "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 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: 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> "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 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: RFailed, 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> "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 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: RFailed, 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> "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 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: RFailed, 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> "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 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: Done, nix-grpc-store-claims-spec> res: RFailed, 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> "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: 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: RFailed, 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> "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 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: Done, nix-grpc-store-claims-spec> res: RFailed, 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> "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 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: 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: Done, nix-grpc-store-claims-spec> res: RFailed, 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> "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 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: 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: Done, nix-grpc-store-claims-spec> res: RFailed, 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> "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 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: 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: Done, nix-grpc-store-claims-spec> res: RFailed, 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> "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: 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 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: 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: Done, nix-grpc-store-claims-spec> res: RFailed, 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> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: true, nix-grpc-store-claims-spec> phase: Publishing, 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: 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 26] 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: Done, nix-grpc-store-claims-spec> res: RFailed, 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> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: true, nix-grpc-store-claims-spec> phase: Publishing, 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 27] 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: Done, nix-grpc-store-claims-spec> res: RFailed, 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> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: true, nix-grpc-store-claims-spec> phase: Publishing, 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 28] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 3, nix-grpc-store-claims-spec> present: true, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: true, 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: RFailed, 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> "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: RBuilt, 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 29] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 3, nix-grpc-store-claims-spec> present: true, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: true, 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: RFailed, 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> "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: RBuilt, 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: 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 30] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 3, nix-grpc-store-claims-spec> present: true, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: true, 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: RFailed, 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> "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: RBuilt, 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: Done, nix-grpc-store-claims-spec> res: RAlreadyValid, 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> [ok] No violation found (1130ms at 17699 traces/second). nix-grpc-store-claims-spec> Trace length statistics: max=31, min=9, average=18.44 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=0x77b2d77b33bf6b26 --backend=rust to reproduce. post-build step Upload coverage to codecov: ok Skipping codecov: project=Mic92/nix-grpc-store attr=checks.aarch64-darwin.claims-spec