Harris-Benedict BMR (legacy)

Inspectable records

Ledger state

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

Area

Biology, Medicine & Pharmacology

Tranche

tranche-2

Evidence ID

t2-026

Ledger rows

1

No ledger note is attached.

Review findings

NEEDS_REVIEW because the exact coefficients, required input units, sex-category behavior, validation constraints, and rounding policy are not explicitly defined. The test vectors assume the standard revised Harris-Benedict equations and kg/cm/year inputs. The honest label appropriately identifies this as an educational estimate and notes that Mifflin-St Jeor is generally preferred.

Formula and scope findings

• The specification names the revised Harris-Benedict equations but does not provide their coefficients, so the exact implemented formula cannot be verified. The standard assumed equations are male: BMR = 88.362 + 13.397×weight_kg + 4.799×height_cm − 5.677×age_years; female: BMR = 447.593 + 9.247×weight_kg + 3.098×height_cm − 4.330×age_years.
• The supported meaning of sex is unspecified; the standard revised equations provide only male and female branches, with no defined handling for nonbinary, intersex, or unknown inputs.

Unit assumptions

• Weight must be supplied in kilograms.
• Height must be supplied in centimetres.
• Age must be supplied in completed years.
• The expected outputs use unrounded arithmetic results in kcal/day; display rounding is unspecified.
• For the standard equations, sex is assumed to select either the male or female coefficient set.

Boundary hardening

BREAK_CLAIMED · SELF_FLAGGED

An extreme but representable JavaScript input produces NaN through Infinity minus Infinity rather than a controlled rejection. The unit probe also shows that omitted units can change the estimate from 2317.120 to 1807.137855 kcal/day.

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": {
    "weight": 70,
    "weight_unit": "kg",
    "height": 175,
    "height_unit": "cm",
    "age": 30,
    "age_unit": "years",
    "sex": "male"
  },
  "expected_outputs": {
    "bmr_kcal_per_day": 1695.667
  },
  "working": "13.397×70 = 937.790; 4.799×175 = 839.825; 5.677×30 = 170.310; 88.362 + 937.790 = 1026.152; 1026.152 + 839.825 = 1865.977; 1865.977 − 170.310 = 1695.667 kcal/day."
}

Related workflows

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-tranche2/tranche2-results.json
• BOUNDARY_HAZARD_CATALOG.json