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
..
joule-code-cargo	joule-code: stand up the Joule Code standard (v0.1.0 draft)	2026-06-02 14:07:00 -04:00
joule-code-cascade	joule-code: add generic FnStage to the cascade (L1/L2/L3 binding)	2026-06-03 12:50:43 -04:00
joule-code-collab	sec: align the MLS dev-dependency stack, removing hpke-rs 0.2.0 and its four advisories	2026-10-24 19:55:59 -04:00
joule-code-conformance	joule-code-conformance: the header undersold the harness by a whole suite	2026-10-20 13:51:38 -04:00
joule-code-identity	joule-code-identity: a Roster — resolve did:key → {label, kind} for audit	2026-06-11 19:27:37 -04:00
joule-code-jcp	jcp: a ModelIn caveat says which model a grant authorizes, and the frame names the model it runs	2026-10-17 04:21:21 -04:00
joule-code-joulecontract	joule-code-joulecontract: an obligation nothing checked is not discharged	2026-10-17 16:08:58 -04:00
joule-code-receipt	specs: a vendor counter is a hardware reading only while it is demonstrably live	2026-10-01 01:10:36 -04:00
joule-code-release	joule-code-release: the whole chain end to end, as one runnable artifact	2026-06-11 00:32:56 -04:00
joule-code-remediate	joule-code-remediate: formal_fix prints each proof figure with its grade, not as "measured"	2026-10-14 20:01:38 -04:00
joule-code-review	family: the methodology layer, made auditable — spec, review, vericoding	2026-06-10 17:45:47 -04:00
joule-code-reviewer	tooling: meter-cmd (energy bracket) + gen-fixture (review fixtures)	2026-06-12 07:04:06 -04:00
joule-code-schema	joule-code: stand up the Joule Code standard (v0.1.0 draft)	2026-06-02 14:07:00 -04:00
joule-code-spec	family: the methodology layer, made auditable — spec, review, vericoding	2026-06-10 17:45:47 -04:00
joule-contrib	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
joule-moq	joule-moq-relay: an object is held once, and the socket keeps what arrives	2026-11-02 13:26:10 -05:00
joule-moq-ingest	live-contribution: the link record's magic is WLK1, no longer the clip record's WCL1	2026-11-04 05:19:53 -05:00
joule-moq-interop	The service binaries are wai-relay, wai-room and wai-ingest; the crates keep their names	2026-10-27 04:52:31 -04:00
joule-moq-mls	joule-moq-mls: a conversation's commit rule, any member the commit does not remove	2026-10-26 10:48:48 -04:00
joule-moq-relay	joule-moq-relay: the cascade tests count what the edge gave, not only what was read	2026-11-03 19:10:52 -05:00
joule-moq-remote	joule-moq-relay: a fan-out holds up no other track, and each core has its own socket	2026-11-02 19:05:27 -05:00
joule-moq-room	joule-moq-room: a watch viewer taken for gone has its pending leave signed before its next join	2026-11-04 08:13:11 -05:00
joule-moq-web	joule-moq-web e2e: a cowatch control moves from its signed instant only when its page entered again	2026-11-04 08:13:11 -05:00
jwp	sec: zstd 0.14.3 for RUSTSEC-2026-0391, -0398, -0403 and -0410	2026-10-26 11:36:49 -04:00
lockstep-quic	lockstep-quic: correct the root cause — macOS launch context, not a quinn bug	2026-06-27 07:12:43 -04:00