back to table · edit · history · where entries came from · files · download
5051 bytes, as of the version from 2026-10-28 12:16 (current). Recorded here, not run.
{
"dyck_path_comparisons": 6,
"elapsed_seconds": 0.8044530702754855,
"entries": 37,
"identities": "degree, constant, leading, nonnegativity, symmetry, hyperplane coefficient on all 37; Narayana on all six circuit entries",
"independent_coefficients_checked": 37,
"known_answer_controls": 7,
"manifest": "agents/runs/20261028T114049Z-build-skills/manifest.json",
"measure": {
"block_kb": 2.994140625,
"entries": 37,
"longest": 85,
"longest_at": "U(8,12)"
},
"mode": "local",
"named_objects": {
"Fano": {
"characteristic": "t^3 - 7*t^2 + 14*t - 8",
"flats": 16,
"hyperplanes": 7,
"rank": 3,
"size": 7
},
"K5dual": {
"characteristic": "t^6 - 10*t^5 + 45*t^4 - 115*t^3 + 175*t^2 - 147*t + 51",
"flats": 314,
"hyperplanes": 37,
"rank": 6,
"size": 10
},
"NonFano": {
"characteristic": "t^3 - 7*t^2 + 15*t - 9",
"flats": 18,
"hyperplanes": 9,
"rank": 3,
"size": 7
},
"NonPappus": {
"characteristic": "t^3 - 9*t^2 + 28*t - 20",
"flats": 31,
"hyperplanes": 20,
"rank": 3,
"size": 9
},
"Pappus": {
"characteristic": "t^3 - 9*t^2 + 27*t - 19",
"flats": 29,
"hyperplanes": 18,
"rank": 3,
"size": 9
},
"R10": {
"characteristic": "t^5 - 10*t^4 + 45*t^3 - 105*t^2 + 120*t - 51",
"flats": 162,
"hyperplanes": 30,
"rank": 5,
"size": 10
},
"TicTacToe": {
"characteristic": "t^5 - 9*t^4 + 36*t^3 - 84*t^2 + 118*t - 62",
"flats": 225,
"hyperplanes": 94,
"rank": 5,
"size": 9
},
"Vamos": {
"characteristic": "t^4 - 8*t^3 + 28*t^2 - 51*t + 30",
"flats": 79,
"hyperplanes": 41,
"rank": 4,
"size": 8
}
},
"numberdb": "0.1.10",
"sage": "10.9",
"skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"table": "T580",
"values": {
"Fano": "t^3 + 7*t^2 + 7*t + 1",
"K(4)": "t^3 + 7*t^2 + 7*t + 1",
"K(5)": "t^4 + 15*t^3 + 35*t^2 + 15*t + 1",
"K(6)": "t^5 + 31*t^4 + 155*t^3 + 155*t^2 + 31*t + 1",
"K(7)": "t^6 + 63*t^5 + 651*t^4 + 1365*t^3 + 651*t^2 + 63*t + 1",
"K(8)": "t^7 + 127*t^6 + 2667*t^5 + 10941*t^4 + 10941*t^3 + 2667*t^2 + 127*t + 1",
"K5dual": "t^6 + 37*t^5 + 230*t^4 + 400*t^3 + 230*t^2 + 37*t + 1",
"NonFano": "t^3 + 9*t^2 + 9*t + 1",
"NonPappus": "t^3 + 20*t^2 + 20*t + 1",
"Pappus": "t^3 + 18*t^2 + 18*t + 1",
"R10": "t^5 + 30*t^4 + 120*t^3 + 120*t^2 + 30*t + 1",
"TicTacToe": "t^5 + 94*t^4 + 428*t^3 + 428*t^2 + 94*t + 1",
"U(3,4)": "t^3 + 6*t^2 + 6*t + 1",
"U(3,5)": "t^3 + 10*t^2 + 10*t + 1",
"U(3,6)": "t^3 + 15*t^2 + 15*t + 1",
"U(3,7)": "t^3 + 21*t^2 + 21*t + 1",
"U(4,5)": "t^4 + 10*t^3 + 20*t^2 + 10*t + 1",
"U(4,6)": "t^4 + 20*t^3 + 45*t^2 + 20*t + 1",
"U(4,7)": "t^4 + 35*t^3 + 84*t^2 + 35*t + 1",
"U(4,8)": "t^4 + 56*t^3 + 140*t^2 + 56*t + 1",
"U(5,6)": "t^5 + 15*t^4 + 50*t^3 + 50*t^2 + 15*t + 1",
"U(5,7)": "t^5 + 35*t^4 + 140*t^3 + 140*t^2 + 35*t + 1",
"U(5,8)": "t^5 + 70*t^4 + 308*t^3 + 308*t^2 + 70*t + 1",
"U(5,9)": "t^5 + 126*t^4 + 588*t^3 + 588*t^2 + 126*t + 1",
"U(6,10)": "t^6 + 252*t^5 + 1890*t^4 + 3480*t^3 + 1890*t^2 + 252*t + 1",
"U(6,7)": "t^6 + 21*t^5 + 105*t^4 + 175*t^3 + 105*t^2 + 21*t + 1",
"U(6,8)": "t^6 + 56*t^5 + 350*t^4 + 616*t^3 + 350*t^2 + 56*t + 1",
"U(6,9)": "t^6 + 126*t^5 + 882*t^4 + 1596*t^3 + 882*t^2 + 126*t + 1",
"U(7,10)": "t^7 + 210*t^6 + 2142*t^5 + 6090*t^4 + 6090*t^3 + 2142*t^2 + 210*t + 1",
"U(7,11)": "t^7 + 462*t^6 + 5082*t^5 + 14850*t^4 + 14850*t^3 + 5082*t^2 + 462*t + 1",
"U(7,8)": "t^7 + 28*t^6 + 196*t^5 + 490*t^4 + 490*t^3 + 196*t^2 + 28*t + 1",
"U(7,9)": "t^7 + 84*t^6 + 756*t^5 + 2058*t^4 + 2058*t^3 + 756*t^2 + 84*t + 1",
"U(8,10)": "t^8 + 120*t^7 + 1470*t^6 + 5712*t^5 + 8820*t^4 + 5712*t^3 + 1470*t^2 + 120*t + 1",
"U(8,11)": "t^8 + 330*t^7 + 4620*t^6 + 18942*t^5 + 29700*t^4 + 18942*t^3 + 4620*t^2 + 330*t + 1",
"U(8,12)": "t^8 + 792*t^7 + 12012*t^6 + 50952*t^5 + 80685*t^4 + 50952*t^3 + 12012*t^2 + 792*t + 1",
"U(8,9)": "t^8 + 36*t^7 + 336*t^6 + 1176*t^5 + 1764*t^4 + 1176*t^3 + 336*t^2 + 36*t + 1",
"Vamos": "t^4 + 41*t^3 + 100*t^2 + 41*t + 1"
},
"versions_read": {
"manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-balanced-coverage/agents/runs/20261028T114049Z-build-skills/manifest.json",
"versions_read": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"verified_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"verified_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
}
]
}
}