verification.json

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

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

{
  "scope": "quadratic",
  "entries": 15,
  "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.3946727647433,
  "full_independent_counts": {
    "ordinary": 209,
    "modified": 83,
    "quartic": 24
  },
  "additional_independent_quadratic_checks": 15,
  "numeric_payloads_preserved": {
    "retained": 15,
    "numeric_payloads_unchanged": true,
    "max_distance_ulp": 0.47830092459793094
  },
  "generator_report": "<VerifyReport T651: 15/15 matched, 0 differing, 0 missing, 0 extra>",
  "generator_documentation_update": {
    "previous_source_sha256": "0391b0f122484253d267219a8e5442e339c5d9facddc623d1537a91e4dd7f8c6",
    "updated_source_sha256": "43debbd271451603047fbd713196fc179da2f5d4f5408e51e0e506392926c8c6",
    "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": "fc3665564c4bf89a2692ac68cd286daed8b9698665164787dce5ed149e0f8559",
    "entry-metadata.json": "0f66fee4e7eae566b4e31059ed8fba245c5560597f3e8dd89ca6016b3f8b5fcc",
    "hessian_periods.py": "c3887d7b3e1fd92c8f128846e544e3e1c5f79ab25c83f1c78bfaa763204fb2d9",
    "generate.py": "43debbd271451603047fbd713196fc179da2f5d4f5408e51e0e506392926c8c6",
    "hessian-catalogue.json": "9332e9be3b8a7632f041894e07ef0f74964f5dc00a41529ed89694bca996a600"
  },
  "historical_attachments": "Earlier attachments retain their original scope, not full expanded coverage."
}