Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 657daba14a wai: the DCVC family and NNVC registered as candidates, and WFT1 tensor frames registered with their decoder ... WAI named two of the DCVC neural video codecs and none of the rest, nothing for the neural-network-based video coding exploration of ITU-T and ISO/IEC, and no lossless frame format for tensors. SPEC §5 registers wai.neural.dcvc, .dcvc_tcm, .dcvc_hem, .dcvc_dc and .dcvc_uf as candidates (neural-float, media class video, patent-pool provisionally: the code is under MIT, which grants no patent licence). Each published decoder takes its latent's entropy parameters from a temporal context as well as the hyperprior, most from a spatial prior of two or four passes too, four decode a motion latent, and DCVC-UF codes a chunk of frames as one latent; none fits the inter-frame route of neural/video_dcvc.rs, whose latent comes from the hyperprior alone, and none pins a bitstream. A new SPEC note says so, and that dcvc_rt and dcvc_fm decode through that route with a sink-supplied temporal decoder. wai.video.nnvc is a candidate too: no standard is published and the reference software's bitstream follows its release. Candidates are refused by dispatch and never picked (SPEC §7.1), which the existing candidate tests now cover for all six. wai.tensor.weft registers one frame of the WeftCodec format 1.0 (WEFTCODEC-FORMAT v1.0.0, WEFT-AI-CODEC v1.3.0, weftcodec 1.2.0) in mode RAW, TENSOR or FLOAT_TENSOR, naming no dependency: lossless, its plaintext bound by a BLAKE3 content hash, so standard-defined; royalty-free (text CC BY 4.0, reference implementation Apache-2.0). Any other mode is UnsupportedMode, as the format requires of a decoder that does not implement a mode. The reference is codecs::weft (feature weft): a decoder that checks a frame in the format's order and refuses it with the format's own class, and writers that give the format's own frames byte for byte. The corpus, tensor-conformance/, holds 77 of the format's frozen vectors with the outcome this capability gives each, and 70 generated frames, five that decode and the rest with one planted defect each, every class and every limit reached. weft_verify.py, its second implementation, agrees on all 147, refuses all 143 changed frames, and requires each of its 77 checks to refuse some vector and to be needed: 72 alone, five (always backed by another check with the same class) together with that check. staged_verify.py's video class names the DCVC candidates as the reference's does. The registry export, REGISTRY.md and wai.h are regenerated. Thirteen faults planted, each failing its tests: DCVC-HEM not a candidate, NNVC royalty-free, DCVC-UF outside the video class, ZSTD admitted, no content hash, no header CRC, a 25-bit code admitted, no exponent range, no table_len check, weft as neural-float, SPEC missing a class (both implementations), and the second verifier without its exponent range. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-09 09:54:31 -05:00
..
frame.wft	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