files / problems / riemann-hypothesis / compute / q2 / certificate / manifest.json

7.5 KB · on GitHub

{
  "schema": "riemann-q2-complete-v1",
  "claim": "Lambda <= 893927/5000000 < 1/5",
  "date": "2026-09-08",
  "model": "GPT-6 Astra",
  "upstream_pin": "a74738deb6d5e0f76887cb36901da08b68dca705",
  "files": {
    "analytic/barrier/barrier_target_closed.log": "f976e4730d97234d700b247ffb76073b7d400041837bc0e9c7a171e83c401686",
    "analytic/barrier/storedsum_interval_regenerated.txt": "588fe436aca5d2171119d5b0502b134a3336fe0fd5a4bf4cdc1b4eaa2dd13143",
    "analytic/barrier/storedsum_provenance.log": "9f0b732e81dcde089ed78224efa7d6f613601dd240f0da6feee98ec265776cc4",
    "analytic/barrier/storedsum_taylor_tail.log": "31102fa5feba5b07d3ccb155e7e3f2741bf359e95ac2e5282fa9961f04df19eb",
    "analytic/barrier/uniform_error.log": "7f43bc240b8852fde73fe4f95ff050481af601acead90a5232e58e604c55a163",
    "analytic/barrier.txt": "264d21f2f0c4625db313de4e6c670cf2d83f5db08a85661673a66208faf25c9b",
    "analytic/compile-dini-180.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "analytic/compile-dini-256.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "analytic/dini-180.txt": "13a8ee8195ae3733d0ee3b89cbac208c472653aa93eca3d1a9152e0f2c279113",
    "analytic/dini-256.txt": "3052695283b6a36db4fdaa22bdc1396fc2762705fa3e584bb6d2a22f5b3da14a",
    "analytic/manifest.json": "90940e6990ae79154c6150112c3436334931bc9994418dc62b967e61bf78ce89",
    "analytic/normalizer-correction.txt": "54666b58969367a9b0b2843e8b6689dd606854d19ead55f96f9a0b9c1541cca0",
    "analytic/prop410/prop410_arb_256.log": "995651e49112928472d6511a191d727783b0abdf77c20f2f6c32ec814986b244",
    "analytic/prop410/prop410_arb_512.log": "3945dee56684fb1ebc6866c67b09b5850d315fd191b65e594f1430ee52076edb",
    "analytic/prop410/prop410_arb_reject_255.log": "36dfd0d6e23ea74b10efeec0bc2b5c951cd5531de521637c96da85c782e39fc0",
    "analytic/prop410/prop410_arb_reject_noarg.log": "d51eba9a49b21dea10ddbe8b5ff387694f36101d446c0fa93b1a071cae890614",
    "analytic/prop410.txt": "158b8d4f4b03198c490af3ddfeeb4a314d5bf2cae361bb4ca5481945a09488e8",
    "analytic/stored-review.txt": "a2cc1e53c67a0f11f5f8d03a462d14739da5e3814495e8d200e23847393caab5",
    "analytic/tail/tail_arb_256.log": "bd189e5095d1e62f061f9606e7547793e5cee2f086d41be6e03c53f7744a7a66",
    "analytic/tail/tail_arb_512.log": "ee09daef9cddc219facdeca8cd5b9027370b5140fd33edd5d3160973b5e16708",
    "analytic/tail/tail_arb_reject_255.log": "36dfd0d6e23ea74b10efeec0bc2b5c951cd5531de521637c96da85c782e39fc0",
    "analytic/tail-python.txt": "5e9702b88a2e0798ab21bcab15ea81855f1c28b0b3d8875bfd888194d6cab379",
    "analytic/tail.txt": "a66c6f1fd75cc941f7d683ae57f17a589ae4965837541098ef061bdbcfcf20ba",
    "analytic/window.txt": "11a62e477d74766ea6df41554ba34f9f6c497257545f7c323763ec11df6dd03d",
    "analytic-summary.json": "c96b004e509b51835f66a6892dcbeef42de3a19c3f5b3906a3473dccb5b4913b",
    "finite/N1028000-1030000.txt.gz": "19d1bdb8cbbf30a1c24e5af1bdfaf62668e93d12c8c83a9120e51ee94d700069",
    "finite/N1030001-1050000.txt.gz": "f4b6db05e5e0c6237e256cf4577452ca32806dd483159d91fc0fbcef648b4271",
    "finite/N1050001-1100000.txt.gz": "2403df8174570b227103ae81667fd2b3e83e6dcd800d479960e3703682f5d01d",
    "finite/N1100001-1300000.txt.gz": "4eb4eba3f64fd7a00f3f0c9c191b46d3dbe28465350a196e96ee1552e3ee219d",
    "finite/N1300001-1700000.txt.gz": "51ea31892220837862714c6597bc443e7b2a69637bfbd490ab9ffe264a4bf801",
    "finite/N1700001-2200000.txt.gz": "1710a6af12efe9863434aaddd0a743dcfcb4eb4d8a69304d6546b7dfa7663d5f",
    "finite/N2200001-2800000.txt.gz": "df8c4d1899db3788bcec1b1c189f8b127deae6a7ea700be661ed84bf6725beb7",
    "finite/N2800001-3300000.txt.gz": "88a9ffd269e2aa5def5d1d80d818bb9833c60528a39ed9d9a1a6e760a660b551",
    "finite/N3300001-3840000.txt.gz": "b2b217c20e5df16308d47f68e55cd4e403751da357f9f05ba3b4f35a468acbae",
    "finite/N690988-690988.txt.gz": "b163c53bafd265e96fe33ce4f3a49d0528d25b5e1e925c51ea92ba61844ca5fa",
    "finite/N690989-690990.txt.gz": "b54b1ecc6fd5fa2fd30cdcc5558df91e1ea875fe2dfc844ace20bc4598d5cd11",
    "finite/N690991-690995.txt.gz": "a806427c39d4a4b6fdd8a897908ad77f50d7e3b98571f940de5c23f332432e45",
    "finite/N690996-691010.txt.gz": "8036be6ac3068bb89274fae43cff1ce865a87dac22d77d81dfd785d10e0eda8d",
    "finite/N691011-691050.txt.gz": "fe6e067b3aab78878a4c56144d6eebbf00bc43e0a9048da434d4aa4ceeea6c7e",
    "finite/N691051-691150.txt.gz": "71621789b654c04af78f26d3332a041c1adb0a9bfe2cfd257191e7e49e718670",
    "finite/N691151-691500.txt.gz": "21691ff96850bad813b6766230250a6d4fce0346561965952ce1210bc4c0365a",
    "finite/N691501-693000.txt.gz": "31a2b04f566747459010c058ab9c475e5584fc15e3d65831f88975c7d0da11c7",
    "finite/N693001-697000.txt.gz": "48d371c9278a825f3ed7913cefc677639134488758f8aafbf5976b225133f2c6",
    "finite/N697001-707000.txt.gz": "4e62d272fbc0c5eaf0022ae0ac6659718371aff1b9099ab5abd21e5ae876ab8f",
    "finite/N707001-718000.txt.gz": "c52a145f3ae4071f8bcaefcaf70323cae6879c4e3ff16e2127a8d533ec047245",
    "finite/N718001-728999.txt.gz": "2cb703d388e95694cfa8e739d78b69ad1d9e39908f1f7b243998d744a6be72c7",
    "finite/N729000-818999.txt.gz": "1c91c093e262165b4faf47a0efb9194f289f6954aaabb3b722f9a76ccbb68607",
    "finite/N819000-1027999.txt.gz": "1557164cecf0d6bd74cf084563e137ff7809d0fe470b45ef25a1275df47bc10a",
    "finite/progress.json": "60640e5de9985bc2abbf634e9db26a166eb3bebfeec94ee98ba358dee2dc1316",
    "finite-summary.json": "3040c65b4d42c5f009064d8e8d1a29b9f21a84ce03a55d770a9024549790f512",
    "independent/direct-first.stderr.txt.gz": "01beb3d3ae35a5446e2308c5007f21f3117d3c11755133ec614d706fc6a88ba9",
    "independent/direct-first.txt.gz": "f870fae1e9526684147c35d8446ee5264196d3e3ad2164d85f76aeaf621491f7",
    "independent/interpolation-1028000-3840000.stderr.txt.gz": "2dfe9fe877c583f23b242e709bdd435ff9e853d262ff016a3034502ad1be1a02",
    "independent/interpolation-1028000-3840000.txt.gz": "130295b89cb16e1ecdfd6f79d6e7c020883a576cabcc30e4c4a73195bf8ec799",
    "independent/interpolation-690988-728999.stderr.txt.gz": "54e5542317c97bdd5965a891ac8a957966d6cb24412b02eff99c36f30a90227c",
    "independent/interpolation-690988-728999.txt.gz": "c6bff3f33610b4cbe84a0db1276528c9255cefd003cf2bf2321d59bd507a2a3d",
    "independent/interpolation-729000-818999.stderr.txt.gz": "deff2d08837431f48e61e6a643f2975e776de93d41d4ff23ef394e0e0d49204f",
    "independent/interpolation-729000-818999.txt.gz": "dd87445a5263a98f6f582c09939cfa0004bac7ae052b1f3bd45e5a90beb9d5f6",
    "independent/interpolation-819000-1027999.stderr.txt.gz": "4d4e954a50d768176ea69ec8004ed65350605d93e4acc490c9e7cc3bd43d9899",
    "independent/interpolation-819000-1027999.txt.gz": "5f4b145100547664aaa3e3dc43357a6b1548ce9891560694a8702234589f5282",
    "independent/manifest.json": "ebff51659b698b0f00296f1e234e0461948416702112a6bde9d87c262afea8fa",
    "rejections.txt": "e733937c3cf16413a858c9dd7d8d374b757fb10d9123bb102570a49d1c153fde",
    "small-checks.txt": "29d1950fcd5241689d44d3931507051d50d2cc7e084744f2312c870024b7db5b"
  },
  "sources": {
    "vendor/finite_original.c": "580d0b51165da58d4ca22e16d80a8c3db603dd0d9246f26dd027b5f820bf0808",
    "direct.rs": "77e5f0dad18d6723af9603dd99f9f2861865b260d04731f02c8e4f03af3644f0",
    "interpolate.rs": "e738f2b6242d6a0da17590f08184ef64321ecc2ac41ab6d3bc9cc72ef64568b9",
    "ball.rs": "2b94e5b378a584acb3a4d9c39c873ddd4fb9402545068c2fab0adeb096ada293",
    "arb_bridge.c": "c08df7353d146da2abff428c01b6aed3ac2659e7c69dc05d16b7e6e1b5f46562"
  },
  "scope": "Complete fresh outputs of two finite implementations and the analytic numerical lanes. The analytic implication is reviewed in ANALYTIC_REVIEW.md; see NOTE.md for independence boundaries."
}