back to table · edit · history · where entries came from · files · download
2777 bytes, as of the version from 2026-11-02 11:01 (current). Recorded here, not run.
{
"scope": "modified",
"entries": 83,
"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": 134.33949644865592,
"full_independent_counts": {
"ordinary": 209,
"modified": 83,
"quartic": 24
},
"additional_independent_quadratic_checks": 15,
"numeric_payloads_preserved": {
"retained": 10,
"numeric_payloads_unchanged": true,
"max_distance_ulp": 0.4965621343661005
},
"generator_report": "<VerifyReport T650: 83/83 matched, 0 differing, 0 missing, 0 extra>",
"generator_documentation_update": {
"previous_source_sha256": "82fa00b7c9e61cfc8e23903e35e7ffb2edec35987bd195b09869a594419c049c",
"updated_source_sha256": "87a0215e619cfce3622965766062e94b4975a4986248898598b8058108a067ac",
"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": "c0cb07b08ac0cab85c5d487982d32fc55dad09f1e474685b4bdbf4010cbd275d",
"entry-metadata.json": "d7bd1bab5bd79795da8b0a79b22bda2319eec4cd06f338d8fc543dfc0067717d",
"hessian_periods.py": "c3887d7b3e1fd92c8f128846e544e3e1c5f79ab25c83f1c78bfaa763204fb2d9",
"generate.py": "87a0215e619cfce3622965766062e94b4975a4986248898598b8058108a067ac",
"hessian-catalogue.json": "9332e9be3b8a7632f041894e07ef0f74964f5dc00a41529ed89694bca996a600"
},
"historical_attachments": "Earlier attachments retain their original scope, not full expanded coverage."
}