Enforce the contract crate's dependency rule, and the minimal build (#18 §D3/§D4) - #25

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.