FA-100225 / Annotation span alignment / Member archive

Tab expansion leaves annotation endpoints on old columns · case 05

Tab expansion leaves annotation endpoints on old columns.

Member previewVariant 5 · 3 implementations · 7 checks per implementation

Case contract

Map each source half-open span through tab expansion using tabstop columns: each tab advances to the next multiple of tabstop; return mapped boundaries.

Why this case matters

A small offline annotation transformation keeps span coordinates explicit when text or token boundaries change.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
single tab before span	`[[2, 3]]`	`[[4, 5]]`	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.