Transaction Science
3bbac2e2b1
train: a takedown claim over a sink's samples adds nothing to the closure
...
C3's synthesis subject `samples` (a picture a party presents and does not
publish) met takedown's exhaustive match once both slices were in one tree
(E0004). Such samples are no item a holder serves or keeps for others, so a
closure claim whose subject they are adds no subject and needs no purge:
takedown §4.2 rule 3, the reference and its second implementation say so, and
the corpus's shared world gains such a claim, so every case exercises it.
Co-Authored-By: Claude Opus 5.5 <[email protected] >
2026-10-22 04:44:39 -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_serving: groups after the claim's object are sent once the relay holds it (each group is read by a task of its own); the corpus paragraph of §12 states each scope case's reason
2026-10-21 19:46:46 -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
SPEC §7 Signatures: the one Ed25519 rule, cited by the receipt extensions
2026-10-07 14:39:04 -04:00
bearer-receipts.md
bearer-receipts §12: no consent rule of its own; a lawful basis is the distributor's
2026-10-21 13:27:46 -04:00
browser-sink.md
browser-sink §13: state what a report reveals, with no consent rule
2026-10-21 19:02:56 -04:00
capability-constraints.md
wai: the browser sink — routing, constraint sets in the page, energy beside powerEfficient, and the content binding a decoded frame carries
2026-10-21 14:48:03 -04:00
capture-binding.md
wai: live provenance, derived manifest identifiers, dynamic packaging and repository receipts
2026-10-21 04:49:42 -04:00
co-performance.md
co-performance: the commitment's magic is WPK1, not WPC1 (taken by ad-presentation)
2026-10-22 04:11:30 -04:00
confidentiality.md
confidentiality §15: a member in a browser, and a room service as the carrier of a room's MLS messages; READMEs, CHANGELOGs, CI
2026-10-20 08:47:05 -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
delivery-telemetry.md
wai: the reconstruct-session claim class, its authorities and its figure profile (text)
2026-10-06 08:55:52 -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
wai: exact upscale — GPU equality test, CI steps, integer-operators §13.7, determinism-tiers, CHANGELOG
2026-10-21 14:49:03 -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
deriving edge: second implementation, CI step, registry, SPEC §5 and CHANGELOG
2026-10-21 04:38:26 -04:00
energy-steering.md
wai: steering's RFC 9651 parsers refuse a byte sequence that is not base64
2026-10-18 20:41:05 -04:00
exact-upscale.md
Merge origin/main into wai/exact-upscale (wai-mark:tent64, contribution, settlement, access, ad presentation, exploration, shared lists)
2026-10-22 03:02:57 -04: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
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
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
http-delivery.md
wai: bearer receipts corpus, second implementation, HTTP index step 6, registry, SPEC §5, CHANGELOG, CI step
2026-10-21 12:56:01 -04: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: exact upscale — GPU equality test, CI steps, integer-operators §13.7, determinism-tiers, CHANGELOG
2026-10-21 14:49:03 -04:00
integer-payloads.md
WIV1 and WIR1 gate 6 (WIP, committed before running): the switch, and its text
2026-10-17 11:35:49 -04:00
interactive-worlds.md
SPEC §7 Signatures: the one Ed25519 rule, cited by the receipt extensions
2026-10-07 14:39:04 -04:00
jwp-receipts.md
Merge origin/main into wai/bearers (settlement, contribution, shared lists)
2026-10-21 19:24:46 -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: live-compose §5.8 says every grant exchange changes the set; the header rewrapped
2026-10-17 09:47:47 -04: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
live-ingest: the proof of possession at admission (§3.1, §3.2 step 7, §3.4), the _receipts names, its bounds and reasons
2026-10-18 19:17:04 -04:00
live-metering.md
live-metering §3.1: the version 2 sentence cites live-recording §8 in prose
2026-10-20 04:06:13 -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
age assurance: the minors' profile over grants, live-recording refuses a room never recorded, the relay keeps no DVR window of a minors' room, the second implementation, registry and CI
2026-10-21 15:29:49 -04:00
live-rooms.md
age assurance: one scope per room (live-rooms §10.4) refused by name otherwise, window redemption contexts, admission by the room's service over HTTP, ratings over MOQT
2026-10-21 16:15:15 -04:00
moq-streaming-format.md
Merge origin/main into joule-moq/multi-draft
2026-10-21 19:04:02 -04:00
oer-receipts.md
wai: typed receipt classes and the soft binding class, reading OER through the OER module
2026-09-30 01:42:45 -04:00
packaging.md
wai-pack live keeps no record per file: listing lines on disk, open objects only
2026-10-09 15:28:03 -04:00
prior-carriage.md
wai generate.spectral: the model is the parameter set, so the envelope carries no pin; inspect and unwrap report the payload
2026-10-09 17:08:26 -04:00
provenance.md
wai-web reach: the provenance vector's signer id is a label
2026-10-10 04:27:29 -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-sim.md
Merge wai/reach-builds (with #197 and main) into wai/d1-record-true
2026-10-10 17:35:03 -04:00
reconstruction-binding.md
wai: state what each determinism tier guarantees, and make replicate mean it
2026-09-28 18:25:52 -04:00
score.md
wai: reader limits for the extension formats' durations
2026-10-14 11:07:16 -04:00
settlement.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
spatial-audio.md
wai: reader limits for the extension formats' durations
2026-10-14 11:07:16 -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
synthesis.md
Merge origin/main into wai/exact-upscale (wai-mark:tent64, contribution, settlement, access, ad presentation, exploration, shared lists)
2026-10-22 03:02:57 -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
ternary-tt.md
wai: int_synth's weights are quantised after float training, and two engine paths moved
2026-10-09 11:55:53 -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