Repository navigation

Prove durable Hello Echo execution - #17

Merged

flyingrobots merged 12 commits into

mainfrom

task/3-prove-durable-hello-echo

Jul 29, 2026

Commits on Jul 28, 2026
- test: require durable Hello Echo runtime witness
  flyingrobots
  committed
  68c8d9b
- feat: run Hello Echo through durable scheduler
  flyingrobots
  committed
  fe3dccd
- docs: define the durable runtime witness
  flyingrobots
  committed
  153175b
- docs: record durable runtime witness
  flyingrobots
  committed
  f6e20a8
- test: require byte-identical runtime replay
  flyingrobots
  committed
  c078a1d
- docs: record runtime replay equivalence
  flyingrobots
  committed
  fdeb8f0
- docs: record runtime replay proof
  flyingrobots
  committed
  a8e2b79
- test: bind witness checks to exact artifacts
  flyingrobots
  committed
  d55a2e8
- test: distinguish recovery from deterministic reruns
  flyingrobots
  committed
  461229e
Commits on Jul 29, 2026
- test: require duplicate state evidence
  flyingrobots
  committed
  f01670c
- docs: explain duplicate state proof
  flyingrobots
  committed
  887e789
- docs: record duplicate state proof
  flyingrobots
  committed
  00f6204