Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 17 Packages Wiki Activity Actions 94
open-standards/wai/wai-module-check/planted
History
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science a2e11f6ff2 waism: the probe of §9.3 and its vectors, and the probe with a NaN-dependent branch planted 
planted/build.py now writes §9.3's probe beside the checker corpus: probe.wasm, whose wai_run
loads each case's operands from a data segment at run time, runs the twelve operations of the
table and stores each result in order (80 bytes), in a memory of one page whose minimum is its
maximum; and probe.txt, each case's operands and the result the deterministic profile
prescribes, and the probe's bytes. probe-nan-branch.wasm is the probe with a branch after each
operation on whether its result is a NaN, writing the canonical NaN itself.

Both checkers hold both at the float level and refuse them R3 at the integer level
(cases.txt; tests/module_rules.rs). What the planted copy breaks is F1, a property of the probe
on engines that no checker decides; the next commit's host shows the probe holds it and the
planted copy fails it.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-09 18:37:15 -05:00
..
build.py waism: the probe of §9.3 and its vectors, and the probe with a NaN-dependent branch planted 2026-11-09 18:37:15 -05:00
bulk-and-sign.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
call-ref.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
cases.txt waism: the probe of §9.3 and its vectors, and the probe with a NaN-dependent branch planted 2026-11-09 18:37:15 -05:00
component.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
custom-section.wasm wai: the deterministic module profile is WA²ISM™, WAISM in running text: extensions/waism.md, levels waism/1-int and waism/1-det 2026-11-06 18:25:56 -05:00
exception.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
exported-global.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
externref-global.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
externref-table.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
extra-export.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
fixed-memory.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
fixed-table.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
float-block-type.wasm wai-module-check: plant float-block-type and float-select-type 2026-11-06 18:25:56 -05:00
float-constant.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
float-conversion.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
float-load.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
float-select-type.wasm wai-module-check: plant float-block-type and float-select-type 2026-11-06 18:25:56 -05:00
float-signature.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
float-truncation.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
float-unreachable.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
float-vector.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
funcref-local.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
funcref-parameter.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
grow-swallowed.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
i64-export.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
import-function.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
import-global.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
import-memory.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
invalid.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
memory64.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
minimal-float.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
minimal-int.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
missing-run.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
no-maximum.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
no-memory.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
over-functions.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
over-pages.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
oversize.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
probe-nan-branch.wasm waism: the probe of §9.3 and its vectors, and the probe with a NaN-dependent branch planted 2026-11-09 18:37:15 -05:00
probe.txt waism: the probe of §9.3 and its vectors, and the probe with a NaN-dependent branch planted 2026-11-09 18:37:15 -05:00
probe.wasm waism: the probe of §9.3 and its vectors, and the probe with a NaN-dependent branch planted 2026-11-09 18:37:15 -05:00
relaxed-dot.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
relaxed-laneselect.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
relaxed-madd.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
relaxed-swizzle.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
scalar-float.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
shared-memory.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
start.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
struct-type.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
table-fill.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
table-grow.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
table-set.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
table-unfixed.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
tail-call.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
two-memories.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
two-tables.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00
vector-int.wasm wai-module-check: the checker corpus of the deterministic module profile, built from source 2026-11-06 18:25:56 -05:00