Get spec section
section_getRetrieve a WebAssembly spec clause by its id or anchor from core, js-api, or web-api. Get the clause title, cleaned prose, cross-references, formal references, and rendered URL.
Instructions
Fetch one spec clause by id or anchor, across core / js-api / web-api (set spec). For core: syntax-numtype, valid-unreachable, binary-instr, … For the embedding specs: modules, memories, streaming-modules, … Matches the rendered spec's stable fragment ids. Returns the clause title, cleaned prose, cross-references, the SpecTec formal_refs it cites (core), and the rendered URL. Core validation/execution clauses are SpecTec-generated: prose may be terse, but formal_refs + url point to the formal rule.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | Yes | Clause id or anchor. For `core`: `syntax-numtype`, `valid-unreachable`, `binary-instr`, … For `js-api` / `web-api`: `modules`, `memories`, `streaming-modules`, … These match the stable fragment ids in the rendered spec. | |
| spec | No | Which WebAssembly spec to query: `core` (default; instructions, types, validation, execution, formats), `js-api` (JavaScript embedding), or `web-api` (Web platform integration). | core |
| version | No | WebAssembly spec version to query. `latest` (default) is the current served version; `main` is the upstream working draft. | latest |