Guth
NewsDocs
Page actions
View as Markdown ↗
Explore MCP tools ↗

instrument / verified-clean

Corrected Calcium / Sodium Calculator

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

Status: VERIFIED_CLEANLifecycle: verified-clean

Inspectable records

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