AVELUNE
historical · non-normative

Candidate conformance requirements

Historical candidate conformance requirements retained for provenance and superseded by Draft Generation 1.

View specification source
Specification navigation

Current draft

  1. Avelune specification drafts
  2. Avelune Draft Generation 1 Baseline profile
  3. ALV1 video bitstream — Draft Generation 1
  4. Avelune V1 — common integer and entropy coding
  5. Avelune container — Draft Generation 1 (header generation 1, minor 0)
  6. ALA1 audio bitstream — Draft Generation 1
  7. Avelune Draft Generation 1 conformance requirements
  8. Specification changelog

History

  1. Avelune Audio Candidate 0.0
  2. Avelune Container Candidate 0.0
  3. Avelune Video Candidate 0.0
  4. Candidate conformance requirements
Warning

HISTORICAL / NON-NORMATIVE: superseded by the Draft Generation 1 001-* specification.

Status: EXPERIMENTAL.

A decoder must eventually be implementable from specification documents alone. Candidate implementations are tested for:

  • deterministic reconstruction;

  • exact lossless round trips;

  • rejection of truncated and overlong varints;

  • bounded allocation from attacker-controlled lengths;

  • rejection of impossible dimensions and arithmetic overflow;

  • epoch dependency isolation;

  • no panic for malformed input at public decoding boundaries;

  • reference/optimized decoder agreement once both exist.

Every discovered malformed-stream bug gets a permanent regression vector.