> For a problem that is theoretically binary (either in, or out?) filling polys can have really fiddly corner (literally!) cases.

FTR, in case someone is interested: "predicate" is the name for functions that output booleans, so a more general search term is "geometric predicate".