FA-18117 / Time representation / Member archive

Bridge extrapolation bound accepts arbitrarily early readings · case 02

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

Member previewVariant 2 · 3 implementations · 13 checks per implementation

Case contract

Bridge two clock domains through one synchronization pair and exact positive rational rate p/q. A reading carries boot identity and calibration generation; reject stale identity, expiration, or unsupported extrapolation. Outputs admission, mapped rational coordinate, nearest interval endpoints expanded by calibration error, and remaining certificate age. Ages are monotonic and nonnegative. Negative target-domain calibration error is malformed; zero is a valid exact bound.

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 8	`[true, "967/2", ["963/2", "971/2"], 8]`	`[false, null, null, 8]`	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.