Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science ad283d9281 Merge origin/main into train/pack-stack (Train C and wai-quantum 0.6.15) ... Six files conflicted; both sides kept in each: - claim-conformance: main's span vectors stay where main published them, and this train's fabric-record vectors follow them, so main's 615 vectors are an unchanged prefix of the 636. vectors.json regenerated with `wai_claim_vectors gen`; it verifies, and claim_verify.py passes all 636. - jwp-receipts.md: a claim's two optional-member exceptions, the hybrid pq-signatures members and a measurement claim's `fabrics`. - wai-ops-gpu: both modules (`semantics`, `splat`); the workflow header names both suites. - CHANGELOG: this train's sections above Train C's, newest first. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-10-26 02:28:39 -04:00
..
fixtures/tls	wai http receipts: anchor an origin over TLS only	2026-10-08 04:11:01 -04:00
support	wai/tests: serialize sha256.json sidecar writes and document their regeneration	2026-10-01 08:53:26 -04:00
vectors	wai generate.spectral form v0: accepted objects at every bound, and each refusal's reason	2026-10-09 17:01:04 -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
ad_presentation.rs	wai-rs live_ads: presentation claims, and a spend that counts only presented impressions	2026-10-21 07:54:42 -04:00
age_assurance.rs	wai.age.assurance: ratings carried through derivations, threshold-token admission, a sink's predicate, suppressed admission counts and the minors' profile	2026-10-21 14:43:00 -04:00
ai_usage.rs	wai.ai.usage: AI usage statements bound to the bytes, the consumption claim class, and its corpus	2026-10-21 05:13:09 -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
browser_sink.rs	browser sink for the page: wai-live-web's routing, constraint, binding and frame-state functions, a bound wasm decoder, and the verifier's hashes	2026-10-21 15:14:57 -04:00
capture_take.rs	wai: capture_take, the take manifest, commitments, receipts, consent and verifier (WIP)	2026-10-17 04:30:48 -04:00
carriage.rs	Merge B3b #430 (gain maps, ST 2094-50 and exact tone mapping) into train/wai-c	2026-10-22 07:10:29 -04:00
cli_generate_score.rs	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
cli_http.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
cli_registry.rs	wai: give each CLI registry test its own payload directory	2026-10-01 06:09:30 -04:00
cli_stage.rs	wai: stage explode gates on capability; the §4.1 sentence scoped; the caller-offers case named	2026-10-08 01:27:23 -04:00
cli_wrap_intent.rs	wai: wai generate and wai score build|render, with native pins a sink checks against	2026-10-09 10:01:31 -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
co_watch.rs	wai.live.cowatch: co-watch rooms — controls at a room-clock instant, the controlled position, signed presentation statements and recomputed skew	2026-10-22 03:07:55 -04:00
container_reservations.rs	wai: coverage-guided fuzzing of the reader, and the container reservations it found	2026-10-14 10:58:29 -04:00
contribution.rs	wai.media.contribution: sessions, steps, the authorship map and its checks (extension, wai-rs module, corpus)	2026-10-21 12:46:31 -04:00
corpus_provenance.rs	wai: every corpus states the provenance of its content	2026-10-07 10:09:21 -04:00
dash_read_bounds.rs	dash_read_bounds: 1000 attributes against 32000, bound at 256 times	2026-10-21 14:23:25 -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	wai.media.direction: storyboard, keyframes and sequence records bound to a directed output	2026-10-21 15:45:37 -04:00
dred_exact.rs	wai-rs: tests/dred_exact.rs holds §4.8: both graphs load under acc64, are refused under acc32, and use wai-ops/1-i32 only	2026-10-22 04:59:28 -04:00
dred_exact_gpu.rs	wai-rs: dred_exact passes clippy; GPU test covers the streams; carriage binds DRED to an Opus packet	2026-10-22 04:48:48 -04:00
dred_exact_measure.rs	wai-rs: dred_exact measures the reference arithmetic's 8-bit form, and the reference builds' outputs when given	2026-10-22 04:17:01 -04:00
energy_steering.rs	wai-rs: energy_steering, the reference module, its corpus generator and tests (L15)	2026-10-18 20:32:06 -04:00
exact_tonemap.rs	wai: exact tone mapping — wai.meta.gainmap, wai.meta.st2094_50, wai.media.tonemap	2026-10-22 03:13:55 -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
exact_upscale_gpu.rs	wai: exact upscale — GPU equality test, CI steps, integer-operators §13.7, determinism-tiers, CHANGELOG	2026-10-21 14:49:03 -04:00
exploration.rs	wai.media.exploration: descriptors, archives that replay, default-distance, collection statements, taste priors, rankings and picks (CO2, CO3)	2026-10-21 13:41:14 -04:00
extension_duration_limits.rs	wai: reader limits for the extension formats' durations	2026-10-14 11:07:16 -04:00
ffi_envelope.rs	wai: the reference sink applies the declared cost before decoding	2026-10-01 22:31:18 -04:00
ffi_neural_pin.rs	wai: the parameter-set pin, component identity, pin-aware selection	2026-10-01 05:51:50 -04:00
ffi_robustness.rs	wai: gate codec-dependent test/example targets on codecs	2026-06-17 17:36:39 -04:00
fuzz_smoke.rs	wai: gate codec-dependent test/example targets on codecs	2026-06-17 17:36:39 -04:00
generate.rs	wai generate.spectral form v0: accepted objects at every bound, and each refusal's reason	2026-10-09 17:01:04 -04:00
influence.rs	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
int_audio.rs	wai: learned integer-exact audio codec (wai.audio.int_codec) + conformance	2026-06-27 17:01:31 -04:00
int_audio_ops.rs	D2c M3 gate 6: the planned breaks written, the scan of every committed set and payload	2026-10-14 20:04:45 -04:00
int_hyper_ops.rs	int_mlicpp gate 7 (WIP: committed before running): the direct guard goes from production	2026-10-15 22:46:37 -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_geometry.rs	wai: gate the direct-network tests on legacy_int in their files too	2026-10-18 02:41:38 -04:00
int_kernels_vectors.rs	Merge origin/main into train/pack-stack (Train C and wai-quantum 0.6.15)	2026-10-26 02:28:39 -04:00
int_mlicpp.rs	wai: the parameter-set pin, component identity, pin-aware selection	2026-10-01 05:51:50 -04:00
int_mlicpp_ops.rs	int_mlicpp gate 7 (WIP: committed before running): the direct guard goes from production	2026-10-15 22:46:37 -04:00
int_mlicpp_preflight.rs	wai: add wai.neural.int_mlicpp, the MLIC++ entropy topology integer end to end	2026-09-30 01:39:56 -04:00
int_ops_differential.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
int_payload.rs	wai: integer payload streams must end canonically	2026-10-01 19:18:08 -04:00
int_payload_cost.rs	int_mlicpp gate 6 (WIP: committed before running): the switch	2026-10-15 22:14:16 -04:00
int_payload_preflight.rs	wai: the one-frame preflight clip has the canonical header	2026-10-01 21:23:20 -04:00
int_set_cache.rs	int_mlicpp gate 6 (WIP: committed before running): the switch	2026-10-15 22:14:16 -04:00
int_splat.rs	wai: learned integer-exact Gaussian-splat attribute codec (wai.splat.int_codec)	2026-06-28 09:14:46 -04:00
int_splat_ops.rs	int_mlicpp gate 7 (WIP: committed before running): the direct guard goes from production	2026-10-15 22:46:37 -04:00
int_synth_ops.rs	D2c M1 gate 7: the direct path's guard code goes	2026-10-13 22:28:16 -04:00
int_video.rs	wai.video.int_motion: deterministic integer inter-frame video (byte-exact)	2026-06-27 07:22:53 -04:00
int_video_enc_memory.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_video_halfpel.rs	wai: half-pel motion compensation for int_motion video + real-footage conformance	2026-06-27 11:10:48 -04:00
int_video_keyframe.rs	int_hyper gate 7 (WIP: committed before running): the unchecked decode goes	2026-10-15 10:02:44 -04:00
int_video_ops.rs	WIV1 and WIR1 gate 5 (WIP, committed before running): the 32-bit form behind a feature, held to the exact form	2026-10-17 11:28:23 -04:00
int_video_sota_keyframe.rs	int_hyper gate 7 (WIP: committed before running): the unchecked decode goes	2026-10-15 10:02:44 -04:00
int_world.rs	int_world gate 6 (WIP: committed before running): the switch	2026-10-16 02:39:32 -04:00
int_world2.rs	int_world gate 6 (WIP: committed before running): the switch	2026-10-16 02:39:32 -04:00
int_world_memory.rs	int_world gate 6 (WIP: committed before running): the switch	2026-10-16 02:39:32 -04:00
int_world_ops.rs	int_world gate 5: the fast kernels behind the interpreter, held to it	2026-10-16 02:38:53 -04:00
int_world_shared.rs	int_world gate 6 (WIP: committed before running): the switch	2026-10-16 02:39:32 -04:00
jpegai_bitstream_calibration.rs	wai: state what each determinism tier guarantees, and make replicate mean it	2026-09-28 18:25:52 -04:00
jpegai_color_calibration.rs	wai-rs: jpegai_pipeline::yuv_to_rgb / rgb_to_yuv — BT.709 colour combine (float-exact)	2026-07-14 10:38:43 -04:00
jpegai_cross_platform.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_decode_symbols.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_dequant_calibration.rs	jpegai gate 7 (WIP, committed before running): the direct path leaves production; the duplicates go	2026-10-17 04:28:31 -04:00
jpegai_derive_calibration.rs	jpegai gate 7 (WIP, committed before running): the direct path leaves production; the duplicates go	2026-10-17 04:28:31 -04:00
jpegai_e2e.rs	jpegai gate 7 (WIP, committed before running): the direct path leaves production; the duplicates go	2026-10-17 04:28:31 -04:00
jpegai_e2e_chain.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_e2e_chroma.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_e2e_dequant.rs	jpegai gate 7 (WIP, committed before running): the direct path leaves production; the duplicates go	2026-10-17 04:28:31 -04:00
jpegai_e2e_frontend.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_e2e_full.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_e2e_hyperlatent.rs	jpegai gate 7 (WIP, committed before running): the direct path leaves production; the duplicates go	2026-10-17 04:28:31 -04:00
jpegai_e2e_synthesis.rs	wai: gate the direct-network tests on legacy_int in their files too	2026-10-18 02:41:38 -04:00
jpegai_efl_calibration.rs	wai-rs: jpegai_pipeline::efl_chroma — EFE linear cross-component post-filter (float-exact)	2026-07-14 09:38:06 -04:00
jpegai_efn_calibration.rs	wai-rs: jpegai_pipeline::efn_filter — EFE luma-aided nonlinear chroma post-filter (float-exact)	2026-07-13 13:17:53 -04:00
jpegai_hyper_calibration.rs	wai: gate the direct-network tests on legacy_int in their files too	2026-10-18 02:41:38 -04:00
jpegai_hyperscale_calibration.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_calibration.rs	wai-rs: validate jpegai_icci against the reference decoder (ground truth, 2.4e-07)	2026-07-18 09:51:44 -04:00
jpegai_icci_net_calibration.rs	wai-rs: validate eICCI as a whole filter against the reference dump	2026-07-26 05:48:42 -04:00
jpegai_lef_calibration.rs	wai-rs: jpegai_pipeline::lef_filter — LEF adaptive-sharpness post-filter (float-exact)	2026-07-14 05:13:39 -04:00
jpegai_live.rs	wai: the headline decode tests fail on a missing input, and CI supplies their inputs	2026-09-28 18:40:59 -04:00
jpegai_lsbs_calibration.rs	jpegai gate 7 (WIP, committed before running): the direct path leaves production; the duplicates go	2026-10-17 04:28:31 -04:00
jpegai_mans_calibration.rs	jpegai gate 7 (WIP, committed before running): the direct path leaves production; the duplicates go	2026-10-17 04:28:31 -04:00
jpegai_mans_golden.rs	jpegai gate 7 (WIP, committed before running): the direct path leaves production; the duplicates go	2026-10-17 04:28:31 -04:00
jpegai_mcm_calibration.rs	wai: gate the direct-network tests on legacy_int in their files too	2026-10-18 02:41:38 -04:00
jpegai_memory.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_nets_ops.rs	wai: gate the direct-network tests on legacy_int in their files too	2026-10-18 02:41:38 -04:00
jpegai_ops.rs	wai: gate the direct-network tests on legacy_int in their files too	2026-10-18 02:41:38 -04:00
jpegai_postfilter_chain.rs	wai-rs: validate LEF — the post-filter chain is now complete	2026-07-26 05:48:42 -04:00
jpegai_reconstruct_calibration.rs	wai: gate the direct-network tests on legacy_int in their files too	2026-10-18 02:41:38 -04:00
jpegai_reconstruction_binding.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_scope_ort.rs	wai: state what each determinism tier guarantees, and make replicate mean it	2026-09-28 18:25:52 -04:00
jpegai_sigma_index_calibration.rs	jpegai gate 7 (WIP, committed before running): the direct path leaves production; the duplicates go	2026-10-17 04:28:31 -04:00
jpegai_synthesis_calibration.rs	wai: gate the direct-network tests on legacy_int in their files too	2026-10-18 02:41:38 -04:00
jpegai_uv_calibration.rs	wai: gate the direct-network tests on legacy_int in their files too	2026-10-18 02:41:38 -04:00
live_ads.rs	wai-rs live_ads: reference module, corpus generator, vectors bin and test	2026-10-20 08:37:43 -04:00
live_compose.rs	wai: live_compose corpus generator, vectors binary, test, feature and module registration (WIP)	2026-10-17 09:31:53 -04:00
live_events.rs	wai: live_events corpus generator, wai_live_events_vectors, tests/live_events.rs, feature live_events	2026-10-16 04:46:32 -04:00
live_metering.rs	live-metering corpus: a version 2 relay record and its refusals	2026-10-19 11:41:34 -04:00
live_moderation.rs	wai-rs live_moderation: reference module, corpus generator, vectors bin and test (wip)	2026-10-19 07:36:37 -04:00
live_provenance.rs	wai: live provenance, C2PA 2.4 §19 for room tracks and takes, tied to the JWP receipts	2026-10-21 04:25:52 -04:00
live_record.rs	wai: a recording's signer holds the record power at every instant of its span	2026-10-17 10:52:17 -04:00
live_room.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_watermark.rs	wai.live.watermark: forensic watermark session records, recovered sequences and disclosures (L14)	2026-10-20 08:35:51 -04:00
manifest_builders.rs	wai: the parameter-set pin, component identity, pin-aware selection	2026-10-01 05:51:50 -04:00
manifest_parse_memory.rs	wai: read a manifest within a bound of its values and length (SPEC §2)	2026-10-11 22:57:23 -04:00
manifest_reader_equivalence.rs	wai: read a manifest within a bound of its values and length (SPEC §2)	2026-10-11 22:57:23 -04:00
media_decode_bounds.rs	wai: reader limits for picture, audio and video payloads	2026-10-14 10:08:25 -04:00
neural_cost_limit.rs	wai: the reference sink applies the declared cost before decoding	2026-10-01 22:31:18 -04:00
neural_native_decode.rs	pq-signatures: hybrid groups, claims, key logs and synthesis records	2026-10-22 04:21:15 -04:00
NOT-IN-CI.txt	ci: every wai-rs test file is run by a job or listed, and none can run empty	2026-10-13 01:20:48 -04:00
ops_gpu.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
pq_signatures.rs	pq-signatures: the extension, its second implementation, CI and the registry	2026-10-22 04:45:30 -04:00
require_vectors_rule.rs	wai: the headline decode tests fail on a missing input, and CI supplies their inputs	2026-09-28 18:40:59 -04:00
robustness.rs	wai.media.robustness: robustness records anyone recomputes bit for bit, and claims held to them	2026-10-22 03:40:50 -04:00
semantic_path.rs	wai: the parameter-set pin, component identity, pin-aware selection	2026-10-01 05:51:50 -04:00
settlement.rs	wai: delivery settlement — acknowledgements, range proofs, paid retrieval and statements (spec text and reference module, in progress)	2026-10-21 13:12:00 -04:00
signer_ids_are_labels.rs	wai: key discovery, signing authority and module revocation	2026-10-01 07:12:20 -04:00
splat_exact.rs	splat_exact: glTF carriage of wai.splat.int_codec, the integer renderer wai-splat-render:i1, commitments and view statements	2026-10-22 03:13:58 -04:00
splat_exact_gpu.rs	splat_exact: the renderer's compositing on a GPU, equal to the CPU on every view	2026-10-22 03:31:34 -04:00
stage_measure.rs	wai: bench times a base's decode_base_pinned alone, its checks and hashing after the clock	2026-10-06 11:42:41 -04:00
stage_measure_bounds.rs	wai measure: a title lowers its limits and never raises them	2026-10-05 10:47:38 -04:00
staged_moq.rs	wai, joule-moq: the MoQ trace fills a gap — the lossy subscriber fetches what its re-anchor skipped (round 4, item 3)	2026-10-06 12:57:41 -04:00
staged_resources.rs	wai: the refused-layer memory check measures against the envelope's read	2026-10-13 00:55:29 -04:00
synthesis.rs	wai.media.synthesis: origin claims for every kind of media, two marking layers, reviews and labels	2026-10-21 05:17:43 -04:00
synthesis_mark.rs	tests/synthesis_mark.rs: a claim of §7.9.7 needs every column of its row survived	2026-10-21 20:27:58 -04:00
takedown.rs	wai: takedown — the derivation closure, purges against a regime's clock, and counts (spec, reference module, corpus, independent verifier)	2026-10-21 19:26:19 -04:00
telemetry_aggregate.rs	wai.telemetry.aggregate: QoE measures aggregated under DAP, signed statements and aggregate receipts	2026-10-22 03:03:40 -04:00
text_decode_bounds.rs	wai: zstd and xz decode within a bound of their output and window	2026-10-12 20:34:58 -04:00
text_decode_memory.rs	wai: zstd and xz decode within a bound of their output and window	2026-10-12 20:34:58 -04:00
timed_text.rs	wai: timed_text corpus generator, vectors binary and test (WIP)	2026-10-17 11:05:19 -04:00
video_receipt.rs	wai: receipt decode refusals are codes; the Python decode allocates as it goes	2026-10-01 21:15:43 -04:00
wai_keys_cli.rs	wai: key discovery, signing authority and module revocation	2026-10-01 07:12:20 -04:00
wir1_ops.rs	WIV1 and WIR1 gate 5 (WIP, committed before running): the 32-bit form behind a feature, held to the exact form	2026-10-17 11:28:23 -04:00
world_model.rs	wai: wai.world.model — generative-world transport (replay-equivalent action trace + provenance)	2026-06-27 17:25:02 -04:00
world_replay.rs	wai: the parameter-set pin, component identity, pin-aware selection	2026-10-01 05:51:50 -04:00