Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science c2e52d1e16 wai-det-jpegai: the JPEG AI exact decoder as the float level's module of record, with F1 and F2 on two instruction sets ... One WebAssembly module with the interface of waism §5 and nothing else, decoding wai.image.jpegai through wai-rs's exact decoder, the integer weight bundle arriving as the set (the file sequence of norm.json and weights/*.json). Refusals are the capability's codes; a codestream outside the decoder's configuration traps. Both checkers hold it at the float level and refuse it R3 at the integer level. record/ keeps the module of record, built on Linux x86_64 over main at 373fe3594 and named by its SHA-256 (53d54e58…, 666,425 bytes). corpus.json, written by corpus.py from committed files: the reference codestream over the pinned jpegai/v1 bundle, to the native exact decoder's pinned RGB8 (dbc494a5…), and three refusal fixtures. host/ runs the probe on each engine first, in the same process (§6 check 10), then every case on an instance of its own: wasmtime 50.0.1 with Cranelift, Winch and Pulley, each with its NaN canonicalisation on and off, and Wasmi 2.0.0 built with `deterministic`. What ran (rb, slot limiter): - Linux x86_64 (Framework): F1 holds, the probe's bytes on the four engines with the NaN rule set and other bytes on the three without it; the planted probe fails F1. F2: the module of record gives every case the corpus's on all four engines, one run digest c7025bbc…. - Linux arm64 (Thor): build.sh with both checkers; F1 holds and the planted probe fails it; F2 on the module of record and on this host's own build (ffb2c94f…, other bytes): eight runs, the same run digest. module-check.sh in full passes. - The planted decoder (feature planted-nan-branch) gives the pinned RGB8 on the four engines the probe holds, another output on the three with the rule unset run past the probe, and the probe refuses those engines first (module_probe_mismatch), on both hosts. - wai registry export --check, wai ops export --check and wai breaking against main: clean. module-check.sh holds record/ to its manifest and both verdicts; wai-det-jpegai.yml runs the build, F1, F2 and the planted faults on linux and linux-arm64. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-09 18:37:15 -05:00
..
src	wai-det-jpegai: the JPEG AI exact decoder as the float level's module of record, with F1 and F2 on two instruction sets	2026-11-09 18:37:15 -05:00
Cargo.lock	wai-det-jpegai: the JPEG AI exact decoder as the float level's module of record, with F1 and F2 on two instruction sets	2026-11-09 18:37:15 -05:00
Cargo.toml	wai-det-jpegai: the JPEG AI exact decoder as the float level's module of record, with F1 and F2 on two instruction sets	2026-11-09 18:37:15 -05:00