1-corona check
Check every neighboring pair with unmarked one-corona search. A completion succeeds only if every exposed frontier point has a legal candidate. Update the provisional marking after each label; hover over its points to inspect individual values and *. Save when every valid pair passes and more than half of invalid pairs are blocked, with none unresolved. One corona does not establish an infinite tiling.