Skip to content

Commit 7e4d2ca

Browse files
committed
Update wasm posture roadmap evidence
1 parent d02a7e6 commit 7e4d2ca

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

docs/PLAN.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1051,6 +1051,10 @@ inside the `1.3.x` line if they remain evidence-gated and do not weaken the
10511051
[WASM_SIMD128_RUNTIME_REVIEW.md](WASM_SIMD128_RUNTIME_REVIEW.md), because
10521052
current evidence is compile/codegen-only and does not prove runtime/JIT
10531053
timing, register-retention, cleanup, fallback, or benchmark posture.
1054+
- Second checkpoint: add `scripts/generate_wasm_simd_evidence.sh` to emit
1055+
release test-harness LLVM IR with `target-feature=+simd128` and check vector
1056+
codegen markers while still treating wasm as non-dispatchable runtime
1057+
evidence.
10541058
- If admitted, implement an explicit wasm dispatch boundary and evidence for
10551059
encode first, then decode only if the same evidence standard is met.
10561060
- Keep wasm wipe behavior fail-closed unless callers explicitly enable

0 commit comments

Comments
 (0)