{
  "capability_id": "engineering.process.guard_band",
  "calculation_version": "1.0.0",
  "protocol_version": "1.0.0-proposed",
  "protocol_document_status": "proposed",
  "verification_revision": "2026-09-16.o2-o3",
  "oracle": {
    "class": "O3",
    "library": "mpmath 1.4.1",
    "mpmath_dps": 80,
    "backend": null,
    "rounding": null,
    "generator_id": "guard-band-mpmath-o3",
    "generator_version": "1.0.0",
    "generator_sha256": "3c35f61e7985ac36e98d58853d16140b8a50ce41fbcc45f2b0ad825bce139552",
    "table_sha256": "23a7ca717d8afc723dd08eb89f4d46c1507d05ba93f0b07abaa5d50612f8f85d",
    "seed": "20260916.guard-band-o3",
    "independent_of_iut": true
  },
  "claim_scope": "O2: GB=k·u and optional acceptance limits vs separate-module identities (≤2 ULP). Not ILAC G8 risk, not Cp/Cpk, not Monte Carlo. ≤2 ULP vs O3 applies only to the published tabulated GB vectors (default k, explicit k, two-sided, USL-only, LSL-only, u=0). It is not a whole-domain guarantee and does not cover ILAC G8 risk or Cp/Cpk.",
  "commands": {
    "regenerate_table": "python3 generate-guard-band-o3.py",
    "regenerate_table_repo": "python3 scripts/lib/cvp/oracles/generate-guard-band-o3.py",
    "independent_rest": "Compare POST /api/v1/calc/guard-band against /developers/cvp/reproduce/guard-band-o3-tables.json",
    "run_cvp": "npm run cvp:run -- --capability engineering.process.guard_band",
    "rest_example": "POST https://www.calculatorx.com/api/v1/calc/guard-band"
  },
  "public_files": {
    "table": "/developers/cvp/reproduce/guard-band-o3-tables.json",
    "table_url": "https://www.calculatorx.com/developers/cvp/reproduce/guard-band-o3-tables.json",
    "generator": "/developers/cvp/reproduce/generate-guard-band-o3.py",
    "generator_url": "https://www.calculatorx.com/developers/cvp/reproduce/generate-guard-band-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.process.guard_band/1.0.0.cvp.json",
    "this_file": "/evidence/engineering.process.guard_band/reproduce.json"
  },
  "result_summary": {
    "passed": 8,
    "total": 8,
    "failed": 0,
    "max_error_ulp": 0,
    "threshold_ulp": 2,
    "max_threshold_ulp": 2
  },
  "vectors": [
    {
      "id": "o3-default",
      "kind": "default-k",
      "inputs": {
        "u": 0.5
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "GB": 1
      },
      "actual": {
        "GB": 1,
        "u": 0.5,
        "k": 2
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-k2",
      "kind": "explicit-k",
      "inputs": {
        "u": 0.5,
        "k": 2
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "GB": 1
      },
      "actual": {
        "GB": 1,
        "u": 0.5,
        "k": 2
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-spec",
      "kind": "two-sided",
      "inputs": {
        "u": 0.5,
        "k": 2,
        "usl": 12,
        "lsl": 0
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "GB": 1,
        "accept_usl": 11,
        "accept_lsl": 1
      },
      "actual": {
        "GB": 1,
        "u": 0.5,
        "k": 2,
        "accept_usl": 11,
        "usl": 12,
        "accept_lsl": 1,
        "lsl": 0
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-usl",
      "kind": "usl-only",
      "inputs": {
        "u": 0.5,
        "k": 2,
        "usl": 12
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "GB": 1,
        "accept_usl": 11
      },
      "actual": {
        "GB": 1,
        "u": 0.5,
        "k": 2,
        "accept_usl": 11,
        "usl": 12
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-lsl",
      "kind": "lsl-only",
      "inputs": {
        "u": 0.5,
        "k": 2,
        "lsl": 0
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "GB": 1,
        "accept_lsl": 1
      },
      "actual": {
        "GB": 1,
        "u": 0.5,
        "k": 2,
        "accept_lsl": 1,
        "lsl": 0
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-k3",
      "kind": "explicit-k",
      "inputs": {
        "u": 1,
        "k": 3
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "GB": 3
      },
      "actual": {
        "GB": 3,
        "u": 1,
        "k": 3
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-zero-u",
      "kind": "two-sided",
      "inputs": {
        "u": 0,
        "k": 2,
        "usl": 12,
        "lsl": 0
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "GB": 0,
        "accept_usl": 12,
        "accept_lsl": 0
      },
      "actual": {
        "GB": 0,
        "u": 0,
        "k": 2,
        "accept_usl": 12,
        "usl": 12,
        "accept_lsl": 0,
        "lsl": 0
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    },
    {
      "id": "o3-wide",
      "kind": "two-sided",
      "inputs": {
        "u": 0.25,
        "k": 2,
        "usl": 10,
        "lsl": -10
      },
      "expected_f64": {
        "oracle_layer": "analytic",
        "GB": 0.5,
        "accept_usl": 9.5,
        "accept_lsl": -9.5
      },
      "actual": {
        "GB": 0.5,
        "u": 0.25,
        "k": 2,
        "accept_usl": 9.5,
        "usl": 10,
        "accept_lsl": -9.5,
        "lsl": -10
      },
      "error_ulp": 0,
      "threshold_ulp": 2,
      "ok": true
    }
  ]
}