{
  "controls": {
    "two_qubit_density_mass": "1",
    "two_qubit_entropy_nats": "1/3",
    "two_by_three_entropy_nats": "9/20"
  },
  "entries": 400,
  "dimension_pairs": 200,
  "exact_nats": 200,
  "certified_bits": 200,
  "independent_laguerre_checks": 200,
  "kernel_normalization_checks": 200,
  "monotonic_K_pairs": 190,
  "entropy_bound_checks": 200,
  "independent_log2_series_terms": 150,
  "independent_log2_width_less_than": "1e-145",
  "minimum_certified_relative_width_bits": 393,
  "arb_working_bits": 397,
  "guard_bits": 64,
  "all_arb_relative_widths_less_than": "1e-117",
  "serialization_contains_entire_arb_ball": 200,
  "serialization_contains_independent_interval": 200,
  "measurement": {
    "entries": 400,
    "longest": 137,
    "longest_at": [
      2,
      2,
      "bits"
    ],
    "block_kb": 57.9404296875
  },
  "longest_serialized_value": 113,
  "serialized_records_json_bytes": 57194,
  "versions": {
    "sage": "10.9",
    "numberdb": "0.1.10",
    "python": "3.12.3"
  },
  "skill_manifest": "agents/runs/20261028T054431Z-build-skills/manifest.json",
  "skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
  "program_entries_checked": 400,
  "actual_entries_yaml_bytes": 55194,
  "builder_run": "20261028T054431Z",
  "source_sha256": {
    "generate.py": "8b5fce56c4a933f3b145b8a9f6af18492bc8855c842b3e56109c2f588501ec8e",
    "verify_math.py": "a6be433d549e227ac8e0be7812b88d5f2ca77539bdbe8ec2ca6a641e303d3398",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "argument-selection.md": "6b4b4174b54cd7cc6dec0ef78f55e3f17e8f8c7f4e87a9b9d92fd322c9778fcf",
    "sources.md": "e82f68c9199139f51609148f028be7d61d74e311d026a2bf48b384d32f65288f"
  },
  "stored_entries_independently_checked": 400,
  "stored_program_entries_checked": 400,
  "generator_verify": "<VerifyReport T573: 400/400 matched, 0 differing, 0 missing, 0 extra>"
}