back to table · edit · history · where entries came from · files · download
1941 bytes, as of the version from 2026-10-28 06:01 (current). Recorded here, not run.
{
"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>"
}