Public evidence

electrical.energy_consumption

Machine-checked verification for calculation version 1.4.2 · tier internally_reviewed

Open calculator API Capability Download JSON CVP Manifest MCP Review policy

CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance · core energy calculation (W × h / 1000 → kWh)· CVP VERIFIED covers the core energy calculation E(kWh)=W×h/1000. Daily month/year figures are UI projections (30-day month, 365-day year), not engine outputs. · Protocol · Schema · Production report

Declared partition coverage: PASS · 3/3 declared partitions (nominal-positive, zero, invalid-domain)
Versions: Calculation 1.4.2 · CVP protocol 1.0.0-proposed · Evidence 2026-09-13.negative-input-contract
Verification revision: 2026-09-13.negative-input-contract · 4/4 property · digest 9f36849cd3cd

Verification

Legacy regression suite: 16/16 calculation tests · Production surface contract 4/4

Three distinct suites: educational examples on the calculator page, this legacy regression count (16/16 golden + boundary), and the CVP verification suite below. They are not the same number. Property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the CVP Manifest . SKIP (0/0) means that suite has no published vectors.

This calculator CURRENT · Public schema 1.4.2 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-09-13.negative-input-contract. Calculation version 1.4.2. CVP 1.0.0-proposed. 2/2 golden · 3/3 CVP boundary · 5/5 invalid · 4/4 property · 2/2 cross-interface · 4/4 CVP contract. digest 9f36849cd3cd.

Golden (oracle-backed) 2 / 2
CVP boundary 3 / 3
Invalid input 5 / 5
Property 4 / 4
Cross-interface 2 / 2
CVP contract 4 / 4
Interfaces PASS · UI (SSR) / REST / MCP
Interface claim ui-ssr is query-result HTML, not a live browser session.
Verified scope core energy calculation (W × h / 1000 → kWh)
Assurance Engineering
Deferred UI daily/month/year projections (×30 / ×365)

release artifacts aligned PASS
schema valid input executes PASS
engine success output validates schema PASS
schema rejects incomplete input PASS

Fingerprint sha256:12b8656c5419669724d3a3f6bedfd69f11c8f1e6df1e20e231487fb250072916

Input schema sha256:4fbea79f291b0be2d402bcdf35e1ee32958364497986406299f9bc995d16ad71 · Output schema sha256:513207640dd3f6145f0da67434085aa12ebf3bc9a84d9250d53dda64ead66e47 · Build-time SHA-256 digests prove published artifacts agree with each other (release_integrity.scope=workspace). Production attestation GETs canonical URLs twice (public/cached view and origin), including Capability HTML, via npm run attest:production --write (published at /.well-known/calculatorx-production-attestation.json) and fails if the public Capability page advertises a different calculation_version. This is artifact consistency, not an independent immutable release log.

Build & scope

Engine identity and declared limitations.

Tool: energy-consumption
Engine: energy
Engine build: 2026-09-13
Evidence core: 2026-09-13T14:29:59.920Z
Rendered: 2026-09-16T22:03:43.701Z
Last reviewed: 2026-09-13

Assumptions

Constant power over the stated hours.
Month = 30 days, year = 365 days in daily UI projections (presentation-only).
User converts kW→W when needed.
W ≥ 0 and hours ≥ 0 (consumption, not signed energy flow).

Limitations

Assumes constant power over the stated hours
W and hours must be ≥ 0 (VALUE_MUST_BE_NON_NEGATIVE)
UI daily month/year projections are presentation-only; engine returns period kWh

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

NIST Guide to the SI (SP 811) — Energy as power × time; kilowatt-hour
Supports: E(kWh) = P(W) × t(h) / 1000; 1 kWh = 3.6×10⁶ J
BIPM SI Brochure (9th edition, version 4.01) — Derived unit joule and common non-SI kWh · 2026-06 · DOI
Supports: Energy from watt and hour quantities; 1 kWh = 3.6 MJ
IEC 60050 — International Electrotechnical Vocabulary — Active energy (IEV 131-11-57)
Supports: Active energy W = ∫p dt; SI unit joule
IEC 60050 — International Electrotechnical Vocabulary — Watt hour (IEV 131-11-58)
Supports: 1 Wh ≔ 3600 J; kWh is the common billing multiple. E(kWh) = P(W)×t(h)/1000 at constant power

Legacy published checks

Golden and boundary cases from the legacy Evidence JSON. CVP property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the Manifest — including SKIP when a suite has no vectors.

ID	Kind	Status	Detail
`1500W-3h`	golden	pass	Expected 4.5 · Actual 4.5
`9W-8h`	golden	pass	Expected 0.072 · Actual 0.072
`1000W-1h`	golden	pass	Expected 1 · Actual 1
`60W-5h`	golden	pass	Expected 0.3 · Actual 0.3
`linear-2x-W`	golden	pass	Expected 9 · Actual 9
`linear-2x-h`	golden	pass	Expected 9 · Actual 9
`soft-zero-W`	golden	pass	Expected 0 · Actual 0
`soft-zero-h`	golden	pass	Expected 0 · Actual 0
`neg-W`	boundary	pass	Expected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE
`neg-hours`	boundary	pass	Expected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE
`2000W-24h`	golden	pass	Expected 48 · Actual 48
`missing-W`	boundary	pass	Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
`property-kwh`	property	pass	E = P·t / 1000
`property-linear-power`	property	pass	E(2P)=2E(P)
`property-linear-time`	property	pass	E(2t)=2E(t)
`property-default`	property	pass	1500 W × 3 h