Compiler Interface
Input your claim segments and artifact identifiers to initiate the verification process. The system will trace each segment to its cataloged DataHub artifact or flag it as unsupported. Every sub-claim is classified as observed (stated directly in a cataloged artifact), derived (an inference from cataloged artifacts, with its limits explained), or unsupported (no cataloged evidence backs it) — and each verdict is written back to DataHub as a verification assertion.