Source: https://guthlabs.ai/docs/instruments/corrected-calcium-sodium-calculator/

instrument / verified-clean

# Corrected Calcium / Sodium Calculator

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/corrected-calcium-sodium-calculator/>)[02**Mechanism**Method and assumptions](<https://guthlabs.ai/docs/instruments/corrected-calcium-sodium-calculator/mechanism/>)[03**Implementation**Binding and validation](<https://guthlabs.ai/docs/instruments/corrected-calcium-sodium-calculator/implementation/>)[04**Qualification**Evidence and errata](<https://guthlabs.ai/docs/instruments/corrected-calcium-sodium-calculator/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-002

**Ledger rows**: 1

No ledger note is attached.

## Review findings

The formulas are arithmetically correct under the stated unit assumptions, and the educational-only/not-medical-advice label is appropriate. Review is required to specify units, input pairing, and the intended sodium correction convention before release.

### Formula and scope findings

- The calcium formula is standard only when calcium is in mg/dL and albumin is in g/dL: CorrCa = Ca + 0.8 × (4 − albumin). Those units are not specified in the instrument spec.

- The sodium formula uses the Hillier correction coefficient of 2.4 mEq/L per 100 mg/dL glucose above 100 mg/dL. A coefficient of 1.6 is also commonly used, so the intended clinical convention must be explicitly named.

- The input description 'measured Ca or Na, albumin or glucose' is ambiguous about required input pairing and does not identify units.

### Unit assumptions

- Calcium (Ca) is in mg/dL.

- Albumin is in g/dL, with a reference albumin of 4 g/dL.

- Sodium (Na) is in mEq/L (numerically equivalent to mmol/L for sodium).

- Glucose is in mg/dL for the stated sodium formula; glucose in mmol/L must be multiplied by 18 before calculation.

- The sodium correction coefficient is specifically the Hillier 2.4 convention.

## Boundary hardening

**BREAK_CLAIMED** · SELF_FLAGGED

An extreme glucose input near the JavaScript floating-point limit causes the subtraction of 100 to be lost and the final result to lose low-order precision. The instrument specification also provides no input-range validation for zero or extreme values.

## 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": {
    "calcium_mg_dL": 8.2,
    "albumin_g_dL": 3,
    "sodium_mEq_L": 140,
    "glucose_mg_dL": 200
  },
  "expected_outputs": {
    "corrected_calcium_mg_dL": 9,
    "corrected_sodium_mEq_L": 142.4
  },
  "working": "Corrected calcium: 8.2 + 0.8 × (4 − 3.0) = 8.2 + 0.8 × 1.0 = 8.2 + 0.8 = 9.0 mg/dL. Corrected sodium: 140 + 2.4 × ((200 − 100) / 100) = 140 + 2.4 × (100 / 100) = 140 + 2.4 × 1 = 142.4 mEq/L."
}
````

## 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`