back to table · edit · history · where entries came from · files · download
5364 bytes, as of the version from 2026-10-28 09:23 (current). Recorded here, not run.
{
"table": "T576",
"stage": "build",
"run": "20261028T084155Z",
"status": "filled private draft; independent critique and repair stages pending",
"skill": {
"manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-balanced-coverage/agents/runs/20261028T084155Z-build-skills/manifest.json",
"manifest_sha256": "468f5191d13df1eaecac71d659cc26682a40378c5982ce84143ed004d1933cc7",
"versions_read": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
}
]
},
"fingerprint": {
"table": "T576",
"selection_sha256": "6593d9acbe705fc1b883da893ffe78aa51c8eaffe6c71c100af905d278f2c14a",
"generator_files": {
"generate.py": "db5efe9db46d7244ab3be410beafb6fb8bb2f8f4a113b014776c19be6adbb0e6",
"checks.py": "e4ab51d1c3aca3b788d4f4fd88efd9c4915ffe372cd221f4c585dbb48b395297",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"dry_run.py": "00615e002d653eb725066ef2dadde09cfe24836e4416b01f085a40e640107cc4",
"argument-selection.md": "417b5bb3fcb46e545810affa0e2a3540269e8ef518d86a4d699d961a2a789068"
}
},
"convention": "Real zonal C normalization; alpha=2, sum over partitions equals p1^d; exact QQ polynomial coefficients",
"coverage": {
"parameters": [
"n",
"lambda"
],
"degree_limits": {
"2": 6,
"3": 6,
"4": 5,
"5": 4
},
"minimum_degree": 2,
"entries": 61,
"all_admissible_partitions_in_each_slice": true,
"maximum_variables": 5
},
"measurements": {
"proposed_entries": 87,
"proposed_longest": 4597,
"final_longest": 1157,
"final_longest_at": {
"n": 5,
"lambda": "4"
},
"final_block_kb_dry_run": 18.3,
"omitted_degree_slices": {
"n=4,d=6": 1705,
"n=5,d=5": 2254
}
},
"checks_on_readback": {
"passed": {
"controls": 8,
"enumerated": 61,
"sage_jack_full_coefficients": 61,
"identity_value": 61,
"cleared_denominator_eigenidentity": 61,
"symmetry_and_homogeneity": 61,
"haar_integral_n2": 14,
"published_degree4_rows": 17,
"degree2_formulas": 8,
"column_formula": 9,
"alphabet_stability": 47,
"trace_power_slices": 17,
"boundary_checks": 16
},
"measure": {
"entries": 61,
"longest": 1157,
"longest_at": "(5, (4,))",
"block_kb": 18.1875
},
"versions": {
"sage": "10.9",
"numberdb": "0.1.10"
}
},
"numberdb_verify": {
"matched": 61,
"differing": 0,
"missing": 0,
"extra": 0
},
"stored_Jack_T575_overlap": 34,
"schur_specialization_checks": 61,
"control_values": {
"C_2_at_I2": "8/3",
"C_11_at_I2": "4/3",
"circle_moment_0_0": "1",
"circle_moment_1_0": "1/2",
"circle_moment_1_1": "1/8"
},
"audit": {
"tid": "T576",
"title": "Zonal polynomials",
"findings": [],
"clean": true
},
"no_publication_or_offer_action_performed": true,
"notes": [
"The audit requested removing an internal link from the definition; definition now uses the DLMF integral convention. Numbers and source files were unchanged.",
"T575 is an accessible companion draft, so its stable T-number is used for internal references. It must be public before T576 is eventually published.",
"No independent argument-review acceptance is claimed by the build actor."
],
"artifacts_sha256": {
"generate.py": "db5efe9db46d7244ab3be410beafb6fb8bb2f8f4a113b014776c19be6adbb0e6",
"checks.py": "e4ab51d1c3aca3b788d4f4fd88efd9c4915ffe372cd221f4c585dbb48b395297",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"dry_run.py": "00615e002d653eb725066ef2dadde09cfe24836e4416b01f085a40e640107cc4",
"argument-selection.md": "417b5bb3fcb46e545810affa0e2a3540269e8ef518d86a4d699d961a2a789068",
"computed-entries.json": "cf5e352ca5129ea09bf1f0303e5542d613fb27f3e58cd4aac5a14a45478bdb7a",
"final-stored.json": "0679f702cbe24de292371a49dfaa5de37b2e029a33cdaad4eb6e8e7624d0fca6",
"proposal-measurement.log": "325bccf0239e81d6912088623cf09a641a424b451d3e5026e7a480b4e621b5ed",
"final-dry-run-and-checks.log": "86ad298b32bfc369ab474a2309da2b1905c5f86d0e67789987721aba1e67243b",
"readback-checks.log": "54b79f72c55aba762fe455a4899ffbd0ecb054b8a8dee98e2a38a305b19ca94a",
"package-preview.log": "b469fa3db910e4b94c81de3119cf55900a7b29c491ee80279ee46470cb51381e",
"readback_checks.py": "44f20fa30661b0ce5ba76915bdc4f422f65d15c84b4583b4d63ed40d0290aa94",
"T575.json": "cc46ad8895e1ff7c29d9f91e6400508b0e367227b13a1b0dfb86f7cc0b90338e",
"audit-final.json": "abb2715023cede76c26f73b64e6b653e5f75897c5162d564dbc84ece310d71e5",
"fingerprint-final.json": "a8e6e551b7993b3e7209b98e55b39088c4cd8c6fcb6d8edb0bbb030a0185ac14",
"source-archive.json": "547edf196a2be31b7480cb960585a583febd9ea5d75083ec12c199efb2c1e0a6",
"skill-evidence.json": "594b10690fcbf5c5d3668cb8d0b0b82596b2c40daeb40a6af6180fa8ecd22310",
"family-228.md": "ecad579aa9014d27f43f0098a31ade1f69ef428467d0b7d0626b31445353ddc2"
}
}