PromptVaultExecutable proof that retries cannot duplicate a write
For engineers hardening retried operations; produces deterministic fault-injection tests and support code.
Works with
- Codex
- GitHub Copilot
The prompt150 words · 3 blanks
What you fill in
- Retried operation brief
[operation_brief]ExampleChargePayment retries after gateway timeouts; only one ledger debit and receipt may persist - Test framework
[test_framework]Examplepytest - Runtime ceiling
[runtime_seconds]Example30
How to use it
- 1Open it in PromptVault. Find it in Coding, or search for “Executable proof that retries cannot duplicate a write”.
- 2Fill in the 3 blanks. retried operation brief, test framework and runtime ceiling — the only things the prompt cannot know.
- 3Copy and paste it into GitHub Copilot. It also works with Codex.
About this prompt
“Executable proof that retries cannot duplicate a write” is a intermediate coding prompt. For engineers hardening retried operations; produces deterministic fault-injection tests and support code. It is 150 words long and written to get a usable answer on the first message, in Codex and GitHub Copilot or any other chat assistant. Good for: testing, automation, deep dive, debugging and code review. Like every prompt in PromptVault, it was written and edited in-house, and it works offline once the app is installed.
More coding prompts
All 120 in Coding
Extract a pure core from effect-heavy codeFor engineers separating business decisions from I/O without changing observable behavior.- Fault injection for an outbound HTTP boundaryFor engineers adding repeatable transport failures without making tests depend on the network.
- Prove duplicate suppression under concurrent requestsFor engineers adding a focused regression test directly inside an existing repository.
- Score a background worker before it reaches productionFor engineers validating retrying jobs; returns evidence-backed readiness scores and a fix order.
- A load test that fails on latency and error regressionsFor engineers checking an endpoint under pressure; returns one runnable repository-native script.
- A minimal failing test that isolates the defectFor developers turning a bug brief into a small, deterministic regression test.