Semantic Singleflight Dedup Runtime
Reuses one result for duplicate command runs, keyed by repo state rather than the words alone.
Contract
Does Surfaces the public command-run singleflight bundle as a first-class operational-discipline runtime. It runs a small set of bounded command exercises and shows how duplicate runs collapse: a first run becomes the leader and runs once; a second run with the same content key reuses the completed run instead of executing again (the side-effecting counter stays at 1); mutating a scoped file flips the key so a stale working tree cannot answer for a different run; and an empty command is refused outright. The content key is built from the command words, the resolved working directory, the git HEAD commit, a scoped dirty-tree fingerprint, and an environment fingerprint, so what counts as 'the same run' is decided by repo state rather than by the command words alone.
Scope limit It keys and dedups command runs by a repo-state fingerprint over bounded public fixture commands only; it does not guarantee global mutual exclusion, does not replace a lock service, cannot prove cross-host correctness, and is not a job scheduler, a daemon, or launch-scope decision.
Run
microcosm semantic-singleflight-dedup-runtime run --input fixtures/first_wave/semantic_singleflight_dedup_runtime/input --out /tmp/plectis-public-runs/semantic_singleflight_dedup_runtime
Validator command
microcosm semantic-singleflight-dedup-runtime run --input fixtures/first_wave/semantic_singleflight_dedup_runtime/input --out receipts/first_wave/semantic_singleflight_dedup_runtime --acceptance-out receipts/acceptance/first_wave/semantic_singleflight_dedup_runtime_fixture_acceptance.json
Evidence
ClassBounded runtime computationevidence 4/5Real runtime resultRuns real tools
Links to Mission Transaction Work Spine, Durable Agent Work Landing Replay, Concurrency Mission Control, Engine Room Demo
Source
Paper module
Paper module Semantic Singleflight Dedup Runtime