back to table · edit · history · where entries came from · files · download
3048 bytes, as of the version from 2026-10-27 04:15 (current). Recorded here, not run.
{
"status": "pass",
"entries": 142,
"counts_by_order": {
"2": 1,
"3": 2,
"4": 6,
"5": 21,
"6": 112
},
"controls": [
"K2 determinant x^2-1",
"P3 determinant x^3-6*x-4",
"graph6 A_ and BW"
],
"independent_determinant_matches": 142,
"mckay_census_matches": 142,
"canonical_identity_matches": 142,
"checks": {
"coefficient_identities": 142,
"all_roots_real": 142,
"distance_radius_table": 142,
"tree_determinant_and_inertia": 13,
"complete_graph": 5,
"complete_bipartite": 9,
"regular_diameter_at_most_two_adjacency_relation": 10,
"path_fiedler_table": 5,
"constant_transmission_root": 11
},
"graphs_with_multiple_positive_roots": [
"DFw",
"DNw",
"E?^o",
"E?~o",
"E@^o",
"E@~o",
"EBYW",
"EBYw",
"EBn_",
"EB~o",
"EENg",
"EFz_",
"EFzw",
"EHuw",
"EImo",
"EImw",
"EIno",
"EInw",
"EJYW",
"EJqw",
"EJ~o",
"EK~o",
"EL~o",
"ENzw",
"ER^W",
"E_]o",
"Ejmw",
"Ek]w",
"Es\\w"
],
"measurement": {
"entries": 142,
"longest": 46,
"longest_at": "E@YO",
"block_kb": 10.2294921875
},
"environment": {
"python": "3.12.3",
"numberdb": "0.1.10",
"sage": "10.9"
},
"skill_manifest": "agents/runs/20261027T040650Z-build-skills/manifest.json",
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"actual_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"bytes_read": 57768
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"actual_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"bytes_read": 57768
}
],
"run": "20261027T040650Z",
"files_sha256": {
"generate.py": "3d943ac4ba54339c16fe67e36e7a03c00810e390e2cdc5fe5ae067c9b43de7b0",
"checks.py": "74c98241f364ed3fd1d12181fa340ef00be3680e14e8d2b7e6aaf7aa978a1030",
"selected-graphs.json": "66da24c6bffb3a31329ac762cf28ea64ec6357d64ea9f7f4ce501dfc12d62fac",
"reference-values.json": "83e52de5f002ef2fc26a957eb5fcd52d564642fc7602716dc9d83149f0acc3e7",
"graph2c.g6": "fae4bfc454bd04363dcd5222772f2973b1193e1ff6f676e822a427323a677ef9",
"graph3c.g6": "5966edf890849db6cb03626431916231a81a30c9db9a4781a4a8f2e5dc7e6129",
"graph4c.g6": "d7da485669f2dc74b81c02f18774a07430937684896833d59f138b10debb5005",
"graph5c.g6": "3c436a6a15f554e3eff3ce9178fddd3d75db6d365b3c6b102b64afe82145050b",
"graph6c.g6": "2dc8cbb1c05a12b5dcb28b6227cee86d585f203347f6aebb8fcbdb2b9bdf5fd7"
},
"precision": "Exact integer polynomial coefficients; no decimal approximation or digit target applies.",
"dry_run": "Passed exactness, spelling and size checks; 142 entries, longest polynomial 46 characters; approximately 11.5 KB including graph-name annotations."
}