# live-conformance/share — the revenue share

The corpus of [`extensions/revenue-share.md`](../../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/`](../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.