FA-12245 / Power metering accounting / Member archive

A register delta loses complete counter revolutions · case 05

A register delta loses complete counter revolutions.

Member previewVariant 5 · 3 implementations · 7 checks per implementation

Case contract

Given consecutive readings in [0, modulus) and a nonnegative wrap-count increment, return energy = end-start+wraps*modulus. Inconsistent negative energy returns None. Wrap count is authoritative, including multiple revolutions.

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
multiple wraps	`4`	`54`	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.