### `wai.audio.opus.dred` and `wai.audio.opus.dred.int`: Opus deep redundancy, decoded exactly

- **Registered** ([opus-dred](extensions/opus-dred.md), SPEC §5): the deep redundancy (DRED) of
  draft-ietf-mlcodec-opus-dred-07, a neural latent of the recent speech carried in an Opus
  packet's padding, from which a receiver rebuilds the features of lost packets. Both strings are
  companion-only enhancement layers over `wai.audio.opus.packet`, carried embedded in the packet's
  padding or as a `WAI2` companion; not refinements, since DRED corrects nothing the base decoded
  and is read only where the base is missing (§2.2). `wai.audio.opus.dred` is the draft's decoding
  within its §4.1 tolerances (`StandardTolerance`); `wai.audio.opus.dred.int` is the integer profile
  (`NeuralIntegerExact`, one-file parameter set, `ops` lowering `dred-int/1`). Both `patent-pool`,
  conservatively, while the royalty-free intent of the draft's IPR disclosure is conditional. The
  working group's other documents are placed (§2.3): the extension format and the speech coding
  enhancement register nothing, the scalable quality extension rides embedded in the base.
- **The integer profile `dred-int/1`** (§3–§4): DRED found in a packet (RFC 6716's framing, the
  extension draft's iterator with its repeat mechanism), the payload's integers (RFC 6716's range
  decoder, with a magnitude cap that bounds crafted payloads), and the draft's own decoder network
  from its own weights file, pinned by SHA-256 and never committed, lowered to two `wai-ops/1`
  graphs: weights at `2^24` from their float32 bits, activations at `2^15`, `tanh` and the sigmoid as
  `lut16` tables of a stated integer computation, every layer a `conv`, `mul`, `add` or `rescale`
  with its rounding stated. Both graphs meet `acc64` and use only `wai-ops/1-i32` operators.
- **Measured** (§6), on the draft's test vectors: the profile passes the draft's feature test
  against its reference features on every vector, and lies at `total` 0.0021 (largest difference
  0.0084) from the network in floating point. The reference features are not the network's: two
  builds of the draft's reference decoder on one host give features about 0.13 apart, neither the
  test vectors'.
- **A stream under loss** (§5): a seeded loss pattern, the slots each recovering packet's DRED
  rebuilds, a reconstruction buffer and its digest, and the record a verifier checks
  (`weights_digest_mismatch`, `loss_pattern_mismatch`, `reconstruction_mismatch`).
- **Receipts** (§7): a reconstruction from DRED is a `convert`; concealment beyond it a `generate`;
  speech coding enhancement an `assist`. A player presents a reconstruction in synthesis's log, its
  `output` the run's digest at `decode-equivalence` (`present_output_irreproducible` when it does
  not recompute).
- **Reference and corpus**: the `dred_exact` module of wai-rs (feature `dred_exact`), the corpus
  `live-conformance/dred/` (payloads, streams, cases, negative controls for every code: another
  weights file, a loss list that is not the pattern, a moved row, a flipped digest, a
  floating-point decode claimed and presented as exact, a broken log signature), its second
  implementation `dred_verify.py`, the measurement test, and a GPU test that holds the device's
  integers to the CPU's. The profile as a proposal to the working group is drafted, not filed, in
  `proposals/dred-integer-profile.md`.

