EnerLint
Can a small, independent check tell us whether exported model values obey their declared mass and energy balances?
Implemented now: steady control-volume mass/first-law checks, one-interval thermal storage accounting, strict SI JSON inputs, reports and fault-injection tests. The initial benchmark is synthetic; a deliberately compensated compressor error still escapes. No independent external review, public package release or DOI yet.
Hand-constructed baseline cases pass their declared checks.
Deliberately faulty cases fail as expected.
A compensated operating-point error still passes. No detection-rate claim.