test!: prove determinism and money-safety invariants by effect - #360

Merged

btravers merged 20 commits into

mainfrom

test/determinism-invariants

Aug 2, 2026

Commits on Aug 2, 2026

docs(spec): design for determinism and money-safety invariants
btravers
committed
docs(plan): implementation plan for the determinism invariants
btravers
committed
docs(rules): correct the determinism rule — the sandbox patches most hazards
btravers
committed
docs(rules): fix a leftover contradiction in the escape-hatch section
btravers
committed
test(testing): add the testRig replay-harvest helper
btravers
committed
fix(testing): close three replay-coverage gaps in testRig review
btravers
committed
test(worker): move replay.inprocess.spec.ts onto the rig
btravers
committed
fix(worker): narrow the testRig alias to integration-inprocess only
btravers
committed
test(worker): move handlers and activity-options onto the rig
btravers
committed
fix(worker): resolve the fourth peer-dep specifier tsc missed, narrow allowlist keys
btravers
committed
test(worker): move cancellation and continue-as-new onto the rig
btravers
committed
test(worker): move the remaining in-process specs onto the rig
btravers
committed
test(worker): prove nonRetryable by attempt count, not by field
btravers
committed
test(worker): prove timeout forwarding through every merge layer
btravers
committed
test(testing): make replaySkipAllowlist a caller param, guard START_METHODS
btravers
committed
test(worker): move REPLAY_SKIP_ALLOWLIST fixture out of testing package
btravers
committed
test(testing): require testRig( in every in-process spec test
btravers
committed
docs(worker): correct three misleading test-fixture comments
btravers
committed
chore: add changeset for the test-rig subpath export
btravers
committed
fix(testing): close four fail-open paths in the rig and its adoption guard
btravers
committed