← back to v137 · webassembly-branch-hints

conformance · v137

v137 · webassembly-branch-hints — conformance probe

6 assertions drawn from the spec. Each is a single contract the spec text makes. Pass/fail reflects what this browser executed; blocked means the contract was not run because it needs user mediation, hardware, or another unavailable precondition. Open the page in Chrome stable / canary / Firefox / Safari to compare.

browser: spec: https://webassembly.github.io/branch-hinting/metadata/code/binary.html chromestatus: #5165273114738688 generated 2026-06-01T09:35:00Z by conformance-author-v1-subagent
0
pass
0
fail
0
blocked
6
total
id contract kind verdict detail
webassembly-namespace-exists The WebAssembly global namespace is the host for branch-hint-aware modules. spec ↗ exists
webassembly-validate-is-function WebAssembly.validate(buffer) returns a boolean indicating the module passes structural validation including unknown metadata sections. spec ↗ typeof
webassembly-compile-is-function WebAssembly.compile(buffer) is available and returns a Promise<Module>. spec ↗ typeof
branch-hints-are-binary-metadata-only Branch hints live in a custom 'metadata.code.branch_hint' section; no new JS-API surface is added (no WebAssembly.BranchHints). spec ↗ script
module-customSections-exists WebAssembly.Module.customSections() is the inspection API that surfaces the branch-hint custom section by name. spec ↗ script
minimal-module-with-branch-hint-validates A minimal WebAssembly module (empty type section, no functions) validates; engines must accept the new custom section name without error. spec ↗ script