AVELUNE

Independent conformance oracle

Why Avelune keeps one independent decoder oracle and how its boundary is protected.

View source
Documentation navigation

Use

  1. CLI guide

Browser

  1. Browser streaming contract
  2. WebGPU and browser acceleration — Draft Generation 1

Architecture

  1. Codec direction (non-normative)

Development

  1. Independent conformance oracle
  2. Testing Avelune
  3. Avelune document authoring profile
  4. Versioning and compatibility
  5. Avelune web style
  6. Release checklist

Project

  1. IPR / prior-art notes — Draft Generation 1

History

  1. Historical internal Avelune “1.0.0” snapshot (superseded)
On this page
  1. Purpose
  2. Scope
  3. Independence rules
  4. Format feedback

Purpose

crates/avelune-reference is development infrastructure, not an application backend. Applications, the CLI, WASM, and browser integrations use the canonical avelune crate.

The oracle deliberately reimplements Draft Generation 1 parsing/reconstruction math so differential tests can detect errors in the canonical implementation. If both sides call the same codec helper, agreement is much weaker evidence.

Scope

The crate contains:

  • independent bitstream/container parsing used by conformance work;

  • an independent ALA1 encoder/decoder;

  • one scalar ALV1 decoder oracle;

  • one simple ALV1 encoder used for reverse-direction differential tests.

It intentionally does not contain a second application session stack, SIMD/runtime dispatch, threading policy, browser integration, or CLI backend selection.

Independence rules

  • The canonical avelune crate must not depend on avelune-reference.

  • Codec reconstruction helpers must not be shared between canonical and oracle implementations.

  • Tests may convert owned frames between the two representations at their boundary.

  • Do not add another redundant ALV1 decoder merely to increase implementation count. A new oracle is justified only by a genuinely independent verification strategy.

  • Keep the oracle simple enough to audit against the normative specification; performance is not its purpose.

Format feedback

If canonical and oracle implementations disagree, determine which behavior follows the normative source. If implementation experience exposes a specification flaw, preserve the current semantics while investigating it separately rather than silently making either implementation normative.