wai: the revenue share — share contract and statement, recomputable from the ledger's invoices and the channel's program-as-run (wai.delivery.revenue_share) #539

Merged

dcharlot merged 5 commits from wai/fast-revenue-share into main 2026-10-29 19:35:16 -04:00

Conversation 0 Commits 5 Files changed 25 +9923 -7

2026-10-29

Transaction Science

wai_video_channel: the receipt's JSON carriage is the one JSON form ...

ChannelReceipt::to_json and from_json are the JSON form any record or tool that carries a
channel receipt uses, so the channel family has one carriage, not one per extension.

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

879e94957a

• View at this point in history

2026-10-29 18:04:21 -04:00

Transaction Science

wai catalogue: the feature revenue_share, so its operations are available in a build that has it ...

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

5d0fc19cb1

• View at this point in history

2026-10-29 17:20:26 -04:00

Transaction Science

wai: the revenue share's operations, registry entry, SPEC paragraph and CI ...

contract.create (wai contract create), contract.update (wai contract accept),
statement.create (wai statement create) and statement.verify (wai statement
verify), under the agent rules, with --dry-run samples in tests/cli_ops.rs and
an end-to-end test in tests/revenue_share.rs. wai.delivery.revenue_share and its
magics WRC1 and WRS1 in the registry, with the export regenerated; the catalogue
export and Studio's generated actions regenerated; a SPEC §5 paragraph and a
CHANGELOG entry. CI: the conformance step (module tests, the corpus test and
revenue_share_verify.py), the feature in the feature lists, and cli_ops with
quickstart,revenue_share in the catalogue job.

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

7bdca09d9f

• View at this point in history

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

Transaction Science

wai: revenue_share_verify.py, the revenue share's second implementation ...

Written from extensions/revenue-share.md, sharing no code with wai-rs: reads
every contract, run, marker and statement itself, verifies each ledger document
with receipt_ledger_verify.py, recomputes every attribution, line, division and
citation, and requires every mutated copy of the corpus and every weakened
verifier to fail. The text states the aired test of a run exactly; the module's
complex types are named.

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

2108af0587

• View at this point in history

2026-10-29 17:08:53 -04:00

Transaction Science

wai: the revenue share (wai.delivery.revenue_share): share contract, statement, corpus ...

extensions/revenue-share.md: the share contract (WRC1) an operator and every
owner it names sign, mapping a channel's assets to splits of integer millionths
with a rule for breaks between programmes; the program-as-run's JSON carriage,
writing out the wai.video.channel receipt's signed bytes unchanged; impressions
from the receipt ledger's verified invoices, placed by their instants and
attributed to the programme on air; the statement (WRS1) of one party and one
period, divided by the largest-remainder rule and citing its records.

wai-rs: the revenue_share module (feature revenue_share), ChannelReceipt's JSON
carriage, the corpus generator and tests/revenue_share.rs with the worked
example. live-conformance/share/: the corpus, from fixed seeds and the ledger
corpus's sources.

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

c093d812ca

• View at this point in history

2026-10-29 17:00:45 -04:00