open-standards/wai/wai-rs
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science 2e6cfaef42 route-record §6.2: every form and bound of the third-party hop record has its control
The Rust mutations showed a usage's quantity of the wrong type went uncaught, and the same held of
other forms and bounds the text states. Each now has a control, at its first value past the limit,
so the two implementations are held to the same limits. A clause `unhex` already made redundant
is gone. The document kind is in the registry.

The Python verifier stops a mutated copy at its first failure: it only asks whether one fails.

routes corpus: 236 vectors. route_record_verify.py: 103 checks, 1,119 mutated copies.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-02 08:03:16 -05:00
..
examples wai: platform-encode extension text, the encode corpus (fixture streams from each interface, generated records and negative controls), the stream checks in the text's order 2026-10-26 02:30:52 -04:00
fuzz wai 0.4.0 2026-10-28 11:20:02 -04:00
include wai-rs: include/wai.h as build.rs regenerates it on the train 2026-10-26 08:56:04 -04:00
src route-record §6.2: every form and bound of the third-party hop record has its control 2026-11-02 08:03:16 -05:00
tests route-record §6.2: a third party's hop has a signed record of what was sent, what came back, and what the provider bills 2026-11-02 08:03:16 -05:00
build.rs wai: the native sink core and its C ABI (wai_sink_*) 2026-10-25 22:14:40 -04:00
Cargo.lock sec: RUSTSEC-2026-0429, a zip archive that aborts the process on extract 2026-11-02 06:31:12 -05:00
Cargo.toml sec: RUSTSEC-2026-0429, a zip archive that aborts the process on extract 2026-11-02 06:31:12 -05:00
cbindgen.toml wai: the native sink core and its C ABI (wai_sink_*) 2026-10-25 22:14:40 -04:00
clippy.toml 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
deny.toml wai http receipts: anchor an origin over TLS only 2026-10-08 04:11:01 -04:00