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

instrument / verified-clean

Meal Prep Portion 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
Everyday & Life
Tranche
tranche-5
Evidence ID
t5-145
Ledger rows
1

No ledger note is attached.

Review findings

The formulas are standard and algebraically correct under the stated assumptions. NEEDS_REVIEW is required because the specification leaves the exact quantity type/unit, macro units and field schema, and validation constraints ambiguous. The honest label appropriately states that nutrition figures depend on user-supplied totals and are not from a certified nutrition database; it should also clarify that results are batch averages and assume uniform distribution.

Formula and scope findings

No additional record

Unit assumptions

  • total_qty is a numeric mass or volume with a stated unit, and the output preserves that unit unless an explicit conversion is requested
  • num_portions is a positive integer
  • Each total_macro value has a stated unit, such as kcal or grams, and is divided independently by num_portions
  • Macro totals are user-supplied and represent the entire batch

Boundary hardening

BREAK_CLAIMED · SELF_FLAGGED

The calculator reaches undefined results when num_portions is zero and should reject that input. A separate convention hazard exists when the total yield has no explicit unit, although the arithmetic remains numerically valid.

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": {
    "total_qty": 2400,
    "total_qty_unit": "g",
    "num_portions": 6,
    "total_macros": {
      "calories": 3600,
      "protein_g": 180,
      "carbohydrates_g": 300,
      "fat_g": 120
    }
  },
  "expected_outputs": {
    "portion_qty": 400,
    "portion_qty_unit": "g",
    "per_portion_macros": {
      "calories": 600,
      "protein_g": 30,
      "carbohydrates_g": 50,
      "fat_g": 20
    }
  },
  "working": "portion_qty = 2400 g / 6 = 400 g. Calories = 3600 kcal / 6 = 600 kcal. Protein = 180 g / 6 = 30 g. Carbohydrates = 300 g / 6 = 50 g. Fat = 120 g / 6 = 20 g."
}

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