Auditing Gameplay Implementation Coverage

Purpose

Find missing members of behavior families. A game rarely omits a whole feature; it omits one member of a set the code already declares — one phase that never got the second input alias, one actor variant the freeze path skips, one saved field nobody restores. Each omission looks like working code, because every branch present is correct.

This procedure builds an evidence-backed coverage ledger across intent, code, observable output, and tests, then verifies the high-risk gaps without changing the audited behavior. The output is a ledger of obligations and their status, not a repair.

When to Use