"Provably correct" seems like an almost impossible goal not only because of this kind of corner case, but also because the ways in which light can interact with an object physically are likely more complex than we can every truly represent with a reasonable algorithm.