test(client): add fast-check model-based property tests and retry bound analysis#4089

Open

KyleAMathews wants to merge 13 commits intomainfrom

fast-check-model-tests

Commits on Apr 4, 2026

test(client): add fast-check model-based property tests for retry loop

KyleAMathews
and
claude
committed
chore: update pnpm-lock.yaml for fast-check dependency

KyleAMathews
and
claude
committed
test(client): expand model-based tests with 409, empty 200, missing headers

KyleAMathews
and
claude
committed
test(client): add URL uniqueness and state invariant checks to model tests

KyleAMathews
and
claude
committed
test(client): add unbounded retry loop detection to static analysis

KyleAMathews
and
claude
committed
chore: add changeset for model-based property tests

KyleAMathews
and
claude
committed
fix(client): always create cache buster on 409 and fix parked frame leak in #start

KyleAMathews
and
claude
committed
test(client): add static analysis rule for unconditional 409 cache busters

KyleAMathews
and
claude
committed
fix(client): add EXPERIMENTAL_LIVE_SSE_QUERY_PARAM to protocol params list

KyleAMathews
and
claude
committed
fix(client): remove unnecessary publish call from 409 handler

KyleAMathews
and
claude
committed
test(client): add tail-position await detector to static analysis

KyleAMathews
and
claude
committed
test(client): add error-path-publish static analysis rule and fix flaky SSE test

KyleAMathews
and
claude
committed
fix(client): publish synthetic must-refetch control message on 409

KyleAMathews
and
claude
committed