Source: https://guthlabs.ai/docs/instruments/a1c-to-estimated-average-glucose-converter/

instrument / verified-clean

# A1C to Estimated Average Glucose Converter

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/a1c-to-estimated-average-glucose-converter/>)[02**Mechanism**Method and assumptions](<https://guthlabs.ai/docs/instruments/a1c-to-estimated-average-glucose-converter/mechanism/>)[03**Implementation**Binding and validation](<https://guthlabs.ai/docs/instruments/a1c-to-estimated-average-glucose-converter/implementation/>)[04**Qualification**Evidence and errata](<https://guthlabs.ai/docs/instruments/a1c-to-estimated-average-glucose-converter/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-098

**Ledger rows**: 1

No ledger note is attached.

## Review findings

The mg/dL formula is correct for the standard ADAG HbA1c-to-eAG relationship and the existing educational, not-medical-advice label is appropriate. Resolve the exact mmol/L conversion constant and define input validation and acceptable HbA1c bounds before release.

### Formula and scope findings

- The formula eAG(mg/dL)=28.7×A1C−46.7 is the standard ADAG relationship for HbA1c reported in percent and eAG reported in mg/dL.

- No formula or conversion constant is specified for the claimed mmol/L output. The implementation must explicitly define whether it divides mg/dL by 18.0 or by the more precise glucose conversion factor 18.0182.

- No valid-input constraint is specified. HbA1c must be numeric and within a clinically meaningful range; unrestricted values can produce nonsensical or negative eAG results.

### Unit assumptions

- HbA1c is expressed as percent, for example 5.7% represented numerically as 5.7, not 0.057.

- The supplied ADAG formula produces eAG in mg/dL.

- For these test vectors, mmol/L is calculated as eAG(mg/dL)÷18.0, a common clinical approximation; using 18.0182 would produce slightly different mmol/L values.

- Outputs shown in mmol/L are rounded to two decimal places; mg/dL values are shown to one or two decimal places as appropriate.

## Boundary hardening

### Recorded hazards

- Missing mmol/L conversion specification creates an implementation and expected-output ambiguity.

- Non-numeric, missing, negative, or implausibly large HbA1c inputs are not constrained or validated.

- The formula can return a negative eAG for sufficiently low inputs; for example, A1c=0 gives 28.7×0−46.7=−46.7 mg/dL, which is physiologically nonsensical.

- The ADAG relationship is an estimate and depends on HbA1c assay/reporting conventions; it should not be presented as an individual patient's measured average glucose.

- If mmol/L conversion is implemented by division, the conversion denominator must be a fixed nonzero constant.

## 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": {
    "HbA1c_percent": 4
  },
  "expected_outputs": {
    "eAG_mg_dL": 68.1,
    "eAG_mmol_L": 3.78
  },
  "working": "28.7×4.0=114.8; 114.8−46.7=68.1 mg/dL; 68.1÷18.0=3.783333... mmol/L; rounded=3.78 mmol/L. This is a lower-boundary-ish, unit-conversion case."
}
````

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