Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 793ed1f2dc wai/one-way-delivery, converted to the layout of the fix: no shared append point ... The change of wai/one-way-delivery (f1258784d..987625394, 28 commits), on the fix branch: its changelog entries as files of wai/changes/, its wai-conformance.yml edits as step files, corpus files and test tags, and every other file as the branch has it. - 25240c4f0 wai: timeliness — when each object of a group is of use, and whether each holder held it in time - c84992362 wai: timeliness_verify.py — the timeliness corpus's second implementation - 44036fcdc wai: timeliness in the registry, SPEC §5, the changelog and CI; http_receipts.py checks its claims - 27ce6754c wai: claim_verify.py lists not-held-by-deadline, and the claim corpus holds a session that switches for it - 73d8d8eb9 wai: timeliness corpus — each holder's own line in key order, a holder's earliest fallback, and §7.2–§7.3's unreached plan rules - 64c735f0c wai: the files timeliness changes are clippy-clean — a let chain, and the fetch callback's type allowed - b72dc36bf wai: rung price — what delivering a rung costs, by bearer and direction, and which option a comparer takes - 4e905e213 wai: rung_price_verify.py — the rung price corpus's second implementation - 711fa6126 wai: rung price in the registry, SPEC §5, the changelog and CI - 8ab70654e wai: rung price corpus — a refusal for every form rule 1 and §6.1 set, and the neighbour order a plan gives - 1bc465959 wai: rung price ranks energy by checked evidence — a class counts only on the seller's own per-hop records, current and under a confirmed key - 9e97997d9 wai: rung_price — the evidence text bound at its exact sizes, and a key confirmed for another class confirming nothing - 8f1168683 wai: rung price corpus — a key confirmed for another class, the uncertainty product, each edge and order of the evidence verdict, and the evidence a plan read - 7330e26ff wai: rung price — §6.1 links jwp-receipts at its first mention, and §10 says a record's age is its room's word - 12c099457 wai: cache authority — who served what a node holds, and on whose authority - f8f5d3e09 wai: cache_authority_verify.py — the cache authority corpus's second implementation - 354146619 wai: cache authority in the registry, SPEC §5, the changelog and CI; its corpus holds what §12 states - 55c7f3031 wai: timeliness §6 reads holdings records alone; cache-authority §9 derives the lines that read every kind - b8fc6f02b wai: cache authority's lines read records as timeliness does, its deadline claim meets the envelopes held, and its corpus fixes each order and instant - 91c5291cf wai: the files cache authority changes are clippy-clean — a boxed envelope, the base's names named once, slices borrowed - 8e479daff wai: a held envelope boxes both its forms, so neither outweighs the other - 3ec8da807 wai: impression aggregates — ad presentations counted over a bearer with no return path - 0433a35c3 wai: impression_aggregate_verify.py — the impression aggregates corpus's second implementation - 7d8e150e4 wai: impression aggregates in the registry, SPEC §5, the changelog and CI; its corpus states each receipt whole and a control for every malformed file - d5e8ace02 wai: impression aggregates' size bounds are checked at their edge, and §4.3's decides no outcome - 4bc8e13bd wai: impression aggregates' table totals are exact, and a receipt given twice is checked when either occurrence was - 3c9f20524 wai: key_log's two result enums keep their public form, and say so to clippy - 987625394 wai: Item::with_authority and Count::instance_received build only with the feature that calls each Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-05 01:45:32 -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/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -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
cache-authority.md	wai/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05: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	wai/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -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	wai conform sink: the native sink through the conformance runner, and wai verify --conformant admits a result only for a run that passed	2026-11-04 12:29:01 -05: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	wai/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05: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	determinism-tiers §1 and §7.1: each published route described on its own	2026-11-04 12:29:02 -05: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/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05:00
http-delivery.md	wai/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05:00
impression-aggregates.md	wai/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -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/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -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	wai/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05:00
native-sink.md	wai conform sink: the native sink through the conformance runner, and wai verify --conformant admits a result only for a run that passed	2026-11-04 12:29:01 -05: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	jwp-receipts §2.4.12: one exact path for rules 13 and 14 and the stage hash, checked per object	2026-11-04 12:29:01 -05: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	neural: the binding check reads the descriptor, the C ABI reports the path, and CI runs the exact decoder	2026-11-04 12:29:01 -05: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
rung-price.md	wai/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -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/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05:00
sink-energy.md	sink-energy §4.6: what the third point's tool read, and what its paper leaves unstated	2026-11-04 12:28:47 -05: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	SPEC §3.1: pin by default; wai verify reports an unpinned envelope, and a decode's record names the set it read	2026-11-04 12:29:01 -05: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	wai/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05: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	wai/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05: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
timeliness.md	wai/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05: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