Add testing DSL for ShapeStream state machine#3840

Merged

KyleAMathews merged 24 commits intomainfrom

kylemathews/add-dsl-for-testing-electricclient

Mar 2, 2026

Commits on Feb 13, 2026

feat: add fluent scenario builder DSL for state machine testing
KyleAMathews
committed
feat: add transition truth table and Tier 2 raw event testing
KyleAMathews
committed
feat: add algebraic property tests, seeded fuzzing, and mutation testing
KyleAMathews
committed
feat: add mock fetch harness and extract mockVisibilityApi
KyleAMathews
committed
fix: respect canEnterReplayMode guard and move mutation setup into test bodies
KyleAMathews
committed
refactor: apply code review fixes and convert tests to DSL

KyleAMathews
and
claude
committed
chore: add changeset for state machine test DSL

KyleAMathews
and
claude
committed
fix: improve fuzz determinism, align shrink predicate, clamp pendingCount

KyleAMathews
and
claude
committed
docs: add formal SPEC.md for ShapeStream state machine

KyleAMathews
and
claude
committed
chore: move SPEC.md to package root

KyleAMathews
and
claude
committed
fix: complete PausedState delegation checks and add withHandle reachable invariant

KyleAMathews
and
claude
committed
fix: improve state machine correctness — ErrorState.isUpToDate, nesting guards, SSE field persistence, enterReplayMode API

KyleAMathews
and
claude
committed
fix: revert ErrorState.isUpToDate and enterReplayMode consolidation

KyleAMathews
and
claude
committed
fix: reduce fuzz iterations under coverage to avoid CI OOM

KyleAMathews
and
claude
committed

Commits on Feb 17, 2026

fix: restore SSE fields as private LiveState members

KyleAMathews
and
claude
committed

Commits on Mar 2, 2026