wai: channel lineup and guide — a linear channel's feeds imported, signed (wai.video.lineup), and its guide checkable #540

Merged

dcharlot merged 15 commits from wai/fast-channel-guide into main 2026-10-30 02:17:33 -04:00

Conversation 0 Commits 15 Files changed 43 +8427 -8

2026-10-30

Transaction Science

Merge remote-tracking branch 'origin/main' into wai/fast-channel-guide

db2147c2d8

• View at this point in history

2026-10-30 00:55:45 -04:00

2026-10-29

Transaction Science

Merge remote-tracking branch 'origin/main' into wai/fast-channel-guide

31d4b23b8d

• View at this point in history

2026-10-29 23:27:35 -04:00

Transaction Science

wai channel: no dead code or unused import in a build without channel_lineup ...

done() is called only by the feature's operations, as io_fail and the other
helpers are, and EXIT_FAILED and json! only by them: the helper takes the
same allow as its neighbours, and the two imports come in with the feature,
as in the opportunity report's door.

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

cc2c7ead70

• View at this point in history

2026-10-29 22:22:04 -04:00

Transaction Science

Merge remote-tracking branch 'origin/main' into wai/fast-channel-guide ...

# Conflicts:
#	.github/workflows/wai-conformance.yml
#	wai/wai-rs/src/catalogue.rs
#	wai/wai-studio/src/actions.generated.js

0fca68bf18

• View at this point in history

2026-10-29 22:20:18 -04:00

Transaction Science

wai: channel-lineup, spans written in words ...

The section-reference check pairs a bare [ with the next link, and §5 now links to
revenue-share, so an interval written [a, b) before it read as a link's text. Each
span is written from its start to its end instead; the meaning is unchanged.

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

88deef4675

• View at this point in history

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

Transaction Science

wai: one JSON carriage for the channel receipt, revenue-share §4.1's ...

channel_lineup's own receipt_to_json and receipt_from_json are gone: the import
writes a receipt with ChannelReceipt::to_json and a verification reads one with
ChannelReceipt::from_json, the one JSON form of a channel receipt. channel-lineup
§5 keeps its number and is now a normative reference to revenue-share §4.1 (the
carriage), §4.2 (leaves, root, signed bytes, identity) and §4.3 (rules 1 to 5, the
signature rule 6). channel_lineup_verify.py reads receipts with
revenue_share_verify.py's read_run, run_payload, run_identity and run_verifies,
and no longer takes anything from live_ads_verify.py.

Before the pair was removed, a test (not kept) ran both readers and both writers
over every corpus receipt: the three receipt files, the two receipts verification
vectors edit, and the sample sealed with each energy class: 9 receipts, 8 read and
1 refused by both, every reading, every JSON value and every file identical. After
it, the corpus regenerates byte for byte.

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

3320d5b59c

• View at this point in history

2026-10-29 19:49:28 -04:00

Transaction Science

Merge origin/main (#539, the revenue share) into wai/fast-channel-guide ...

Both sides kept in CHANGELOG, SPEC §5, catalogue.rs, dx/mod.rs, tests/cli_ops.rs and the
two workflows; WAI_FEATURES, the test build list and the features-alone list hold both
revenue_share and channel_lineup. The generated files (ops.json, the registry export,
vocab/v2.ttl, REGISTRY.md's table, Studio's actions) are regenerated from the merged
sources, not merged as text. wai_video_channel.rs is main's: signing_payload stays private
and this branch calls its public payload(). The channel lineup's --dry-run sample writes
its own key file, as the revenue share's writes operator.key in the same directory.

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

3fb4e67dd7

• View at this point in history

2026-10-29 19:42:42 -04:00

Transaction Science

wai: the corpus's SCTE-35 sections, five bytes of pts_adjustment ...

The generator wrote four bytes where splice_info_section() has five (the
encryption bits and the 33-bit pts_adjustment), so splice_command_type fell on
byte 12 and every cue took the hashed cue_id: the splice_event_id path of §4.8
was never reached, and both implementations agreed on the wrong bytes. A
falsification that broke that path showed it. The sections now have the layout
of SCTE 35-1 §9.6, and a unit test reads §14.2's splice_insert() and §14.1's
time_signal() samples: 0x4800008F, and the break id's hash.

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

b929c31aec

• View at this point in history

2026-10-29 17:35:12 -04:00

Transaction Science

wai: a control for each rule of channel-lineup §6.5 ...

The one lineup control moved a programme's start, which rule 4 refuses as well
as rule 3, so it did not show that rule 3 holds on its own. Four signed lineups
now each break one rule alone: another schedule root, a programme that begins
inside an entry, a programme of two assets, an asset no programme airs. The
second implementation drops each rule as a check of its own, and the corpus
catches each.

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

e5e31ec9ca

• View at this point in history

2026-10-29 17:31:14 -04:00

Transaction Science

wai-rs: channel_lineup, clippy's notes ...

Type names for the import's intermediate forms, the date fields of an instant
as one array, and a plain to_string. No change of behaviour.

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

cef9fba9c6

• View at this point in history

2026-10-29 17:28:59 -04:00

Transaction Science

wai: register wai.video.lineup, its magic WLU1, and the CI step ...

The record in the registry's table, with its wire identifiers (WLU1,
wai-channel-feed, urn:wai:guide:, wai-asset-id, wai-now-next) and the export
regenerated; SPEC §5's paragraph and the CHANGELOG entry. The lineup's magic
is WLU1: WCL1 is live-recording's link record, which the registry's test of
wire identifiers caught. The conformance workflow runs the module's tests,
tests/channel_lineup.rs, the corpus tool's verify and channel_lineup_verify.py,
and builds the feature alone; the catalogue workflow fires on the corpus,
which tests/cli_ops.rs reads. Studio's generated actions follow the catalogue.

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

01053b3874

• View at this point in history

2026-10-29 17:23:18 -04:00

Transaction Science

wai: channel_lineup_verify.py, the corpus's second implementation ...

Written from extensions/channel-lineup.md alone; shares no code with wai-rs.
It reimports every vector's feeds and requires its outcome (the refusal, or
the receipt, the lineup and the cues, signatures verified), recomputes every
verification's facts, mutates copies of the corpus and requires each to fail,
and drops each of its checks in turn and requires the corpus to catch it. The
corpus gains three controls that only such a weakened verifier showed were
missing: the count bound, a boundary off a whole second, and two breaks that
overlap; and an edit form that repeats its text.

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

