{
  "status": "passed",
  "scope": "Small exact diagnostics for finite digit updates and rounded anchors.\n\nThese check finite examples and algebraic identities, not the general locality\nproof or every adversary trajectory. No nonstandard dependencies are used.",
  "continuous_invariance_moment_checks": 72,
  "full_local_endpoint_cases": 1152,
  "rounding_checks": 1953,
  "fallback_anchor_checks": 2206,
  "nonminimal_anchor_example_checked": true,
  "finite_chain_update_checks": 43706,
  "finite_chain": [
    {
      "sweeps": 1,
      "computations": 4,
      "distinct_final_states": 2
    },
    {
      "sweeps": 2,
      "computations": 16,
      "distinct_final_states": 6
    },
    {
      "sweeps": 3,
      "computations": 64,
      "distinct_final_states": 22
    },
    {
      "sweeps": 4,
      "computations": 256,
      "distinct_final_states": 86
    },
    {
      "sweeps": 5,
      "computations": 1024,
      "distinct_final_states": 342
    },
    {
      "sweeps": 6,
      "computations": 4096,
      "distinct_final_states": 1366
    },
    {
      "sweeps": 7,
      "computations": 16384,
      "distinct_final_states": 5462
    },
    {
      "sweeps": 8,
      "computations": 65536,
      "distinct_final_states": 21846
    }
  ],
  "note": "Small chain parameters are diagnostic examples, not the much larger certified locality parameters."
}