this derivation will be built: /nix/store/ii0rzfk6jq56jjndlpvs43kw3zxxg9id-nix-grpc-store-claims-spec.drv these 2 paths will be fetched (153.3 MiB download, 284.4 MiB unpacked): /nix/store/1c2j7hz74lrnx5p66j5mzv45b4wcahcv-quint-0.32.0 /nix/store/srfd5bgfnqw1b1lsvcmxw8537mi30qwz-quint-cli-0.32.0 Failed to find a machine for remote build! derivation: ii0rzfk6jq56jjndlpvs43kw3zxxg9id-nix-grpc-store-claims-spec.drv required (system, features): (aarch64-linux, []) 1 available machines: (systems, maxjobs, supportedFeatures, mandatoryFeatures) ([aarch64-darwin, x86_64-darwin], 8, [big-parallel, recursive-nix], []) building '/nix/store/ii0rzfk6jq56jjndlpvs43kw3zxxg9id-nix-grpc-store-claims-spec.drv' nix-grpc-store-claims-spec> tribuchet: building on eliza nix-grpc-store-claims-spec> An example execution: nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 0] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 1] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: 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: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: 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 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: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: 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 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: 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 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: 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 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: 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 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: 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: 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 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: 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 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: 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 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: 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 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: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 23] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 24] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 25] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 26] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 27] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 28] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 29] 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 30] 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> [ok] No violation found (463ms at 43197 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=0x41c813bfd8c7477d --backend=rust to reproduce. nix-grpc-store-claims-spec> An example execution: nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 0] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 1] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 2] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 3] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: 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 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: 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 5] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: 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 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: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: 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 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: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: 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 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: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Building, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SHolder(1), nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 13] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 14] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 15] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: 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: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 16] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: 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: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 17] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: 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: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 18] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: 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: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 19] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: 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: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 20] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 21] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: 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: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 22] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Building, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SHolder(2), nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Building, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Building, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 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: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: 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: RFailed, 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: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: 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: RFailed, 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: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 28] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 4, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 3, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Building, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SHolder(3), nix-grpc-store-claims-spec> token: 3 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "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: RFailed, 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: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 29] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 4, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 3, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: 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: 3 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: RFailed, 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: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 30] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 4, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 3, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: 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: 3 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: RFailed, 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: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [ok] No violation found (356ms at 56180 traces/second). nix-grpc-store-claims-spec> Trace length statistics: max=31, min=9, average=18.42 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=0xc4f3492c7b5ba278 --backend=rust to reproduce. post-build step Upload coverage to codecov: ok Skipping codecov: project=Mic92/nix-grpc-store attr=checks.aarch64-linux.claims-spec