Skip to content

ADVANCED_GUIDE.md

Latest commit

 

History

History
57 lines (33 loc) · 3.05 KB

ADVANCED_GUIDE.md

File metadata and controls

57 lines (33 loc) · 3.05 KB

Advanced Guide — Echo

This is the second-track manual for Echo. Use it when you need the deeper doctrine behind the theoretical foundations (AION Foundations), Wesley schema integration, and internal Spec details.

For orientation and the productive-fast path, use the GUIDE.md.

Theoretical Foundations

Echo implements ideas from the AIΩN Foundations paper series.

WARP Graphs (OG-I)

A worldline algebra for recursive provenance. State is a finite directed multigraph where nodes and edges can contain nested graphs.

Deterministic Convergence (OG-IV)

Independent rewrites commute under footprint conflict rules. State convergence does not imply provenance convergence—two worldlines can arrive at the same state through different histories.

Rulial Distance & Observer Geometry

An observer is a structural five-tuple (Projection, Basis, State, Update, Emission). Echo surfaces what survives each layer of observation.

Internal Specs

Deterministic Policy

Echo enforces a strict 'No-Network' and 'No-Entropy' policy in core paths to preserve causal replayability. This is verified in CI via scripts/ban-nondeterminism.sh.

Prohibited Patterns

  • Network I/O: std::net, reqwest, ureq, and other network crates are banned from deterministic paths. Causal history must be self-contained.
  • Entropy & Time: std::time::SystemTime, Instant::now, rand, and getrandom are prohibited. Use the deterministic Tick and Seed provided by the kernel.
  • Unordered Collections: std::collections::HashMap and HashSet are banned due to iteration order nondeterminism (DoS resistance/hashing variability). Use BTreeMap, BTreeSet, or stable-sort patterns on vectors before iteration.
  • Floating Point: Direct use of sin, cos, sqrt, etc., is restricted. Use the FixedTrig oracles in docs/determinism/SPEC_DETERMINISTIC_MATH.md to ensure bit-exact convergence across platforms.

Wesley Integration

The simulation protocol and graph schemas are increasingly defined via Wesley.

  • Schema: schemas/runtime-schema.graphql
  • Compiler: Wesley generates bit-exact Rust/TS bridges and Zod validators.

Performance & Scaling

Echo uses WSC (Write-Streaming Columnar), a zero-copy snapshot format for fast state reload and verification. The hot render loop is optimized through reusable framebuffers and footprint-based scheduling.

The goal is inevitability. Every continuation from the past is explicit, capability-gated, and provenance-bearing.