verify_synthesis
Verify synthesized passage preserves source human-ness by checking exact copies, logged deletions/reorderings, and flagged unverified transformations. Returns accepted, rejected, or gap status.
Instructions
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.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| gap | No | ||
| passages | Yes | ||
| candidate | No | ||
| output_context | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||