FA-11848 / Search retrieval semantics / Member archive
Synonym expansion changes a conjunction into a broad disjunction · case 03
Synonym expansion changes a conjunction into a broad disjunction.
Case contract
Return whether a token set satisfies all nonempty synonym groups. Each group is OR; groups are AND. Empty query matches; empty group cannot match.
Why this case matters
An offline deterministic retrieval model isolates this search contract from tokenization, storage, and network behavior.
One recorded failure
Sample boundary fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| missing required position | true | false | 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.
Sign in to the archive ↗