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

instrument / verified-clean

Caloric Content / Macronutrient 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-035
Ledger rows
1

No ledger note is attached.

Review findings

The core calorie formula is valid for an educational Atwater-style estimate. Before release, specify the exact percentage categories and denominator, define carbohydrate and fiber treatment, set validation and rounding rules, and label the result as an estimate rather than a regulatory nutrition-label calculation.

Formula and scope findings

  • The 4/4/9 Atwater factors, plus 7 kcal/g for alcohol, are standard estimates when protein, available carbohydrate, fat, and alcohol are supplied in grams.
  • The specification does not define whether alcohol is included in the percentage denominator or reported separately, making the requested macro percentages ambiguous.
  • The specification does not define treatment of dietary fiber, sugar alcohols, organic acids, or other components that can cause calculated calories to differ from regulated food-label calories.
  • The specification does not define rounding rules for total kcal or percentages.

Unit assumptions

  • All inputs are grams, not ounces or other mass units.
  • Protein and available carbohydrate contribute 4 kcal/g, fat contributes 9 kcal/g, and alcohol contributes 7 kcal/g.
  • Test percentages use each component's calculated kcal divided by total calculated kcal, including alcohol when present.
  • Percentages below are rounded to two decimal places; intermediate arithmetic uses unrounded values.

Boundary hardening

BREAK_CLAIMED · SELF_FLAGGED

The all-zero input produces a valid total of 0 kcal but makes every percentage calculation 0/0 and therefore undefined. An implementation without an explicit zero-denominator guard will return invalid numeric results such as NaN or Infinity.

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": {
    "protein_g": 20,
    "carb_g": 30,
    "fat_g": 10,
    "alcohol_g": 0
  },
  "expected_outputs": {
    "total_kcal": 290,
    "protein_percent": 27.59,
    "carb_percent": 41.38,
    "fat_percent": 31.03,
    "alcohol_percent": 0
  },
  "working": "Protein kcal = 4 × 20 = 80. Carb kcal = 4 × 30 = 120. Fat kcal = 9 × 10 = 90. Alcohol kcal = 7 × 0 = 0. Total = 80 + 120 + 90 + 0 = 290 kcal. Protein percentage = 80 ÷ 290 × 100 = 27.59%. Carb percentage = 120 ÷ 290 × 100 = 41.38%. Fat percentage = 90 ÷ 290 × 100 = 31.03%. Alcohol percentage = 0 ÷ 290 × 100 = 0.00%."
}

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