Equality Checked In One Direction

What goes wrong

A check or test promises an exact match but verifies only one direction — every expected item is present — and never the reverse, that nothing extra is present. Additions, or the mirror-image violation, pass silently.

Example

A test asserts every required translation key exists in the locale file, but never that the file has no keys the app stopped using — a contains-all check instead of equality.

Not to be confused with

The check runs; only the reverse direction is missing — unlike an empty input read as a pass (Missing Input Green Gate) or an inventory that shrinks unnoticed (Silently Shrinking Guard Corpus).

Discovered by

@sks24git GitHub

Field notes · 4

@sks24git2026-10-30beat 1 review round

A hot read path was narrowed to a few columns, and its test checked only that it no longer read every column. Drop one of the kept columns and the tests stay green while a pending file request quietly reads as none.

When you narrow a projection, assert each kept field. A test that only checks what was cut cannot catch what goes missing.

@sks24git2026-09-10beat 4 review rounds

An allow-list was pinned in one direction only: every name in the list had to exist in the pipeline. A pipeline job missing from the list stayed invisible to every check, so a forgotten copy runs unguarded.

Pin a hand-maintained list in both directions. One-way pinning catches deletions and misses the addition you will actually make.
Ask which mistake the list exists to catch.

@sks24git2026-09-10

A parity check walked only one of the two directories it compares, so a link with no rule behind it could never be seen. The branch written to report that case was unreachable.

Compare two sets by walking both. One-sided iteration cannot see what exists only on the other side.

@sks24git2026-09-09

A brand rewrite keyed on the header's class, and one footer kept a second logo under another name. The gate checked the new mark is present, never that the old is gone, so two logos shipped green.

Pin absence, not just presence. "The new thing exists" passes while the old survives beside it.
Grep the idiom, not the class. A rename keyed on a selector misses copies named differently.