List view

• Demo 3 — Tumble Tower (Deterministic Physics)

  Evolve a deterministic rigid-body physics demo in stages (2D first): AABB stacking → rotation (OBB) → friction/restitution → sleeping/stack stability → (optional) 3D. Proof goal: same initial state + same tick inputs => identical per-tick fingerprints across peers; controlled desync demos + replay/bisect workflow included.

  No due date

  •1/9 issues closed
  11% complete8 open1 closed

• Demo 2 — Splash Guy (Deterministic Lockstep)

  Make a small, shareable proof demo that Echo can run a gameplay simulation deterministically across peers (lockstep inputs + per-tick fingerprints), with a docs-first course that teaches the model and builds the demo step-by-step. Scenario: “Splash Guy” (water balloons, fuse timers, chain reactions) — mechanically equivalent to a classic grid arena bomber game, but original naming/theme.

  No due date

  •1/6 issues closed
  16% complete5 open1 closed

• TT0 – Time Model Spec Lock

  Lock TimeStreams/Cursors/Wormholes + admission is HistoryTime via StreamAdmissionDecision and admission_digest; align docs/decision log.

  No due date

  •2/4 issues closed
  50% complete2 open2 closed

• T2 – Embedded Tooling UI Baseline

  Token-based CSS baseline (Open Props) for embedded dashboards served from binaries; Playwright screenshot regen for docs.

  No due date

  •7/7 issues closed
  100% complete0 open7 closed

• W1 – Wesley as a Boundary Grammar

  Wesley grammar + canonical AST + logical plan + targets (PG/Echo) as hashable artifacts; schema/IR hash pinning in receipts/events.

  No due date

  •0/4 issues closed
  0% complete4 open0 closed

• S1 – Deterministic Rhai Surface

  Deterministic Rhai sandbox surface (no HostTime/IO without Views/claims), optional fibers + claim/effect receipts.

  No due date

  •0/1 issues closed
  0% complete1 open0 closed

• TT3 – Rulial Diff / Worldline Compare

  Side-by-side worldline compare with first divergence + per-tick diffs built on stable digests/receipts.

  No due date

  •0/3 issues closed
  0% complete3 open0 closed

• TT2 – Time Travel MVP

  Make pause/rewind/buffer/catch-up real: simulation view forks/rewinds while tools stay live; catch-up via checkpoints/wormholes; explicit resync/merge paths.

  No due date

  •0/2 issues closed
  0% complete2 open0 closed

• TT1 – Streams Inspector Frame

  Expose TimeStreams backlog/cursors + StreamAdmissionDecision summaries via inspector StreamsFrame.

  No due date

  •0/2 issues closed
  0% complete2 open0 closed

• M4 – Determinism Proof & Publish 0.1

  Demonstrable determinism across OSes; docs finalized; publish 0.1.

  No due date

  •2/7 issues closed
  28% complete5 open2 closed

• M3 – Sweep‑and‑Prune v1

  Integerized endpoints, stable tie‑breakers; ordering/stability property tests.

  No due date
  0% complete0 open0 closed

• M2.5 – Accumulator Joins

  Delta‑style joins with deterministic rounding/saturation; ACI+replay tests.

  No due date
  0% complete0 open0 closed

• M2.2 – Playground Slice

  Minimal WASM demo + CLI run/diff showing bucketed joins and replay‑identical hashes.

  No due date

  •0/6 issues closed
  0% complete6 open0 closed

• M2.1 – Lattice Joins

  Lattice trait; scheduler fold; exemplar rules; ACI+replay determinism.

  No due date

  •1/1 issues closed
  100% complete0 open1 closed

• M1 – Golden Tests

  Bit‑exact golden vectors; math kernel goldens; CI matrix (macOS+glibc+musl).

  No due date

  •22/25 issues closed
  88% complete3 open22 closed