FA-12255 / Power metering accounting / Member archive

Export in one interval erases import from another · case 05

Export in one interval erases import from another.

Member previewVariant 5 · 3 implementations · 6 checks per implementation

Case contract

Input rows are [import, export] nonnegative energy per settlement interval. Net each row first, then return total positive net import. Export credits are separate and cannot offset another interval.

Why this case matters

Meter settlement depends on explicit register and tariff policies; this controlled model makes that policy observable.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
export cannot cross intervals	`5`	`15`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.