Transaction Science aa039bc140 wai: an egress that joins a room inside a group takes no run for it, and refuses none of its running receipts (D96) ...

live-http-egress §3.5 said an egress that joins inside a group takes no run for it, and not how a
reader holding only the records it was sent tells that from a group whose run skips an object.
wai-rs's egress had no rule: it refused the first receipt it read of a group it joined inside
running_skips_object. An events track's group is a minute of the room clock, and the gateway
joins it with a fill of its latest group, so in a room older than a minute every join refused a
receipt of the media group that began before that minute.

- §3.5, *Joining inside a group*: a track's first group read is the group of the first running
  receipt the reader read; a group whose run is empty was joined inside when a receipt of it
  states no object 0 and it is the first group read or one before it. That receipt and every
  later one of the group are ignored, none refused, and the group's objects wait for its
  receipts; past the first group read such a receipt skips an object. Decision D96 records the
  reading and the candidates refused (the events Location, every group a join, a run taken from
  the first position read, a run taken later from a fetch). §12 names the new traces.
- wai-rs live_egress:🏃:Join, which the egress applies; Egress::joined.
- Corpus http-egress: running-joined (video and sound joined inside group 3, the sound's at a
  compact receipt; the video's first two records fetched after, ignored) and
  running-joined-skips; faults joined-served-before-receipts (served_before_held) and
  joined-run-trusted (status_mismatch). Every earlier trace and case keeps its bytes and outcome.
- http_egress_verify.py applies the rule; three more weakened checks, each caught.
- The web players' core (core.test.mjs): a part of a group joined inside verifies by its receipt
  index, is refused with neither index nor run, and is refused beside a run taken from inside its
  group (running_location_mismatch); the next group's parts verify by their runs.

Planted and caught: the egress's join taken out, tests/live_egress.rs fails (running-joined and
running-joined-skips get running_skips_object refusals the corpus does not state); a client's
check that trusts a run taken from inside its group, core.test.mjs fails.

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

2026-11-12 14:28:53 -05:00

8.6 MiB

Raw Permalink Blame History

The file is too large to be shown.