Source: https://guthlabs.ai/docs/instruments/mean-arterial-pressure-pulse-pressure/

instrument / verified-clean

# Mean Arterial Pressure & Pulse Pressure

The current ledger marks this instrument verified clean within the source-bound verification corpus.

Status: **VERIFIED_CLEAN**Lifecycle: **verified-clean**

## Inspectable records

[01**Overview**Purpose and lifecycle](<https://guthlabs.ai/docs/instruments/mean-arterial-pressure-pulse-pressure/>)[02**Mechanism**Method and assumptions](<https://guthlabs.ai/docs/instruments/mean-arterial-pressure-pulse-pressure/mechanism/>)[03**Implementation**Binding and validation](<https://guthlabs.ai/docs/instruments/mean-arterial-pressure-pulse-pressure/implementation/>)[04**Qualification**Evidence and errata](<https://guthlabs.ai/docs/instruments/mean-arterial-pressure-pulse-pressure/qualification/>)

## Ledger state

The current ledger marks this instrument verified clean within the source-bound verification corpus.

**Area**: Biology, Medicine & Pharmacology (educational estimates only — every panel labeled not-medical-advice)

**Tranche**: tranche-5

**Evidence ID**: t5-013

**Ledger rows**: 1

No ledger note is attached.

## Review findings

The two arithmetic formulas are standard under the stated approximation, but the instrument cannot be fully verified until the exact AHA threshold table, adult-population scope, unit contract, category-selection rule, and invalid-input policy are specified. The category labels in these test vectors are conditional on the standard adult AHA thresholds stated above.

### Formula and scope findings

- MAP=DBP+(SBP−DBP)/3 is the standard approximate resting MAP formula, not an exact formula for all heart rates or cardiac cycle timings; heart rate or systolic/diastolic time fractions would be needed for a more general calculation.

- PP=SBP−DBP is correct.

- The output category label has no formula or explicit threshold table in the spec. AHA adult blood-pressure categories classify the higher applicable SBP or DBP category, but the exact AHA edition and threshold rules are unspecified.

### Unit assumptions

- SBP and DBP are numeric blood-pressure readings in mmHg unless an explicit unit-conversion layer is added.

- MAP and PP are reported in mmHg when the inputs are in mmHg; the arithmetic itself preserves the input unit.

- AHA category examples below assume standard adult categories: normal SBP <120 and DBP <80; elevated SBP 120–129 with DBP <80; stage 1 SBP 130–139 or DBP 80–89; stage 2 SBP >=140 or DBP >=90.

- AHA categorization requires adult context and normally should not be interpreted from one isolated reading.

## Boundary hardening

**BREAK_CLAIMED** · SELF_FLAGGED

Extreme finite-number inputs overflow the plain-JavaScript subtraction to Infinity, and zero or reversed/nonphysical pressures can produce arithmetic outputs even though they should be rejected. Category behavior for invalid values is not defined by the specification.

## Errata and corrections

No applied erratum is attached to this unique-name record.

## Inspectable example

4 review vectors are recorded. One source-bound sample is shown below.

````
{
  "inputs": {
    "systolic": 118,
    "diastolic": 76,
    "unit": "mmHg"
  },
  "expected_outputs": {
    "MAP": 90,
    "PP": 42,
    "category_label": "Normal (assuming standard adult AHA thresholds)"
  },
  "working": "PP = SBP − DBP = 118 − 76 = 42 mmHg. MAP = DBP + (SBP − DBP)/3 = 76 + (118 − 76)/3 = 76 + 42/3 = 76 + 14 = 90 mmHg. Both SBP 118 and DBP 76 are below the normal-category boundaries, so the assumed AHA label is Normal."
}
````

## Related workflows

No source-defined multi-instrument workflow membership is recorded.

## Sources and evidence

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

- `VERIFIED_LEDGER.json · VERIFIED_CLEAN`

- `evidence-tranche5/tranche5-results.json`

- `BOUNDARY_HAZARD_CATALOG.json`