So we have an analogy: accidentally working app : correct app :: Gettier "not knowledge" JTB : proper knowledge JTB Is it possible to backport the program ana

So we have an analogy: accidentally working app : correct app :: Gettier "not knowledge" JTB : proper knowledge JTB Is it possible to backport the program analogy back into the realm of philosophy? I'm dreaming of a philosophy paper along the lines of "Knowledge is JTB with proper testing".