### `wai.neural.int_synth` through the integer operator set

The first capability whose reference decoder decodes through `wai-ops/1`.

- **The decode.** `int_synth::decode_bytes` checks the payload
  ([integer-payloads](extensions/integer-payloads.md) §13), lowers the set by
  `int_synth/1` ([integer-operators](extensions/integer-operators.md) §13.1), loads the
  graph under `acc64` (load steps 1–8, the last being the bounds certificate) and runs it
  through the operator set's interpreter, with the fast transposed-convolution kernel
  behind it (`wai-rs/src/int_ops.rs`). Every committed output is unchanged, byte for
  byte, on every platform the byte-equality matrix covers and in the browser crate, and
  every committed refusal keeps its code (`payload_malformed`). The direct decode it
  replaced is kept, test-only (feature `legacy_int`): `tests/int_ops_differential.rs`
  decodes random sets and payloads both ways and requires the same output or both
  refusals outside the planned breaks, and `wai-ops-differential.yml` runs it for an
  hour in each build profile every night.
- **Planned breaks** (SPEC §8, integer-operators §15.3): new refusals of input no
  committed corpus contains. `wai.neural.int_synth` refuses a payload whose reserved byte
  is not 0, whose `C` is 0 or whose latents exceed `2^26` values; a set with no layers,
  with a layer whose `out_ch`, `k` or `stride` is 0, with a field of `2^32` or more, or
  with a shift of 128 or more; a set or payload a cap refuses (a tensor, or a transposed
  convolution's uncropped output, past `2^26` elements); and a set whose certificate does
  not meet `acc64`. A shift from 64 to 127, which a build used to mask or panic on, now
  has its exact meaning. A scan of every committed `int_synth` set and payload finds
  none affected. The text now states the two rules the lowering already made and the
  payload text did not: at least one layer, and `out_ch ≥ 1`.
- **Its `ops` member in the registry** ([integer-operators](extensions/integer-operators.md)
  §11). `registry/capabilities.json` gives `wai.neural.int_synth` the member
  `{"set": "wai-ops/1", "profile": "acc64", "subset": "full", "lowering":
  "int_synth/1"}`, and the schema describes the member. SPEC §5's row cites the payload
  and set ([integer-payloads](extensions/integer-payloads.md) §13) and the lowering
  (integer-operators §13.1), and SPEC §7 says that a `NeuralIntegerExact` capability
  that decodes through the operator set names it in its `ops` member.

