verification.json

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

2455 bytes, as of the version from 2026-11-02 10:45. Recorded here, not run.

{
  "scope": "ordinary",
  "entries": 209,
  "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": 127.66504459571145,
  "full_independent_counts": {
    "ordinary": 209,
    "modified": 83,
    "quartic": 24
  },
  "additional_independent_quadratic_checks": 15,
  "numeric_payloads_preserved": {
    "retained": 36,
    "numeric_payloads_unchanged": true,
    "max_distance_ulp": 0.4983217460599055
  },
  "generator_report": "<VerifyReport T649: 209/209 matched, 0 differing, 0 missing, 0 extra>",
  "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": "830ba5396c89ebb2ac6cb54b91667a50ed8df9f816ab8a5c2ae22efcae9a7bc9",
    "entry-metadata.json": "020ec4e59995392dc82349ea5fc36908f7738c527d6ce96e3a5d8756f755db26",
    "hessian_periods.py": "c3887d7b3e1fd92c8f128846e544e3e1c5f79ab25c83f1c78bfaa763204fb2d9",
    "generate.py": "b8e1edb5463b8abe1e42c6836812bcb92110f688cd43264b46f2e3621ec8d3b1",
    "hessian-catalogue.json": "9332e9be3b8a7632f041894e07ef0f74964f5dc00a41529ed89694bca996a600"
  },
  "historical_attachments": "Earlier attachments retain their original scope, not full expanded coverage."
}