Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science d1b4bd0c01 joule-contrib: the SRT link tests again require every recovered packet taken before its delivery time; a recovery is pinned to when its gap was found, and a held packet keeps its margin at the link's end ... The loss test's last assertion had become `margin_min <= window`, which the receiver's clamp and the verifier's rule already guarantee: the end-to-end test checked no timing at all. It again asserts `margin_min > 0`, the only check across the real link (the sender's NAK handling, the connection's loop, the proxy) that every recovered packet was taken before its own delivery time. The ordering defect fixed in 066d82edf delivered a retransmission taken after its drop point as recovered with a margin of 0, with nothing dropped and every payload in order: exactly CI's failure at the old line 148. That failure fits the defect, a busy runner's lag, or both (with the starved timer fixed in 76264fae6 lengthening the first window's recoveries); the part was not printed, so it cannot be told which, and the earlier commit's "the bound measured the host, not the protocol" says more than the evidence does. The window stays a second, which absorbs the receiving task's lag seen under load. The recovery time stays unbounded there: it counts from when the gap was found, not from the packet's timestamp (live-contribution §6.3). What pins where a recovery counts from is now the receivers' unit tests: they find each gap at 20 ms rather than at the clock's origin, so a recovery counted from 0, or from the last tick, fails them. The loss test also asserts what does not depend on the host: every recovered packet came back as a retransmission (the proxy neither delays nor reorders), and every NAK names a sequence number. The caller that receives takes its time base from the listener's CONCLUSION reply, wiring no unit test reaches. Its lossy test now checks its window, its account (nothing dropped, a margin above 0), and a new test holds one packet for the caller's window as the listener's test does. A recovered packet still held when a link ends, SRT or RIST, was recorded with a margin of 0, which reads as one taken after its delivery time; it now keeps the time it arrived before that. A unit test for each. A receiver unit test feeds ACKACKs through the connection's loop on a clock of its own and pins the periodic NAK after the RTT is measured: every (RTT + 4 x RTTVar) / 2, 30 ms at a 60 ms round trip, and the 20 ms floor at 1 ms, until the drop point. The comment on the timer test now says the periodic NAK counts from the link's start; the NAK sent at once does not restart it. live-contribution: §5.3 and §6.8 said a recovered packet arrives on time, which under §6.1 does not hold for SRT: one taken after its own delivery time, before the first packet after it that has arrived is due, is delivered late, counted recovered with a margin of 0, and the record does not count how many. They now say so, and §6.8 that the record does not say when a packet delivered at the first try was taken. §4.1 and §6.1 name the drop point as the delivery time of the first packet after it that has arrived, since the next one can itself be missing. The CHANGELOG entry says the same. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-04 08:13:40 -05:00
..
gltf	splat-exact: the extension text, the draft schema, and corpus cases that separate every check	2026-10-22 03:22:48 -04:00
access-services.md	wai.access.services: registry entry and export, SPEC §5, CHANGELOG, CI step, corpus README; timed-text's scope points to it	2026-10-21 12:27:36 -04:00
ad-presentation.md	wai ad-presentation: name RFC 9578's vector by its place, not a count	2026-10-21 12:28:47 -04:00
age-assurance.md	age × co: the room's own service is not held to the serving rule	2026-10-22 07:08:25 -04:00
ai-usage.md	ai-usage §4.1: a manifest that does not read holds no statement that can be read	2026-10-21 05:43:49 -04:00
avatars.md	avatar-face corpus: the mask's table pinned by its digest and entries	2026-10-22 12:35:35 -04:00
bearer-receipts.md	wai: the carousel schedule — when each object passes on a bearer with no return path, and when a receiver holds it	2026-11-04 05:20:31 -05:00
browser-sink.md	Merge #463 (wai/energy-honesty @13964c94, replayed): EN-C, the energy order of dispatch, a self-metered relay, HwShunt closed to new profiles	2026-10-26 08:32:50 -04:00
capability-constraints.md	wai: the refresh rate a page measures, stated exactly; wording	2026-10-22 13:53:23 -04:00
capture-binding.md	wai: live provenance, derived manifest identifiers, dynamic packaging and repository receipts	2026-10-21 04:49:42 -04:00
carousel.md	carousel §11: the patents disclosed on RaptorQ and Raptor, and no-code as the default	2026-11-04 05:20:31 -05:00
channel-lineup.md	wai: channel-lineup, spans written in words	2026-10-29 19:58:39 -04:00
co-performance.md	wai: a room across relays (live-rooms §10.7, jwp-receipts §4.1, live-metering §3.10, co-performance §8, live-recording §8.3); the relay's README, example and changelogs	2026-10-25 22:50:40 -04:00
co-watch.md	joule-moq-web: a co-watch page taken for gone again at once enters again, and keeps its controls' order	2026-11-04 08:13:11 -05:00
confidentiality.md	Merge #493 (wai/messaging-calls @01f3aac1): wai.live.message and wai.live.call, conversations and calls on live rooms	2026-10-26 12:23:34 -04:00
conformance-results.md	conform-result-conformance: each summary count wrong alone, its other counts right	2026-10-27 11:17:06 -04:00
contribution.md	wai: influence attribution — conditioning, shares, attribution lines and reports (spec text, reference module and corpus, in progress)	2026-10-21 19:52:19 -04:00
cue-injection.md	wai: live-ingest §12, Enhanced RTMP v2 implemented; ertmp_verify.py	2026-10-25 22:51:05 -04:00
delivery-telemetry.md	Merge #446 (wai/registrations-b3r @da3c09c5): JPEG XS, MV-HEVC, the projection descriptor, IEEE 1857.11, format probes, CMSD read, LOC carriage	2026-10-26 08:23:51 -04:00
derived-tracks.md	deriving edge: second implementation, CI step, registry, SPEC §5 and CHANGELOG	2026-10-21 04:38:26 -04:00
deriving-edge.md	deriving edge: cite C2PA 2.4 (§A.3.2, §18.15 actions); edge-conformance in the decoded-output exclusion list	2026-10-21 05:11:25 -04:00
determinism-tiers.md	Merge #467 (wai/int-decode-fast @986edfea): PERF1, int_hyper's integer decode on NEON, AVX2 and AVX-512 narrow kernels	2026-10-26 08:25:38 -04:00
direction.md	direction.md: the exploration record's pictures as layers and references	2026-10-21 16:12:23 -04:00
energy-binding.md	wai: jwp-receipts — chains per (key, track), inclusion-verified, the stage and delivery-gap classes	2026-10-06 06:01:26 -04:00
energy-measurement.md	Merge #463 (wai/energy-honesty @13964c94, replayed): EN-C, the energy order of dispatch, a self-metered relay, HwShunt closed to new profiles	2026-10-26 08:32:50 -04:00
energy-steering.md	wai: say what fewer bytes do not save, and the changelog	2026-10-26 08:31:00 -04:00
exact-tonemap.md	wai upscale and wai tonemap: an exact derivation from the command line, with its record and its check	2026-11-02 08:43:49 -05:00
exact-upscale.md	wai upscale and wai tonemap: an exact derivation from the command line, with its record and its check	2026-11-02 08:43:49 -05:00
exploration.md	exploration: no consent requirement for a service's own mechanics; a lawful basis is a lawful-basis claim's	2026-10-21 14:42:30 -04:00
fleet.md	The fleet's operations in the catalogue, and one confirmation flag, --yes	2026-10-28 05:32:21 -04:00
forensic-watermark.md	forensic-watermark: a session is one grant's under one token, and an edge binds a token to its grant	2026-10-20 08:44:50 -04:00
format-probes.md	format-probes: cite moq-streaming-format §6 for WAI defining no transport	2026-10-22 10:43:34 -04:00
graphics-vector.md	graphics-vector 5.4: the worked example states each block's string and writing mode	2026-10-13 02:46:34 -04:00
haptics.md	wai: reader limits for the extension formats' durations	2026-10-14 11:07:16 -04:00
holdings.md	wai: holdings — which objects of which groups a node holds now, for its neighbours	2026-11-04 05:20:31 -05:00
http-delivery.md	wai: the carousel schedule — when each object passes on a bearer with no return path, and when a receiver holds it	2026-11-04 05:20:31 -05:00
influence.md	wai: influence — the report's checks in the order they run, and a reference with no terms checked against nothing	2026-10-21 20:15:44 -04:00
integer-operators.md	wai-ops-npu: the package energy counter is an OnChipCounter, not HwShunt	2026-10-22 12:32:14 -04:00
integer-payloads.md	integer-payloads §15: the int_motion receipts, and the encode receipt	2026-10-29 19:53:53 -04:00
interactive-worlds.md	Merge #482 (wai/world-on-moq @6745bf6c): wai.live.world, a shared world in a live room	2026-10-26 08:44:09 -04:00
jwp-receipts.md	wai: the carousel schedule — when each object passes on a bearer with no return path, and when a receiver holds it	2026-11-04 05:20:31 -05:00
key-release.md	wai: register key release, its CI steps, SPEC §5 and the changelog	2026-10-25 21:45:41 -04:00
linear-film.md	wai: reader limits for the extension formats' durations	2026-10-14 11:07:16 -04:00
live-ads.md	wai: the ad-presentation extension, its corpus README and an independent verifier	2026-10-21 12:18:44 -04:00
live-compose.md	wai: stitched presentation — player-signed claims of stitched and interstitial ads, the signed pod-input record, ad frames in live-compose	2026-10-25 21:34:50 -04:00
live-contribution.md	joule-contrib: the SRT link tests again require every recovered packet taken before its delivery time; a recovery is pinned to when its gap was found, and a held packet keeps its margin at the link's end	2026-11-04 08:13:40 -05:00
live-events.md	live rooms: AI participants are marked in their grant, and chat and reactions state their origin	2026-10-21 05:17:43 -04:00
live-ingest.md	Merge #483 (wai/ingest-srt-rist @b54dc94c): SRT and RIST contribution ingest, with a signed link record	2026-10-26 08:41:50 -04:00
live-messaging.md	live messaging: regenerate the corpus, a removed member's held-back message	2026-10-26 11:38:21 -04:00
live-metering.md	receipt-ledger: bill what the work spends; live-metering: a receipt of version 2 prices bytes out	2026-10-31 10:34:57 -04:00
live-moderation.md	wai: register wai.media.takedown — registry, wire identifiers, SPEC §5, CHANGELOG, the CI step, the corpus index	2026-10-21 19:46:20 -04:00
live-provenance.md	wai: live provenance §10.3 names the deriving edge's ingredient rule for a packager that derives	2026-10-21 05:08:30 -04:00
live-recording.md	live-recording: a record with the link record's magic, WLK1, is not a clip record	2026-11-04 05:19:53 -05:00
live-rooms.md	Merge #482 (wai/world-on-moq @6745bf6c): wai.live.world, a shared world in a live room	2026-10-26 08:44:09 -04:00
live-worlds.md	private world: a page follows the actors' tracks before it publishes its own (#482)	2026-10-26 18:43:13 -04:00
loc-carriage.md	LOC carriage: WAI envelopes on LOC objects, a writer and reader in joule-moq, the corpus live-conformance/loc	2026-10-22 10:43:34 -04:00
media-identify.md	wai identify: what any file is, from its bytes alone	2026-11-04 05:20:15 -05:00
moq-streaming-format.md	LOC carriage: WAI envelopes on LOC objects, a writer and reader in joule-moq, the corpus live-conformance/loc	2026-10-22 10:43:34 -04:00
native-sink.md	native-sink: an unfocused window that is shown is shown; loopback alone for cleartext	2026-10-26 08:59:14 -04:00
oer-receipts.md	route-record: version 2 prices per operation, ranks by measured failure, binds a hop to its output	2026-10-31 02:37:33 -04:00
opportunity-report.md	receipt-ledger §5.2: one registry of record kinds; the job kinds are 14 to 16	2026-10-30 00:51:06 -04:00
opus-dred.md	wai: register wai.audio.opus.dred and .dred.int; extension opus-dred, corpus, second implementation, CI	2026-10-22 04:34:29 -04:00
packaging.md	Merge #484 (wai/encode-avc-hevc @b41b566b): wai.video.encode, AVC and HEVC through the encoders a device already has	2026-10-26 08:44:59 -04:00
platform-decode.md	platform-decode: keep the query, move the order into browser-sink's routing, drop the budget	2026-10-26 08:31:14 -04:00
platform-encode.md	wai platform-encode: the source's frame rate as its header writes it, and corpus cases for a trailing access unit, a second SPS, the source's rate and range, and a misnamed object	2026-10-26 03:17:04 -04:00
pq-signatures.md	pq-signatures: §1 names the keys a hybrid entry lists	2026-10-22 05:07:44 -04:00
prior-carriage.md	wai: prior-forms corpus — README, independent Python verifier, and the NNC subset measured against an open implementation	2026-10-22 07:27:56 -04:00
projection.md	CI: the header probes, CMSD reading and LOC carriage; the changelog	2026-10-22 10:46:24 -04:00
provenance.md	wai: the reference meters seal what their reader is — ModelBased from a reported power, never OnChipCounter	2026-10-26 08:31:35 -04:00
quantum-answers.md	wai-quantum: the answer layer's measured cost and a model's results in its spec, the docs in step, and the changelog	2026-10-28 08:42:54 -04:00
quantum-ops.md	wai: int_synth's weights are quantised after float training, and two engine paths moved	2026-10-09 11:55:53 -04:00
quantum-providers.md	wai-quantum-qpu and wai-quantum-cli: a job on a provider outlives what sent it	2026-11-02 22:18:51 -05:00
quantum-sim.md	wai: the reference meters seal what their reader is — ModelBased from a reported power, never OnChipCounter	2026-10-26 08:31:35 -04:00
receipt-ledger.md	receipt-ledger: tariff version 6 prices an endpoint and a third party's usage, and bills an upscale and a tone mapping by what re-derives them	2026-11-02 22:40:02 -05:00
reconstruction-binding.md	wai: state what each determinism tier guarantees, and make replicate mean it	2026-09-28 18:25:52 -04:00
remote-desktop.md	joule-moq-room: a record bound per principal, which cuts and removes the principal that reaches it	2026-10-26 11:22:50 -04:00
revenue-share.md	receipt-ledger §5.2: one registry of record kinds; the job kinds are 14 to 16	2026-10-30 00:51:06 -04:00
robustness-evidence.md	wai.media.robustness: robustness records anyone recomputes bit for bit, and claims held to them	2026-10-22 03:40:50 -04:00
route-record.md	receipt-ledger: tariff version 6 prices an endpoint and a third party's usage, and bills an upscale and a tone mapping by what re-derives them	2026-11-02 22:40:02 -05:00
scene-carriage.md	wai: scene-carriage text, corpus README and independent Python verifier	2026-10-22 07:51:03 -04:00
score.md	wai: reader limits for the extension formats' durations	2026-10-14 11:07:16 -04:00
settlement.md	wai: stream audit, wai.delivery.audit (spec, reference, corpus)	2026-10-25 21:26:40 -04:00
sink-energy.md	sink-energy §5: a segment receipt is the sink-decode hop's figure for its segment	2026-10-24 20:33:37 -04:00
spatial-audio.md	wai: reader limits for the extension formats' durations	2026-10-14 11:07:16 -04:00
splat-exact.md	splat-exact §1: the base text fixes the order and the kernel, and leaves the arithmetic to the renderer	2026-10-22 03:36:18 -04:00
staged-delivery.md	WIV1 and WIR1 gate 6 (WIP, committed before running): the switch, and its text	2026-10-17 11:35:49 -04:00
staged-measurement.md	wai: a refinement's own delivery timeout in the staged delivery simulator	2026-10-08 14:21:27 -04:00
state-feeds.md	SPEC §7 Signatures: the one Ed25519 rule, cited by the receipt extensions	2026-10-07 14:39:04 -04:00
stitched-presentation.md	wai: stitched-presentation §7.2 step 5 states its refusal plainly	2026-10-25 21:56:23 -04:00
stream-audit.md	wai: an unnamed acknowledgement refused, the collector's port, the stitched form	2026-10-25 22:05:49 -04:00
stream-termination.md	wai: the refresh rate a page measures, stated exactly; wording	2026-10-22 13:53:23 -04:00
synthesis.md	Merge PQ1 #435 (hybrid Ed25519 + ML-DSA-65 signatures) into train/wai-c	2026-10-22 10:35:14 -04:00
takedown.md	train: a takedown claim over a sink's samples adds nothing to the closure	2026-10-22 04:44:39 -04:00
task-fidelity.md	wai: state what each determinism tier guarantees, and make replicate mean it	2026-09-28 18:25:52 -04:00
telemetry-aggregation.md	telemetry-aggregation: a configuration that does not read is task_invalid; plainer §3.2	2026-10-22 03:25:30 -04:00
ternary-tt.md	wai: the reference meters seal what their reader is — ModelBased from a reported power, never OnChipCounter	2026-10-26 08:31:35 -04:00
timed-text.md	wai.access.services: registry entry and export, SPEC §5, CHANGELOG, CI step, corpus README; timed-text's scope points to it	2026-10-21 12:27:36 -04:00
transparency.md	wai: key discovery, signing authority and module revocation	2026-10-01 07:12:20 -04:00
unidirectional-delivery.md	wai: bearer-receipts — one receipt on every bearer; transmission and reconciliation claim classes (spec text)	2026-10-21 12:34:28 -04:00
volumetric.md	wai: reader limits for the extension formats' durations	2026-10-14 11:07:16 -04:00