Module exec 

The data-driven executor: the flow interpreter under the five step-3 interpreter laws —

(a) reset_per_row re-establishes the whole requires block around every row; (b) a step whose observed outcome differs from expect fails the row and aborts its remaining steps and row postconditions; (c) transport faults, unmapped responses and assertions this ITS or this run cannot judge (assertions::AssertionOutcome::Unjudgeable) → errored (inconclusive), a mapped-but-unexpected outcome or a served value that contradicts an assertion → failed; (d) ${time:*} resolution is fixed (±1 ms, midpoint — state::VarStore); (e) aggregate assertions collect across rows and evaluate once after the last row.

The row engine is transport-agnostic: a StepDriver performs one step call and reports what it observed, so the same laws run against the live reqwest driver and the verification-pack transcript player.

Modules

assertions

The pure assertion evaluators — verdict logic over canonical-JSON values, shared by the live driver and the transcript player so any two conformant runners compute identical verdicts.

bodies

Response-body selector evaluation.

content_synth

Per-row OPT synthesis for the structural content families, plus the single dispatch entry the driver calls for every synthesized content row.

documents

Whole-document equivalence for the two non-JSON forms a retrieval can serve: an XML document entity and plain source text.

driver

The live HTTP driver.

headers

Response-header assertion evaluation.

opt_synth

Per-row OPT 1.4 XML synthesis for the value and interval content families.

outcome

Observed-outcome classification.

player

The transcript player — the runner-verification pack’s part 1: replay a fixed transcript and reproduce the adjudicated verdicts.

recipes

The registered recipe set.

resolve

Reference resolution.

resultset

The normative AQL RESULT_SET equivalence comparator.

signature

Version-signature verification for the SIG-VERSION cases — a portable, deterministic capability (the reference interpreter of a language-agnostic rule).

state

Case-scoped execution state.

transport

The one place bytes leave the process, behind one trait.

versioned

The pure judges behind the version assertion family.

Structs

CaseRecord

The record one case×format execution produces — the direct input to the party-artifact emission (results.json outcomes[]).

PostconditionOutcomes

What a row’s judged postconditions produced: the outcomes that decide the row, and the non-gating divergences a passing assertion tolerated.

StepObservation

What a driver observed for one step, plus the captures it bound.

Enums

Provisioned

The outcome of law-a provisioning for one row.

RowOutcome

The per-row outcome record (ISO/IEC 9646 mapping: passed→pass, failed→fail, errored→inconclusive; not-applicable/skipped are selection records, each with a mandatory citation).

Traits

StepDriver

One step execution seam: the live HTTP driver and the transcript player both implement this.

Functions

row_count

Row count of a case (matrix rows, fixture rows, or one).

run_case

Run one case×format through the interpreter laws.