{
  "protocol": {
    "name": "CVP",
    "version": "1.0.0-proposed",
    "revision": "2026-09-13",
    "spec_sha256": "f62725968356c92930531cd6085db76e216da06e95be53d636b0d2cf3218b148",
    "spec": "https://www.calculatorx.com/developers/cvp/spec/1.0"
  },
  "document_status": "proposed",
  "calculator": {
    "id": "uncertainty-propagate",
    "version": "1.9.8",
    "title": "Uncertainty Propagation Calculator",
    "formula_family": "gum-linear-rss",
    "capability_id": "engineering.uncertainty.propagate",
    "verification_revision": "2026-09-16.seeded-mc-o3"
  },
  "profile": "engineering",
  "verified_scope": "Linear GUM: sum, difference, product, quotient, RSS, sensitivity, budget. Correlation matrices must be PSD (singular PSD allowed). O3 mpmath (80 dps) tabulated linear u_c. Monte Carlo: O2-B seeded mulberry32+Box-Muller replay of y_mean/u_c/percentiles (≤2 ULP) for sum, difference, product, quotient, correlated normal, and budget/rectangular; linear_u_c vs first-order GUM.",
  "deferred_scope": "Adaptive MCM, arbitrary PDFs, and the full JCGM 101 validation procedure. Budget sensitivity-coefficient dimensional algebra is not automatically verified. Correlated non-normal MC remains out of O2. O3 does not cover Monte Carlo.",
  "status": "VERIFIED",
  "verification_status": "VERIFIED",
  "production_freshness": "CURRENT",
  "overall_trust": "VERIFIED",
  "runner": {
    "name": "cvp-runner",
    "version": "1.0.0"
  },
  "environment": {
    "runtime": "node",
    "runtime_version": "20.19.2",
    "numeric_model": "IEEE-754 binary64",
    "os": "darwin"
  },
  "suite": {
    "id": "uncertainty-propagate",
    "version": "1.9.8",
    "uri": "https://www.calculatorx.com/evidence/engineering.uncertainty.propagate/1.9.8.json",
    "verification_revision": "2026-09-16.seeded-mc-o3"
  },
  "obligation_set": [
    "CVP-PROV-01",
    "CVP-MODEL-01",
    "CVP-SCOPE-01",
    "CVP-UNIT-01",
    "CVP-REF-01",
    "CVP-GOLD-01",
    "CVP-BND-01",
    "CVP-INV-01",
    "CVP-NUM-01",
    "CVP-COV-01",
    "CVP-CONTRACT-01",
    "CVP-DEP-01",
    "CVP-ART-01",
    "CVP-PROD-01",
    "CVP-DIM-01",
    "CVP-PROP-01",
    "CVP-IFACE-01"
  ],
  "provenance": {
    "mode": "direct",
    "sources": [
      {
        "label": "JCGM 100:2008 — Evaluation of measurement data (GUM)",
        "kind": "standard",
        "reference": "Law of propagation of uncertainty",
        "url": "https://www.bipm.org/en/committees/jc/jcgm/publications"
      },
      {
        "label": "JCGM 100:2008/Amd.1:2026 — Nonlinearity in measurement models",
        "kind": "standard",
        "reference": "Amendment 1",
        "url": "https://www.bipm.org/en/committees/jc/jcgm/publications"
      },
      {
        "label": "JCGM GUM-6:2020 — Developing and using measurement models",
        "kind": "standard",
        "reference": "Measurement modelling",
        "url": "https://www.bipm.org/en/committees/jc/jcgm/publications"
      },
      {
        "label": "JCGM 101:2008 — Propagation of distributions using a Monte Carlo method",
        "kind": "standard",
        "reference": "GUM Supplement 1",
        "url": "https://www.bipm.org/en/committees/jc/jcgm/publications"
      },
      {
        "label": "NIST Technical Note 1297",
        "kind": "other",
        "reference": "Guidelines for evaluating and expressing uncertainty",
        "url": "https://www.nist.gov/pml/nist-technical-note-1297"
      },
      {
        "label": "NIST Guide to the SI (SP 811)",
        "kind": "other",
        "reference": "Expression of uncertainty with SI quantities",
        "url": "https://www.nist.gov/pml/special-publication-811"
      }
    ]
  },
  "reference": {
    "items": [
      {
        "class": "O1",
        "reference_scope": "model",
        "scope": "model",
        "label": "JCGM 100 linear uncertainty propagation / RSS; JCGM 101 MC subset"
      },
      {
        "class": "O3",
        "reference_scope": "expected_values",
        "scope": "expected_values",
        "label": "Precomputed mpmath high-precision oracle for linear GUM u_c (80 dps) rounded to nearest binary64 — not V8 hypot",
        "engine": {
          "name": "uncertainty-propagate-mpmath-o3",
          "precision_bits": 265,
          "independent_of_iut": true,
          "same_runtime_as_iut": false,
          "library": "mpmath 1.4.1",
          "mpmath_dps": 80,
          "generator_version": "1.0.0",
          "generator_sha256": "a333b5bfb9467d5f1a793f2d2ce19a36ff5ba08bc142c777063d761f4f69f097",
          "table_sha256": "95094ad76da02ed4ff37a340b783e761737d11005227b367c00f072bb5bb279f",
          "seed": "20260916.uncertainty-o3",
          "source": "https://www.calculatorx.com/developers/cvp/reproduce/uncertainty-propagate-o3-tables.json",
          "public_table": "/developers/cvp/reproduce/uncertainty-propagate-o3-tables.json",
          "public_generator": "/developers/cvp/reproduce/generate-uncertainty-propagate-o3.py"
        }
      },
      {
        "class": "O3",
        "reference_scope": "numerical_behavior",
        "scope": "numerical_behavior",
        "label": "Same O3 table vs IUT u_c; ≤2 ULP on tabulated linear vectors only, independent of Node/V8",
        "engine": {
          "name": "uncertainty-propagate-mpmath-o3",
          "precision_bits": 265,
          "independent_of_iut": true,
          "same_runtime_as_iut": false,
          "library": "mpmath 1.4.1",
          "mpmath_dps": 80,
          "generator_version": "1.0.0",
          "generator_sha256": "a333b5bfb9467d5f1a793f2d2ce19a36ff5ba08bc142c777063d761f4f69f097",
          "table_sha256": "95094ad76da02ed4ff37a340b783e761737d11005227b367c00f072bb5bb279f",
          "seed": "20260916.uncertainty-o3",
          "source": "https://www.calculatorx.com/developers/cvp/reproduce/uncertainty-propagate-o3-tables.json",
          "public_table": "/developers/cvp/reproduce/uncertainty-propagate-o3-tables.json",
          "public_generator": "/developers/cvp/reproduce/generate-uncertainty-propagate-o3.py"
        }
      },
      {
        "class": "O2",
        "reference_scope": "expected_values",
        "scope": "expected_values",
        "label": "Separate-module uncertainty-propagate oracle — same V8 binary64 as IUT",
        "engine": {
          "name": "uncertainty-propagate-reference",
          "precision_bits": 53,
          "independent_of_iut": true
        }
      },
      {
        "class": "O2",
        "reference_scope": "numerical_behavior",
        "scope": "numerical_behavior",
        "label": "O2 linear ULP + seeded mulberry32+Box-Muller Monte Carlo replay",
        "engine": {
          "name": "uncertainty-propagate-reference",
          "precision_bits": 53,
          "independent_of_iut": true
        }
      }
    ],
    "notes": "Golden expected values use a separate O2 module (not IUT transcription). O2 shares Node/V8 binary64 with the IUT unless noted otherwise."
  },
  "controls": {
    "CVP-PROV-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "Sources present on evidence"
    },
    "CVP-MODEL-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "GUM linear / RSS for published linear modes; Monte Carlo goldens replay seeded mulberry32+Box-Muller independently of the IUT; O3 tabulates linear hypot/RSS"
    },
    "CVP-SCOPE-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "All published modes; MC is seeded independent replay plus linear_u_c, not full JCGM 101. O3 covers tabulated linear vectors only. Budget dimensional algebra deferred."
    },
    "CVP-UNIT-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "Same-dimension inputs for binary modes"
    },
    "CVP-REF-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "O1 model + O2 expected_values + O2 numerical_behavior (linear ULP + seeded MC replay) + O3 tabulated linear GUM"
    },
    "CVP-GOLD-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "11/11 legacy golden; 18/18 oracle-backed numeric"
    },
    "CVP-BND-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "47/47 CVP boundary · 48/48 legacy Evidence boundary"
    },
    "CVP-INV-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "24 Evidence illegal-input + 5/5 oracle-backed error-code (exact_error_match, not ULP)"
    },
    "CVP-NUM-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "max_error_observed_ulp=2; policy declared a priori"
    },
    "CVP-COV-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "9/9 declared partitions (sum, difference, product, quotient, rss, sensitivity, budget, montecarlo, invalid-domain); PSD + duplicate/conflicting correlation invalids; MC difference/product/quotient/budget including g-mc-seeded-replay"
    },
    "CVP-CONTRACT-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "8/8 CVP contract"
    },
    "CVP-DEP-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "engine uncertainty-propagate; Node binary64"
    },
    "CVP-ART-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "release_integrity.status=verified · digests: artifact_evidence_sha256=Evidence core (Trust freshness) · cvp_evidence_digest=artifacts.evidence_digest (fingerprint v2) · evidence_bundle_sha256=legacy Evidence JSON bytes · evidence_catalog_digest=attested_catalog_sha256 · production_sha256=bound production report · see artifacts.digest_registry"
    },
    "CVP-PROD-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "this calculator CURRENT · bound snapshot pass @ 2026-09-16T05:54:53.263Z · live site-wide report stale @ 2026-09-16T05:54:53.957Z (12 other capabilities) · local checks pass · attestation_id=2f7e4f846b3fa6a52bb63f24f386d81a9eba0a4ad663523e481dd38a9f3a92b8 · This calculator CURRENT · This calculator is not affected · Bound attestation PASS @ 2026-09-16T05:54:53.263Z · Live production status STALE (12 capabilities; 152 remain CURRENT) @ 2026-09-16T05:54:53.957Z · Public schema 1.9.8 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓ · schema_const=1.9.8 · report output-const=pass · evidence-sha256=pass · semantic-contract=pass · capability-html-public-origin-agree=pass · cvp-manifest-public-origin-agree=pass · cvp-latest-alias-agrees=pass · cvp-immutable-manifest-fetch=pass · cvp-immutable-manifest-sha256=pass · cvp-latest-alias-matches-immutable=pass · cvp-reproduce-manifest-agree=pass · calculator-html-cvp-projection=pass · evidence-html-cvp-projection=pass · attested_evidence_sha256=ba77209b933b0e65701d6f50e7ff9c03dd0ef4057487c5c8e2c001251273b4f9 · verified_at=2026-09-16T02:14:53.799Z · evidence_attested_at=2026-09-16T02:14:53.799Z · last_confirmed_current_at=2026-09-16T05:54:53.263Z · rendered_at=2026-09-16T05:55:07.925Z · binds=cvp_core_sha256",
      "check_result": "PASS",
      "production_state": "CURRENT",
      "binding_current": true
    },
    "CVP-DIM-01": {
      "result": "PASS",
      "applicability": "applicable",
      "notes": "Combined standard uncertainty u_c"
    },
    "CVP-PROP-01": {
      "result": "PASS",
      "applicability": "applicable",
      "notes": "29/29 property"
    },
    "CVP-META-01": {
      "result": "SKIP",
      "applicability": "not_applicable",
      "notes": "No input→output transformation vectors in pack — control not in obligation set"
    },
    "CVP-ROUND-01": {
      "result": "SKIP",
      "applicability": "not_applicable",
      "notes": "No inverse / round-trip vectors in pack — control not in obligation set"
    },
    "CVP-XCAL-01": {
      "result": "SKIP",
      "applicability": "not_applicable",
      "notes": "No related calculator in the same formula family / no related-identity peers declared — control not in obligation set"
    },
    "CVP-IFACE-01": {
      "result": "PASS",
      "applicability": "applicable",
      "notes": "UI (SSR) · REST · MCP equivalent (MCP uses calc API handler). ui-ssr is query-result HTML, not a live browser session."
    },
    "CVP-ORACLE-01": {
      "result": "PASS",
      "applicability": "higher_assurance",
      "notes": "O3 10/10 tabulated vectors vs IUT · 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."
    },
    "CVP-EXP-01": {
      "result": "SKIP",
      "applicability": "optional",
      "notes": "CalculatorX internal domain review — not CVP-EXP-01"
    }
  },
  "tests": {
    "golden": {
      "passed": 18,
      "total": 18,
      "failed": 0,
      "case_ids": [
        "g-sum",
        "g-difference",
        "g-difference-rho1",
        "g-product",
        "g-quotient",
        "g-rss",
        "g-sens",
        "g-sens-psd-3x3",
        "g-sens-singular-psd",
        "g-budget",
        "g-mc-sum",
        "g-mc-seeded-replay",
        "g-mc-sum-seed2",
        "g-mc-sum-corr",
        "g-mc-difference",
        "g-mc-product",
        "g-mc-quotient",
        "g-mc-budget-rect"
      ]
    },
    "boundary": {
      "passed": 47,
      "total": 47,
      "failed": 0,
      "case_ids": [
        "quotient-b-zero",
        "missing-ua",
        "boundary-product-b-zero",
        "boundary-quotient-a-zero",
        "boundary-all-zero-u",
        "boundary-coeffs-length",
        "boundary-empty-uncertainties",
        "boundary-neg-ua",
        "boundary-unit-mismatch",
        "boundary-unit-sum",
        "boundary-unit-si-sum",
        "boundary-unit-product",
        "boundary-unit-si-quotient",
        "boundary-unit-ohm",
        "boundary-unit-mv-ma",
        "boundary-unit-a-ohm",
        "boundary-nua-null-infinite",
        "boundary-mc-sum",
        "boundary-mc-N",
        "boundary-mc-budget",
        "boundary-rho-diff",
        "boundary-rho-out",
        "boundary-k-invalid",
        "boundary-sens-corr",
        "boundary-rss-corr-reject",
        "boundary-contrib-sum",
        "boundary-nueff-sens",
        "boundary-dof-length",
        "boundary-nua-alone",
        "boundary-student-t",
        "boundary-student-normal",
        "boundary-k-and-confidence",
        "boundary-confidence-range",
        "boundary-corr-confidence",
        "boundary-corr-confidence-sens",
        "boundary-mc-rect-corr",
        "boundary-mc-quotient-unstable",
        "boundary-cov-contrib",
        "boundary-budget",
        "boundary-budget-named-corr",
        "boundary-budget-empty",
        "boundary-budget-partial-x",
        "boundary-corr-psd-3x3",
        "boundary-corr-singular-psd",
        "boundary-corr-not-psd",
        "boundary-corr-duplicate",
        "boundary-corr-conflict"
      ]
    },
    "invalid": {
      "passed": 29,
      "total": 29,
      "failed": 0,
      "case_ids": [
        "quotient-b-zero",
        "missing-ua",
        "invalid-mode",
        "boundary-coeffs-length",
        "boundary-empty-uncertainties",
        "boundary-neg-ua",
        "boundary-unit-mismatch",
        "boundary-mc-N",
        "boundary-rho-out",
        "boundary-k-invalid",
        "boundary-rss-corr-reject",
        "boundary-dof-length",
        "boundary-nua-alone",
        "boundary-k-and-confidence",
        "boundary-confidence-range",
        "boundary-corr-confidence",
        "boundary-corr-confidence-sens",
        "boundary-mc-rect-corr",
        "boundary-mc-quotient-unstable",
        "boundary-budget-empty",
        "boundary-budget-partial-x",
        "boundary-corr-not-psd",
        "boundary-corr-duplicate",
        "boundary-corr-conflict",
        "inv-quotient-zero",
        "inv-mode",
        "inv-corr-not-psd",
        "inv-corr-duplicate",
        "inv-corr-conflict"
      ],
      "comparison": "exact_error_match",
      "records": [
        {
          "id": "inv-quotient-zero",
          "comparison": "exact_error_match",
          "expected": {
            "code": "DIVISION_BY_ZERO"
          },
          "actual": {
            "code": "DIVISION_BY_ZERO"
          },
          "match": true
        },
        {
          "id": "inv-mode",
          "comparison": "exact_error_match",
          "expected": {
            "code": "INVALID_MODE"
          },
          "actual": {
            "code": "INVALID_MODE"
          },
          "match": true
        },
        {
          "id": "inv-corr-not-psd",
          "comparison": "exact_error_match",
          "expected": {
            "code": "CORRELATION_MATRIX_NOT_PSD"
          },
          "actual": {
            "code": "CORRELATION_MATRIX_NOT_PSD"
          },
          "match": true
        },
        {
          "id": "inv-corr-duplicate",
          "comparison": "exact_error_match",
          "expected": {
            "code": "DUPLICATE_CORRELATION"
          },
          "actual": {
            "code": "DUPLICATE_CORRELATION"
          },
          "match": true
        },
        {
          "id": "inv-corr-conflict",
          "comparison": "exact_error_match",
          "expected": {
            "code": "CONFLICTING_CORRELATION"
          },
          "actual": {
            "code": "CONFLICTING_CORRELATION"
          },
          "match": true
        }
      ]
    },
    "property": {
      "passed": 29,
      "total": 29,
      "failed": 0,
      "case_ids": [
        "property-sum-y",
        "property-sum-u",
        "property-diff-u",
        "property-product",
        "property-product-a-zero",
        "property-quotient-a-zero",
        "property-quotient-b-zero",
        "property-sens",
        "property-rss",
        "property-zero-u",
        "property-reported",
        "property-unit-match",
        "property-unit-mismatch",
        "property-unit-si-prefix",
        "property-unit-product",
        "property-unit-ohm",
        "property-unit-mv-ma",
        "property-rho-perfect",
        "property-rho-anti",
        "property-expanded-U",
        "property-sens-rho0",
        "property-contrib",
        "property-nueff",
        "property-types",
        "property-student-t",
        "property-budget",
        "property-mc-sum",
        "property-corr-singular-psd",
        "property-corr-not-psd"
      ],
      "kind": "fixed"
    },
    "round_trip": {
      "passed": 0,
      "total": 0,
      "failed": 0,
      "case_ids": []
    },
    "metamorphic": {
      "passed": 0,
      "total": 0,
      "failed": 0,
      "case_ids": []
    },
    "contract": {
      "passed": 8,
      "total": 8,
      "failed": 0
    },
    "cross_interface": {
      "passed": 6,
      "total": 6,
      "failed": 0,
      "case_ids": [
        "iface-sum",
        "iface-difference",
        "iface-quotient",
        "iface-sensitivity",
        "iface-budget",
        "iface-montecarlo"
      ]
    },
    "o3": {
      "passed": 10,
      "total": 10,
      "failed": 0,
      "case_ids": [
        "o3-sum",
        "o3-difference",
        "o3-difference-rho1",
        "o3-product",
        "o3-quotient",
        "o3-rss",
        "o3-sens",
        "o3-sens-psd-3x3",
        "o3-sens-singular-psd",
        "o3-budget"
      ],
      "generator_id": "uncertainty-propagate-mpmath-o3",
      "seed": "20260916.uncertainty-o3",
      "table_sha256": "95094ad76da02ed4ff37a340b783e761737d11005227b367c00f072bb5bb279f",
      "max_error_ulp": 2,
      "reproduce": "python3 generate-uncertainty-propagate-o3.py",
      "table_url": "/developers/cvp/reproduce/uncertainty-propagate-o3-tables.json",
      "generator_url": "/developers/cvp/reproduce/generate-uncertainty-propagate-o3.py",
      "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.",
      "reproduce_url": "https://www.calculatorx.com/evidence/engineering.uncertainty.propagate/reproduce"
    }
  },
  "coverage": {
    "partitions": [
      {
        "id": "sum",
        "description": "Binary sum",
        "exercised": true,
        "case_count": 23
      },
      {
        "id": "difference",
        "description": "Binary difference",
        "exercised": true,
        "case_count": 5
      },
      {
        "id": "product",
        "description": "Binary product",
        "exercised": true,
        "case_count": 7
      },
      {
        "id": "quotient",
        "description": "Binary quotient",
        "exercised": true,
        "case_count": 6
      },
      {
        "id": "rss",
        "description": "RSS of uncertainties",
        "exercised": true,
        "case_count": 7
      },
      {
        "id": "sensitivity",
        "description": "Sensitivity coefficients",
        "exercised": true,
        "case_count": 11
      },
      {
        "id": "budget",
        "description": "Named uncertainty budget",
        "exercised": true,
        "case_count": 7
      },
      {
        "id": "montecarlo",
        "description": "Monte Carlo seeded mulberry32+Box-Muller replay",
        "exercised": true,
        "case_count": 11
      },
      {
        "id": "invalid-domain",
        "description": "Invalid inputs",
        "exercised": true,
        "case_count": 29
      }
    ]
  },
  "numerical": {
    "representation": "IEEE-754 binary64",
    "tolerance": {
      "type": "ulp",
      "value": 2,
      "rationale": "Linear GUM u_c ≤2 ULP vs separate-module O2 (same V8). Monte Carlo goldens replay seeded mulberry32+Box-Muller sample mean/std/percentiles (≤2 ULP) plus linear_u_c. Declared a priori.",
      "declared_before_evaluation": 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.",
    "max_error_observed": 2,
    "records": [
      {
        "id": "g-sum",
        "reference": {
          "mode": "sum",
          "y": 150,
          "u_c": 0.223606797749979,
          "u_rel": 0.00149071198499986,
          "a": 100,
          "b": 50,
          "ua": 0.1,
          "ub": 0.2,
          "rho": 0
        },
        "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": 0,
        "threshold_ulp": 2,
        "suite": "golden"
      },
      {
        "id": "g-difference",
        "reference": {
          "mode": "difference",
          "y": 50,
          "u_c": 0.223606797749979,
          "u_rel": 0.00447213595499958,
          "a": 100,
          "b": 50,
          "ua": 0.1,
          "ub": 0.2,
          "rho": 0
        },
        "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": 0,
        "threshold_ulp": 2,
        "suite": "golden"
      },
      {
        "id": "g-difference-rho1",
        "reference": {
          "mode": "difference",
          "y": 50,
          "u_c": 0.1,
          "u_rel": 0.002,
          "a": 100,
          "b": 50,
          "ua": 0.1,
          "ub": 0.2,
          "rho": 1
        },
        "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,
        "suite": "golden"
      },
      {
        "id": "g-product",
        "reference": {
          "mode": "product",
          "y": 50,
          "u_c": 0.7071067811865476,
          "u_rel": 0.01414213562373095,
          "a": 10,
          "b": 5,
          "ua": 0.1,
          "ub": 0.05,
          "rho": 0
        },
        "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,
        "suite": "golden"
      },
      {
        "id": "g-quotient",
        "reference": {
          "mode": "quotient",
          "y": 2,
          "u_c": 0.028284271247461905,
          "u_rel": 0.014142135623730952,
          "a": 10,
          "b": 5,
          "ua": 0.1,
          "ub": 0.05,
          "rho": 0
        },
        "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": 1,
        "threshold_ulp": 2,
        "suite": "golden"
      },
      {
        "id": "g-rss",
        "reference": {
          "mode": "rss",
          "u_c": 0.5,
          "y": null,
          "terms": 2
        },
        "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,
        "suite": "golden"
      },
      {
        "id": "g-sens",
        "reference": {
          "mode": "sensitivity",
          "u_c": 0.632455532033676,
          "y": 10,
          "terms": 2
        },
        "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": 0,
        "threshold_ulp": 2,
        "suite": "golden"
      },
      {
        "id": "g-sens-psd-3x3",
        "reference": {
          "mode": "sensitivity",
          "u_c": 0.20493901531919198,
          "y": null,
          "terms": 3
        },
        "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,
        "suite": "golden"
      },
      {
        "id": "g-sens-singular-psd",
        "reference": {
          "mode": "sensitivity",
          "u_c": 0.30000000000000004,
          "y": null,
          "terms": 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": 0,
        "threshold_ulp": 2,
        "suite": "golden"
      },
      {
        "id": "g-budget",
        "reference": {
          "mode": "budget",
          "u_c": 0.0022360679774997894,
          "y": 5,
          "terms": 2
        },
        "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": 0,
        "threshold_ulp": 2,
        "suite": "golden"
      },
      {
        "id": "g-mc-sum",
        "reference": {
          "mode": "montecarlo",
          "model": "sum",
          "linear_u_c": 0.223606797749979,
          "gum_y": 150,
          "a": 100,
          "b": 50,
          "ua": 0.1,
          "ub": 0.2,
          "rho": 0,
          "terms": 2,
          "compare": "seeded",
          "oracle_layer": "analytic+seeded-mc",
          "rng": {
            "algorithm": "mulberry32",
            "normal_sampler": "box-muller",
            "version": "1.0",
            "seed": 42
          },
          "y": 149.99777987285188,
          "u_c": 0.22331201411145898,
          "u_rel": 0.0014887687957831986,
          "y_mean": 149.99777987285188,
          "y_median": 149.99934762881657,
          "y_p025": 149.55866345126574,
          "y_p975": 150.43304196438189,
          "N": 20000,
          "seed": 42,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0
        },
        "actual": {
          "mode": "montecarlo",
          "model": "sum",
          "unit": null,
          "unit_a": null,
          "unit_b": null,
          "a": 100,
          "b": 50,
          "ua": 0.1,
          "ub": 0.2,
          "rho": 0,
          "terms": 2,
          "y": 149.99777987285188,
          "u_c": 0.22331201411145898,
          "u_rel": 0.0014887687957831986,
          "y_mean": 149.99777987285188,
          "y_median": 149.99934762881657,
          "y_p025": 149.55866345126574,
          "y_p975": 150.43304196438189,
          "y_low": null,
          "y_high": null,
          "linear_u_c": 0.223606797749979,
          "N": 20000,
          "seed": 42,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0,
          "invalid_fraction": 0,
          "k": null,
          "U": null,
          "k_source": null,
          "confidence": null,
          "nu_eff": null,
          "nu_eff_infinite": false,
          "reported": {
            "u_c": 0.22,
            "y": 150,
            "significant_digits": 2,
            "decimal_places": 2,
            "formatted_u_c": "0.22",
            "formatted_y": "150.00"
          }
        },
        "error_ulp": 0,
        "threshold_ulp": 2,
        "fields": {
          "y_mean": {
            "ok": true,
            "error_ulp": 0
          },
          "u_c": {
            "ok": true,
            "error_ulp": 0
          },
          "y_median": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p025": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p975": {
            "ok": true,
            "error_ulp": 0
          },
          "linear_u_c": {
            "ok": true,
            "error_ulp": 0
          }
        },
        "suite": "golden"
      },
      {
        "id": "g-mc-seeded-replay",
        "reference": {
          "mode": "montecarlo",
          "model": "sum",
          "linear_u_c": 0.223606797749979,
          "gum_y": 150,
          "a": 100,
          "b": 50,
          "ua": 0.1,
          "ub": 0.2,
          "rho": 0,
          "terms": 2,
          "compare": "seeded",
          "oracle_layer": "analytic+seeded-mc",
          "rng": {
            "algorithm": "mulberry32",
            "normal_sampler": "box-muller",
            "version": "1.0",
            "seed": 42
          },
          "y": 149.99777987285188,
          "u_c": 0.22331201411145898,
          "u_rel": 0.0014887687957831986,
          "y_mean": 149.99777987285188,
          "y_median": 149.99934762881657,
          "y_p025": 149.55866345126574,
          "y_p975": 150.43304196438189,
          "N": 20000,
          "seed": 42,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0
        },
        "actual": {
          "mode": "montecarlo",
          "model": "sum",
          "unit": null,
          "unit_a": null,
          "unit_b": null,
          "a": 100,
          "b": 50,
          "ua": 0.1,
          "ub": 0.2,
          "rho": 0,
          "terms": 2,
          "y": 149.99777987285188,
          "u_c": 0.22331201411145898,
          "u_rel": 0.0014887687957831986,
          "y_mean": 149.99777987285188,
          "y_median": 149.99934762881657,
          "y_p025": 149.55866345126574,
          "y_p975": 150.43304196438189,
          "y_low": null,
          "y_high": null,
          "linear_u_c": 0.223606797749979,
          "N": 20000,
          "seed": 42,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0,
          "invalid_fraction": 0,
          "k": null,
          "U": null,
          "k_source": null,
          "confidence": null,
          "nu_eff": null,
          "nu_eff_infinite": false,
          "reported": {
            "u_c": 0.22,
            "y": 150,
            "significant_digits": 2,
            "decimal_places": 2,
            "formatted_u_c": "0.22",
            "formatted_y": "150.00"
          }
        },
        "error_ulp": 0,
        "threshold_ulp": 2,
        "fields": {
          "y_mean": {
            "ok": true,
            "error_ulp": 0
          },
          "u_c": {
            "ok": true,
            "error_ulp": 0
          },
          "y_median": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p025": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p975": {
            "ok": true,
            "error_ulp": 0
          },
          "linear_u_c": {
            "ok": true,
            "error_ulp": 0
          }
        },
        "suite": "golden"
      },
      {
        "id": "g-mc-sum-seed2",
        "reference": {
          "mode": "montecarlo",
          "model": "sum",
          "linear_u_c": 0.223606797749979,
          "gum_y": 150,
          "a": 100,
          "b": 50,
          "ua": 0.1,
          "ub": 0.2,
          "rho": 0,
          "terms": 2,
          "compare": "seeded",
          "oracle_layer": "analytic+seeded-mc",
          "rng": {
            "algorithm": "mulberry32",
            "normal_sampler": "box-muller",
            "version": "1.0",
            "seed": 7
          },
          "y": 149.99771118068165,
          "u_c": 0.22374810623169636,
          "u_rel": 0.0014916768027358612,
          "y_mean": 149.99771118068165,
          "y_median": 149.9985664805028,
          "y_p025": 149.55580085405845,
          "y_p975": 150.44130199067013,
          "N": 20000,
          "seed": 7,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0
        },
        "actual": {
          "mode": "montecarlo",
          "model": "sum",
          "unit": null,
          "unit_a": null,
          "unit_b": null,
          "a": 100,
          "b": 50,
          "ua": 0.1,
          "ub": 0.2,
          "rho": 0,
          "terms": 2,
          "y": 149.99771118068165,
          "u_c": 0.22374810623169636,
          "u_rel": 0.0014916768027358612,
          "y_mean": 149.99771118068165,
          "y_median": 149.9985664805028,
          "y_p025": 149.55580085405845,
          "y_p975": 150.44130199067013,
          "y_low": null,
          "y_high": null,
          "linear_u_c": 0.223606797749979,
          "N": 20000,
          "seed": 7,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0,
          "invalid_fraction": 0,
          "k": null,
          "U": null,
          "k_source": null,
          "confidence": null,
          "nu_eff": null,
          "nu_eff_infinite": false,
          "reported": {
            "u_c": 0.22,
            "y": 150,
            "significant_digits": 2,
            "decimal_places": 2,
            "formatted_u_c": "0.22",
            "formatted_y": "150.00"
          }
        },
        "error_ulp": 0,
        "threshold_ulp": 2,
        "fields": {
          "y_mean": {
            "ok": true,
            "error_ulp": 0
          },
          "u_c": {
            "ok": true,
            "error_ulp": 0
          },
          "y_median": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p025": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p975": {
            "ok": true,
            "error_ulp": 0
          },
          "linear_u_c": {
            "ok": true,
            "error_ulp": 0
          }
        },
        "suite": "golden"
      },
      {
        "id": "g-mc-sum-corr",
        "reference": {
          "mode": "montecarlo",
          "model": "sum",
          "linear_u_c": 0.2645751311064591,
          "gum_y": 150,
          "a": 100,
          "b": 50,
          "ua": 0.1,
          "ub": 0.2,
          "rho": 0.5,
          "terms": 2,
          "compare": "seeded",
          "oracle_layer": "analytic+seeded-mc",
          "rng": {
            "algorithm": "mulberry32",
            "normal_sampler": "box-muller",
            "version": "1.0",
            "seed": 3
          },
          "y": 150.00046895941966,
          "u_c": 0.2655066171400105,
          "u_rel": 0.001770038580424967,
          "y_mean": 150.00046895941966,
          "y_median": 150.00051839716795,
          "y_p025": 149.4853024161956,
          "y_p975": 150.52000323601126,
          "N": 20000,
          "seed": 3,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0
        },
        "actual": {
          "mode": "montecarlo",
          "model": "sum",
          "unit": null,
          "unit_a": null,
          "unit_b": null,
          "a": 100,
          "b": 50,
          "ua": 0.1,
          "ub": 0.2,
          "rho": 0.5,
          "terms": 2,
          "y": 150.00046895941966,
          "u_c": 0.2655066171400105,
          "u_rel": 0.001770038580424967,
          "y_mean": 150.00046895941966,
          "y_median": 150.00051839716795,
          "y_p025": 149.4853024161956,
          "y_p975": 150.52000323601126,
          "y_low": null,
          "y_high": null,
          "linear_u_c": 0.2645751311064591,
          "N": 20000,
          "seed": 3,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0,
          "invalid_fraction": 0,
          "k": null,
          "U": null,
          "k_source": null,
          "confidence": null,
          "nu_eff": null,
          "nu_eff_infinite": false,
          "reported": {
            "u_c": 0.27,
            "y": 150,
            "significant_digits": 2,
            "decimal_places": 2,
            "formatted_u_c": "0.27",
            "formatted_y": "150.00"
          }
        },
        "error_ulp": 0,
        "threshold_ulp": 2,
        "fields": {
          "y_mean": {
            "ok": true,
            "error_ulp": 0
          },
          "u_c": {
            "ok": true,
            "error_ulp": 0
          },
          "y_median": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p025": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p975": {
            "ok": true,
            "error_ulp": 0
          },
          "linear_u_c": {
            "ok": true,
            "error_ulp": 0
          }
        },
        "suite": "golden"
      },
      {
        "id": "g-mc-difference",
        "reference": {
          "mode": "montecarlo",
          "model": "difference",
          "linear_u_c": 0.223606797749979,
          "gum_y": 50,
          "a": 100,
          "b": 50,
          "ua": 0.1,
          "ub": 0.2,
          "rho": 0,
          "terms": 2,
          "compare": "seeded",
          "oracle_layer": "analytic+seeded-mc",
          "rng": {
            "algorithm": "mulberry32",
            "normal_sampler": "box-muller",
            "version": "1.0",
            "seed": 11
          },
          "y": 50.00158531655033,
          "u_c": 0.22309751345152737,
          "u_rel": 0.0044618088014438005,
          "y_mean": 50.00158531655033,
          "y_median": 50.00120538515647,
          "y_p025": 49.56133247878744,
          "y_p975": 50.4347564250448,
          "N": 20000,
          "seed": 11,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0
        },
        "actual": {
          "mode": "montecarlo",
          "model": "difference",
          "unit": null,
          "unit_a": null,
          "unit_b": null,
          "a": 100,
          "b": 50,
          "ua": 0.1,
          "ub": 0.2,
          "rho": 0,
          "terms": 2,
          "y": 50.00158531655033,
          "u_c": 0.22309751345152737,
          "u_rel": 0.0044618088014438005,
          "y_mean": 50.00158531655033,
          "y_median": 50.00120538515647,
          "y_p025": 49.56133247878744,
          "y_p975": 50.4347564250448,
          "y_low": null,
          "y_high": null,
          "linear_u_c": 0.223606797749979,
          "N": 20000,
          "seed": 11,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0,
          "invalid_fraction": 0,
          "k": null,
          "U": null,
          "k_source": null,
          "confidence": null,
          "nu_eff": null,
          "nu_eff_infinite": false,
          "reported": {
            "u_c": 0.22,
            "y": 50,
            "significant_digits": 2,
            "decimal_places": 2,
            "formatted_u_c": "0.22",
            "formatted_y": "50.00"
          }
        },
        "error_ulp": 0,
        "threshold_ulp": 2,
        "fields": {
          "y_mean": {
            "ok": true,
            "error_ulp": 0
          },
          "u_c": {
            "ok": true,
            "error_ulp": 0
          },
          "y_median": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p025": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p975": {
            "ok": true,
            "error_ulp": 0
          },
          "linear_u_c": {
            "ok": true,
            "error_ulp": 0
          }
        },
        "suite": "golden"
      },
      {
        "id": "g-mc-product",
        "reference": {
          "mode": "montecarlo",
          "model": "product",
          "linear_u_c": 0.7071067811865476,
          "gum_y": 50,
          "a": 10,
          "b": 5,
          "ua": 0.1,
          "ub": 0.05,
          "rho": 0,
          "terms": 2,
          "compare": "seeded",
          "oracle_layer": "analytic+seeded-mc",
          "rng": {
            "algorithm": "mulberry32",
            "normal_sampler": "box-muller",
            "version": "1.0",
            "seed": 13
          },
          "y": 50.00098814047178,
          "u_c": 0.7043689455799745,
          "u_rel": 0.014087100510916592,
          "y_mean": 50.00098814047178,
          "y_median": 49.994804590790665,
          "y_p025": 48.641540000602845,
          "y_p975": 51.39726604962246,
          "N": 20000,
          "seed": 13,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0
        },
        "actual": {
          "mode": "montecarlo",
          "model": "product",
          "unit": null,
          "unit_a": null,
          "unit_b": null,
          "a": 10,
          "b": 5,
          "ua": 0.1,
          "ub": 0.05,
          "rho": 0,
          "terms": 2,
          "y": 50.00098814047178,
          "u_c": 0.7043689455799745,
          "u_rel": 0.014087100510916592,
          "y_mean": 50.00098814047178,
          "y_median": 49.994804590790665,
          "y_p025": 48.641540000602845,
          "y_p975": 51.39726604962246,
          "y_low": null,
          "y_high": null,
          "linear_u_c": 0.7071067811865476,
          "N": 20000,
          "seed": 13,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0,
          "invalid_fraction": 0,
          "k": null,
          "U": null,
          "k_source": null,
          "confidence": null,
          "nu_eff": null,
          "nu_eff_infinite": false,
          "reported": {
            "u_c": 0.7,
            "y": 50,
            "significant_digits": 2,
            "decimal_places": 2,
            "formatted_u_c": "0.70",
            "formatted_y": "50.00"
          }
        },
        "error_ulp": 0,
        "threshold_ulp": 2,
        "fields": {
          "y_mean": {
            "ok": true,
            "error_ulp": 0
          },
          "u_c": {
            "ok": true,
            "error_ulp": 0
          },
          "y_median": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p025": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p975": {
            "ok": true,
            "error_ulp": 0
          },
          "linear_u_c": {
            "ok": true,
            "error_ulp": 0
          }
        },
        "suite": "golden"
      },
      {
        "id": "g-mc-quotient",
        "reference": {
          "mode": "montecarlo",
          "model": "quotient",
          "linear_u_c": 0.02828427124746191,
          "gum_y": 2,
          "a": 10,
          "b": 5,
          "ua": 0.1,
          "ub": 0.05,
          "rho": 0,
          "terms": 2,
          "compare": "seeded",
          "oracle_layer": "analytic+seeded-mc",
          "rng": {
            "algorithm": "mulberry32",
            "normal_sampler": "box-muller",
            "version": "1.0",
            "seed": 17
          },
          "y": 2.000171364577323,
          "u_c": 0.02818229955057819,
          "u_rel": 0.014089942516767151,
          "y_mean": 2.000171364577323,
          "y_median": 2.0001004383475465,
          "y_p025": 1.9449490531969573,
          "y_p975": 2.0554315124566194,
          "N": 20000,
          "seed": 17,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0
        },
        "actual": {
          "mode": "montecarlo",
          "model": "quotient",
          "unit": null,
          "unit_a": null,
          "unit_b": null,
          "a": 10,
          "b": 5,
          "ua": 0.1,
          "ub": 0.05,
          "rho": 0,
          "terms": 2,
          "y": 2.000171364577323,
          "u_c": 0.02818229955057819,
          "u_rel": 0.014089942516767151,
          "y_mean": 2.000171364577323,
          "y_median": 2.0001004383475465,
          "y_p025": 1.9449490531969573,
          "y_p975": 2.0554315124566194,
          "y_low": null,
          "y_high": null,
          "linear_u_c": 0.02828427124746191,
          "N": 20000,
          "seed": 17,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0,
          "invalid_fraction": 0,
          "k": null,
          "U": null,
          "k_source": null,
          "confidence": null,
          "nu_eff": null,
          "nu_eff_infinite": false,
          "reported": {
            "u_c": 0.028,
            "y": 2,
            "significant_digits": 2,
            "decimal_places": 3,
            "formatted_u_c": "0.028",
            "formatted_y": "2.000"
          }
        },
        "error_ulp": 0,
        "threshold_ulp": 2,
        "fields": {
          "y_mean": {
            "ok": true,
            "error_ulp": 0
          },
          "u_c": {
            "ok": true,
            "error_ulp": 0
          },
          "y_median": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p025": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p975": {
            "ok": true,
            "error_ulp": 0
          },
          "linear_u_c": {
            "ok": true,
            "error_ulp": 0
          }
        },
        "suite": "golden"
      },
      {
        "id": "g-mc-budget-rect",
        "reference": {
          "mode": "montecarlo",
          "model": "linear",
          "linear_u_c": 0.0022360679774997894,
          "terms": 2,
          "compare": "seeded",
          "oracle_layer": "analytic+seeded-mc",
          "rng": {
            "algorithm": "mulberry32",
            "normal_sampler": "box-muller",
            "version": "1.0",
            "seed": 19
          },
          "y": 5.000003927450601,
          "u_c": 0.0022258544335232474,
          "u_rel": 0.00044517053702759085,
          "y_mean": 5.000003927450601,
          "y_median": 4.999981796225571,
          "y_p025": 4.995900989219665,
          "y_p975": 5.004068129960012,
          "N": 20000,
          "seed": 19,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0
        },
        "actual": {
          "mode": "montecarlo",
          "model": "linear",
          "unit": null,
          "terms": 2,
          "labels": [
            "Vref",
            "drift"
          ],
          "correlations": [],
          "y": 5.000003927450601,
          "u_c": 0.0022258544335232474,
          "u_rel": 0.00044517053702759085,
          "y_mean": 5.000003927450601,
          "y_median": 4.999981796225571,
          "y_p025": 4.995900989219665,
          "y_p975": 5.004068129960012,
          "y_low": null,
          "y_high": null,
          "linear_u_c": 0.0022360679774997894,
          "N": 20000,
          "seed": 19,
          "n_valid": 20000,
          "invalid_samples": 0,
          "near_singularity_samples": 0,
          "invalid_fraction": 0,
          "k": null,
          "U": null,
          "k_source": null,
          "confidence": null,
          "nu_eff": null,
          "nu_eff_infinite": false,
          "reported": {
            "u_c": 0.0022,
            "y": 5,
            "significant_digits": 2,
            "decimal_places": 4,
            "formatted_u_c": "0.0022",
            "formatted_y": "5.0000"
          }
        },
        "error_ulp": 0,
        "threshold_ulp": 2,
        "fields": {
          "y_mean": {
            "ok": true,
            "error_ulp": 0
          },
          "u_c": {
            "ok": true,
            "error_ulp": 0
          },
          "y_median": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p025": {
            "ok": true,
            "error_ulp": 0
          },
          "y_p975": {
            "ok": true,
            "error_ulp": 0
          },
          "linear_u_c": {
            "ok": true,
            "error_ulp": 0
          }
        },
        "suite": "golden"
      },
      {
        "id": "o3-sum",
        "reference": {
          "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,
        "suite": "o3"
      },
      {
        "id": "o3-difference",
        "reference": {
          "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,
        "suite": "o3"
      },
      {
        "id": "o3-difference-rho1",
        "reference": {
          "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,
        "suite": "o3"
      },
      {
        "id": "o3-product",
        "reference": {
          "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,
        "suite": "o3"
      },
      {
        "id": "o3-quotient",
        "reference": {
          "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,
        "suite": "o3"
      },
      {
        "id": "o3-rss",
        "reference": {
          "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,
        "suite": "o3"
      },
      {
        "id": "o3-sens",
        "reference": {
          "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,
        "suite": "o3"
      },
      {
        "id": "o3-sens-psd-3x3",
        "reference": {
          "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,
        "suite": "o3"
      },
      {
        "id": "o3-sens-singular-psd",
        "reference": {
          "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,
        "suite": "o3"
      },
      {
        "id": "o3-budget",
        "reference": {
          "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,
        "suite": "o3"
      }
    ]
  },
  "interfaces": {
    "compared": [
      "ui-ssr",
      "rest",
      "mcp"
    ],
    "result": "PASS",
    "notes": "UI (SSR) · REST · MCP equivalent (MCP uses calc API handler). ui-ssr is query-result HTML, not a live browser session."
  },
  "artifacts": {
    "evidence_bundle_sha256": "b389fda1d30b5a24beef760acdcf5028736866af2c16476380b7f1ec0d32dfc7",
    "evidence_digest": "77cad1dafb2f101d223d169b6004aef18c17608b0179e28ec2f4d638fad89f26",
    "production_sha256": "ba77209b933b0e65701d6f50e7ff9c03dd0ef4057487c5c8e2c001251273b4f9",
    "attested_catalog_sha256": "f89399c8dda78af9b2d784bf34d77b786cf749392d54e5e00bd3707c3fcdd13e",
    "production_checks": [
      {
        "id": "engineering.uncertainty.propagate:output-const",
        "status": "pass",
        "detail": "output const 1.9.8 vs capability 1.9.8",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-16T02:14:53.799Z"
      },
      {
        "id": "engineering.uncertainty.propagate:evidence-sha256",
        "status": "pass",
        "detail": "da6612d4866c",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-16T02:14:53.799Z"
      },
      {
        "id": "engineering.uncertainty.propagate:semantic-contract",
        "status": "pass",
        "detail": "88/88",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-16T02:14:53.799Z"
      },
      {
        "id": "engineering.uncertainty.propagate:capability-html-public-origin-agree",
        "status": "pass",
        "detail": "public 1.9.8 vs origin 1.9.8",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-16T02:14:53.799Z"
      },
      {
        "id": "engineering.uncertainty.propagate:cvp-manifest-public-origin-agree",
        "status": "pass",
        "detail": "engineering.uncertainty.propagate/1.9.8/2026-09-16.seeded-mc-o3/engineering/77cad1dafb2f",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-16T02:14:53.799Z",
        "projection_compared": false
      },
      {
        "id": "engineering.uncertainty.propagate:cvp-latest-alias-agrees",
        "status": "pass",
        "detail": "engineering.uncertainty.propagate/1.9.8/2026-09-16.seeded-mc-o3/engineering/77cad1dafb2f",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-16T02:14:53.799Z",
        "projection_compared": false
      },
      {
        "id": "engineering.uncertainty.propagate:cvp-immutable-manifest-fetch",
        "status": "pass",
        "detail": "public=200 origin=200",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-16T02:14:53.799Z"
      },
      {
        "id": "engineering.uncertainty.propagate:cvp-immutable-manifest-sha256",
        "status": "pass",
        "detail": "77cad1dafb2f",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-16T02:14:53.799Z"
      },
      {
        "id": "engineering.uncertainty.propagate:cvp-latest-alias-matches-immutable",
        "status": "pass",
        "detail": "engineering.uncertainty.propagate/1.9.8/2026-09-16.seeded-mc-o3/engineering/77cad1dafb2f",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-16T02:14:53.799Z",
        "projection_compared": false
      },
      {
        "id": "engineering.uncertainty.propagate:cvp-reproduce-manifest-agree",
        "status": "pass",
        "detail": "2026-09-16.seeded-mc-o3 · 95094ad76da0",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-16T02:14:53.799Z"
      },
      {
        "id": "engineering.uncertainty.propagate:calculator-html-cvp-projection",
        "status": "pass",
        "detail": "matches Trust display",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-16T02:14:53.799Z"
      },
      {
        "id": "engineering.uncertainty.propagate:evidence-html-cvp-projection",
        "status": "pass",
        "detail": "matches Trust display",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-16T02:14:53.799Z"
      }
    ],
    "digest_registry": {
      "digest_algorithm": "sha256",
      "canonicalization": "json-sorted-keys-utf8",
      "entries": [
        {
          "name": "cvp_core_sha256",
          "field": "artifacts.cvp_core_sha256",
          "digest_scope": "cvp_verification_fingerprint_v2",
          "value": "77cad1dafb2f101d223d169b6004aef18c17608b0179e28ec2f4d638fad89f26",
          "note": "Immutable verification core; excludes attestation/live-status and Evidence contract counts"
        },
        {
          "name": "cvp_evidence_digest",
          "field": "artifacts.evidence_digest",
          "digest_scope": "cvp_verification_fingerprint_v2",
          "value": "77cad1dafb2f101d223d169b6004aef18c17608b0179e28ec2f4d638fad89f26",
          "note": "Alias of cvp_core_sha256 (historical field name)"
        },
        {
          "name": "artifact_evidence_sha256",
          "field": "release_integrity.digests.evidence_core_sha256",
          "digest_scope": "evidence_artifact_core",
          "value": "da6612d4866cb4c184cf7a31e8675ea177e53b838afac8a26eac8eeb546eacf5",
          "note": "Published Evidence JSON core — Trust freshness / production bind subject"
        },
        {
          "name": "evidence_catalog_digest",
          "field": "artifacts.attested_catalog_sha256",
          "digest_scope": "capability_catalog",
          "value": "f89399c8dda78af9b2d784bf34d77b786cf749392d54e5e00bd3707c3fcdd13e",
          "note": "Capability catalog integrity; site-wide, not per-suite fingerprint"
        }
      ]
    },
    "cvp_core_sha256": "77cad1dafb2f101d223d169b6004aef18c17608b0179e28ec2f4d638fad89f26"
  },
  "dependencies": [
    {
      "name": "uncertainty-propagate-engine",
      "version": "1.9.8"
    },
    {
      "name": "uncertainty-propagate-reference-oracle",
      "version": "1.0.0"
    },
    {
      "name": "uncertainty-propagate-mpmath-o3-table",
      "version": "uncertainty-propagate-mpmath-o3"
    },
    {
      "name": "node",
      "version": "20.19.2"
    }
  ],
  "attestation": {
    "status": "CURRENT",
    "href": "/.well-known/calculatorx-production-attestation.json",
    "id": "2f7e4f846b3fa6a52bb63f24f386d81a9eba0a4ad663523e481dd38a9f3a92b8",
    "attested_at": "2026-09-16T02:14:53.799Z",
    "last_confirmed_current_at": "2026-09-16T05:54:53.263Z",
    "site_attestation_current": false,
    "capability_attestation_current": true,
    "bound_snapshot_status": "pass",
    "live_report_status": "stale",
    "bound_attested_at": "2026-09-16T05:54:53.263Z",
    "live_updated_at": "2026-09-16T05:54:53.957Z",
    "bound_snapshot": {
      "status": "pass",
      "attested_at": "2026-09-16T05:54:53.263Z",
      "site_stale_count": 12
    },
    "live_site_status": {
      "href": "/.well-known/calculatorx-production-attestation.json"
    },
    "bound_snapshot_site_stale_count": 12,
    "site_stale_capability_count": 12,
    "evidence_attested_at": "2026-09-16T02:14:53.799Z"
  },
  "domain_review": {
    "status": "ABSENT",
    "spec_version": "1.9.8",
    "external_third_party": false,
    "note": "Supplemental CalculatorX internal domain review — see internal_review"
  },
  "internal_review": {
    "status": "PASS",
    "reviewer_role": "metrology-engineer",
    "reviewed_by": "CalculatorX engineering review",
    "spec_version": "1.9.8",
    "independence": "internal",
    "external_third_party": false
  },
  "timestamps": {
    "verified_at": "2026-09-16T02:14:53.799Z",
    "generated_at": "2026-09-16T02:14:53.799Z",
    "rendered_at": "2026-09-16T05:55:07.925Z",
    "notes": "verified_at/generated_at mark the first publication of this cvp_core_sha256 (artifacts.evidence_digest alias) for suite verification. evidence_attested_at/attested_at is the first production bind of that core digest. last_confirmed_current_at is the latest site-wide report that still confirms CURRENT. rendered_at is this JSON serialization and is not part of cvp_core_sha256 / evidence_digest. Production attestation binds cvp_core_sha256 (binds evidence_digest). Causal order: verified_at ≤ evidence_attested_at ≤ last_confirmed_current_at. attestation.bound_snapshot.site_stale_count is the site-wide stale capability count at Manifest bind time — not a live value. Fetch attestation.live_site_status.href for the current site report."
  },
  "links": {
    "legacy_evidence": "https://www.calculatorx.com/evidence/engineering.uncertainty.propagate/1.9.8.json",
    "evidence_page": "https://www.calculatorx.com/evidence/engineering.uncertainty.propagate/1.9.8",
    "calculator": "https://www.calculatorx.com/calc/engineering/uncertainty-propagate",
    "schema": "https://www.calculatorx.com/developers/cvp/schema/cvp-evidence-1.0.json",
    "protocol": "https://www.calculatorx.com/developers/cvp/spec/1.0",
    "manifest": "https://www.calculatorx.com/evidence/engineering.uncertainty.propagate/1.9.8.cvp.json",
    "manifest_immutable": "https://www.calculatorx.com/evidence/engineering.uncertainty.propagate/1.9.8/2026-09-16.seeded-mc-o3.cvp.json",
    "reproduce": "https://www.calculatorx.com/evidence/engineering.uncertainty.propagate/reproduce",
    "o3_table": "https://www.calculatorx.com/developers/cvp/reproduce/uncertainty-propagate-o3-tables.json",
    "o3_generator": "https://www.calculatorx.com/developers/cvp/reproduce/generate-uncertainty-propagate-o3.py",
    "manifest_core": "https://www.calculatorx.com/evidence/engineering.uncertainty.propagate/1.9.8/2026-09-16.seeded-mc-o3.77cad1dafb2f.cvp.json"
  }
}
