FA-98545 / KV cache position mapping / Member archive

Absolute positions map relative to the cache origin · case 05

Writes land at an absolute index instead of an index relative to the cache origin.

Member previewVariant 5 · 3 implementations · 6 checks per implementation

Case contract

For inclusive logical positions [origin, position], return (logical, slot_origin + logical - origin) pairs. position before origin yields an empty list.

Why this case matters

A small in-memory model makes the cache address contract explicit for a serving component.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
shifted window	`[[5, 5], [6, 6], [7, 7]]`	`[[5, 7], [6, 8], [7, 9]]`	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.