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

instrument mechanism / verified-clean

Electricity Cost of Appliance Calculator mechanism

The inspectable method record for Electricity Cost of Appliance Calculator, kept separate from implementation and qualification.

Status: VERIFIED_CLEANLifecycle: verified-clean

Model scope

The core energy and cost formulas are standard and correct under the stated units. Review is required to define the exact monthly and annual day-count conventions and to explicitly include hours_per_day × days in the total-energy formula. The honest-label warning about efficiency, duty cycle, and manually entered rates is appropriate; preset values should also identify their source and reference date.

  • kWh = watts × hours / 1000 is correct when hours means total operating hours, but the declared input is hours/day plus days; the aggregation formula must explicitly be total_kWh = watts × hours_per_day × days / 1000.
  • The mapping of days to monthly and annual outputs is unspecified: a month could mean 28–31 calendar days or a fixed 30-day period, and an annual result could mean 365 or 366 days.
  • Daily cost is implied but not explicitly stated as daily_kWh × rate_per_kwh; the output definitions should specify whether monthly and annual values are derived from daily usage or from separately entered total hours.

Units and conventions

  • Wattage is in watts (W), hours/day is decimal operating hours per day, and days is a count of days in the reporting period.
  • Dividing by 1000 converts watt-hours to kilowatt-hours.
  • Electricity rate is in dollars per kilowatt-hour ($/kWh), so cost is in dollars.
  • For the test vectors, a monthly period means exactly 30 days and an annual period means exactly 365 days.
  • Inputs represent actual energized operating time; standby consumption, variable power draw, and duty cycle are not modeled unless separately incorporated into the wattage or hours.

Inspectable vector

One of 4 source-bound review vectors:

{
  "inputs": {
    "appliance_wattage_w": 1500,
    "hours_per_day": 2,
    "electricity_rate_usd_per_kwh": 0.18,
    "days": 30,
    "period": "monthly"
  },
  "expected_outputs": {
    "daily_kwh": 3,
    "daily_cost_usd": 0.54,
    "period_kwh": 90,
    "period_cost_usd": 16.2
  },
  "working": "Daily energy = 1500 W × 2 h/day ÷ 1000 = 3000 Wh/day ÷ 1000 = 3 kWh/day. Daily cost = 3 kWh/day × $0.18/kWh = $0.54/day. Period energy = 3 kWh/day × 30 days = 90 kWh. Period cost = 90 kWh × $0.18/kWh = $16.20."
}

Failure boundary

BREAK_CLAIMED · SELF_FLAGGED

An extreme but numerically representable wattage causes JavaScript arithmetic overflow: 1e308 × 24 becomes Infinity, and all derived outputs become Infinity. The instrument should validate finite, reasonable inputs and reject or clearly report overflow.

Other records

Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

  • VERIFIED_LEDGER.json
  • evidence-tranche4/tranche4-results.json
  • BOUNDARY_HAZARD_CATALOG.json