open-standards/wai/wai-module-check/planted/custom-section.wasm
Transaction Science d053c8bd6e wai: the deterministic module profile is WA²ISM™, WAISM in running text: extensions/waism.md, levels waism/1-int and waism/1-det
The name replaces the working one across the specification, the two checkers and
their planted set. The planted module that carries a profile name in a custom section
is rebuilt with build.py. CI's step label stays ASCII.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-06 18:25:56 -05:00

172 B