back to table · edit · history · where entries came from · files · download
3037 bytes, as of the version from 2026-10-27 15:20 (current). Recorded here, not run.
{
"table": "T552",
"builder_run": "20261027T144347Z",
"skill_manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-balanced-coverage/agents/runs/20261027T144347Z-build-skills/manifest.json",
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
}
],
"source": {
"title": "Sho Matsumoto, Weingarten calculus for matrix ensembles associated with compact symmetric spaces",
"url": "https://arxiv.org/abs/1301.5401",
"version": "1301.5401v3",
"locators": [
"Section 2.1, equation (2.1)",
"Section 4.1, Theorem 4.1",
"Example 4.1 and character expansion on page 18"
],
"pdf_sha256": "cdfc30306b1a7e7d745c420fcef0d368d565c4e704f4cfcd06fe0125dc92eda2"
},
"selection": {
"a": "a >= b >= 1; a+b <= 8",
"b": "every allowed negative-eigenspace multiplicity",
"mu": "all partitions with 1 <= sum(mu) <= min(4,a+b)",
"entries": 163,
"signatures": 16,
"signature_degree_pairs": 61,
"parameter_roles": {
"a": "discrete_index",
"b": "discrete_index",
"mu": "discrete_index"
}
},
"arithmetic": "Exact rationals, not decimal approximations; every division is in QQ.",
"versions": {
"sage": "10.9",
"numberdb": "0.1.10"
},
"measurement": {
"entries": 163,
"longest_characters": 8,
"longest_example": {
"a": 6,
"b": 2,
"mu": "3,1",
"number": "-13/1980"
},
"check_measure_block_kb": 7.94140625
},
"checks": {
"dry_run": "passed",
"generator_verify": {
"matched": 163,
"differing": 0,
"missing": 0,
"extra": 0
},
"independent_class_gram_solutions": 163,
"full_permutation_equations": 474,
"beta_diagonal_moments": 61,
"source_small_cases": 48,
"signature_reversal": 163,
"balanced_odd_zeros": 13,
"unitary_table_convolutions": 163,
"controls": 8,
"program_example": "weingarten(8,1,(2,1)) = 2/55"
},
"stored_checks_repeated": true,
"selection_review": "Required separately by the independent critique actor; no acceptance sidecar written by this build.",
"audit": {
"tid": "T552",
"title": "Chiral unitary Weingarten functions",
"findings": [],
"clean": true
},
"source_files": {
"generate.py": "7b68646b569039769dd3ac58faded02f38a9da20e9b53f79bc1c8e27c9ffc9cf",
"checks.py": "c2d059322bc5ab351b24d0290c248ab7ae0d78a0c72941c6dcdd87adc200ca54",
"argument-selection.md": "9e18c687283d43fbd7ec67fa7383b70d9795c86bbac25f0ea37cb9e392959bc1"
},
"logs": [
"local-checks-4.log",
"stored-checks.log",
"fill.log",
"audit-final.json"
],
"limits": "No claims of exhaustive testing beyond the stored selection. Larger dimensions and degrees, including k>N, have no stored entries."
}