Verify a white-box-synthesis derivation, or record a declared gap.

Checks that every character of the output traces to a declared operation on a declared source span. Does not check meaning: that is the human's job.

Args: passages: Source passages. Each needs id and text, and should carry a source citation label, which flows through to the report. output_context: What the output passage is meant to support. candidate: {"output": str, "operations": [...]}. Each operation needs type (COPY, INFLECT, NORMALISE, DELETE or ORDER), passage_id, text quoted verbatim from that passage, and occurrence (1-indexed). INFLECT and NORMALISE also need output_text, and INFLECT needs axis (tense, number, case, article or pronoun). DELETE and ORDER accept an optional note. gap: A typed gap when no legal derivation exists. Needs type (one of the six gap types), passage_id, argument_id, missing_requirement, authoritative_owner, question and resolution_paths. Submit exactly one of candidate or gap.

Returns: A report with an overall status of accepted, rejected or gap, a per-operation verdict of verified, unverified or failed, the reconstruction result, counts, and a compact provenance declaration. Operations marked unverified are recorded claims rather than checked facts, and any derivation containing one declares Human wording: Unverified.