{
  "capability_id": "math.numerical.ode",
  "calculation_version": "1.1.1",
  "protocol_version": "1.0.0-proposed",
  "protocol_document_status": "proposed",
  "verification_revision": "2026-10-18.ode-input-polynomial-surface-v3",
  "claim_scope": "Relative 1e-8 comparison of y and exact against listed fixed-step references; not a whole-domain accuracy guarantee or a user-tolerance acceptance.",
  "oracle": {
    "class": "O3",
    "library": "Python Decimal (standard library)",
    "precision_decimal_digits": [
      100,
      160
    ],
    "backend": "decimal",
    "rounding": "exact binary64 inputs; reference rounded to binary64 for publication comparison",
    "independent_of_iut": true,
    "generator_id": "ode-machine-decimal-1",
    "generator_version": "1.0.0",
    "generator_sha256": "6e4a3034f74b373f68423419741cfa8e93728e6320ab4ae897320659ade7ce96",
    "table_sha256": "518a0b0215be576e12777419116829e4c2b6349c4b0a6448afabee04032e5103"
  },
  "result_summary": {
    "passed": 12,
    "total": 12,
    "failed": 0,
    "max_error_ulp": 0,
    "threshold_ulp": 1e-8,
    "max_threshold_ulp": 0
  },
  "public_files": {
    "manifest": "/evidence/math.numerical.ode/1.1.1.cvp.json",
    "this_file": "/evidence/math.numerical.ode/reproduce.json"
  },
  "vectors": [],
  "disclosure": {
    "policy": "calculatorx-public-evidence-v1",
    "full_validation": "private",
    "representation": "summary",
    "kind": "reproduce"
  }
}