feat(moq-net,js/net): moq-lite-06-wip announce ids (typed START/END/RESTART, opt-in)

[kixelated]

Summary

Reworks broadcast announcements for moq-lite-06 so retracting or restarting an announcement no longer repeats the broadcast path.

The announce stream now carries three independently-typed messages, mirroring the subscribe stream's SUBSCRIBE_START/END/DROP: each is framed as an outer Type discriminator before the length prefix, so messages are length-delimited and skippable.

• ANNOUNCE_START (0x0): a broadcast is available; carries the path suffix + hop chain, and implicitly assigns the next per-stream Announce ID (a 0-based ordinal, derived from message order, zero bytes on the wire).
• ANNOUNCE_END (0x1): a broadcast is gone; carries only the Announce ID (~3 bytes total instead of path + hops), and retires it.
• ANNOUNCE_RESTART (0x2): atomically replace an advertisement; carries the Announce ID + the new hop list; the id stays live. This replaces the lite-05 duplicate-active idiom. A second ANNOUNCE_START for an already-available path is now a protocol violation.

Referencing an unknown or retired id is a protocol violation; ids are never reused within a stream. Announcements filtered by loop detection or exclude_hop never get an id, so their retraction sends nothing (previously a dangling ended was sent for a path the peer never saw).

Pre-06 versions keep their frozen single-ANNOUNCE_BROADCAST framing (inner status byte); all forms are version-gated at encode/decode.

Opt-in gating (not advertised by default)

lite-06's wire format is work-in-progress, so it is never advertised or negotiated by default. The ALPN is moq-lite-06-wip (wire code 0xff0dad06), but it is deliberately absent from moq_net::ALPNS, Versions::all(), and the JS default protocols list. A peer only reaches it when both sides explicitly opt in (e.g. --version moq-lite-06-wip / client_config.version = ["moq-lite-06-wip"]), which is enough to exercise it in tests. The version stays fully defined (code / ALPN / FromStr mappings), so an opt-in set negotiates normally. Finalizing is then a rename of the internal Lite06Wip marker and dropping the -wip from the ALPN.

The moq-native raw-QUIC accept path (noq/quinn/quiche) previously recognized ALPNs against the global moq_net::ALPNS const, which would reject an opt-in ALPN that isn't in the default set. It now recognizes the server's own configured ALPNs (rustls only negotiates an ALPN the server offered).

Cross-package sync

• rs/moq-net: wire format (AnnounceBroadcast now impls Encode/Decode directly, like SubscribeResponse), publisher/subscriber id bookkeeping, Version::Lite06Wip plumbing (client/server ALPN arms, Handshake::Lite05 generalized to LiteSetup), and the opt-in exclusion from ALPNS/all().
• rs/moq-native: raw-QUIC accept ALPN recognition keyed off the server's configured versions (noq/quinn/quiche).
• js/net: mirrored (Version.DRAFT_06, ALPN_06_WIP, union-shaped AnnounceBroadcast with encode/decodeAnnounceBroadcast writing the outer type + length like encodeSubscribeResponse), and excluded from the default protocols list.
• drafts/: draft-lcurley-moq-lite.md updated in-repo — the single ## ANNOUNCE_BROADCAST section is replaced by ## ANNOUNCE_START / ## ANNOUNCE_END / ## ANNOUNCE_RESTART, plus the Announce-stream prose, cross-references, and changelog.
• doc/concept: no change needed; it documents the announced(prefix) API surface, which is unchanged.

Public API changes

• rs/moq-net: lite::Version gains Lite06Wip; lite::Version::has_announce_id() added; lite::AnnounceBroadcast gains EndedId { id } and Restart { id, hops } variants and switches from Message to a direct Encode/Decode impl (breaking for exhaustive matches, hence dev).
• js/net: AnnounceBroadcast is a discriminated union (active/ended/endedId/restart) with encodeAnnounceBroadcast / decodeAnnounceBroadcast[Maybe] functions (breaking); Version.DRAFT_06, ALPN_06_WIP, hasAnnounceId added.

Testing

• Wire round-trip + cross-version rejection unit tests in both languages (including the 3-byte ANNOUNCE_END size check).
• End-to-end lifecycle tests (initial set, live announce, unannounce, re-announce, restart) in rs/moq-native/tests/broadcast.rs and js/net/src/integration.test.ts, both sides pinned to moq-lite-06-wip.
• Default-negotiation regression guards (NEWEST_LITE, smoke) stay on lite-05, confirming lite-06 is not picked by default.
• just check passes.

🤖 Generated with Claude Code

[sourcery-ai]

Sorry @kixelated, you have reached your weekly rate limit of 500000 diff characters.

Please try again later or upgrade to continue using Sourcery