morzecrew Determinism by Design
Nondeterminism is a dependency. Code that calls the wall clock, the OS entropy pool, or the scheduler directly has hard-wired an uncontrollable input — and everything downstream inherits it: tests that need sleeps and retries, failures that vanish under observation, "run it 100 times" as a verification strategy. The fix is the same as for any dependency: inject it. Route every nondeterministic source through a seam the caller controls, wire the real source in production, and wire a controlled one everywhere reproducibility matters.
What this buys compounds: hermetic tests that cannot flake, failures that replay from a single seed, forced interleavings that turn race conditions into on-demand reproductions, and differential runs where two implementations see byte-identical inputs.
Nondeterminism is a dependency — inject it
Code that calls the wall clock, the OS entropy pool, or the scheduler directly has hard-wired an uncontrollable input, and everything downstream inherits it: tests that need sleeps and retries, failures that vanish under observation, "run it 100 times" as a verification strategy. The fix is the fix for any dependency: route every nondeterministic source through a seam the caller controls, wire the real source in production, and wire a controlled one wherever reproducibility matters.
Seven sources need seams — time, sleep/timeout, randomness, ID generation, iteration order, the concurrency schedule, and the environment (locale, timezone, env vars, cwd) — and each seam's shape, plus what a hermetic test looks like once they exist, is in references/seams.md.
The whole-system constraint
Determinism is only as strong as the least deterministic component: every randomness and time source must route through the seams, because one library carrying its own RNG stream — most scientific/statistics stacks do — reintroduces an uncontrolled input and quietly breaks whole-run replay. This is a dependency-adoption constraint, not just a coding rule (dependency-diligence's principled-constraint test — one sentence rules out whole families), and it decays without enforcement: guard it with a check that fails when direct clock/RNG/entropy calls appear in seamed code (ratchet-what-you-build).
scripts/unseamed_calls.py is that check — it finds direct clock, sleep, randomness, UUID, and environment calls across Python, JS/TS, Go, Rust, and Java:
python3 scripts/unseamed_calls.py --seam src/pkg/time_source.py # triage
python3 scripts/unseamed_calls.py --seam src/pkg/time_source.py --strict # then gate CI
It ignores comments, docstring prose, tests, and lines marked allow-unseamed, and reports hits inside declared seams separately from leaks. It warns without failing until you pass --strict: a first run over an existing codebase surfaces seams the tool cannot know about, and a check that cries wolf gets deleted along with its protection. Tune --seam/--allow until the list is true, then turn on the gate.
Where a seam is the vulnerability
Secure randomness is the exception the seams do not get. Cryptographic key material, tokens, and nonces must read the OS entropy pool directly, on a dedicated non-seeded path: an injection point there is a way to make the values predictable, which is the whole attack. Everything else routes through a seam.
The sanctioned path is os.urandom and the secrets module (token_bytes,
token_hex, token_urlsafe, choice), or the platform equivalent — and
scripts/unseamed_calls.py exempts them, because a gate that goes red for doing
the secure thing teaches people to route key material through a seam to make the
build green.
The honesty boundary
Say precisely what is and isn't covered — over-claiming determinism spends the trust the machinery earned:
- The seam is the horizon. Behavior below an abstraction the simulation replaces (a real database's triggers and constraints, the real broker's rebalancing, the kernel's scheduler) is invisible to seam-level determinism. A simulated run proves the logic above the seam; conformance against the real thing (
reading-isnt-proof) covers the fidelity of the stand-in itself. - Replay breaks are regressions. Once byte-identical replay is a property, treat any change that breaks same-seed-same-run as breaking a public contract: it invalidates every recorded failing seed, which is your accumulated bug corpus.
- Production stays on real sources — the value in production is not replay but structure: seams make the nondeterminism visible, injectable, and loggable when a production failure needs reconstruction.
Related skills
reproduce-then-fix— seeds and forced schedules are how probabilistic failures become on-demand red reproductionsfewer-tests-more-proof— determinism replaces flake-retry volume with exact testsdependency-diligence— the whole-system constraint applied at adoption timeratchet-what-you-build— the guard that keeps unseamed calls from creeping backreading-isnt-proof— conformance batteries cover what lies below the seam's horizon