FA-98580 / KV cache position mapping / Member archive
Packed segments reset logical positions at boundaries · case 05
A new packed sequence inherits the prior segment’s final position.
Case contract
Given one segment ID per token, assign positions starting at zero within each contiguous segment run.
Why this case matters
A small in-memory model makes the cache address contract explicit for a serving component.
One recorded failure
Sample boundary fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| two segments | [0, 1, 2, 3, 4, 5, 6] | [0, 1, 2, 3, 4, 0, 1] | 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.
Sign in to the archive ↗