FA-163 / Storage and queries / Member archive

An overlap join misses containment or admits adjacent nonoverlapping intervals · case 03

An interval join drops a left interval entirely enclosed by a right interval, then an endpoint-based repair creates false matches.

Member previewVariant 3 · 3 implementations · 8 checks per implementation

Case contract

Each input row is [string_id,integer_start,integer_end] with start <= end. Treat intervals as half-open. Return [left_id,right_id] for every pair with a nonempty intersection, in left input order then right input order.

Why this case matters

Isolates a temporal join predicate, including containment, symmetry and degenerate intervals. It is distinct from assigning point samples to windows and does not implement a temporal-index query planner.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
left interval is fully contained	`[]`	`[["a", "b"]]`	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.