{
  "capability_id": "engineering.measurement.accuracy",
  "calculation_version": "1.0.1",
  "protocol_version": "1.0.0-proposed",
  "protocol_document_status": "proposed",
  "verification_revision": "2026-09-25.o2-o3",
  "oracle": {
    "class": "O3",
    "library": "mpmath 1.4.1",
    "mpmath_dps": 80,
    "backend": null,
    "rounding": null,
    "generator_id": "measurement-accuracy-mpmath-o3",
    "generator_version": "1.0.0",
    "generator_sha256": "84cb788992119c350dca0f7a7ad5f54cc2ab706527fde7fdc52672b12712c9c3",
    "table_sha256": "c1b8d10220e320e37a33829a7b05b2eff31935a0ef996f7a648bcdbc0e0353ee",
    "seed": "20260925.measurement-accuracy-o3",
    "independent_of_iut": true
  },
  "claim_scope": "O2: signed bias vs a separate-module sample identity (≤2 ULP). Not Type A u_A and not a single-shot error. ≤2 ULP vs O3 applies only to the published tabulated bias vectors. Not Type A uncertainty.",
  "commands": {
    "regenerate_table": "python3 generate-measurement-accuracy-o3.py",
    "regenerate_table_repo": "python3 scripts/lib/cvp/oracles/generate-measurement-accuracy-o3.py",
    "independent_rest": "Compare POST /api/v1/calc/accuracy against /developers/cvp/reproduce/measurement-accuracy-o3-tables.json",
    "run_cvp": "npm run cvp:run -- --capability engineering.measurement.accuracy",
    "rest_example": "POST https://www.calculatorx.com/api/v1/calc/accuracy"
  },
  "public_files": {
    "table": "/developers/cvp/reproduce/measurement-accuracy-o3-tables.json",
    "table_url": "https://www.calculatorx.com/developers/cvp/reproduce/measurement-accuracy-o3-tables.json",
    "generator": "/developers/cvp/reproduce/generate-measurement-accuracy-o3.py",
    "generator_url": "https://www.calculatorx.com/developers/cvp/reproduce/generate-measurement-accuracy-o3.py",
    "checker": "/developers/cvp/reproduce/check-math-o3-rest.py",
    "checker_url": "https://www.calculatorx.com/developers/cvp/reproduce/check-math-o3-rest.py",
    "manifest": "/evidence/engineering.measurement.accuracy/1.0.1.cvp.json",
    "this_file": "/evidence/engineering.measurement.accuracy/reproduce.json"
  },
  "result_summary": {
    "passed": 8,
    "total": 8,
    "failed": 0,
    "max_error_ulp": 2,
    "threshold_ulp": 2,
    "max_threshold_ulp": 2
  },
  "vectors": [
    {
      "id": "o3-low",
      "kind": "low",
      "inputs": {
        "values": [
          6,
          7,
          8
        ],
        "xm": 8
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "bias": -1,
        "abs_bias": 1,
        "xbar": 7,
        "s": 1,
        "xm": 8,
        "n": 3,
        "ddof": 1
      },
      "actual": {
        "bias": -1,
        "abs_bias": 1,
        "xbar": 7,
        "s": 1,
        "xm": 8,
        "n": 3,
        "ddof": 1,
        "values": [
          6,
          7,
          8
        ]
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-zero",
      "kind": "zero",
      "inputs": {
        "values": [
          7,
          8,
          9
        ],
        "xm": 8
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "bias": 0,
        "abs_bias": 0,
        "xbar": 8,
        "s": 1,
        "xm": 8,
        "n": 3,
        "ddof": 1
      },
      "actual": {
        "bias": 0,
        "abs_bias": 0,
        "xbar": 8,
        "s": 1,
        "xm": 8,
        "n": 3,
        "ddof": 1,
        "values": [
          7,
          8,
          9
        ]
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-high",
      "kind": "high",
      "inputs": {
        "values": [
          8,
          9,
          10
        ],
        "xm": 8
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "bias": 1,
        "abs_bias": 1,
        "xbar": 9,
        "s": 1,
        "xm": 8,
        "n": 3,
        "ddof": 1
      },
      "actual": {
        "bias": 1,
        "abs_bias": 1,
        "xbar": 9,
        "s": 1,
        "xm": 8,
        "n": 3,
        "ddof": 1,
        "values": [
          8,
          9,
          10
        ]
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-alias",
      "kind": "alias",
      "inputs": {
        "sample": "6,7,8",
        "X": 8
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "bias": -1,
        "abs_bias": 1,
        "xbar": 7,
        "s": 1,
        "xm": 8,
        "n": 3,
        "ddof": 1
      },
      "actual": {
        "bias": -1,
        "abs_bias": 1,
        "xbar": 7,
        "s": 1,
        "xm": 8,
        "n": 3,
        "ddof": 1,
        "values": [
          6,
          7,
          8
        ]
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-flat",
      "kind": "flat",
      "inputs": {
        "values": [
          8,
          8,
          8
        ],
        "xm": 8
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "bias": 0,
        "abs_bias": 0,
        "xbar": 8,
        "s": 0,
        "xm": 8,
        "n": 3,
        "ddof": 1
      },
      "actual": {
        "bias": 0,
        "abs_bias": 0,
        "xbar": 8,
        "s": 0,
        "xm": 8,
        "n": 3,
        "ddof": 1,
        "values": [
          8,
          8,
          8
        ]
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-ddof0",
      "kind": "ddof0",
      "inputs": {
        "values": [
          6,
          7,
          8
        ],
        "xm": 8,
        "ddof": 0
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "bias": -1,
        "abs_bias": 1,
        "xbar": 7,
        "s": 0.816496580927726,
        "xm": 8,
        "n": 3,
        "ddof": 0
      },
      "actual": {
        "bias": -1,
        "abs_bias": 1,
        "xbar": 7,
        "s": 0.816496580927726,
        "xm": 8,
        "n": 3,
        "ddof": 0,
        "values": [
          6,
          7,
          8
        ]
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-awkward",
      "kind": "awkward",
      "inputs": {
        "values": [
          "0.9",
          "1.15",
          "1.4"
        ],
        "xm": "1.4"
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "bias": -0.25,
        "abs_bias": 0.25,
        "xbar": 1.15,
        "s": 0.25,
        "xm": 1.4,
        "n": 3,
        "ddof": 1
      },
      "actual": {
        "bias": -0.25,
        "abs_bias": 0.25,
        "xbar": 1.15,
        "s": 0.24999999999999994,
        "xm": 1.4,
        "n": 3,
        "ddof": 1,
        "values": [
          0.9,
          1.15,
          1.4
        ]
      },
      "error_ulp": 2,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-wide",
      "kind": "wide",
      "inputs": {
        "values": [
          2,
          6,
          10
        ],
        "xm": 4
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "bias": 2,
        "abs_bias": 2,
        "xbar": 6,
        "s": 4,
        "xm": 4,
        "n": 3,
        "ddof": 1
      },
      "actual": {
        "bias": 2,
        "abs_bias": 2,
        "xbar": 6,
        "s": 4,
        "xm": 4,
        "n": 3,
        "ddof": 1,
        "values": [
          2,
          6,
          10
        ]
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    }
  ]
}