verification.json

back to table · edit · history · where entries came from · files · download

2922 bytes, as of the version from 2026-11-02 11:02 (current). Recorded here, not run.

{
  "scope": "quartic",
  "entries": 24,
  "status": "passed",
  "numerical_rigour": "heuristic (agreement-checked)",
  "nominal_working_digits": [
    140,
    190
  ],
  "integration_working_digits": [
    180,
    230
  ],
  "independent_nominal_working_digits": [
    125,
    145
  ],
  "independent_arithmetic_working_digits": {
    "ordinary": [
      165,
      185
    ],
    "modified": [
      125,
      145,
      155,
      165,
      175
    ],
    "quartic": [
      170
    ]
  },
  "independent_report_sha256": "b2fb109f947ab5543d06269e4dced28bd5a7f880d328b9475264f2f489096e3f",
  "independent_evaluator_sha256": "ab921d19c31f86cce419e6aedef6d29092fd24e84ea22c5ab447aa4abdbc2046",
  "minimum_precision_agreement_digits": 131.01910809387132,
  "full_independent_counts": {
    "ordinary": 209,
    "modified": 83,
    "quartic": 24
  },
  "additional_independent_quadratic_checks": 15,
  "numeric_payloads_preserved": null,
  "generator_report": "<VerifyReport offline-quartic: 24/24 matched, 0 differing, 0 missing, 0 extra>",
  "generator_documentation_update": {
    "previous_source_sha256": "3d48968f33fb91bc68986fd02764d46988ba9bcbe941c3fb858bac39d923cbc7",
    "updated_source_sha256": "8422f84daaac17d26f4cd481d6f532f8bbf27c7a1da0841f2dae4e2a82166657",
    "validation": "Python syntax trees are identical after removing module docstrings"
  },
  "sources": {
    "class-polynomial-validation.json": "b1b420dd98758951405b7768c96fa02651687614c338291b5ee085391b5a132d",
    "hessian_generator.py": "824e5b9cf037e55469bf4aff690407b71a3dbf9210a9526b6c79f34bd9cb4713",
    "independent-values.jsonl": "dde055fc7de49ac05f61fd773cb3c776af0565ac99b22b4892b0640b46276f8a",
    "argument-selection.md": "b87aa41084e06576a6caee70896bd5e7b11ea0b6834cbe4e1b1cfd053963c0be",
    "catalogue-independent-validation.json": "b8250bf31f6abb9b701dcf4358d4256629b671fac5fed20e0089db0b1a68330a",
    "catalogue-validation.json": "de07d8f4000e927ed116a5cbc7063ec4a88bfec452611af9ea5a0a755ee5dc53",
    "independent-verify.py": "ab921d19c31f86cce419e6aedef6d29092fd24e84ea22c5ab447aa4abdbc2046",
    "independent-checks.json": "2fd1b3fc4f05ad854b514355e8e3f0dc3e3627cac52f52acd94d93b8b8df2be2",
    "entry-metadata.json": "56ccd0e2deec0f8339cbf18a2ea58663f9e990758ba1db29503c87a085b54a5e",
    "hessian_periods.py": "c3887d7b3e1fd92c8f128846e544e3e1c5f79ab25c83f1c78bfaa763204fb2d9",
    "generate.py": "3b57e7f44f286086ee60be40a0c66a62b6fe7d5d64bc07841cb22173bb5c0cb4",
    "hessian-catalogue.json": "9332e9be3b8a7632f041894e07ef0f74964f5dc00a41529ed89694bca996a600"
  },
  "historical_attachments": "Earlier attachments retain their original scope, not full expanded coverage.",
  "generator_binding": {
    "table": "T676",
    "change": "Only the previously unbound table identifier was set after draft creation",
    "previous_source_sha256": "3d48968f33fb91bc68986fd02764d46988ba9bcbe941c3fb858bac39d923cbc7"
  }
}