FA-100747 / Model output stopping rules / Member archive

Output stopping: Tied stop matches choose the longest sequence · case 02

Tied stop matches choose the longest sequence.

Member previewVariant 2 · 3 implementations · 6 checks per implementation

Case contract

Among stop sequences beginning at the earliest matching position, choose the longest; ties use the lowest input index. Return prefix and chosen sequence index, or all tokens and None.

Why this case matters

A deterministic output-control model isolates one finish or streaming boundary from any particular runtime.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
longer tie	`[["p"], 0]`	`[["p"], 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.