{
  "capability_id": "engineering.uncertainty.propagate",
  "calculation_version": "1.9.8",
  "protocol_version": "1.0.0-proposed",
  "protocol_document_status": "proposed",
  "verification_revision": "2026-09-16.seeded-mc-o3",
  "oracle": {
    "class": "O3",
    "library": "mpmath 1.4.1",
    "mpmath_dps": 80,
    "backend": null,
    "rounding": null,
    "generator_id": "uncertainty-propagate-mpmath-o3",
    "generator_version": "1.0.0",
    "generator_sha256": "a333b5bfb9467d5f1a793f2d2ce19a36ff5ba08bc142c777063d761f4f69f097",
    "table_sha256": "95094ad76da02ed4ff37a340b783e761737d11005227b367c00f072bb5bb279f",
    "seed": "20260916.uncertainty-o3",
    "independent_of_iut": true
  },
  "claim_scope": "Published modes: linear GUM (sum, difference, product, quotient, RSS, sensitivity, budget) and seeded Monte Carlo replay of y_mean/u_c/percentiles. Not a full JCGM 101 validation procedure. RNG: mulberry32; normal sampler: Box-Muller. ≤2 ULP vs O3 applies only to the published tabulated linear GUM vectors (sum, difference, ρ=1 difference, product, quotient, RSS, sensitivity, 3×3 PSD, singular PSD, budget). It is not a whole-domain guarantee and does not cover Monte Carlo.",
  "commands": {
    "regenerate_table": "python3 generate-uncertainty-propagate-o3.py",
    "regenerate_table_repo": "python3 scripts/lib/cvp/oracles/generate-uncertainty-propagate-o3.py",
    "independent_rest": "Compare POST /api/v1/calc/uncertainty-propagate against /developers/cvp/reproduce/uncertainty-propagate-o3-tables.json",
    "run_cvp": "npm run cvp:run -- --capability engineering.uncertainty.propagate",
    "rest_example": "POST https://www.calculatorx.com/api/v1/calc/uncertainty-propagate"
  },
  "public_files": {
    "table": "/developers/cvp/reproduce/uncertainty-propagate-o3-tables.json",
    "table_url": "https://www.calculatorx.com/developers/cvp/reproduce/uncertainty-propagate-o3-tables.json",
    "generator": "/developers/cvp/reproduce/generate-uncertainty-propagate-o3.py",
    "generator_url": "https://www.calculatorx.com/developers/cvp/reproduce/generate-uncertainty-propagate-o3.py",
    "checker": "/developers/cvp/reproduce/check-math-o3-rest.py",
    "checker_url": "https://www.calculatorx.com/developers/cvp/reproduce/check-math-o3-rest.py",
    "manifest": "/evidence/engineering.uncertainty.propagate/1.9.8.cvp.json",
    "this_file": "/evidence/engineering.uncertainty.propagate/reproduce.json"
  },
  "result_summary": {
    "passed": 10,
    "total": 10,
    "failed": 0,
    "max_error_ulp": 2,
    "threshold_ulp": 2,
    "max_threshold_ulp": 2
  },
  "vectors": [
    {
      "id": "o3-sum",
      "kind": "binary-sum",
      "inputs": {
        "mode": "sum",
        "a": 100,
        "ua": 0.1,
        "b": 50,
        "ub": 0.2
      },
      "expected_f64": {
        "mode": "sum",
        "u_c": 0.22360679774997896,
        "y": 150
      },
      "actual": {
        "mode": "sum",
        "y": 150,
        "u_c": 0.223606797749979,
        "u_rel": 0.00149071198499986,
        "a": 100,
        "b": 50,
        "ua": 0.1,
        "ub": 0.2,
        "rho": 0,
        "nua": null,
        "nub": null,
        "unit": null,
        "unit_a": null,
        "unit_b": null,
        "contributions": [
          {
            "i": 0,
            "label": "a",
            "c": 1,
            "u": 0.1,
            "variance": 0.010000000000000002,
            "percent": 20,
            "type": null,
            "nu": null
          },
          {
            "i": 1,
            "label": "b",
            "c": 1,
            "u": 0.2,
            "variance": 0.04000000000000001,
            "percent": 80,
            "type": null,
            "nu": null
          }
        ],
        "covariance_contributions": [],
        "largest": {
          "i": 1,
          "label": "b",
          "percent": 80
        },
        "nu_eff": null,
        "nu_eff_infinite": false,
        "k": null,
        "U": null,
        "k_source": null,
        "confidence": null,
        "reported": {
          "u_c": 0.22,
          "y": 150,
          "significant_digits": 2,
          "decimal_places": 2,
          "formatted_u_c": "0.22",
          "formatted_y": "150.00"
        }
      },
      "error_ulp": 1,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-difference",
      "kind": "binary-difference",
      "inputs": {
        "mode": "difference",
        "a": 100,
        "ua": 0.1,
        "b": 50,
        "ub": 0.2
      },
      "expected_f64": {
        "mode": "difference",
        "u_c": 0.22360679774997896,
        "y": 50
      },
      "actual": {
        "mode": "difference",
        "y": 50,
        "u_c": 0.223606797749979,
        "u_rel": 0.00447213595499958,
        "a": 100,
        "b": 50,
        "ua": 0.1,
        "ub": 0.2,
        "rho": 0,
        "nua": null,
        "nub": null,
        "unit": null,
        "unit_a": null,
        "unit_b": null,
        "contributions": [
          {
            "i": 0,
            "label": "a",
            "c": 1,
            "u": 0.1,
            "variance": 0.010000000000000002,
            "percent": 20,
            "type": null,
            "nu": null
          },
          {
            "i": 1,
            "label": "b",
            "c": -1,
            "u": 0.2,
            "variance": 0.04000000000000001,
            "percent": 80,
            "type": null,
            "nu": null
          }
        ],
        "covariance_contributions": [],
        "largest": {
          "i": 1,
          "label": "b",
          "percent": 80
        },
        "nu_eff": null,
        "nu_eff_infinite": false,
        "k": null,
        "U": null,
        "k_source": null,
        "confidence": null,
        "reported": {
          "u_c": 0.22,
          "y": 50,
          "significant_digits": 2,
          "decimal_places": 2,
          "formatted_u_c": "0.22",
          "formatted_y": "50.00"
        }
      },
      "error_ulp": 1,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-difference-rho1",
      "kind": "binary-difference-rho1",
      "inputs": {
        "mode": "difference",
        "a": 100,
        "ua": 0.1,
        "b": 50,
        "ub": 0.2,
        "rho": 1
      },
      "expected_f64": {
        "mode": "difference",
        "u_c": 0.1,
        "y": 50
      },
      "actual": {
        "mode": "difference",
        "y": 50,
        "u_c": 0.1,
        "u_rel": 0.002,
        "a": 100,
        "b": 50,
        "ua": 0.1,
        "ub": 0.2,
        "rho": 1,
        "nua": null,
        "nub": null,
        "unit": null,
        "unit_a": null,
        "unit_b": null,
        "contributions": [
          {
            "i": 0,
            "label": "a",
            "c": 1,
            "u": 0.1,
            "variance": 0.010000000000000002,
            "percent": 100,
            "type": null,
            "nu": null
          },
          {
            "i": 1,
            "label": "b",
            "c": -1,
            "u": 0.2,
            "variance": 0.04000000000000001,
            "percent": 400,
            "type": null,
            "nu": null
          }
        ],
        "covariance_contributions": [
          {
            "i": 0,
            "j": 1,
            "i_label": "a",
            "j_label": "b",
            "rho": 1,
            "covariance": -0.04000000000000001,
            "percent": -400
          }
        ],
        "largest": {
          "i": 1,
          "label": "b",
          "percent": 400,
          "kind": "diagonal"
        },
        "nu_eff": null,
        "nu_eff_infinite": false,
        "k": null,
        "U": null,
        "k_source": null,
        "confidence": null,
        "reported": {
          "u_c": 0.1,
          "y": 50,
          "significant_digits": 2,
          "decimal_places": 2,
          "formatted_u_c": "0.10",
          "formatted_y": "50.00"
        }
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-product",
      "kind": "binary-product",
      "inputs": {
        "mode": "product",
        "a": 10,
        "ua": 0.1,
        "b": 5,
        "ub": 0.05
      },
      "expected_f64": {
        "mode": "product",
        "u_c": 0.7071067811865476,
        "y": 50
      },
      "actual": {
        "mode": "product",
        "y": 50,
        "u_c": 0.7071067811865476,
        "u_rel": 0.01414213562373095,
        "a": 10,
        "b": 5,
        "ua": 0.1,
        "ub": 0.05,
        "rho": 0,
        "nua": null,
        "nub": null,
        "unit": null,
        "unit_a": null,
        "unit_b": null,
        "contributions": [
          {
            "i": 0,
            "label": "a",
            "c": 5,
            "u": 0.1,
            "variance": 0.25,
            "percent": 49.999999999999986,
            "type": null,
            "nu": null
          },
          {
            "i": 1,
            "label": "b",
            "c": 10,
            "u": 0.05,
            "variance": 0.25,
            "percent": 49.999999999999986,
            "type": null,
            "nu": null
          }
        ],
        "covariance_contributions": [],
        "largest": {
          "i": 0,
          "label": "a",
          "percent": 49.999999999999986
        },
        "nu_eff": null,
        "nu_eff_infinite": false,
        "k": null,
        "U": null,
        "k_source": null,
        "confidence": null,
        "reported": {
          "u_c": 0.71,
          "y": 50,
          "significant_digits": 2,
          "decimal_places": 2,
          "formatted_u_c": "0.71",
          "formatted_y": "50.00"
        }
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-quotient",
      "kind": "binary-quotient",
      "inputs": {
        "mode": "quotient",
        "a": 10,
        "ua": 0.1,
        "b": 5,
        "ub": 0.05
      },
      "expected_f64": {
        "mode": "quotient",
        "u_c": 0.0282842712474619,
        "y": 2
      },
      "actual": {
        "mode": "quotient",
        "y": 2,
        "u_c": 0.02828427124746191,
        "u_rel": 0.014142135623730954,
        "a": 10,
        "b": 5,
        "ua": 0.1,
        "ub": 0.05,
        "rho": 0,
        "nua": null,
        "nub": null,
        "unit": null,
        "unit_a": null,
        "unit_b": null,
        "contributions": [
          {
            "i": 0,
            "label": "a",
            "c": 0.2,
            "u": 0.1,
            "variance": 0.0004000000000000002,
            "percent": 50.00000000000001,
            "type": null,
            "nu": null
          },
          {
            "i": 1,
            "label": "b",
            "c": -0.4,
            "u": 0.05,
            "variance": 0.0004000000000000002,
            "percent": 50.00000000000001,
            "type": null,
            "nu": null
          }
        ],
        "covariance_contributions": [],
        "largest": {
          "i": 0,
          "label": "a",
          "percent": 50.00000000000001
        },
        "nu_eff": null,
        "nu_eff_infinite": false,
        "k": null,
        "U": null,
        "k_source": null,
        "confidence": null,
        "reported": {
          "u_c": 0.028,
          "y": 2,
          "significant_digits": 2,
          "decimal_places": 3,
          "formatted_u_c": "0.028",
          "formatted_y": "2.000"
        }
      },
      "error_ulp": 2,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-rss",
      "kind": "rss",
      "inputs": {
        "mode": "rss",
        "uncertainties": [
          0.3,
          0.4
        ]
      },
      "expected_f64": {
        "mode": "rss",
        "u_c": 0.5
      },
      "actual": {
        "mode": "rss",
        "u_c": 0.5,
        "y": null,
        "unit": null,
        "terms": 2,
        "contributions": [
          {
            "i": 0,
            "label": null,
            "c": 1,
            "u": 0.3,
            "variance": 0.09,
            "percent": 36,
            "type": null,
            "nu": null
          },
          {
            "i": 1,
            "label": null,
            "c": 1,
            "u": 0.4,
            "variance": 0.16000000000000003,
            "percent": 64.00000000000001,
            "type": null,
            "nu": null
          }
        ],
        "largest": {
          "i": 1,
          "label": null,
          "percent": 64.00000000000001
        },
        "nu_eff": null,
        "nu_eff_infinite": false,
        "k": null,
        "U": null,
        "k_source": null,
        "confidence": null,
        "reported": {
          "u_c": 0.5,
          "y": null,
          "significant_digits": 2,
          "decimal_places": 2,
          "formatted_u_c": "0.50"
        }
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-sens",
      "kind": "sensitivity",
      "inputs": {
        "mode": "sensitivity",
        "coefficients": [
          2,
          3
        ],
        "uncertainties": [
          0.1,
          0.2
        ],
        "y": 10
      },
      "expected_f64": {
        "mode": "sensitivity",
        "u_c": 0.6324555320336759,
        "y": 10
      },
      "actual": {
        "mode": "sensitivity",
        "u_c": 0.632455532033676,
        "u_rel": 0.0632455532033676,
        "y": 10,
        "unit": null,
        "terms": 2,
        "correlations": [],
        "contributions": [
          {
            "i": 0,
            "label": null,
            "c": 2,
            "u": 0.1,
            "variance": 0.04000000000000001,
            "percent": 9.999999999999998,
            "type": null,
            "nu": null
          },
          {
            "i": 1,
            "label": null,
            "c": 3,
            "u": 0.2,
            "variance": 0.3600000000000001,
            "percent": 89.99999999999999,
            "type": null,
            "nu": null
          }
        ],
        "covariance_contributions": [],
        "largest": {
          "i": 1,
          "label": null,
          "percent": 89.99999999999999
        },
        "nu_eff": null,
        "nu_eff_infinite": false,
        "k": null,
        "U": null,
        "k_source": null,
        "confidence": null,
        "reported": {
          "u_c": 0.63,
          "y": 10,
          "significant_digits": 2,
          "decimal_places": 2,
          "formatted_u_c": "0.63",
          "formatted_y": "10.00"
        }
      },
      "error_ulp": 1,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-sens-psd-3x3",
      "kind": "sensitivity-psd",
      "inputs": {
        "mode": "sensitivity",
        "coefficients": [
          1,
          1,
          1
        ],
        "uncertainties": [
          0.1,
          0.1,
          0.1
        ],
        "correlations": [
          {
            "i": 0,
            "j": 1,
            "rho": 0.3
          },
          {
            "i": 0,
            "j": 2,
            "rho": 0.2
          },
          {
            "i": 1,
            "j": 2,
            "rho": 0.1
          }
        ]
      },
      "expected_f64": {
        "mode": "sensitivity",
        "u_c": 0.20493901531919198
      },
      "actual": {
        "mode": "sensitivity",
        "u_c": 0.20493901531919198,
        "u_rel": null,
        "y": null,
        "unit": null,
        "terms": 3,
        "correlations": [
          {
            "i": 0,
            "j": 1,
            "rho": 0.3
          },
          {
            "i": 0,
            "j": 2,
            "rho": 0.2
          },
          {
            "i": 1,
            "j": 2,
            "rho": 0.1
          }
        ],
        "contributions": [
          {
            "i": 0,
            "label": null,
            "c": 1,
            "u": 0.1,
            "variance": 0.010000000000000002,
            "percent": 23.809523809523814,
            "type": null,
            "nu": null
          },
          {
            "i": 1,
            "label": null,
            "c": 1,
            "u": 0.1,
            "variance": 0.010000000000000002,
            "percent": 23.809523809523814,
            "type": null,
            "nu": null
          },
          {
            "i": 2,
            "label": null,
            "c": 1,
            "u": 0.1,
            "variance": 0.010000000000000002,
            "percent": 23.809523809523814,
            "type": null,
            "nu": null
          }
        ],
        "covariance_contributions": [
          {
            "i": 0,
            "j": 1,
            "i_label": null,
            "j_label": null,
            "rho": 0.3,
            "covariance": 0.006,
            "percent": 14.285714285714285
          },
          {
            "i": 0,
            "j": 2,
            "i_label": null,
            "j_label": null,
            "rho": 0.2,
            "covariance": 0.004000000000000001,
            "percent": 9.523809523809526
          },
          {
            "i": 1,
            "j": 2,
            "i_label": null,
            "j_label": null,
            "rho": 0.1,
            "covariance": 0.0020000000000000005,
            "percent": 4.761904761904763
          }
        ],
        "largest": {
          "i": 0,
          "label": null,
          "percent": 23.809523809523814,
          "kind": "diagonal"
        },
        "nu_eff": null,
        "nu_eff_infinite": false,
        "k": null,
        "U": null,
        "k_source": null,
        "confidence": null,
        "reported": {
          "u_c": 0.2,
          "y": null,
          "significant_digits": 2,
          "decimal_places": 2,
          "formatted_u_c": "0.20"
        }
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-sens-singular-psd",
      "kind": "sensitivity-singular-psd",
      "inputs": {
        "mode": "sensitivity",
        "coefficients": [
          1,
          1,
          1
        ],
        "uncertainties": [
          0.1,
          0.1,
          0.1
        ],
        "correlations": [
          {
            "i": 0,
            "j": 1,
            "rho": 1
          },
          {
            "i": 0,
            "j": 2,
            "rho": 1
          },
          {
            "i": 1,
            "j": 2,
            "rho": 1
          }
        ]
      },
      "expected_f64": {
        "mode": "sensitivity",
        "u_c": 0.3
      },
      "actual": {
        "mode": "sensitivity",
        "u_c": 0.30000000000000004,
        "u_rel": null,
        "y": null,
        "unit": null,
        "terms": 3,
        "correlations": [
          {
            "i": 0,
            "j": 1,
            "rho": 1
          },
          {
            "i": 0,
            "j": 2,
            "rho": 1
          },
          {
            "i": 1,
            "j": 2,
            "rho": 1
          }
        ],
        "contributions": [
          {
            "i": 0,
            "label": null,
            "c": 1,
            "u": 0.1,
            "variance": 0.010000000000000002,
            "percent": 11.11111111111111,
            "type": null,
            "nu": null
          },
          {
            "i": 1,
            "label": null,
            "c": 1,
            "u": 0.1,
            "variance": 0.010000000000000002,
            "percent": 11.11111111111111,
            "type": null,
            "nu": null
          },
          {
            "i": 2,
            "label": null,
            "c": 1,
            "u": 0.1,
            "variance": 0.010000000000000002,
            "percent": 11.11111111111111,
            "type": null,
            "nu": null
          }
        ],
        "covariance_contributions": [
          {
            "i": 0,
            "j": 1,
            "i_label": null,
            "j_label": null,
            "rho": 1,
            "covariance": 0.020000000000000004,
            "percent": 22.22222222222222
          },
          {
            "i": 0,
            "j": 2,
            "i_label": null,
            "j_label": null,
            "rho": 1,
            "covariance": 0.020000000000000004,
            "percent": 22.22222222222222
          },
          {
            "i": 1,
            "j": 2,
            "i_label": null,
            "j_label": null,
            "rho": 1,
            "covariance": 0.020000000000000004,
            "percent": 22.22222222222222
          }
        ],
        "largest": {
          "i": 0,
          "label": null,
          "percent": 11.11111111111111,
          "kind": "diagonal"
        },
        "nu_eff": null,
        "nu_eff_infinite": false,
        "k": null,
        "U": null,
        "k_source": null,
        "confidence": null,
        "reported": {
          "u_c": 0.3,
          "y": null,
          "significant_digits": 2,
          "decimal_places": 2,
          "formatted_u_c": "0.30"
        }
      },
      "error_ulp": 1,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-budget",
      "kind": "budget",
      "inputs": {
        "mode": "budget",
        "components": [
          {
            "name": "Vref",
            "x": 5,
            "u": 0.002,
            "c": 1
          },
          {
            "name": "drift",
            "x": 0,
            "u": 0.001,
            "c": 1
          }
        ]
      },
      "expected_f64": {
        "mode": "budget",
        "u_c": 0.00223606797749979,
        "y": 5
      },
      "actual": {
        "mode": "budget",
        "u_c": 0.0022360679774997894,
        "u_rel": 0.0004472135954999579,
        "y": 5,
        "unit": null,
        "terms": 2,
        "correlations": [],
        "contributions": [
          {
            "i": 0,
            "label": "Vref",
            "c": 1,
            "u": 0.002,
            "variance": 0.000004,
            "percent": 80.00000000000001,
            "type": null,
            "nu": null,
            "distribution": null,
            "x": 5
          },
          {
            "i": 1,
            "label": "drift",
            "c": 1,
            "u": 0.001,
            "variance": 0.000001,
            "percent": 20.000000000000004,
            "type": null,
            "nu": null,
            "distribution": null,
            "x": 0
          }
        ],
        "covariance_contributions": [],
        "largest": {
          "i": 0,
          "label": "Vref",
          "percent": 80.00000000000001
        },
        "components": [
          {
            "name": "Vref",
            "u": 0.002,
            "c": 1,
            "type": null,
            "nu": null,
            "distribution": null,
            "x": 5
          },
          {
            "name": "drift",
            "u": 0.001,
            "c": 1,
            "type": null,
            "nu": null,
            "distribution": null,
            "x": 0
          }
        ],
        "nu_eff": null,
        "nu_eff_infinite": false,
        "k": null,
        "U": null,
        "k_source": null,
        "confidence": null,
        "reported": {
          "u_c": 0.0022,
          "y": 5,
          "significant_digits": 2,
          "decimal_places": 4,
          "formatted_u_c": "0.0022",
          "formatted_y": "5.0000"
        }
      },
      "error_ulp": 1,
      "threshold_ulp": 2,
      "ok": true
    }
  ]
}