Parser fixes: reject multi-paragraph clean-passthrough, add \b to predicate regex

Refactor validation program handling: separate extensional and isomorphic logic, update interface, and enhance legacy support

update results format

remove subfolder