Source: https://guthlabs.ai/docs/instruments/trip-fuel-cost-calculator/

instrument / verified-clean

# Trip Fuel Cost Calculator

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/trip-fuel-cost-calculator/>)[02**Mechanism**Method and assumptions](<https://guthlabs.ai/docs/instruments/trip-fuel-cost-calculator/mechanism/>)[03**Implementation**Binding and validation](<https://guthlabs.ai/docs/instruments/trip-fuel-cost-calculator/implementation/>)[04**Qualification**Evidence and errata](<https://guthlabs.ai/docs/instruments/trip-fuel-cost-calculator/qualification/>)

## Ledger state

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

**Area**: Everyday & Life

**Tranche**: tranche-4

**Evidence ID**: t4-103

**Ledger rows**: 1

No ledger note is attached.

## Review findings

The computation is valid under the stated unit assumptions, but the catalog specification must explicitly define distance units, US versus Imperial MPG and gallons, currency, and input validation rules before receiving a PASS verdict. The honest-label note correctly states that manually entered fuel prices are only as current as the user's input.

### Formula and scope findings

- The algebraic formulas are standard and correct, but the specification does not define the distance unit, MPG convention, or fuel-price currency and volume unit.

- The specification does not state that MPG must be greater than zero or that distance, MPG, and price must be nonnegative.

### Unit assumptions

- Test vectors assume distance is in miles, MPG means US miles per US gallon, and fuel price is in USD per US gallon.

- For the unit-conversion vector, 160.9344 km is treated as exactly 100 miles before applying the MPG formula.

- Outputs are gallons needed and fuel cost in US gallons and USD under those assumptions.

## Boundary hardening

**BREAK_CLAIMED** · SELF_FLAGGED

A zero-MPG input causes division by zero and can produce undefined mathematical results or JavaScript Infinity. Negative distance also exposes an unresolved validation/convention issue because the raw formula returns negative gallons and cost.

## 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": {
    "trip_distance": 300,
    "distance_unit": "mi",
    "vehicle_mpg": 25,
    "fuel_price": 3.6,
    "price_unit": "USD/US gal"
  },
  "expected_outputs": {
    "gallons_needed": 12,
    "fuel_cost": 43.2
  },
  "working": "gallons_needed = 300 mi ÷ 25 mi/US gal = 12 US gal; fuel_cost = 12 US gal × $3.60/US gal = $43.20"
}
````

## 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-tranche4/tranche4-results.json`

- `BOUNDARY_HAZARD_CATALOG.json`