Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 15 Packages Wiki Activity Actions 49
open-standards/wai/wai-rs/src
History
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
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 wai.access.services: caption quality from the signed revisions, audio description, sign language and a completeness claim 2026-10-21 12:13:31 -04:00
age_assurance 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
ai_usage wai.ai.usage: let-chains, a boxed claim in a refusal, and type aliases, for a clippy-clean module 2026-10-21 05:32:24 -04:00
audio_scene wai: reader limits for the extension formats' durations 2026-10-14 11:07:16 -04:00
bearer_receipts bearer_receipts corpus: name the declared line's type 2026-10-21 13:11:54 -04:00
bin Merge train/live-room (#409 #419 #410 #424 #420 #413 #401) into the train 2026-10-22 04:31:22 -04:00
browser_sink browser sink: clippy's notes on the new code 2026-10-21 15:38:14 -04:00
capture_take live rooms: AI participants are marked in their grant, and chat and reactions state their origin 2026-10-21 05:17:43 -04:00
claim_receipt wai-rs: bearer_receipts — transmission and reconciliation classes, the verdict over a group, the per-receiver bound, offline confirmation (WIP) 2026-10-21 12:45:01 -04:00
co_performance co_performance: the room as a room clock replays it, and what it signs; wai-live-web reads and verifies co-performance 2026-10-21 16:17:15 -04:00
codecs Merge train/live-room (#409 #419 #410 #424 #420 #413 #401) into the train 2026-10-22 04:31:22 -04:00
contribution 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
derive_edge deriving edge: AI-origin labels take the origin claim's terms (assist, generate) 2026-10-21 04:58:07 -04:00
direction direction: measure probes exactly at each row and column bound 2026-10-21 16:07:53 -04:00
energy_figure wai.video.ssai: the break form of the receipt (form 2), its JSON carriage, rules and figure view; the stitched form unchanged 2026-10-20 08:28:15 -04:00
energy_steering wai-rs live_metering: read and write WMH1 version 2 2026-10-19 11:41:34 -04:00
exact_upscale 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 exploration corpus: a generation whose orientation truncates toward zero, so a floored restatement of Appendix A fails 2026-10-21 13:55:42 -04:00
film wai: reader limits for the extension formats' durations 2026-10-14 11:07:16 -04:00
haptic wai: reader limits for the extension formats' durations 2026-10-14 11:07:16 -04:00
http_binding http-delivery §8.2: transmission and reconciliation claims in a receipt index are checked against the item's group (test) 2026-10-21 13:12:48 -04:00
influence wai: influence — type aliases for the attribution figures, arrays where clippy asks 2026-10-21 20:10:17 -04:00
int_payload int_mlicpp gate 6 (WIP: committed before running): the switch 2026-10-15 22:14:16 -04:00
jwp_delivery Receipts in WAI's binary form (jwp-receipts §2.7) on the receipts track, replacing JSON 2026-10-18 14:43:44 -04:00
key_log Merge main (#186 merged as ae9a1ca6: strict Ed25519) into wai/w5-4-measure-web 2026-10-08 02:00:51 -04:00
live_ads Merge remote-tracking branch 'origin/main' into wai/ad-presentation 2026-10-21 12:30:42 -04:00
live_compose 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_events 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_metering 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_moderation 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_provenance wai: live provenance, clippy-clean 2026-10-21 04:51:20 -04:00
live_record 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_room 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_watermark live_watermark: two clippy notes 2026-10-20 08:45:36 -04:00
neural wai: D2c M7b gate 6: the switch; the decode's networks run through the operator set 2026-10-18 02:00:19 -04:00
package wai-rs: every Ed25519 check outside OER/2 goes through sig::verify_strict 2026-10-06 18:06:47 -04:00
score wai: reader limits for the extension formats' durations 2026-10-14 11:07:16 -04:00
settlement 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
splat4d wai: reader limits for the extension formats' durations 2026-10-14 11:07:16 -04:00
stage_index wai: window-start tested in wai-rs and in the corpus 2026-10-06 07:52:20 -04:00
stage_measure wai: one stall bound, of a model — wai-web prints the bound the native tool prints 2026-10-08 15:09:34 -04:00
staged moq-streaming-format §4.2: wai_priors, pinned parameter sets in the catalog 2026-10-21 05:06:38 -04:00
synthesis 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
synthesis_mark 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 train: a takedown claim over a sink's samples adds nothing to the closure 2026-10-22 04:44:39 -04:00
telemetry wai-rs: switch reasons in an ungated module; receipt_claims no longer pulls in telemetry 2026-10-06 10:22:57 -04:00
timed_text wai: timed_text, clippy's collapsible-if, multiple-of and type lints 2026-10-17 11:22:11 -04:00
world wai: coverage-guided fuzzing of the reader, and the container reservations it found 2026-10-14 10:58:29 -04:00
access_services.rs wai.access.services: caption quality from the signed revisions, audio description, sign language and a completeness claim 2026-10-21 12:13:31 -04:00
age_assurance.rs 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
ai_usage.rs wai.ai.usage: let-chains, a boxed claim in a refusal, and type aliases, for a clippy-clean module 2026-10-21 05:32:24 -04:00
bearer_receipts.rs wai-rs: bearer_receipts — transmission and reconciliation classes, the verdict over a group, the per-receiver bound, offline confirmation (WIP) 2026-10-21 12:45:01 -04:00
bench_env.rs wai: bench_env, the machine record a measurement states 2026-10-05 07:16:48 -04:00
browser_sink.rs browser sink: clippy's notes on the new code 2026-10-21 15:38:14 -04:00
build_info.rs wai: review fixes for W5-4 — envelopes checked at seal, the build profile by opt-level, the audio title's provenance 2026-10-07 09:26:06 -04:00
c2pa_emit.rs wai: the room-session receipt in a real C2PA manifest (c2pa_emit with live_metering) 2026-10-18 02:45:41 -04:00
capture_take.rs wai: live_metering module, corpus generator, vectors bin and test (WIP, unbuilt) 2026-10-18 02:24:16 -04:00
claim_receipt.rs wai-rs: bearer_receipts — transmission and reconciliation classes, the verdict over a group, the per-receiver bound, offline confirmation (WIP) 2026-10-21 12:45:01 -04:00
claim_text.rs wai: typed receipt classes and the soft binding class, reading OER through the OER module 2026-09-30 01:42:45 -04:00
co_performance.rs co-performance: the commitment's magic is WPK1, not WPC1 (taken by ad-presentation) 2026-10-22 04:11:30 -04:00
container.rs wai: read a manifest within a bound of its values and length (SPEC §2) 2026-10-11 22:57:23 -04:00
container_explode.rs wai: WAI2 explodes entry by entry, pack checks its own round trip, names are unique 2026-10-04 20:13:25 -04:00
content_dedup.rs wai: content_dedup, the one dedup computation; the package's figures go through it 2026-10-05 07:11:52 -04:00
contribution.rs wai.media.contribution: a control for the second site of each check 2026-10-21 13:11:59 -04:00
delivery_terms.rs wai-rs: switch reasons in an ungated module; receipt_claims no longer pulls in telemetry 2026-10-06 10:22:57 -04:00
derive_edge.rs deriving edge: AI-origin labels take the origin claim's terms (assist, generate) 2026-10-21 04:58:07 -04:00
direction.rs direction: clippy's notes (length for an event, let chains, div_ceil) 2026-10-21 15:48:47 -04:00
energy_binding.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
energy_burst.rs wai: a from-rest burst asserted a 2 ms race, and linux-arm64 called it 2026-10-08 14:36:19 -04:00
energy_class.rs wai: ModelBased means a model calibrated on the host it describes 2026-10-11 22:57:23 -04:00
energy_figure.rs wai.video.ssai: the break form of the receipt (form 2), its JSON carriage, rules and figure view; the stitched form unchanged 2026-10-20 08:28:15 -04:00
energy_meter.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
energy_report.rs wai: review fixes for W5-4 — envelopes checked at seal, the build profile by opt-level, the audio title's provenance 2026-10-07 09:26:06 -04:00
energy_steering.rs wai-rs: energy_steering is clippy-clean 2026-10-19 02:34:09 -04:00
exact_upscale.rs wai: exact upscale — integer super-resolution derivations, the upscale record, the presentation statement (work in progress) 2026-10-21 14:41:56 -04:00
exploration.rs exploration: clippy notes (as_chunks, is_multiple_of, the corpus's first vector) 2026-10-21 13:46:53 -04:00
ffi.rs clippy: no workspace reports an error, and the unsafe FFI states its contract 2026-10-13 09:56:05 -04:00
ffi_codecs.rs wai: reader limits for picture, audio and video payloads 2026-10-14 10:08:25 -04:00
ffi_neural.rs wai: an encrypted envelope is inert at the reference dispatchers 2026-10-01 22:50:58 -04:00
float_repro.rs wai-rs: the JPEG AI exact decoder calls no platform math library, and its output is pinned 2026-09-28 18:30:35 -04:00
generate.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
hls_render.rs wai: a gap segment carries no parts or layer lines, in the renderer and http_verify.py 2026-10-06 10:56:35 -04:00
influence.rs 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
int_audio.rs int_mlicpp gate 7 (WIP: committed before running): the direct guard goes from production 2026-10-15 22:46:37 -04:00
int_entropy.rs jpegai gate 7 (WIP, committed before running): the direct path leaves production; the duplicates go 2026-10-17 04:28:31 -04:00
int_hyper_synth.rs int_world gate 7 (WIP: committed before running): run_net, decode and the convolution dispatch leave production 2026-10-16 02:51:39 -04:00
int_kernels.rs wai: D2c M7b gate 7: the direct networks leave production 2026-10-18 02:17:11 -04:00
int_mlicpp.rs int_world gate 7 (WIP: committed before running): run_net, decode and the convolution dispatch leave production 2026-10-16 02:51:39 -04:00
int_ops.rs wai-rs: ops_gpu compares each graph the device runs with the interpreter, under with_gpu_compared 2026-10-21 04:40:10 -04:00
int_set_cache.rs wai: D2c O8 + M7b, work in progress: §13.6.2 graphs and the networks' lowering 2026-10-18 00:43:29 -04:00
int_splat.rs int_mlicpp gate 7: the splat direct decode's doc names the guard's new path 2026-10-15 22:46:44 -04:00
int_sr.rs wai: exact upscale — clippy: as_chunks, is_multiple_of 2026-10-21 14:59:44 -04:00
int_synth.rs wai: the store stays out of the sources the byte-equality crate includes 2026-10-15 11:51:01 -04:00
int_transform.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
int_transformer.rs int_world gate 7 (WIP: committed before running): run_net, decode and the convolution dispatch leave production 2026-10-16 02:51:39 -04:00
int_video.rs WIV1 and WIR1 gate 7 (WIP, committed before running): the direct predictors and step leave production 2026-10-17 12:04:26 -04:00
int_video_enc.rs wai: working_bytes covers the residual table's fit, derived from the widest table, and saturates past the caps 2026-10-05 10:23:01 -04:00
int_world.rs int_world gate 7 (WIP: committed before running): run_net, decode and the convolution dispatch leave production 2026-10-16 02:51:39 -04:00
jcs.rs wai: the canonical JSON form in its own module, ungated 2026-10-05 07:12:00 -04:00
jpegai_bitstream.rs wai-rs: the JPEG AI exact decoder calls no platform math library, and its output is pinned 2026-09-28 18:30:35 -04:00
jpegai_decode.rs wai: D2c M7b gate 6: the switch; the decode's networks run through the operator set 2026-10-18 02:00:19 -04:00
jpegai_icci.rs wai: D2c M7b gate 6: the switch; the decode's networks run through the operator set 2026-10-18 02:00:19 -04:00
jpegai_mans.rs wai-rs: the JPEG AI exact decoder calls no platform math library, and its output is pinned 2026-09-28 18:30:35 -04:00
jpegai_ops.rs wai-rs: ops_gpu, the integer decoders' graphs on a GPU 2026-10-21 04:16:38 -04:00
jpegai_pipeline.rs wai: D2c M7b gate 7: the direct networks leave production 2026-10-18 02:17:11 -04:00
jpegai_synthesis.rs wai: D2c M7b gate 7: the direct networks leave production 2026-10-18 02:17:11 -04:00
jwp_delivery.rs deriving edge: second implementation, CI step, registry, SPEC §5 and CHANGELOG 2026-10-21 04:38:26 -04:00
jwp_hash.rs wai: receipts, keys, grants and parameter sets over HTTP 2026-10-07 09:15:33 -04:00
key_log.rs http receipts round 4: a deadline TLS cannot stretch, a capped key log, a labelled test anchor, a byte budget never passed 2026-10-09 14:38:57 -04:00
lib.rs Merge train/live-room (#409 #419 #410 #424 #420 #413 #401) into the train 2026-10-22 04:31:22 -04:00
limits.rs wai: reader limits for the extension formats' durations 2026-10-14 11:07:16 -04:00
live_ads.rs wai-rs live_ads: presentation claims, and a spend that counts only presented impressions 2026-10-21 07:54:42 -04:00
live_compose.rs wai: live_compose, the layout function, the mixer, the descriptor, the set and the receipt (WIP) 2026-10-17 09:24:07 -04:00
live_events.rs 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_metering.rs wai-rs live_metering: read and write WMH1 version 2 2026-10-19 11:41:34 -04:00
live_moderation.rs live-conformance/moderation: the corpus from fixed seeds; live-recording's clip verifier gains an exemption hook 2026-10-19 07:39:22 -04:00
live_provenance.rs live_provenance: name the track's media kind TrackKind 2026-10-21 12:32:33 -04:00
live_record.rs 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_room.rs synthesis, live rooms: let-chains where clippy asks; wai-live-web reads a chat's origin 2026-10-21 05:39:51 -04:00
live_watermark.rs live_watermark: two clippy notes 2026-10-20 08:45:36 -04:00
measure_framing.rs wai: a payload counts only where WAI checks its format 2026-10-05 09:25:29 -04:00
oer.rs wai: typed receipt classes and the soft binding class, reading OER through the OER module 2026-09-30 01:42:45 -04:00
ort_session.rs wai/neural: the strict gate reads only dispatchable capabilities; a pinned model keeps no tensor outside the verified bytes 2026-10-01 08:53:25 -04:00
output_tree.rs wai: live_record — recording manifest, recording verification, clip records and range proofs (WIP) 2026-10-17 10:14:53 -04:00
package.rs wai-rs: every Ed25519 check outside OER/2 goes through sig::verify_strict 2026-10-06 18:06:47 -04:00
pin.rs wai-pack live writes as it goes: each object when published, each window when sealed 2026-10-08 19:47:05 -04:00
png_still.rs wai-rs: the still of packaging §5.7 moves from wai-pack into wai-rs (png_still) 2026-10-21 04:28:04 -04:00
provenance.rs wai-rs: every Ed25519 check outside OER/2 goes through sig::verify_strict 2026-10-06 18:06:47 -04:00
quality.rs wai measure: every pixel is in a similarity window; B1's bound restated 2026-10-05 09:59:58 -04:00
quantum_envelope.rs wai-quantum circuit2: wai-rs registers circuit2 and carries the corpus in both capabilities 2026-10-09 12:38:07 -04:00
rans.rs wai: the reverse rANS writer's doc states its equivalence without the flagged phrase 2026-10-05 09:35:38 -04:00
receipt_pins.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
reconstruction_binding.rs wai: state what each determinism tier guarantees, and make replicate mean it 2026-09-28 18:25:52 -04:00
semantic.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
session_recorder.rs wai: the recorder derives the classical length; a malformed sha256 refused behind encryption 2026-10-08 03:02:27 -04:00
settlement.rs wai: influence — type aliases for the attribution figures, arrays where clippy asks 2026-10-21 20:10:17 -04:00
sig.rs Leave wai-quantum on its own verifier; the rule goes back into wai-rs 2026-10-07 14:33:18 -04:00
signer_id.rs wai: key discovery, signing authority and module revocation 2026-10-01 07:12:20 -04:00
stage_index.rs wai: a package is bound to the policy its receipt signs; malformed packages are refused, never panicked on; floor key frames and members checked against the package; receipt JSON read strictly; MoQ dependencies never dangle 2026-10-06 07:42:47 -04:00
synthesis.rs 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
synthesis_mark.rs synthesis.md §7: wording of the definition's line breaks, the floor's bound and the decoder; clippy on the scheme's tables and luma 2026-10-21 13:53:51 -04:00
takedown.rs train: a takedown claim over a sink's samples adds nothing to the closure 2026-10-22 04:44:39 -04:00
ternary.rs wai: int_synth's weights are quantised after float training, and two engine paths moved 2026-10-09 11:55:53 -04:00
ternary_receipt.rs wai-rs: every Ed25519 check outside OER/2 goes through sig::verify_strict 2026-10-06 18:06:47 -04:00
timed_text.rs wai: IMSC1 documents carry ttp:profile on tt (IMSC 1.0.1 §6.9) beside conformsToStandard 2026-10-17 11:32:11 -04:00
video_receipt.rs wai-rs: every Ed25519 check outside OER/2 goes through sig::verify_strict 2026-10-06 18:06:47 -04:00
wai_video_channel.rs wai-rs: every Ed25519 check outside OER/2 goes through sig::verify_strict 2026-10-06 18:06:47 -04:00
wai_video_keys.rs wai-rs: every Ed25519 check outside OER/2 goes through sig::verify_strict 2026-10-06 18:06:47 -04:00
wai_video_manifest.rs wai: the adaptation and receipt-file bounds stay out of the C header; wai.h regenerated, as on main 2026-10-06 11:32:14 -04:00
wai_video_package.rs Corpora: weak-key cases in every receipt family's corpus 2026-10-07 10:16:21 -04:00
wai_video_policy.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
wai_video_ssai.rs wai.live.ads: registry, SPEC §5, CI step and paths, corpus README, CHANGELOG, cross-references; asset_format kept out of wai.h 2026-10-20 08:43:58 -04:00
world_model.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00