Skip to content

Areev 1.0.1

Choose a tag to compare

@sathish-mg sathish-mg released this 16 Aug 04:13
· 43 commits to main since this release

Fixed

  • areev run wave determinism. The driver fed effect completions to
    the pure scheduler in racy arrival batches, each with its own clock
    reading — scheduler state depended on thread timing (an unjournaled
    decision), so two identical runs could checkpoint differently and
    areev run verify could diverge from a live run under load. The driver
    now drains every dispatch wave fully and feeds one close reading plus
    all resolutions in dispatch order — exactly the cadence verify
    replays. Journal-answered replays join the same wave rather than
    resolving early.
  • Windows --tool-cmd. /bin/sh was hardcoded in the host tool
    executor and the eval seam; both now use the platform shell
    (cmd /C on Windows).
  • areev-run-core purity gate. Dropped the workspace's only chrono
    use (a created_at fallback in canonical serialization, now
    std::time), so the CI gate that keeps clock/rand/IO out of the pure
    scheduler's dependency tree actually passes.