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

Fix Gradio app: call verify_ipt directly (schema can't carry two-field SLR-Bench form); friendlier description

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

update results format

remove subfolder

parsing

init