# Census 01 — Which instruments have no real negative instance?

**Pre-registered:** 2026-08-03, before reading any instrument source or the verification ladder.
**Origin:** the literal question left by the 2026-08-02 evening wrap.

---

## The question

Five times on 2026-08-02, a passing check certified a property of the *code* while
claiming a property of the *result*. The discrimination gate (`e9f3544`) is the mechanical
answer **for checks that have a real negative instance to test against**.

So: **which of our current instruments have no real negative instance available, and is
that absence recorded anywhere, or does it look like coverage?**

## Unit of census

An **instrument** = any check, gate, guard, or test suite whose verdict is used to license
a claim. Two populations, both censused entire (no sampling, no `| head`):

1. Everything in `~/dotfiles/claude/governance/fool/` that returns a verdict.
2. Every named entry in `reference-verification-ladder.md`.

## The test applied to each

**Was this instrument demonstrated returning its FAIL verdict on a REAL artifact** — one
drawn from actual work, not authored so the test would exercise the branch?

Three outcomes:

- **DEMONSTRATED** — names the real artifact it was shown failing on.
- **ABSENT-RECORDED** — no real negative instance, and the instrument or its record says so.
- **ABSENT-UNRECORDED** — no real negative instance, and nothing says so. **This is the finding**: absence that reads as coverage.

Synthetic fixtures do not count as negative instances. That is the whole point of the
discrimination gate: fixtures derived from the check inherit the check's blind spot.

## Predictions (recorded before the read)

1. **The discrimination gate itself → DEMONSTRATED.** It was built and shown rejecting the
   §3.3 pattern as it actually shipped, on two real artifacts.
2. **`test_reduce.py` and `test_twin.py` → ABSENT-UNRECORDED.** Expectation is that they
   are fixture-based and say nothing about it.
3. **The trial-03 degraded guard → ABSENT, now RECORDED.** It had no negative instance
   until trial 03 supplied one by failing; the record exists because the failure did.
4. **Verification-ladder entries → mixed, skewed DEMONSTRATED.** Ladder entries were earned
   from real failures, so most should name the artifact. If they do *not* name it — if the
   entry states the rule but drops the instance — that is the same concealment shape as
   yesterday's, at the level of the record rather than the document.
5. **Overall skew → ABSENT-UNRECORDED dominant.** Prior: this is the pattern that surfaced
   five times in one session.

## The census's own discrimination condition

This census is an instrument. Its negative instance is an instrument that genuinely *does*
have a real negative instance, correctly classified DEMONSTRATED, standing beside one that
does not, classified ABSENT.

**If every instrument lands in one bucket, the census has discriminated nothing** and must
be reported as such rather than as a result. If the skew comes out opposite to prediction 5
— mostly DEMONSTRATED — the first hypothesis to test is that my classification went lenient,
not that the instruments are sound.

## Stopping rule

The census is complete when both populations are enumerated entire and every member is
classified. Unclassifiable members are reported as unclassifiable, not dropped.