{
  "table": "T586",
  "stage": "build-preflight",
  "policy_manifest": "agents/runs/20261028T165752Z-build-skills/manifest.json",
  "skill_versions": [
    {
      "source": "local",
      "file": "skill-local.md",
      "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
    },
    {
      "source": "live",
      "file": "skill-live.md",
      "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
    }
  ],
  "dry_run": {
    "entries": 303,
    "exactness": "all finite balls carry their own error bounds",
    "prose": "passed",
    "exact_in_disguise": "none",
    "min_value_accuracy_bits": 386,
    "working_bits": 493,
    "seconds": 41.158989667892456,
    "raw_ball_longest_characters": 167,
    "raw_ball_block_kb": 62.4
  },
  "checks": {
    "table": "T586",
    "entries": 303,
    "product_checks": 303,
    "parity_checks": 303,
    "gram_identity_checks": 202,
    "gram_sign_failures": [
      126,
      134,
      195
    ],
    "stationary_endpoint_certificates": 100,
    "mpmath_checks": {
      "125_digits": 303,
      "155_digits": 303
    },
    "shifted_intervals_rejected": 606,
    "controls": "passed",
    "min_independent_product_accuracy_bits": 452,
    "measure": {
      "entries": 303,
      "longest": 104,
      "longest_at": "gram:62",
      "block_kb": 42.62890625
    },
    "cover": {
      "count": 100,
      "endpoint": "233",
      "cover_bits": 96,
      "leaf_counts": {
        "origin": 1,
        "monotone-exclude": 5150,
        "exclude": 20945,
        "root": 100
      },
      "leaves_sha256": "7d3f73b0126a8fd09f520f455c6ad39bd84e2a54e1b6a336e1dcedd28a995132",
      "origin_second_derivative": "[5.5 +/- 0.0428]",
      "origin_endpoint": "1/1024"
    },
    "versions": {
      "sage": "10.9",
      "numberdb": "0.1.10",
      "mpmath": "1.4.1",
      "flint": "3.4.0"
    },
    "seconds": 126.62985754013062,
    "policy_manifest": "agents/runs/20261028T165752Z-build-skills/manifest.json",
    "skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
  },
  "sources": {
    "T583-generate.py": "175768685249b690bc1a68fa31e0d19d554e8b1441e3109a6617d1e1f0f2511a",
    "T585-generate.py": "959b5b980128018096644577cc703d1df56d24795d60dbdfa2e95b19b0357ad5",
    "T585-hardy_arb.pyx": "1a4263a881105a45a4024db2a619162436caa008e11a80c383f6b759b3ee506d",
    "flint-doc.html": "6ede5a58cd948c508558653473fa804eacb52788c245531b961ef2fc9a3d743a",
    "mpmath-doc.html": "3847675f29d36a9c9f042f57f1d485d35a7c89de52416574b11b9858b34fb1cc",
    "hall.pdf": "7e46ef9755ef08b8b7f667cae3d293923a21d4aaff949689db6cac30208709e3"
  },
  "generator_files": {
    "generate.py": "ea2c895a43040fdec88e04605785089a956a778c2f1486988ea87abf6ce536c0",
    "gram.py": "ae1ff9235310a6e3dd7c68dbcafb68332d6eaf8b3883f539c7bdac0a950dc3df",
    "stationary.py": "36a296ff5fdea427dd25f581b9a785cd3cf1e7cc002f633899fa4efc648411d9",
    "hardy_arb.pyx": "1a4263a881105a45a4024db2a619162436caa008e11a80c383f6b759b3ee506d",
    "checks.py": "b90bd5a614bdadca365b088ba04205fc94b3ea59e0e2bd4035f24b02916c679b",
    "argument-selection.md": "cb28c9486be1755b98d751ff74a4c9b3d619d7b540d3851148ef774e08debca4"
  },
  "stored_checks": "The same checks are rerun after filling; their result is retained in stored-evidence.json."
}