back to table · edit · history · where entries came from · files · download
2291 bytes, as of the version from 2026-10-29 13:16. Recorded here, not run.
{
"alcoves": 37,
"by_matrix_size": {
"2": 230,
"3": 164,
"4": 125,
"5": 125
},
"certified_decimal_entries": 530,
"checks": {
"conjugation_equalities": 644,
"exact_character_equalities": 644,
"global_dimension_normalizations": 37,
"independent_ordered_enumeration": 644,
"independent_serialized_enclosures": 644,
"known_answer_and_negative_controls": true,
"path_eigenvectors": 20,
"simple_current_equalities": 644,
"su2_chebyshev_rows": 230,
"su2_fusion_identities": 3310
},
"digits": 100,
"entries": 644,
"exact_rational_entries": 114,
"limitations": "Builder checks are not an independent critique; no review acceptance is asserted.",
"longest_serialized_value_characters": 101,
"maximum_relative_radius": "[6.10302551421943735269127826297770312641847521012767222006438297793507301450058585711407650678786737127360601429132122781757852040130196824474396475274419604889529785302052583951062e-128 +/- 3.12e-308]",
"minimum_generator_accuracy_bits": 421,
"minimum_independent_embedding_accuracy_bits": 593,
"mode": "offline",
"serialized_flat_yaml_bytes": 112494,
"skill_live_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"skill_local_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"skill_manifest": "agents/runs/20261029T130110Z-build-skills/manifest.json",
"table": "T609",
"versions": {
"numberdb": "0.1.10",
"sage": "10.9"
},
"working_bits": 429,
"live_companion_checks": {
"companion_checks": {
"T122": 167,
"T397": 6,
"T61": 20,
"T99": 230,
"program": 644
},
"path_entry_keys": {
"1": "A_",
"2": "BW",
"3": "CL",
"4": "DBg",
"5": "E@YO",
"6": "F@HSO"
},
"source": "live NumberDB companion documents",
"table": "T609"
},
"generator_sources_sha256": {
"generate.py": "b7ffc726e394fdc71d81a6d7786b0a97ef94b5999d4278f1430531409005b8c4",
"checks.py": "4dd21179c6c815f310c514516c6a38da08cdeefcf747b05d90522576322c21a2",
"companion-checks.py": "2cc311f981bbf3e6243dcdadecce529d591709074c183e94a6befb7e5978f581",
"argument-selection.md": "406a1e4d4a2e95b1b429d31e1bfc5c2acdcd1be57daddf1b4f539214f2622316"
}
}