규칙 11.10

A compiled program’s manifest, what packModule() returns and what the default export of a module’s host import is, must be one JSON object that carries its schema (schema, 1) and the package version that wrote it (compiler); each binding with its group and slot, its resource in reflect()’s vocabulary, the stages that reach it, and a buffer’s byte layout with every offset, size and stride under the rule of its space (Rule 6.8), the _fp64 guard the emit adds among them; each entry with its stage, its workgroup size, its inputs and outputs with their locations, builtins and interpolation, the bindings it reaches and which it writes, a vertex entry’s vertex buffer, and its line; the overrides and the WebGPU features; with console, the recorded variant, its WGSL, its log table and its bindings; with ir, the program as portable IR and the package version that wrote it, which emitted again gives every other field byte for byte; and what the WebGL2 tier uses, each full-screen fragment entry’s GLSL ES 3.00 program, block names and texture-sampler pairs, and each storage array’s data texture. A sampled texture’s resource must carry its sampleType, the word its bind group layout takes, from its element and the calls that read it: depth for a depth texture, uint or sint for an integer one, float for an f32 texture that a call of an entry, or of a function an entry calls, pairs with a sampler (a textureSample of any form or a textureGather, through a helper’s parameters or a const of the texture as well), and unfilterable-float for every other f32 texture: one the entries only load, measure or count, one no entry reaches, and a multisampled one, which no sampler reads. A module with no entry is read whole, since a host writes its entries over it, and one with a raw statement in what its entries reach, whose text no analysis reads, has each f32 texture but a multisampled one float; reflect() reports the same word, and the WebGL2 tier’s texture-sampler pairs are read from the same calls. A manifest packed under emit options (packModule(m, { emit }): an optimization level, parens, fp64Flavor and plugins) must hold the WGSL, the recorded variant’s WGSL, the GLSL (each WebGL2 draw’s program among it) and the bindings those options emit, the _fp64 guard of a module that emulates f64 among the bindings under the float flavor and none under the integer one; the GLSL writer has no level, so level is the WGSL’s alone. It must record the level and the two named options, emit, so that the IR emitted again is emitted under them and gives every other field byte for byte. A plugin is a function, which a manifest cannot record: ir with a plugin must be a TypeError that says the load-time emitter could not emit the program again, and a word an option does not take, which a writer reads as another, must be a TypeError that names what the option takes. It is built from the IR alone, with no TypeScript, so every producer builds the same one; a reader must refuse a schema it does not know, naming both.