Formal vacuity sketch

Explore a |-> b vacuity: when antecedent a never rises, the property passes vacuously. Contrast with a meaningful pass when a fires and b holds. Starter: a always 0 → VACUOUS_PASS.