NP — non-deterministic polynomial, verifier definition: Worked examples

Everything rests on one biconditional you must keep in front of you:

Before any example, memorise the three-question checklist from the parent note — every worked example below answers exactly these: