FA-100743 / Model output stopping rules / Member archive

Output stopping: Configured stop order overrides earliest stream position · case 03

Configured stop order overrides earliest stream position.

Member previewVariant 3 · 3 implementations · 8 checks per implementation

Case contract

Given a token list and ordered stop sequences, return tokens before the earliest matching occurrence and its sequence index. If none match, return all tokens and None. Empty stop sequences are ignored.

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
equal start uses configured tie order	`[["q"], 1]`	`[["q"], 0]`	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.