{
  "checks": [
    {
      "name": "physical versus coordinate full law d=1 L=1",
      "passed": true
    },
    {
      "name": "all fair coin strings accounted d=1 L=1",
      "passed": true
    },
    {
      "name": "physical versus coordinate full law d=2 L=1",
      "passed": true
    },
    {
      "name": "all fair coin strings accounted d=2 L=1",
      "passed": true
    },
    {
      "name": "physical versus coordinate full law d=2 L=2",
      "passed": true
    },
    {
      "name": "all fair coin strings accounted d=2 L=2",
      "passed": true
    },
    {
      "name": "physical versus coordinate full law d=3 L=1",
      "passed": true
    },
    {
      "name": "all fair coin strings accounted d=3 L=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=0 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=0 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=0 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=0 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=0 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=0 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=0 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=0 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=1 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=1 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=1 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=1 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=1 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=1 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=1 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=1 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=2 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=2 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=2 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=2 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=2 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=2 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=2 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=2 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=3 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=3 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=3 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=3 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=3 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=3 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=3 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=3 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=4 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=4 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=4 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=4 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=4 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=4 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=4 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=4 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=5 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=5 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=5 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=5 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=5 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=5 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=5 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=5 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=6 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=6 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=6 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=6 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=6 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=6 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=6 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=6 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=7 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=7 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=7 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=7 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=7 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=7 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=7 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=7 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=8 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=8 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=8 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=8 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=8 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=8 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=8 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=8 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=9 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=9 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=9 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=9 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=9 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=9 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=9 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=9 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=10 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=10 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=10 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=10 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=10 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=10 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=10 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=10 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=11 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=11 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=11 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=11 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=11 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=11 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=11 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=11 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=12 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=12 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=12 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=12 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=12 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=12 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=12 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=12 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=13 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=13 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=13 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=13 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=13 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=13 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=13 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=13 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=14 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=14 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=14 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=14 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=14 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=14 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=14 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=14 m=4",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=15 m=1",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=15 m=1",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=15 m=2",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=15 m=2",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=15 m=3",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=15 m=3",
      "passed": true
    },
    {
      "name": "independent materialized/cycle replay bits=15 m=4",
      "passed": true
    },
    {
      "name": "finite cycle hop bound bits=15 m=4",
      "passed": true
    },
    {
      "name": "known exact law d=1 L=1 m=2",
      "passed": true
    },
    {
      "name": "law mass one d=1 L=1 m=2",
      "passed": true
    },
    {
      "name": "known exact law d=2 L=0 m=4",
      "passed": true
    },
    {
      "name": "law mass one d=2 L=0 m=4",
      "passed": true
    },
    {
      "name": "known exact law d=2 L=1 m=4",
      "passed": true
    },
    {
      "name": "law mass one d=2 L=1 m=4",
      "passed": true
    },
    {
      "name": "marginal distinction d=2 L=1 m=4",
      "passed": true
    },
    {
      "name": "known exact law d=2 L=2 m=4",
      "passed": true
    },
    {
      "name": "law mass one d=2 L=2 m=4",
      "passed": true
    },
    {
      "name": "known exact law d=2 L=4 m=4",
      "passed": true
    },
    {
      "name": "law mass one d=2 L=4 m=4",
      "passed": true
    },
    {
      "name": "known exact law d=3 L=1 m=8",
      "passed": true
    },
    {
      "name": "law mass one d=3 L=1 m=8",
      "passed": true
    },
    {
      "name": "marginal distinction d=3 L=1 m=8",
      "passed": true
    },
    {
      "name": "known exact law d=2 L=1 m=3",
      "passed": true
    },
    {
      "name": "law mass one d=2 L=1 m=3",
      "passed": true
    },
    {
      "name": "marginal distinction d=2 L=1 m=3",
      "passed": true
    },
    {
      "name": "known exact law d=2 L=2 m=3",
      "passed": true
    },
    {
      "name": "law mass one d=2 L=2 m=3",
      "passed": true
    },
    {
      "name": "uniform four-card induced law m=1",
      "passed": true
    },
    {
      "name": "finite uniform expected cycle calls m=1",
      "passed": true
    },
    {
      "name": "uniform four-card induced law m=2",
      "passed": true
    },
    {
      "name": "finite uniform expected cycle calls m=2",
      "passed": true
    },
    {
      "name": "uniform four-card induced law m=3",
      "passed": true
    },
    {
      "name": "finite uniform expected cycle calls m=3",
      "passed": true
    },
    {
      "name": "uniform four-card induced law m=4",
      "passed": true
    },
    {
      "name": "finite uniform expected cycle calls m=4",
      "passed": true
    },
    {
      "name": "independent per-card draws mostly collide",
      "passed": true
    },
    {
      "name": "63-bit domain sparse forward/inverse path",
      "passed": true
    },
    {
      "name": "missing shared input is unknown",
      "passed": true
    },
    {
      "name": "replay budget is unknown",
      "passed": true
    },
    {
      "name": "law budget yields no partial law",
      "passed": true
    },
    {
      "name": "zero sweeps identity",
      "passed": true
    },
    {
      "name": "bounded trace retains exact outputs",
      "passed": true
    },
    {
      "name": "bool dimension",
      "passed": true
    },
    {
      "name": "large exact law",
      "passed": true
    },
    {
      "name": "target outside domain",
      "passed": true
    },
    {
      "name": "duplicate shared bit",
      "passed": true
    },
    {
      "name": "bool bit",
      "passed": true
    },
    {
      "name": "out-of-range query",
      "passed": true
    }
  ],
  "passed": 176,
  "failed": 0,
  "scope": "Independent physical all-coin laws through one eight-card sweep, materialized/cycle forward-inverse controls, exact tiny TV/marginals, a 63-bit sparse path, unknown/budget and bounded-trace controls. No arbitrary-size mixing, fair-bit backend, production data loader, source proof or cryptographic guarantee."
}