back to table · edit · history · where entries came from · files · download
10357 bytes, as of the version from 2026-10-27 20:42 (current). Recorded here, not run.
{
"table": "T560",
"source_mode": "stored",
"skill_manifest": "agents/runs/20261027T201044Z-build-skills/manifest.json",
"skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"versions": {
"Sage": "10.9",
"numberdb": "0.1.10"
},
"controls_passed": [
"series exp(t)",
"series 1/(1-t)",
"genus-one total and signed volume",
"both genus-two hyperelliptic coefficients",
"MPFI rational 1/3 with narrow enclosure",
"Machin pi identity"
],
"selection": {
"profiles": 18,
"components": 25,
"component_counts": [
2,
7,
16
],
"order_checked": true
},
"mathematically_independent_rows": 9,
"independent_checks": [
"six hyperelliptic coefficients from AEZ/CMSZ",
"minimal total volumes and spin differences from CMSZ rational series; six minimal-component rows"
],
"same_source_second_transcription_rows": 23,
"principal_saddle_connection_ratios": [
"27/8",
"162/7",
"22275/377"
],
"outside_family_identity": "H(2) volume = (zeta(2)^2-zeta(4))/2 = zeta(2,2)",
"all_written_intervals_certified_with_mpfi": true,
"minimum_relative_accuracy_bits": 393,
"size": {
"entries": 25,
"longest": 138,
"longest_at": [
4,
[
6
],
"hyp"
],
"block_kb": 6.2470703125
},
"rows": [
{
"params": {
"g": 2,
"mu": "2",
"component": "hyp"
},
"coefficient": "1/120",
"written": "0.8117424252833536436370027724058759270810632139390451807622321615830904621402266349176822269562749379",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 2,
"mu": "1,1",
"component": "hyp"
},
"coefficient": "1/135",
"written": "0.7215488224740921276773357976941119351831673012791512717886508102960804107913125643712730906277999448",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 3,
"mu": "4",
"component": "hyp"
},
"coefficient": "1/6720",
"written": "0.1430638680915631602723540838768481992361930845358700321340887183756092132205878293897650906476065084",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 3,
"mu": "4",
"component": "odd"
},
"coefficient": "1/2430",
"written": "0.3956334129939524432223125282520246497395956905683319407164922582239069600174280713988565469760970108",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 3,
"mu": "3,1",
"component": "connected"
},
"coefficient": "16/42525",
"written": "0.3617219775944708052318285972589939654762017742339034886550786360904292205873628081360974143781458384",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 3,
"mu": "2,2",
"component": "hyp"
},
"coefficient": "1/9450",
"written": "0.1017343061984449139714517929790920527901817490032853561842408664004332182901957897882773977938535171",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 3,
"mu": "2,2",
"component": "odd"
},
"coefficient": "1/4320",
"written": "0.2225437948090982493125507971417638654785225759446867166530268952509476650098032901618568076740545686",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 3,
"mu": "2,1,1",
"component": "connected"
},
"coefficient": "1/3780",
"written": "0.2543357654961122849286294824477301319754543725082133904606021660010830457254894744706934944846337926",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 3,
"mu": "1,1,1,1",
"component": "connected"
},
"coefficient": "1/4860",
"written": "0.1978167064969762216111562641260123248697978452841659703582461291119534800087140356994282734880485054",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "6",
"component": "hyp"
},
"coefficient": "1/580608",
"written": "0.01634240488603425031540828838718509871840756495198323600796077803796521732706296898429829476517532505",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "6",
"component": "even"
},
"coefficient": "32/1913625",
"written": "0.1586690143127615746178663092951944636458604706212108674100322295549760715179849978303663771452637189",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "6",
"component": "odd"
},
"coefficient": "1/37800",
"written": "0.2510193390494860848446713096271631163147401976624625050822775506631457381436872035988218075930929928",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "5,1",
"component": "connected"
},
"coefficient": "1/36750",
"written": "0.2581913201651856872688047756165106339237327747385328623703426235392356163763639808445024306671813640",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "4,2",
"component": "even"
},
"coefficient": "1/107520",
"written": "0.08824898638458495170320475729079953307940085074070947444298820140501217356614003251521079173194675527",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "4,2",
"component": "odd"
},
"coefficient": "1/79380",
"written": "0.1195330185949933737355577664891252934832096179345059548010845479348313038779462874280103845681395204",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "4,1,1",
"component": "connected"
},
"coefficient": "11/653184",
"written": "0.1597924033301126697506588197858098541355406350860583076333942741489932360868379189575833265928254005",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "3,3",
"component": "hyp"
},
"coefficient": "1/992250",
"written": "0.009562641487599469898844621319130023478656769434760476384086763834786504310235702994240830765451161630",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "3,3",
"component": "nonhyp"
},
"coefficient": "1/51030",
"written": "0.1859402511477674702553120812053060120849927390092314852461315190097375838101386693324605982171059206",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "3,2,1",
"component": "connected"
},
"coefficient": "1/70875",
"written": "0.1338769808263925785838246984678203287011947720866466693772146936870110603432998419193716307163162628",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "3,1,1,1",
"component": "connected"
},
"coefficient": "62/5740875",
"written": "0.1024737384103251836073719914198130911046182206095320185356458149209220461886986444321116185729828185",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "2,2,2",
"component": "even"
},
"coefficient": "37/6804000",
"written": "0.05159841969350547299584910253447241835358548507506173715580149652520217950731348073975781600524689296",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "2,2,2",
"component": "odd"
},
"coefficient": "31/4354560",
"written": "0.06754860686227490130368759200036507470275126846819737549957121589025623161852693846843295169605801021",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "2,2,1,1",
"component": "connected"
},
"coefficient": "131/13608000",
"written": "0.09134314837634076976292205989210657843675268303828496712716210871353358804673062130957126887415328348",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "2,1,1,1,1",
"component": "connected"
},
"coefficient": "1/136080",
"written": "0.06972759418041280134574203045198975453187227712846180696729931962865159392880200099967272433141472022",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
},
{
"params": {
"g": 4,
"mu": "1,1,1,1,1,1",
"component": "connected"
},
"coefficient": "377/67359600",
"written": "0.05310566263841540627746413228363664133033504742915171964984210808081141598213808965025579206655222126",
"relative_accuracy_bits": 393,
"mpfi_interval_contained": true
}
],
"limitations": "General nonhyperelliptic multizero volumes are exact source transcriptions, not independently recomputed from intersection theory. The 23-row software table cites EMZ and therefore independently checks transcription and normalization only. All 25 EMZ coefficients were visually checked against Table 1. The two remaining rows are also covered by the genus-four principal-stratum ratio from EMZ Table 2.",
"generator_verify": "<VerifyReport T560: 25/25 matched, 0 differing, 0 missing, 0 extra>"
}