wai: the opportunity report and the statement check (wai.delivery.opportunity) #541

Merged

dcharlot merged 8 commits from wai/fast-statement-check into main 2026-10-29 22:16:45 -04:00

Conversation 0 Commits 8 Files changed 28 +11744 -19

2026-10-29

Transaction Science

Merge remote-tracking branch 'origin/main' into wai/fast-statement-check

447a8efb57

• View at this point in history

2026-10-29 21:09:49 -04:00

Transaction Science

Merge remote-tracking branch 'origin/main' into wai/fast-statement-check

82e56aab72

• View at this point in history

2026-10-29 19:35:37 -04:00

Transaction Science

Merge #539's branch (wai/fast-revenue-share) into wai/fast-statement-check ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

026e541640

• View at this point in history

2026-10-29 18:45:16 -04:00

Transaction Science

opportunity_report_verify.py: every refusal of the corpus accounted for by §13, its reused codes or a delegated text ...

So a reason left out of §13's table is caught on this side too, as the Rust test
that §13 lists exactly the reference's codes catches it.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

d9839467e2

• View at this point in history

2026-10-29 18:45:03 -04:00

Transaction Science

wai opportunity_report: clippy — a section's own error type, a type for where a break is placed ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

722cf820ea

• View at this point in history

2026-10-29 18:33:48 -04:00

Transaction Science

wai: the opportunity report's operations, registry entry, SPEC paragraph and CI ...

opportunity.create (wai opportunity create), opportunity.verify (wai
opportunity verify, a report's or a check's document) and statement.check (wai
statement check), under the agent rules, in a build with opportunity_report;
tests/cli_ops.rs holds --dry-run on the two that write. The catalogue export,
Studio's generated actions and the registry export are regenerated. REGISTRY.md
registers wai.delivery.opportunity and the magics WOR1 and WCK1; SPEC.md §5 and
CHANGELOG.md describe it. The conformance workflow runs the module's tests,
tests/opportunity_report.rs and opportunity_report_verify.py; the catalogue
workflow runs cli_ops with the feature.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

d15b4a7a3e

• View at this point in history

2026-10-29 18:31:56 -04:00

Transaction Science

wai: opportunity_report_verify.py, the opportunity report's second implementation ...

Written from extensions/opportunity-report.md and sharing no code with wai-rs:
it reads every report, check, SCTE 35 section and reported statement itself,
verifies contracts, runs and signed statements with revenue_share_verify.py and
rooms with live_ads_verify.py, recomputes every break, attribution, line,
citation and flag, requires every mutated copy of the corpus to fail and drops
each of its own checks in turn. The corpus gains the vectors those checks need:
a run of another channel, runs overlapping, an overlapping contract, a report
of the first hour alone, and the first hour split across two windows that both
air its ad slot.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

18e38db5cb

• View at this point in history

2026-10-29 18:19:39 -04:00

Transaction Science

wai: the opportunity report and the statement check (wai.delivery.opportunity) ...

extensions/opportunity-report.md: the ad breaks a channel's own signed records
prove, per owner and period (WOR1): the cues of a room a share contract names,
made into breaks by live-ads and their SCTE 35 sections read for slots, and the
program-as-run's ad entries no cue covers, each attributed by its start to the
programme on air; a documented JSON and CSV form for a platform's reported
figures, never evidence; and the check (WCK1) setting them side by side, with
the operator's signed revenue-share statement where given.

wai-rs: the opportunity_report module (feature opportunity_report), its SCTE 35
subset reader, the reported statement's reader, the corpus generator
wai_opportunity_vectors and tests/opportunity_report.rs with the worked example.
revenue_share's the_runs and asset_at become pub(crate), unchanged.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

372f063bcb

• View at this point in history

2026-10-29 18:12:30 -04:00