Correctness properties: edge handling, connectivity, and boundary cases

Authored by:Bill Denney inthinr 0.2.0.
Source:correctness-properties.Rmd, Vignette:correctness-properties.html. Last updated:2026-07-04.