Strip YAML frontmatter when rendering README in Documentation tab

update docs

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

init