FA-26014 / Filter interfaces / Member archive

Further typing cannot mutate the in-flight filter snapshot · case 04

Further typing cannot mutate the in-flight filter snapshot is violated by the widget projection.

Member previewVariant 4 · 3 implementations · 10 checks per implementation

Case contract

A filter apply queue coalesces only unsent drafts, preserves the in-flight snapshot, and acknowledges exactly the sent revision before promoting a queued draft. This example checks: Further typing cannot mutate the in-flight filter snapshot.

Why this case matters

Filter-widget state and serialization must preserve user constraints while the view changes.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
contract fixture 0	`{"ack-match": false, "failed-retain": ["a"], "inflight-preserve": ["b"], "promote-queued": null, "queued-replace": null, "send-now": ["b"]}`	`{"ack-match": false, "failed-retain": ["a"], "inflight-preserve": ["a"], "promote-queued": null, "queued-replace": null, "send-now": ["b"]}`	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.