FA-98427 / Token sampling filters / Member archive

Token sampling: Top-k probability mass is measured before candidate restriction · case 02

Top-k probability mass is measured before candidate restriction.

Member previewVariant 2 · 3 implementations · 6 checks per implementation

Case contract

Select top k by descending score and lexical ties, normalize softmax over this restricted set, and retain its shortest prefix reaching p; p<=0 or k<=0 returns empty.

Why this case matters

A finite, deterministic token-selection contract isolates one decoding operation from model inference and runtime behavior.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
restricted mass	`["a", "b"]`	`["a"]`	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.