this derivation will be built: /nix/store/yg3a0qk0w7snl4c5snq4cjshwp3r5cyk-nix-grpc-store-claims-spec.drv these 2 paths will be fetched (153.2 MiB download, 284.0 MiB unpacked): /nix/store/cma2isc46lrmfp65s0jg8z57gjvpzn6f-quint-0.32.0 /nix/store/mb1yba1gdnz42bz6aw7ax5iyq0cjsaya-quint-cli-0.32.0 building '/nix/store/yg3a0qk0w7snl4c5snq4cjshwp3r5cyk-nix-grpc-store-claims-spec.drv' on 'ssh-ng://customer@mac02' building '/nix/store/yg3a0qk0w7snl4c5snq4cjshwp3r5cyk-nix-grpc-store-claims-spec.drv' nix-grpc-store-claims-spec> Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [■ ] 3% | ETA: 12s | 714/20000 samples | 1708 samples/sRunning... [■■ ] 4% | ETA: 11s | 903/20000 samples | 1747 samples/sRunning... [■■ ] 5% | ETA: 11s | 1161/20000 samples | 1797 samples/sRunning... [■■■ ] 6% | ETA: 11s | 1386/20000 samples | 1781 samples/sRunning... [■■■ ] 6% | ETA: 11s | 1386/20000 samples | 1781 samples/sRunning... [■■■ ] 8% | ETA: 11s | 1662/20000 samples | 1803 samples/sRunning... [■■■■ ] 9% | ETA: 10s | 1975/20000 samples | 1837 samples/sRunning... [■■■■ ] 10% | ETA: 10s | 2157/20000 samples | 1836 samples/sRunning... [■■■■ ] 10% | ETA: 10s | 2157/20000 samples | 1836 samples/sRunning... [■■■■■ ] 12% | ETA: 10s | 2475/20000 samples | 1835 samples/sRunning... [■■■■■ ] 12% | ETA: 10s | 2475/20000 samples | 1835 samples/sRunning... [■■■■■■ ] 14% | ETA: 10s | 2855/20000 samples | 1854 samples/sRunning... [■■■■■■ ] 15% | ETA: 9s | 3091/20000 samples | 1839 samples/sRunning... [■■■■■■ ] 15% | ETA: 9s | 3091/20000 samples | 1839 samples/sRunning... [■■■■■■■ ] 17% | ETA: 9s | 3562/20000 samples | 1845 samples/sRunning... [■■■■■■■ ] 17% | ETA: 9s | 3562/20000 samples | 1845 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 9s | 3807/20000 samples | 1851 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 9s | 4022/20000 samples | 1855 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 9s | 4264/20000 samples | 1855 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 9s | 4264/20000 samples | 1855 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 9s | 4703/20000 samples | 1859 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 8s | 4911/20000 samples | 1866 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 8s | 4911/20000 samples | 1866 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 8s | 4911/20000 samples | 1866 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 8s | 5372/20000 samples | 1865 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 8s | 5574/20000 samples | 1870 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 8s | 5574/20000 samples | 1870 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 8s | 6017/20000 samples | 1863 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 8s | 6017/20000 samples | 1863 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 8s | 6360/20000 samples | 1872 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 8s | 6360/20000 samples | 1872 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 7s | 6885/20000 samples | 1888 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 7s | 6885/20000 samples | 1888 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 7s | 7342/20000 samples | 1905 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 7s | 7342/20000 samples | 1905 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 7s | 7599/20000 samples | 1904 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 7s | 7842/20000 samples | 1907 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 7s | 7842/20000 samples | 1907 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 6s | 8368/20000 samples | 1918 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 6s | 8368/20000 samples | 1918 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 6s | 8713/20000 samples | 1927 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 6s | 8713/20000 samples | 1927 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 6s | 9261/20000 samples | 1941 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 6s | 9261/20000 samples | 1941 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 6s | 9261/20000 samples | 1941 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 5s | 9767/20000 samples | 1950 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 5s | 10012/20000 samples | 1959 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 5s | 10201/20000 samples | 1956 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 5s | 10201/20000 samples | 1956 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 5s | 10623/20000 samples | 1958 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 5s | 10834/20000 samples | 1961 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 5s | 10834/20000 samples | 1961 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 5s | 11347/20000 samples | 1967 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 5s | 11347/20000 samples | 1967 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 4s | 11807/20000 samples | 1968 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 4s | 11807/20000 samples | 1968 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 4s | 12071/20000 samples | 1969 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 4s | 12071/20000 samples | 1969 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 4s | 12556/20000 samples | 1974 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 4s | 12774/20000 samples | 1974 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 4s | 12774/20000 samples | 1974 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 4s | 13299/20000 samples | 1978 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 4s | 13299/20000 samples | 1978 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 4s | 13680/20000 samples | 1984 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 4s | 13680/20000 samples | 1984 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 4s | 13680/20000 samples | 1984 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 3s | 14214/20000 samples | 1989 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 3s | 14214/20000 samples | 1989 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 3s | 14694/20000 samples | 1995 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 3s | 14972/20000 samples | 1997 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 3s | 14972/20000 samples | 1997 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 3s | 15307/20000 samples | 2001 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 3s | 15507/20000 samples | 2000 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 3s | 15507/20000 samples | 2000 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 2s | 16076/20000 samples | 2010 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 2s | 16311/20000 samples | 2012 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 2s | 16311/20000 samples | 2012 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 2s | 16720/20000 samples | 2012 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 2s | 16973/20000 samples | 2016 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 2s | 17270/20000 samples | 2020 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 17499/20000 samples | 2021 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 17499/20000 samples | 2021 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 17499/20000 samples | 2021 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 18027/20000 samples | 2028 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 18027/20000 samples | 2028 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 18600/20000 samples | 2035 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 18600/20000 samples | 2035 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 19153/20000 samples | 2043 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 19153/20000 samples | 2043 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 19153/20000 samples | 2043 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 19610/20000 samples | 2047 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19954/20000 samples | 2042 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19954/20000 samples | 2042 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19954/20000 samples | 2042 samples/sAn example execution: nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 0] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 1] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 2] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 3] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 4] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 1, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Building, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SHolder(1), nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 5] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 1, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Building, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 6] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: true, nix-grpc-store-claims-spec> rowToken: 1, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Building, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 7] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: true, nix-grpc-store-claims-spec> rowToken: 1, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 8] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: true, nix-grpc-store-claims-spec> rowToken: 1, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 9] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: true, nix-grpc-store-claims-spec> rowToken: 1, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, 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 10] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: true, nix-grpc-store-claims-spec> rowToken: 1, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, 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 11] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: true, nix-grpc-store-claims-spec> rowToken: 1, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, 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 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: true, nix-grpc-store-claims-spec> rowToken: 1, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, 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 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: true, nix-grpc-store-claims-spec> rowToken: 1, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, 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 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: true, nix-grpc-store-claims-spec> rowToken: 1, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, 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 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: true, nix-grpc-store-claims-spec> rowToken: 1, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, 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 16] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 3, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 2, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Building, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SHolder(2), nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 17] 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: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 18] 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: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 19] 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: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 20] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 3, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 21] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 3, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 22] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 3, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: 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: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: 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 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: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 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: 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: 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 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: 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: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 27] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 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: 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 28] 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: 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 29] 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: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, 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 30] 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: 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> [ok] No violation found (9931ms at 2014 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=0xe62990fb8be7e5db --backend=rust to reproduce. nix-grpc-store-claims-spec> Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [■■■■ ] 10% | ETA: 2s | 2169/20000 samples | 9038 samples/sRunning... [■■■■ ] 10% | ETA: 2s | 2169/20000 samples | 9038 samples/sRunning... [■■■■■■ ] 15% | ETA: 3s | 3088/20000 samples | 7266 samples/sRunning... [■■■■■■ ] 15% | ETA: 3s | 3088/20000 samples | 7266 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 3s | 4299/20000 samples | 6445 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 3s | 5007/20000 samples | 6212 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 3s | 5007/20000 samples | 6212 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 3s | 5007/20000 samples | 6212 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 3s | 6269/20000 samples | 5937 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 3s | 7048/20000 samples | 5820 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 3s | 7048/20000 samples | 5820 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 3s | 7672/20000 samples | 5747 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 3s | 8462/20000 samples | 5664 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 3s | 8892/20000 samples | 5551 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 3s | 9161/20000 samples | 5332 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 3s | 9161/20000 samples | 5332 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 3s | 9509/20000 samples | 5157 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 3s | 9893/20000 samples | 5084 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 3s | 9893/20000 samples | 5084 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 3s | 10796/20000 samples | 4916 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 3s | 10796/20000 samples | 4916 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 3s | 11646/20000 samples | 4797 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 3s | 11646/20000 samples | 4797 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 3s | 11646/20000 samples | 4797 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 2s | 12656/20000 samples | 4735 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 2s | 13267/20000 samples | 4695 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 2s | 13267/20000 samples | 4695 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 2s | 13829/20000 samples | 4658 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 2s | 13829/20000 samples | 4658 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 2s | 14605/20000 samples | 4604 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 2s | 14605/20000 samples | 4604 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 2s | 15612/20000 samples | 4562 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 2s | 15612/20000 samples | 4562 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 1s | 16550/20000 samples | 4514 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 1s | 16550/20000 samples | 4514 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 1s | 17218/20000 samples | 4484 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 1s | 17218/20000 samples | 4484 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 18192/20000 samples | 4452 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 18192/20000 samples | 4452 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 18965/20000 samples | 4433 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 18965/20000 samples | 4433 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 19419/20000 samples | 4414 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 19419/20000 samples | 4414 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19982/20000 samples | 4348 samples/sAn example execution: nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 0] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 1] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 2] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 3] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 4] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 5] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 6] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 7] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 1, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: 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 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: 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 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: 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 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: 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 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: 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 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: 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 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: 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 14] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 1, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Building, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SHolder(1), nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 15] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 16] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 17] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 18] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 2, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 19] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 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: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: 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> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 20] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 3, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 2, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: 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> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 21] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 3, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 2, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: 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> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 22] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 3, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Idle, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) 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: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) 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: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) 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: 0, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: true, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Pending, nix-grpc-store-claims-spec> res: RNone, nix-grpc-store-claims-spec> slot: true, nix-grpc-store-claims-spec> srv: SNeed, nix-grpc-store-claims-spec> token: 0 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w2" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 26] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 4, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 3, nix-grpc-store-claims-spec> touched: false, nix-grpc-store-claims-spec> ws: nix-grpc-store-claims-spec> Map( nix-grpc-store-claims-spec> "w1" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: 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: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [State 27] nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> nextToken: 4, nix-grpc-store-claims-spec> present: false, nix-grpc-store-claims-spec> rowStale: false, nix-grpc-store-claims-spec> rowToken: 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: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) 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: 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: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) 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: 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: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) 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: 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: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 1 nix-grpc-store-claims-spec> }, nix-grpc-store-claims-spec> "w3" -> nix-grpc-store-claims-spec> { nix-grpc-store-claims-spec> conn: false, nix-grpc-store-claims-spec> outputs: false, nix-grpc-store-claims-spec> phase: Done, nix-grpc-store-claims-spec> res: RUnavailable, nix-grpc-store-claims-spec> slot: false, nix-grpc-store-claims-spec> srv: SNone, nix-grpc-store-claims-spec> token: 2 nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> ) nix-grpc-store-claims-spec> } nix-grpc-store-claims-spec> nix-grpc-store-claims-spec> [ok] No violation found (4668ms at 4284 traces/second). nix-grpc-store-claims-spec> Trace length statistics: max=31, min=9, average=18.44 nix-grpc-store-claims-spec> You may increase --max-samples and --max-steps. nix-grpc-store-claims-spec> Use --verbosity to produce more (or less) output. nix-grpc-store-claims-spec> Use --seed=0x72e4be0f9418dc9b --backend=rust to reproduce. post-build step Upload coverage to codecov: ok Skipping codecov: project=Mic92/nix-grpc-store attr=checks.aarch64-darwin.claims-spec