Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 1929b84363 wai: conditional inter-frame video at the integer tier, wai.video.int_cond ... Registers wai.video.int_cond and its frame form wai.video.int_cond.frame, NeuralIntegerExact at decode-equivalence. Each frame's latent is coded given a temporal context, the previous frame's decoded feature (zero for an intra frame): an integer context network over that context gives every latent element's scale and mean, the element is decoded against its scale's table, and an integer conditional decoder and synthesis give the frame and the feature the next frame reads. Every network is a WHM1 network through whm1/1, so every scale, table choice, feature and frame is the encoder's on every decoder. The context is a feature, not pixels, so the decode takes no warp operator and wai-ops/1 gains none. integer-payloads §17 pins WIC1 (a clip of WCF1 frames) and WCF1 (one frame, carried one an object by frame-stream), their checks and decode, and the one-file set WCB1 (model.wcb: ctx, prior, dec, recon and the tables). §17.7 (informative) sets out what lowering DCVC-RT's published weights onto the topology by post-training quantisation takes, as int_hyper was lowered from mbt2018_mean: its blocks are WHG1 graphs of operators wai-ops/1 has, and its hyperprior, spatial passes and rate are what WCF1 does not carry. integer-operators §13.4a adds the lowering wcb1/1 and §13.5 its driver row; SPEC §5 Video rows and the frame-forms text, determinism-tiers rows. wai-rs: int_cond_video (CondModel, plan, load, decode_frame, decode_clip, CondFrames under FrameStream, split, join, corpus); int_payload::wire parses and writes WIC1 and WCF1, which join the magics a format_capability_mismatch names; decode_int decodes the clip; the emit paths parse both payloads. float_free reads int_ops_offload.rs, an integer module its list lacked. wai-ops: lower::wcb1. tools/wai_int_cond_export.py trains the topology on seeded procedural clips, quantises it after training and codes a six-frame 64x64 clip with the integer networks themselves (tests/vectors/int_cond/; its sidecar names its buffer, and tests/int_kernels_vectors.rs holds the clip to it under every kernel policy). int-payload-conformance/int-cond/: the clip's frames, frame streams (clean, two groups, a frame lost, another picture size, a stream that runs out), a fixture for every parse code and the decode's, set fixtures, join refusals. int_payload_verify.py --int-cond decodes the clip, the streams and the decode fixtures with its own integer networks and rANS decoder. Byte-identical on Linux x86_64 and Linux arm64. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-09 13:08:11 -05:00
..
frames	wai: conditional inter-frame video at the integer tier, wai.video.int_cond	2026-11-09 13:08:11 -05:00
joins	wai: conditional inter-frame video at the integer tier, wai.video.int_cond	2026-11-09 13:08:11 -05:00
refusals	wai: conditional inter-frame video at the integer tier, wai.video.int_cond	2026-11-09 13:08:11 -05:00
sets	wai: conditional inter-frame video at the integer tier, wai.video.int_cond	2026-11-09 13:08:11 -05:00
streams	wai: conditional inter-frame video at the integer tier, wai.video.int_cond	2026-11-09 13:08:11 -05:00
index.json	wai: conditional inter-frame video at the integer tier, wai.video.int_cond	2026-11-09 13:08:11 -05:00