The geometry behind each check, with sources, worked examples and an honest list of what isn't modelled.
Open the checker