{
  "capability_id": "engineering.uncertainty.pooled_sd",
  "calculation_version": "1.0.1",
  "protocol_version": "1.0.0-proposed",
  "protocol_document_status": "proposed",
  "verification_revision": "2026-09-23.o2-o3",
  "claim_scope": "O2: s_p = √(Σ ν_i s_i² / Σ ν_i) vs a separate-module identity (≤2 ULP). Not Type A from one sample, not Welch–Satterthwaite ν_eff, and not ISO 21748 u of a mean. ≤2 ULP vs O3 applies only to the published tabulated pooled-standard-deviation vectors (two groups, equal s, sample sizes, an alias, a zero component, and one awkward triple). It is not a whole-domain guarantee and does not cover Type A from one sample, Welch–Satterthwaite ν_eff, or ISO 21748 u of a mean.",
  "oracle": {
    "class": "O3",
    "library": "mpmath 1.4.1",
    "mpmath_dps": 80,
    "backend": null,
    "rounding": null,
    "independent_of_iut": true,
    "generator_id": "pooled-sd-mpmath-o3",
    "generator_version": "1.0.0",
    "generator_sha256": "a5b4d7cb19e142ca874153fcb2ab07f6f38ca2c58914b79e83a1927bcf32f7b5",
    "table_sha256": "76a9c81d14e0960762af048916eca26cf23c022e4c4c457166b4d8c615c9f6fd"
  },
  "result_summary": {
    "passed": 8,
    "total": 8,
    "failed": 0,
    "max_error_ulp": 0,
    "threshold_ulp": 2,
    "max_threshold_ulp": 2
  },
  "public_files": {
    "manifest": "/evidence/engineering.uncertainty.pooled_sd/1.0.1.cvp.json",
    "this_file": "/evidence/engineering.uncertainty.pooled_sd/reproduce.json"
  },
  "vectors": [],
  "disclosure": {
    "policy": "calculatorx-public-evidence-v1",
    "full_validation": "private",
    "representation": "summary",
    "kind": "reproduce"
  }
}