0842b4eb92

• View at this point in history

2026-10-29 17:19:36 -04:00

Transaction Science

wai: the operations channel.import, channel.guide and channel.verify ...

In the catalogue (and its export), with the agent rules: --json, --dry-run on
the two that write, --yes before a file is replaced, and a refusal's reason as
the error's code with exit 1. quickstart, the shipped wai's build, holds
channel_lineup. tests/cli_ops.rs gains the two writes' dry-run samples.

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

b3ca7cf4d6

• View at this point in history

2026-10-29 17:12:37 -04:00

Transaction Science

wai-rs: channel_lineup, the import, the lineup and the guide, with its corpus ...

The feature channel_lineup (video_channel, stitched_presentation; no new
dependency): the import of §4, the lineup record WCL1, the receipt's JSON
carriage, the XMLTV and now/next guides and the verification of §8. The corpus
live-conformance/channels/ is written from fixed seeds by
wai_channel_lineup_vectors; tests/channel_lineup.rs requires it byte for byte,
every vector's outcome, §10's table, and the worked example of §9 run as the
text writes it. ChannelReceipt's signing payload becomes visible to the crate;
its bytes do not change.

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

845d98976c

• View at this point in history

2026-10-29 17:12:37 -04:00

Transaction Science

wai: channel lineup and guide, the text (extensions/channel-lineup.md) ...

The import of a linear channel's feeds (XMLTV, Media RSS, a JSON form, a Media
Playlist's SCTE-35 date ranges) into a wai.video.channel receipt and a signed
lineup (WCL1); the receipt's JSON carriage, its signed bytes unchanged; the
guide, XMLTV or now/next, rendered from both and verified by recomputation;
the operations channel.import, channel.guide and channel.verify; the reasons.

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

67dfefb689

• View at this point in history

2026-10-29 17:12:37 -04:00