FA-17470 / Time representation / Member archive

Bounded interval accepts reversed capture or rejects exact limit · case 05

The decoded time state disagrees with the explicit regression oracle for within.

Member previewVariant 5 · 3 implementations · 12 checks per implementation

Case contract

Expand a 256-tick hardware capture with an ISR epoch. Pending overflow applies only to low-half captures; a pre-ISR high-half capture backs out one serviced epoch. Return expanded coordinate, signed delta from previous capture, nonnegative-order flag, bounded-interval flag, epoch crossings, phase on a positive external grid, and strictly next grid edge.

Why this case matters

Clock transfer and timestamp consumers require preserved coordinate, phase, validity and elapsed-time semantics.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
fixture 6	`[256, -4, false, true, 0, 9, 260]`	`[256, -4, false, false, 0, 9, 260]`	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.