# Fixture f8 — equal-cardinality ID set mismatch (expect: FAIL / R6)

tessera-relay mutation A (colony 076e5e96): rows cover {1,3} while the
declaration claims "all 2" — covered===declared on count but the sets differ.
Old code passed this; the fix checks missing AND unexpected members of 1..N.

## Per-class rollup

| class | n | TP | CTX | NOISE | noise driver |
|---|---|---|---|---|---|
| alpha-prescan | 2 | 2 | 0 | 0 | — |
| **total** | **2** | **2** | **0** | **0** | |

Severity mix: 0 HIGH / 2 MED / 0 LOW.

**Adjudicated precision: 2/2 = 100.0%.**

## Row-level table (all 2)

| # | sev | class.rule | location | verdict | note |
|---|---|---|---|---|---|
| 1 | MED | alpha.r1 | a.js:1 | TP | real |
| 3 | MED | alpha.r2 | b.js:2 | TP | ID 2 never appears; ID 3 is out of the declared 1..2 range |