back to table · edit · history · where entries came from · files · download
2756 bytes, as of the version from 2026-10-28 00:06 (current). Recorded here, not run.
{
"entries": 150,
"exact_rows": 103,
"independent_enclosure_bits": 640,
"independent_integral_checks": 150,
"irrational_rows": 47,
"known_controls": 9,
"longest_at": {
"beta": "1",
"k": "1",
"n": "1"
},
"longest_serialized": 101,
"minimum_retained_bits": 424,
"serialized_values_bytes": 5689,
"table": "T565",
"working_bits": 429,
"skill_manifest": "agents/runs/20261027T233828Z-build-skills/manifest.json",
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
}
],
"run_id": "20261027T233828Z",
"methods": {
"1": "exact skew Fourier moment Pfaffian",
"2": "exact Fourier Toeplitz determinant",
"4": "exact confluent Vandermonde Pfaffian"
},
"source_locators": [
"Forrester-Warnaar (1.17), (1.18), (4.12)",
"Nishigaki (2), (6)",
"Forrester arXiv:1806.10411 (1.7), (3.1)"
],
"selection": {
"beta": [
1,
2,
4
],
"n": [
1,
10
],
"k": [
0,
4
]
},
"dry_run": {
"exit_code": 0,
"block_kib_estimate": 14.7,
"maximum_ball_display_characters": 146,
"exactness_complaints": 0,
"disguised_exact_values": 0
},
"sources_sha256": {
"forrester-warnaar.pdf": "79bf91b6d8c6e85a004af2748bf34684c4cfb3008864d156591ed7427f886911",
"andreief.html": "d3bfa8c2f712d0def712b5a3289ead7c72e3bbabbf1330327ec00fcd3121bcdf",
"nishigaki-arxiv.html": "549d2693286a0b6df3be32f4ae394aeac1ac5a08ebd9e73fb08b74d0018944d0"
},
"endpoint_conversion": "Outward dyadic endpoints converted with exact_rational() before rational interval containment.",
"program_checked_rows": 150,
"verification_log": "final-private-checks.log",
"versions": {
"sage": "10.9",
"numberdb": "0.1.10"
},
"stored_readback": {
"rows_checked": 150,
"independent_inclusions": 150,
"generator_verify": "150 match; 0 differ; 0 missing; 0 failed",
"log": "readback.log"
},
"site_audit": {
"tid": "T565",
"title": "Morris integrals for circular ensembles with a coalescing charge",
"findings": [],
"clean": true
},
"source_files_sha256": {
"generate.py": "f42a496806ba32696d4e41d47bf813d2aee961b731e6cd95ae420d417b16fed1",
"checks.py": "2353c25ca9a825edae55b79193cb10a11165b93a77de948ec33f70f1e2575f7a",
"argument-selection.md": "b7701c6c03acebb9492ec595f2e871ced664492a6d8053960e0d36ab3f6010cd",
"independent-checks.md": "849bdd25a920b19d4863adc2bd111310caf3e59627eac78db86ee6cb0279915c"
}
}