Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 79a94d3d94 wai_pq_vectors fits Windows' 1 MiB main-thread stack: the hybrid key's ML-DSA key on the heap, and the conformance leg's 8 MiB link flag gone ... wai_pq_vectors verify, in the debug build the conformance workflow runs, stopped with STATUS_STACK_OVERFLOW on Windows (6ca202b8a), and the corpus step's Windows leg was linked with an 8 MiB main-thread stack to pass. The cause is in wai's own code, not in RustCrypto's: a pq_sig::HybridKey held its ExpandedSigningKey<MlDsa65> by value, about 47 KiB (the matrix and vectors in the NTT domain), and an unoptimised build gives every key a function makes or moves a slot of its own. corpus::logs makes and moves dozens; under ulimit -s on the Framework the tool needed more than 3.3 MiB of main-thread stack, and gdb at the overflow found that one frame past 1 MiB on its own. The key now holds the expanded key in a Box: logs' frame is 32 KiB, and the tool needs about 0.75 MiB, most of it ML-DSA's key generation in the crate's own unoptimised frames (SigningKey::from_seed, 270 KiB), which wai cannot shrink. The keys, the signatures and the corpus are the same bytes: wai_pq_vectors verify regenerates vectors.json byte for byte and every case reaches its verdict at ulimit -s 1024, and the pq_sig library tests and tests/pq_signatures.rs pass. A thread with a stack of its own would have hidden the frame, not removed it, and left every other caller of the library with it. The 8 MiB link flag comes out of wai-conformance.yml. It was a stand-in for this fix, and kept, it would hide from the Windows leg any other tool or test that outgrows the 1 MiB a user's build of it gets on Windows, which is what that leg is there to see; it also gave the corpus step rustc flags no other step has, so cargo compiled every crate of the step again. The workflow's comment now says the tools run on each platform's own main-thread stack. tests/pq_signatures.rs ran its generation and verification on a 64 MiB thread. It now gives them 1 MiB, what Windows gives a main thread, so an unoptimised build that outgrows it fails on every leg, not on Windows alone. With the key planted back by value, that test fails (stack overflow). On cbio-device-0000 (Windows x86_64, pwsh 7, debug builds linked with the platform's default 1 MiB main-thread stack, no RUSTFLAGS): main's wai_pq_vectors verify stops with STATUS_STACK_OVERFLOW (0xC00000FD); with this change it passes, and with its stack reserve set lower by editbin it still passes at 768 KiB and stops at 704 KiB, as under ulimit on Linux. The corpus step as the workflow runs it (wai-conformance-lists.py corpora --verify, python3 from a venv as the leg makes it), without the flag, passes every corpus there, pq-signatures among them. On the Framework, the pq_sig library tests, synthesis::pq_tests and tests/pq_signatures.rs pass as the hybrid-signatures step runs them; wai breaking against main finds no break. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-10 03:20:49 -05:00
..
fixtures	wai: wai dev is the one local stack, driven by control lines, with synthetic participants, room test and load, and --impair	2026-11-09 10:54:12 -05:00
support	wai-rs tests: every program a test runs is written by a process of its own	2026-11-09 22:50:40 -05:00
vectors	wai: conditional inter-frame video at the integer tier, wai.video.int_cond	2026-11-09 13:08:11 -05:00
access_services.rs
ad_presentation.rs
age_assurance.rs
ai_usage.rs
audience_decision.rs	wai: audience decisions and territories — blackouts decided from a location aggregated in the session, and where a publisher may be shown	2026-11-09 19:55:54 -05:00
audio_mark.rs	wai: register wai-mark:band64, a watermark for sound, peer of tent64	2026-11-08 16:20:24 -05:00
audio_renditions.rs	wai: AC-3 and E-AC-3 registered, and a programme's audio renditions written for HLS and DASH	2026-11-08 15:11:47 -05:00
av1_refine.rs	wai: a refinement over the platform-decoded floor, wai.video.int_refine over a grain-free AV1 base	2026-11-09 10:46:06 -05:00
avatar_face.rs	wai.avatar.face: an integer talking-head generator, its records and its verification (avatar_face)	2026-10-22 10:57:20 -04:00
avatar_face_gpu.rs
bearer_receipts.rs
browser_sink.rs
c2pa_envelope.rs	wai: a C2PA Manifest Store bound to a stored WAI1 or WAI2 envelope, and to the receipt that delivered it	2026-11-09 10:50:25 -05:00
cache_authority.rs	wai/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05:00
capture_take.rs
carousel.rs	wai: a schedule names Raptor (RFC 5053), the code MBMS download uses	2026-11-06 18:09:38 -05:00
carriage.rs	wai: AC-3 and E-AC-3 registered, and a programme's audio renditions written for HLS and DASH	2026-11-08 15:11:47 -05:00
channel_lineup.rs
cli_app.rs	CI: Windows back in the conformance matrix's cargo-class leg	2026-11-09 22:46:07 -05:00
cli_breaking.rs	wai breaking reads the catalogue, the MCP tools, the JavaScript, Swift and Kotlin APIs, and any project	2026-11-08 16:16:51 -05:00
cli_conform.rs	wai-rs tests: every program a test runs is written by a process of its own	2026-11-09 22:50:40 -05:00
cli_conform_relay.rs	wai-rs tests: every program a test runs is written by a process of its own	2026-11-09 22:50:40 -05:00
cli_conform_sinks.rs	wai conform relay --suite moqt holds a relay to the MOQT interop cases, pq joins the verifier suites, and wai conformance gen writes a corpus by its generator	2026-11-08 14:44:52 -05:00
cli_derive.rs	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
cli_doctor.rs	wai-rs tests: every program a test runs is written by a process of its own	2026-11-09 22:50:40 -05:00
cli_dx.rs	wai, wai-pack and wai-quantum: a reader that stops reading ends the run quietly, as it ends a Unix tool	2026-11-10 03:20:49 -05:00
cli_fleet.rs
cli_folds.rs	wai: one command for the rest of the toolchain: audit, serve, quantum, cmcd, receipt create, and every record kind in wai verify	2026-11-10 02:57:54 -05:00
cli_generate_score.rs	wai.audio.score: band-limited timbres, a sine and noise, a voice per note, and two channels	2026-11-09 14:21:46 -05:00
cli_http.rs	cache-conformance reads labelled caches from WAI_CACHE_DIR, and the reference origin sends Date	2026-11-07 12:07:00 -05:00
cli_key.rs	wai key on Windows: a seed for this account alone, and refused when another may read it	2026-11-06 17:12:38 -05:00
cli_mcp.rs	wai: one command for the rest of the toolchain: audit, serve, quantum, cmcd, receipt create, and every record kind in wai verify	2026-11-10 02:57:54 -05:00
cli_ops.rs	wai: one command for the rest of the toolchain: audit, serve, quantum, cmcd, receipt create, and every record kind in wai verify	2026-11-10 02:57:54 -05:00
cli_project.rs	wai-rs tests: every program a test runs is written by a process of its own	2026-11-09 22:50:40 -05:00
cli_receipts.rs	wai: operation receipts on every developer-facing write, and a signed origin claim for each generated picture	2026-11-09 15:26:12 -05:00
cli_registry.rs
cli_setup_agent.rs	The skill lists every core tool, and setup-agent keeps to its own block	2026-11-07 03:08:05 -05:00
cli_stage.rs	wai target and wai auth: a named service and a kept key, and one --target on every operation that acts on a service	2026-11-08 09:39:06 -05:00
cli_studio.rs	wai-rs tests: every program a test runs is written by a process of its own	2026-11-09 22:50:40 -05:00
cli_target.rs	wai-rs tests: every program a test runs is written by a process of its own	2026-11-09 22:50:40 -05:00
cli_toolchain.rs	wai target and wai auth: a named service and a kept key, and one --target on every operation that acts on a service	2026-11-08 09:39:06 -05:00
cli_wrap_intent.rs
co_performance.rs
co_watch.rs
compact_return.rs	wai/compact-return-profile, converted to the layout of the fix: no shared append point	2026-11-05 01:45:33 -05:00
compose_ad_track.rs	wai: sink-evaluated predicates and per-session ad tracks — targeting and frequency caps decided on the sink from its own state, and a session's own ad bound into a room's ad frame	2026-11-09 21:15:45 -05:00
conform_result.rs
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
corpus_provenance.rs
dash_read_bounds.rs
derive_edge.rs
det_cost_bin.rs
direction.rs
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
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
exact_tonemap.rs
exact_upscale.rs
exact_upscale_gpu.rs
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
ffi_envelope.rs
ffi_neural_pin.rs	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
ffi_robustness.rs	wai: gate codec-dependent test/example targets on codecs	2026-06-17 17:36:39 -04:00
fleet.rs
floor.rs	wai: the developer's path, hello, create, dev and verify, a floor build with no system library, and nine examples	2026-10-26 22:58:39 -04:00
format_probe.rs
fuzz_smoke.rs	wai: gate codec-dependent test/example targets on codecs	2026-06-17 17:36:39 -04:00
generate.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
holdings.rs	wai: holdings — which objects of which groups a node holds now, for its neighbours	2026-11-04 05:20:31 -05:00
identify.rs	wai identify: what any file is, from its bytes alone	2026-11-04 05:20:15 -05:00
impression_aggregate.rs	A report an aggregator committed and was sent again is not rejected, and a reader takes one statement of no count	2026-11-07 08:35:01 -05:00
influence.rs
int_audio.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_audio_ops.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_cond_video.rs	wai: conditional inter-frame video at the integer tier, wai.video.int_cond	2026-11-09 13:08:11 -05:00
int_field.rs	wai: a neural field's levels as refinements, wai.field.int_refine	2026-11-09 17:32:12 -05:00
int_hyper_ops.rs	wai/det-source-fixes, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05:00
int_hyper_synth.rs
int_kernels_geometry.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_kernels_vectors.rs	int_kernels_vectors: tensor-conformance and the neural audio route vectors say where their digests are	2026-11-09 13:17:14 -05:00
int_mlicpp.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_mlicpp_ops.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_mlicpp_preflight.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_ops_conformance.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_ops_differential.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_payload.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_payload_cost.rs	wai/det-source-fixes, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05:00
int_payload_preflight.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_set_cache.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_splat.rs	wai/det-source-fixes, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05:00
int_splat_ops.rs	wai/det-source-fixes, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05:00
int_synth_ops.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_video.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_video_enc_memory.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_video_halfpel.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_video_keyframe.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_video_ops.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_video_sota_keyframe.rs
int_world.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_world2.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_world_memory.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_world_ops.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
int_world_shared.rs
jpegai_bitstream_calibration.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
jpegai_color_calibration.rs
jpegai_cross_platform.rs
jpegai_decode_path.rs	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
jpegai_decode_symbols.rs
jpegai_dequant_calibration.rs
jpegai_derive_calibration.rs
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
jpegai_e2e_chroma.rs
jpegai_e2e_dequant.rs
jpegai_e2e_frontend.rs
jpegai_e2e_full.rs
jpegai_e2e_hyperlatent.rs
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
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
jpegai_hyperscale_calibration.rs
jpegai_icci_calibration.rs
jpegai_icci_net_calibration.rs
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
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_mans_golden.rs
jpegai_mcm_calibration.rs
jpegai_memory.rs
jpegai_nets_ops.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
jpegai_ops.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
jpegai_postfilter_chain.rs
jpegai_reconstruct_calibration.rs
jpegai_reconstruction_binding.rs
jpegai_scope_ort.rs
jpegai_sigma_index_calibration.rs
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
key_release.rs
landscape_meter.rs	wai-quantum: the landscape GPU members held to what large jobs reach, placed only where certified, metered over what they cover	2026-11-06 14:32:12 -05:00
live_ads.rs	wai/ad-consent-supply-chain, converted to the layout of the fix: no shared append point	2026-11-05 02:00:58 -05:00
live_compose.rs
live_events.rs
live_messaging.rs
live_metering.rs	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.rs
live_provenance.rs
live_record.rs
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
live_world.rs
loudness.rs	wai: loudness measured in integers, with the gain to a target in a signed statement	2026-11-08 15:23:58 -05:00
manifest_builders.rs
manifest_parse_memory.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
manifest_reader_equivalence.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
media_decode_bounds.rs
native_sink.rs
neural_audio_vectors.rs	wai-rs: neural_audio_vectors reads the C ABI's last error only when one is set	2026-11-09 09:47:54 -05:00
neural_cost_limit.rs	neural: a decode reports the capability it decoded through and the path that ran	2026-11-04 12:29:01 -05:00
neural_native_decode.rs	neural: a decode reports the capability it decoded through and the path that ran	2026-11-04 12:29:01 -05:00
neural_npu.rs	wai: neural dispatch, a neural capability's networks on the neural processor under the tier its decode needs	2026-11-09 10:20:48 -05:00
NOT-IN-CI.txt	wai-quantum: CUDA and Metal members of the landscape fabric, a meter bridge, and the decline rule	2026-11-06 08:19:14 -05:00
opportunity_report.rs
ops_gpu.rs	wai/det-source-fixes, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05:00
platform_encode.rs	An encode record states null when nothing was measured, and run keeps its record then	2026-11-07 03:01:50 -05:00
pq_signatures.rs	wai_pq_vectors fits Windows' 1 MiB main-thread stack: the hybrid key's ML-DSA key on the heap, and the conformance leg's 8 MiB link flag gone	2026-11-10 03:20:49 -05:00
prior_carriage.rs	wai/prior-carriage-spec, converted to the layout of the fix: no shared append point	2026-11-05 01:45:33 -05:00
prior_wire.rs
receipt_ledger.rs	receipt-ledger: a leader's statement of an undefined version at version 1's length is a control	2026-11-07 08:35:01 -05:00
remote_desktop.rs
require_vectors_rule.rs
revenue_share.rs	wai: the revenue share's operations, registry entry, SPEC paragraph and CI	2026-10-29 17:15:59 -04:00
robustness.rs	wai: register wai-mark:band64, a watermark for sound, peer of tent64	2026-11-08 16:20:24 -05:00
route_record.rs	What a receipt declares of its own figure moves no verdict, and the corpus holds it	2026-11-07 03:01:51 -05:00
rung_price.rs	wai/one-way-delivery, converted to the layout of the fix: no shared append point	2026-11-05 01:45:32 -05:00
scene_map.rs
semantic_path.rs
settlement.rs
signal_health.rs	wai: signal health — what a monitor measured on an input, signed, and the switch that acts on it	2026-11-08 14:48:46 -05:00
signer_ids_are_labels.rs
sink_energy.rs
sink_predicate.rs	wai: sink-evaluated predicates and per-session ad tracks — targeting and frequency caps decided on the sink from its own state, and a session's own ad bound into a room's ad frame	2026-11-09 21:15:45 -05:00
splat_exact.rs
splat_exact_gpu.rs
stage_measure.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
stage_measure_bounds.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
staged_moq.rs
staged_resources.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
stitched_presentation.rs
stream_audit.rs
stream_termination.rs
synthesis.rs
synthesis_mark.rs
takedown.rs
telemetry_aggregate.rs
text_decode_bounds.rs
text_decode_memory.rs
timed_text.rs
timeliness.rs	wai: timeliness fallback ladder, and the reference sink scheduler that runs §7 plans	2026-11-05 11:05:46 -05:00
video_receipt.rs
wai_keys_cli.rs
weft.rs	wai: the DCVC family and NNVC registered as candidates, and WFT1 tensor frames registered with their decoder	2026-11-09 09:54:31 -05:00
wir1_ops.rs	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
world_model.rs
world_replay.rs