back to table · edit · history · where entries came from · files · download
2950 bytes, as of the version from 2026-11-02 01:06 (current). Recorded here, not run.
{
"table": "T664",
"stage": "build",
"run": "20261102T003143Z",
"skill_manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-dependency-review/agents/runs/20261102T003143Z-build-skills/manifest.json",
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
}
],
"count": 26,
"digits": 100,
"rigour": "heuristic (agreement-checked)",
"working_decimal_digits": [
150,
210
],
"minimum_precision_agreement_digits": 149.33666948027238,
"minimum_independent_absolute_agreement_digits": 139.3275356001599,
"independent_methods": {
"23_nonsingular_arguments": "Domb ODE continuation at 145 working digits, upper-half-plane path from exterior moment series",
"k_0_12": "Real Gauss hypergeometric endpoint integral at 145 digits, plus the proved factor-four relation",
"k_minus4": "Exact Laurent factorization; independent Arb zeta evaluation at 650 bits",
"k_minus3_additional": "Dirichlet L-value by Hurwitz zeta, in both mpmath and independently Arb"
},
"controls": [
"35 exact Domb coefficients against independent binomial sums",
"Continuation 32 to 64 against absolutely convergent moment series",
"Exact Laurent factorization and FCC exponent substitution",
"Deliberate 1e-90 perturbation rejected by a 1e-110 threshold",
"Endpoint derivative compared with Watson gamma product",
"Exterior formula checked directly with tails for every selected argument in its stated domain",
"All exported 100-digit intervals contain the high-precision and independent approximations"
],
"limitations": [
"Precision agreement does not certify floating-point arithmetic or inverse-nome roots.",
"The q-series tail bound applies only at the computed nome.",
"Independent endpoint k=-4 verification shares Smyth's theorem with the generator but uses a separate ball-arithmetic implementation.",
"This build does not supply the required separate critique verdict or argument-review sidecar."
],
"attachments_sha256": {
"generate.py": "387aec89e33143a684168188e9a7f0f644934aa2f886a351a4db0d955e20727a",
"independent_checks.py": "1f1bbcb563184da6bc2e636eb0a11ee66db746bf4caa8808be6e3a952a64cca8",
"exact_checks.py": "a57e9b2dc2b8cae83cadcb01637deb368f1e9f4944a34190adc2ea9513998d12",
"exterior_check.py": "8d85d509c8bea0226d80e1d550b57e9937261ba238c715edbda97dcbe5c1a7aa",
"argument-selection.md": "c182e26d5f8484e203cf1f5c7972fb6c6e7fdeee6b791d1e78c2fa7065da20d7",
"numerical-values.json": "6fc43ce43170359a7e63a98b2bb26af3c35c40a80689b269be927b719d165dc4",
"independent-comparison.json": "56982232503f48449671a86e47aaf95a076bba3e671a8120de9e9c0062e3b4b7"
}
}