Page actions
instrument / verified-clean
Corrected Calcium / Sodium Calculator
The current ledger marks this instrument verified clean within the source-bound verification corpus.
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_CLEANevidence-tranche5/tranche5-results.jsonBOUNDARY_HAZARD_CATALOG.json