Restore the bundled example, and make a refusal an Error (#18 §E7) - #27

The review ran to completion and reported 0 finding(s).

This check passing does not mean the code passed. It reports that tinysweeper ran, nothing more — each lane publishes its own check with its own verdict, and those are what gate the merge.