Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science e0285b049b wai.neural.int_hyper: leaves, a parameter set of WAI's own, trained on generated pictures and held to one decode natively and in WebAssembly ... The set: tools/wai_int_hyper_train.py at 40db6ee57 (the commit that brought it) trained a mean-scale hyperprior, 48 synthesis and 64 latent channels, from seed 20261110 on the dead-leaves pictures tools/wai_int_synth_real.py generates from that seed, streams 1 to 4096: 30,000 steps of 16, Adam at 1e-3 then 1e-4 for the last quarter, lambda 0.0483, on the CPU at 8 threads with deterministic algorithms (Python 3.11.17, torch 2.14.0+cpu, numpy 1.26.4, compressai 1.2.8; the Framework build host, Linux x86_64). Exported by export_model and coded on stream 0 (128 x 128). Listing digest (the set's identity): ab796bb19cb202115400ea2ce16724617c3da035a2f4429d6266d419ab705ac0. Its record, wai-rs/tests/vectors/int_hyper/leaves_set.json, reads Own: Apache-2.0, a start from a seed, and training and coded pictures generated by a tool below wai/ with no third-party source; the tools' blob ids are their blobs at 40db6ee57. Reproducibility: two runs from the same seeds, side by side on that host, wrote the same bytes in every file (float model 2ce350db..., all three members, the bitstream, the decode and the record), and logged the same loss at every logged step. 300-step runs at 8 and at 4 threads from the same seeds agree at step 0 and differ by step 299 (float models 1820d9ec... and 699bfbea...): the thread count is part of the recipe, and the record states it. Where its decode is held, each to the one digest in int_hyper/sha256.json (3ea9b4c3026e7c81683f3845f8256b1f0e1e8268284d81f3f16f290a5dde1374): - int-payload-conformance gains `leaves`, a WIH1 payload (SHA-256 048c7c0d...), decoded natively by wai_int_payload_vectors verify; int_payload_verify.py parses and converts it independently. - wai-int-module/corpus.json, 121 cases: both modules of record gave every case its outcome on wasmtime 50.0.1 (Cranelift, Winch) and Wasmi 2.0.0, run digest f245b5f0... (Framework). The browser crate's Node check names the payload too (CI). - byte-exact-conformance: wih1_trained_set_is_golden, by the sink's decode and through the lowering under the reference and the fast kernels, on every leg of the matrix. - ops-conformance certifies it (index and two lowered graphs): acc64, first acc32 failure at h_s's input range, 43 bits; int_hyper_ops holds the set and the vector to them. verifiers/int-hyper-set.sh runs `check --own` and `self-test`: the unchanged record and a copy started from a set that reads Own read Own, and 11 planted faults are caught (one weight moved by one; a third-party source in the training record, beside generated pictures, or in the start's record; a start from a checkpoint that is not WAI's; each of three seeds removed; the coded picture among the training pictures; a decode digest changed; the decode of another picture with its digest restated). The trainer's check of a start from a set now reads a start that does not read Own as `not own`, rather than failing. Run through rb on the Framework (Linux x86_64), each passed: wai_int_payload_vectors verify (release and debug), int_payload_verify.py, check --own, self-test, corpus.py --check, wai-verify vectors verify, wai_ops_check.py, byte-exact-conformance (release), int_payload (debug), int_hyper_ops (debug and release), corpus_provenance, the module host on all 121 cases. Decode-side plants, each caught, with the committed case passing first: a WebAssembly decode of the set with one g_s weight moved (0 of 1 cases the corpus's), and the same drift in the committed file under the native corpus verify, the record check and the byte-exact golden. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-10 13:41:55 -05:00
..
dcvc-drift	wai 0.6.0	2026-11-09 16:17:06 -05:00
ops-gpu-bench	wai 0.6.0	2026-11-09 16:17:06 -05:00
quantum-docs	Merge main into the emulator; say the schema list's new length is a change	2026-11-06 14:46:21 -05:00
quantum-meter	wai-quantum 0.9.0: two breaks since 0.8.1 raise its 0.y, a job is Send again, and every pin the version moves	2026-11-07 12:44:24 -05:00
quantum-rz-oracle	wai-quantum: a rotation's Clifford+T word takes the cheapest unit of the solver's solution, never more T gates than the reference implementation	2026-11-09 13:09:47 -05:00
quantum-wgsl-check	wai-quantum 0.9.0: two breaks since 0.8.1 raise its 0.y, a job is Send again, and every pin the version moves	2026-11-07 12:44:24 -05:00
tree-sitter-openqasm	tree-sitter-openqasm keeps tree-sitter's MIT notice beside its headers	2026-11-07 03:55:17 -05:00
wai-quantum-editor	wai: LICENSE holds the Apache License 2.0's exact text	2026-11-07 01:49:11 -05:00
build_reference_decoders.sh	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
jpegai-e2e-v1.sha256	wai: the headline decode tests fail on a missing input, and CI supplies their inputs	2026-09-28 18:40:59 -04:00
nnc_interop_check.py	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
requirements-sota-int.txt	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
wai_audio_provenance_check.py	wai: a check that no committed audio vector is a coding of a recording	2026-10-07 09:16:05 -04:00
wai_avatar_face_train.py	avatar-face corpus, its second implementation, and the tool that trained its generator	2026-10-22 10:57:20 -04:00
wai_bmshj2018_encode.py	Add WAI — Web AI Media Transport & Execution standard	2026-05-24 13:36:51 -04:00
wai_bmshj2018_export_onnx.py	Add WAI — Web AI Media Transport & Execution standard	2026-05-24 13:36:51 -04:00
wai_bmshj2018_extract_cdfs.py	Add WAI — Web AI Media Transport & Execution standard	2026-05-24 13:36:51 -04:00
wai_bmshj2018_npu_set.py	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
wai_carriage_demo.sh	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
wai_catalogue_prior_verify.py	The catalogue-prior record holds its rule for a learned prior and an episodic series, pinned by SHA-256	2026-11-07 03:19:08 -05:00
wai_dac_encode.py	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
wai_dac_export_onnx.py	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
wai_det_energy.py	wai: tools to measure what exactness costs int_hyper against its float model	2026-10-22 13:13:24 -04:00
wai_determinism_cost.py	wai: what exactness costs int_hyper, measured; determinism-tiers §7 states what WAI claims	2026-10-22 13:43:42 -04:00
wai_determinism_cost_verify.py	wai_determinism_cost_verify: integrate each knot interval exactly, and hold the record to 1e-9	2026-10-22 13:48:39 -04:00
wai_elic_encode.py	wai: reconcile the neural + semantic subsystem onto main	2026-06-14 03:55:29 -04:00
wai_elic_export.py	wai: reconcile the neural + semantic subsystem onto main	2026-06-14 03:55:29 -04:00
wai_encodec_decode.py	chore(paths): follow the drive split off macos_4TB_external	2026-09-30 21:49:16 -04:00
wai_encodec_encode.py	chore(paths): follow the drive split off macos_4TB_external	2026-09-30 21:49:16 -04:00
wai_encodec_export_onnx.py	Add WAI — Web AI Media Transport & Execution standard	2026-05-24 13:36:51 -04:00
wai_generate_model.py	wai.generate.spectral/4: angular (rays) + spiral synthesis primitives	2026-06-27 06:15:35 -04:00
wai_int_audio_export.py	D2c M3 gate 7: the audio decode's direct guard and fast dispatch go	2026-10-14 20:25:19 -04:00
wai_int_cond_export.py	wai: conditional inter-frame video at the integer tier, wai.video.int_cond	2026-11-09 13:08:11 -05:00
wai_int_field_export.py	wai: a neural field's levels as refinements, wai.field.int_refine	2026-11-09 17:32:12 -05:00
wai_int_hyper_catalogue.py	The catalogue-prior rule's learned image arm: a harness from a catalogue of titles to K4	2026-11-10 12:51:32 -05:00
wai_int_hyper_tiny_vector.py	wai: the headline decode tests fail on a missing input, and CI supplies their inputs	2026-09-28 18:40:59 -04:00
wai_int_hyper_train.py	wai.neural.int_hyper: leaves, a parameter set of WAI's own, trained on generated pictures and held to one decode natively and in WebAssembly	2026-11-10 13:41:55 -05:00
wai_int_mlicpp_export.py	int_mlicpp gate 7 (WIP: committed before running): the direct guard goes from production	2026-10-15 22:46:37 -04:00
wai_int_mlicpp_set_form.py	wai: the parameter-set pin, component identity, pin-aware selection	2026-10-01 05:51:50 -04:00
wai_int_splat_export.py	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
wai_int_sr_train.py	wai: exact upscale — integer super-resolution derivations, the upscale record, the presentation statement (work in progress)	2026-10-21 14:41:56 -04:00
wai_int_synth_export.py	wai: int_synth's weights are quantised after float training, and two engine paths moved	2026-10-09 11:55:53 -04:00
wai_int_synth_qat.py	wai: int_synth's weights are quantised after float training, and two engine paths moved	2026-10-09 11:55:53 -04:00
wai_int_synth_real.py	wai/neural-corpus-licence, converted to the layout of the fix: no shared append point	2026-11-05 01:45:34 -05:00
wai_int_synth_train.py	wai: reconcile the neural + semantic subsystem onto main	2026-06-14 03:55:29 -04:00
wai_int_video_demo_encode.py	wai-web: in-browser byte-exact video player (decodeIntVideo)	2026-06-27 08:37:53 -04:00
wai_int_video_encode.py	wai.video.int_motion: deterministic integer inter-frame video (byte-exact)	2026-06-27 07:22:53 -04:00
wai_int_video_keyframe_encode.py	int_hyper gate 7 (WIP: committed before running): the unchecked decode goes	2026-10-15 10:02:44 -04:00
wai_int_video_real_encode.py	wai: half-pel motion compensation for int_motion video + real-footage conformance	2026-06-27 11:10:48 -04:00
wai_int_video_sota_keyframe_encode.py	int_hyper gate 7 (WIP: committed before running): the unchecked decode goes	2026-10-15 10:02:44 -04:00
wai_int_world2_export.py	wai: two-agent co-control world.model — both agents drive one byte-exact frame	2026-06-28 03:14:57 -04:00
wai_int_world_export.py	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
wai_jpegai_build_e2e_inputs.py	wai-rs: the whole decoder end to end — codestream → RGB vs the reference PNG	2026-07-26 05:48:42 -04:00
wai_jpegai_export_weights.py	tools: an icci export mode for the eICCI model weights	2026-07-26 05:48:42 -04:00
wai_jpegai_extract_model_consts.py	wai: JPEG-AI is a live, self-sufficient capability (no schedule fixtures)	2026-06-22 03:11:37 -04:00
wai_jpegai_fetch_e2e_inputs.sh	wai: the headline decode tests fail on a missing input, and CI supplies their inputs	2026-09-28 18:40:59 -04:00
wai_jpegai_gain_exp_margin.py	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
wai_jpegai_goldens.py	wai: reconcile the neural + semantic subsystem onto main	2026-06-14 03:55:29 -04:00
wai_mbt2018_mean_encode.py	wai: reconcile the neural + semantic subsystem onto main	2026-06-14 03:55:29 -04:00
wai_mbt2018_mean_export.py	wai: reconcile the neural + semantic subsystem onto main	2026-06-14 03:55:29 -04:00
wai_mimi_encode.py	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
wai_mimi_export_onnx.py	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
wai_mlicpp_encode.py	wai: reconcile the neural + semantic subsystem onto main	2026-06-14 03:55:29 -04:00
wai_mlicpp_export.py	wai: reconcile the neural + semantic subsystem onto main	2026-06-14 03:55:29 -04:00
wai_neural_audio_export_onnx.py	wai: EnCodec 24/48 kHz and DAC 16/24 kHz registered with a pinned payload; SoundStream a candidate	2026-11-09 09:40:50 -05:00
wai_neural_audio_vectors.py	wai: EnCodec 24/48 kHz and DAC 16/24 kHz registered with a pinned payload; SoundStream a candidate	2026-11-09 09:40:50 -05:00
wai_ops_check.py	ops-conformance: npu.jsonl, each graph vector's place in wai-ops/1-npu	2026-10-22 07:12:32 -04:00
wai_replicate_probe.sh	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
wai_snac_export.py	wai: reconcile the neural + semantic subsystem onto main	2026-06-14 03:55:29 -04:00
wai_sota_int_synth_export.py	wai.neural.int_hyper: a trainer for parameter sets on generated pictures, through the set's own exporter	2026-11-10 12:40:14 -05:00
wai_sota_source_image.py	wai: the headline decode tests fail on a missing input, and CI supplies their inputs	2026-09-28 18:40:59 -04:00
wai_sota_vectors.sh	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
wai_validate_synthetic.py	wai-neural-e2e: make the job run, and fix the decoder mismatch it was hiding	2026-09-29 09:46:15 -04:00
wai_vector_check.py	graphics-vector 5.4: the worked example states each block's string and writing mode	2026-10-13 02:46:34 -04:00
wai_video_bmshj2018_encode.py	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
wai_wavtokenizer_encode.py	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
wai_wavtokenizer_export_onnx.py	Add WAI — Web AI Media Transport & Execution standard	2026-05-24 13:36:51 -04:00
weft_import.py	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