# Annotated Evaluation Corpus

Version: `0.1.0`

| Fixture | Class | Expected result | Evidence purpose |
|---|---|---|---|
| `positive.complete.json` | positive | `COMPILED_COMPLETE`, exactly 9 records in carrier order | proves deterministic source-traceable projection |
| `negative.unsupported.json` | negative | `REJECTED_UNSUPPORTED`, zero records | invented A predicate cannot be used to pad output |
| `ambiguous.de-quo-cuius.json` | ambiguous | `SUSPENDED_AMBIGUOUS`, zero records | lexical/source scope survives without forced synthesis |
| `contradictory.carrier-b.json` | contradictory | `SUSPENDED_CONTRADICTORY`, zero records | duplicate incompatible carrier state remains explicit |
| `lossy.partial.json` | deliberately lossy/incomplete | `SUSPENDED_INCOMPLETE_STATE`, zero records | one supported carrier cannot masquerade as a complete nine-record result |

The deliberately lossy fixture also demonstrates why output count is a gate,
not a cosmetic target. A future target may emit a diagnostic partial view, but
it must not label that view a successful nine-record compilation.

All fixtures are declared states, not historical examples from the source.
Their sentence surfaces, when generated, are controlled engineering text.