wai/ietf: draft-charlot-moq-wai-packaging-00 (review only, not submitted) + wai_priors #383

Merged

dcharlot merged 6 commits from wai/ietf-draft into main 2026-10-21 14:13:11 -04:00

Conversation 0 Commits 6 Files changed 13 +5684 -10

2026-10-21

Transaction Science

Merge origin/main into wai/ietf-draft (synthesis, AI usage) ...

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

c316f0dca6

• View at this point in history

2026-10-21 11:21:27 -04:00

Transaction Science

Merge origin/main into wai/ietf-draft ...

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

6b6625baa7

• View at this point in history

2026-10-21 10:19:35 -04:00

Transaction Science

wai/ietf: draft-charlot-moq-wai-packaging-00 and a comment on NMSF ...

The Internet-Draft (xml2rfc v3 source and its text rendering) for WAI as
an MSF packaging: the "wai" and "wai-receipts" packaging values; the
envelope, dispatch with fallback, the parameter-set pin by SHA-256 and the
determinism tiers; catalog fields wai_capabilities, wai_determinism,
wai_priors, the receipts fields and wai_staged; the receipts track (WJR1),
its verification and the WAI_RECEIPT object property; the codecs
parameter; security and IANA considerations (WAI_RECEIPT requested from
the Specification Required range, 0x3A41 meanwhile; no action for the
packaging values; application/wai registered). 36 pages; idnits 3.3.0
reports only the three normative references to Internet-Drafts.

Not submitted, and the NMSF comment is not sent: both are the owner's
decision. Author email is a placeholder until the owner confirms it.

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

0e56b96963

• View at this point in history

2026-10-21 05:19:38 -04:00

Transaction Science

jwp-receipts §3 step 3: state the link hash's domain separator ...

The text said "the resulting hash" without saying which. Both reference
verifiers (wai-rs jwp_delivery, joule-moq receipt) and jwp_verify.py
compute BLAKE3("moq-jwp:receipt-link\x01" || canonical_bytes(G)); the
text now says so, and §2.4.1's parent_receipt_hash row points to it.
No byte changes.

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

996873efc3

• View at this point in history

2026-10-21 05:09:19 -04:00

Transaction Science

staged-conformance/moq/priors.json and the registry export for wai_priors ...

Generated by `wai_staged_vectors gen` and `wai registry export` on the
build host. 30 cases: members that read, each way an object breaks the
catalog (capability, digest, form either way, unpinned, fallback, empty
list, a second object), and each way the member does not read. Checked
by `wai_staged_vectors verify` and by `staged_verify.py`.

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

24d6183a26

• View at this point in history

2026-10-21 05:09:19 -04:00

Transaction Science

moq-streaming-format §4.2: wai_priors, pinned parameter sets in the catalog ...

A track of packaging `wai` may list, in its MSF catalog entry, the pins its
objects carry (capability, sha256, form, advisory tier), so a sink can tell
before it subscribes whether it holds the parameter sets the track needs.
The catalog never stands in for the envelope: an object whose pin the
member does not list, or lists differently, is refused with the track
(`catalog_prior_mismatch`); a member that does not read refuses the track
(`catalog_priors_malformed`). A listed tier is advisory.

§5 now states the WAI_RECEIPT property's value layout and its interim
type 0x3A41 from MOQT's application range, as joule-moq writes it.

- wai-rs staged::moq: CatalogPriors::read / check / check_manifest,
  PriorsRefusal, with unit tests for each malformation and each mismatch.
- wai_staged_vectors: moq/priors.json (generated; verify re-checks it).
- staged_verify.py: an independent reading and check of §4.2.
- codecs::registry: the `wai_priors` wire member.

The corpus file and the registry export are regenerated in the next commit.

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

cc5b5afddd

• View at this point in history

2026-10-21 05:06:38 -04:00