Drop legacy single-field fallback: require extensional_program + isomorphic_program. Schema-strict for multi-domain/multi-language use.

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

update results format

Update IPT testing and verifier scripts

init