open-standards/wai/registry
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
..
.gitattributes wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
capabilities.json 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
capabilities.schema.json Merge #446 (wai/registrations-b3r @da3c09c5): JPEG XS, MV-HEVC, the projection descriptor, IEEE 1857.11, format probes, CMSD read, LOC carriage 2026-10-26 08:23:51 -04:00
takedown-clocks.json wai: takedown — the derivation closure, purges against a regime's clock, and counts (spec, reference module, corpus, independent verifier) 2026-10-21 19:26:19 -04:00