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

instrument / verified-clean

Protein Requirement Estimator

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-107
Ledger rows
1

No ledger note is attached.

Review findings

The arithmetic formula is sound, but the instrument is not fully specified because the activity/goal categories and their factor mappings are absent, and the meaning of recommended protein range is unclear. The honest-label wording is appropriate for an educational estimate, but the interface should clearly state that factors are general references and not individualized medical or nutritional advice.

Formula and scope findings

  • The multiplication formula protein_g = weight_kg × factor_g_per_kg is correct only when weight is in kilograms and the factor is in g/kg/day.
  • The specification does not provide the required reference table mapping each activity/goal category to a specific factor or factor range, so the result cannot be determined from the declared inputs alone.
  • It is ambiguous whether the output should be one value for the selected goal or a lower-to-upper range spanning 0.8-2.2 g/kg/day.

Unit assumptions

  • weight must be entered in kilograms; if entered in pounds, convert using 1 lb = 0.453592 kg before applying the formula.
  • factor units are grams of protein per kilogram of body weight per day (g/kg/day).
  • The test vectors use provisional factors solely to verify arithmetic; they do not validate an unstated clinical or nutritional reference table.

Boundary hardening

BREAK_CLAIMED · SELF_FLAGGED

The extreme-weight test produces Infinity in plain JavaScript arithmetic, and the zero-weight boundary can produce an invalid but numerically accepted 0 g/day unless validation rejects it. An unspecified weight unit can also change the result from 338.8 to approximately 153.677093 g/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_kg": 70,
    "goal_category": "sedentary/general adult",
    "factor_g_per_kg": 0.8
  },
  "expected_outputs": {
    "protein_g_per_day": 56
  },
  "working": "1. Start with weight = 70 kg and factor = 0.8 g/kg/day.\n2. protein_g_per_day = 70 × 0.8.\n3. 70 × 0.8 = 56.\n4. Expected output = 56 g/day."
}

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