Blood Type / Transfusion Compatibility Reference implementation

Binding contract

This record describes what an executable surface must bind and validate. It does not claim that a public calculator, package, or production route is deployed.

Record owner

Guth Instruments

Lifecycle

verified-clean

Evidence ID

t7-122

Effect

Computation or source lookup only

Input and validation requirements

An empty recipient-type string produces an undefined lookup-domain input and must be rejected. A second hazard is directional ambiguity: reversing donor and recipient for O- changes the RBC result from 1 compatible donor type to 8 compatible recipient types.

Required corrections

No binding erratum is attached to this unique-name record. Implementers must still preserve the declared units, domain, and failure behavior.

Inspectable interface fixture

The sample below is evidence for interface and validation tests, not a production implementation.

{
  "inputs": {
    "recipient_blood_type": "O-"
  },
  "expected_outputs": {
    "compatible_RBC_donor_types": [
      "O-"
    ],
    "compatible_plasma_donor_types": [
      "O-",
      "O+"
    ]
  },
  "reference_data": {
    "rbc_row": {
      "recipient": "O-",
      "compatible_donor_types": [
        "O-"
      ],
      "source_convention": "widely tabulated standard value (standard ABO/Rh RBC compatibility chart)"
    },
    "plasma_row": {
      "recipient_ABO": "O",
      "compatible_donor_ABO_groups": [
        "O"
      ],
      "rh_rule": "RhD ignored for plasma compatibility",
      "source_convention": "widely tabulated standard value (standard ABO plasma compatibility chart; RhD generally not relevant for plasma)"
    }
  },
  "working": "1. RBC check: an O recipient has anti-A and anti-B, and an RhD-negative recipient should not receive RhD-positive RBCs. Therefore allowable donor RBCs = O- only. 2. Plasma check: O plasma contains anti-A and anti-B, so it is compatible only with an O recipient. 3. Under the stated plasma convention, either RhD status is acceptable: O plasma donors = O- and O+. Result: RBC = [O-]; plasma = [O-, O+]."
}

Other records

Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

• VERIFIED_LEDGER.json
• evidence-tranche7/tranche7-results.json