open-standards/wai/live-conformance/share

live-conformance/share — the revenue share

The corpus of extensions/revenue-share.md §12, in one file, vectors.json:

• sources: the ledger sources the invoices bill, by name, each a source document of receipt-ledger §5.1;
• ledgers: ledger documents (receipt-ledger §7.1), by name, each a tariff, an invoice, the previous invoice or null, and the names of its sources in order;
• runs: the channel's program-as-run windows, by name, each in its carriage (§4.1);
• contracts: share contracts, by name, each hexadecimal;
• vectors: verification documents (§8.1), each the name of its contract, the names of the other contracts, its statement (hexadecimal), the names of its runs (or null) and of its ledgers, with the outcome §8.3 gives it;
• keys: the operator's, the two owners', the channel signer's, the two buyers' and a stranger's public keys.

Share equivalence. For each vector, a conforming verifier given its parts, resolved by name, reaches the outcome the vector states:

• refuse: the reason and where, at: [] for the document, ["contract"], ["contract", "operator"] or ["contract", "owner", i], ["contracts", k] and the same places after it, ["statement"], ["run", k], ["ledger", k] or ["ledger", k, …] followed by the place the receipt ledger gives (receipt-ledger §7.2), and ["ledger", k, "source", j] for an impression of a ledger document's source;
• accept: the statement's digest, the contract's, the party and its role, the currency, start and end, the invoices and runs, each impression of the contract's carriers (its ledger document, source, records, class, price, instant at, run, entry, asset and split), each line (its split, class, impressions, revenue, ppm, amount, the records it cites, each [kind, identity], and the division: every party of its split with its ppm and part), and the total.

The channel, fast-7, airs two windows: the 16th's first five minutes (owner A's a/ep-101, an ad slot, owner B's b/doc-7) and the 25th's noon half hour (owner A's a/ep-102, an ad slot, owner B's b/doc-8). Its contract maps each owner's programmes to a split of its own (a third to A and two thirds to the operator; three fifths to B and two fifths to the operator) and names a between split of halves to the two owners, in which the operator holds no share. The accepted vectors:

• owner_a_october, owner_b_october, operator_october: October under the rule preceding, over two invoices of one chain. On the 16th, a break under a policy that does not require claims falls inside A's programme (three billable impressions) and a break under one that does falls inside B's (four presented); on the 25th, two stitched records' ads fall inside A's programme and the ad slot after it, a form-1 stream's ad inside B's, and three presentations of DASH events state no time and go to the between split. The three statements' parts of each split sum to its revenue; the between split's odd revenue gives its leftover millionth to the owner it lists first;
• owner_b_following, owner_a_between: the same month under the rules following and between;
• owner_a_nothing_billed: a statement of a period with no invoice, with no line.

Every other vector is refused, a control of one defect: each reason of §11, each code it reuses, and a ledger document the receipt ledger refuses, at its place.

Provenance. Generated here: wai_revenue_share_vectors gen writes vectors.json from fixed seeds (the operator, the owners, the channel signer, the buyers) and from sources taken unchanged from the ledger corpus ledger/ (ads_live_break, ads_presented, stitched_hls, stitched_form1, stitched_squeezeback, and the vector streams_stitched_by_others, a ledger document of another seller), whose tariffs give the ad deciders and stitchers its own tariffs bill. When the ledger corpus is regenerated, so is this one. Nothing here was fetched from outside the repository.

Regenerate and check:

cd wai/wai-rs
cargo run -q --no-default-features --features revenue_share --bin wai_revenue_share_vectors -- gen ../live-conformance/share
cargo run -q --no-default-features --features revenue_share --bin wai_revenue_share_vectors -- verify ../live-conformance/share
cargo test -q --no-default-features --features revenue_share --test revenue_share
python3 -I ../live-conformance/revenue_share_verify.py ../live-conformance/share

The second implementation, revenue_share_verify.py, shares no code with wai-rs. It verifies each ledger document with the ledger corpus's own second implementation, reads every contract, run, marker and statement itself, recomputes every attribution, line, division and citation, requires every mutated copy of the corpus to fail, and requires the corpus to catch it with each of its own checks dropped.