Plectis
This page

Component · spec & evidence

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

Quick probe
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

agent-concurrencyoperational-disciplinededuplication

Source

Source Design note · Source

Map Show on the map

Paper module

Paper module Semantic Singleflight Dedup Runtime

The semantic singleflight dedup runtime surfaces the public command-run singleflight bundle and dedups command runs by a content key built from argv, resolved cwd, git HEAD, a scoped dirty-tree fingerprint, and an env fingerprint, over bounded public fixtures only.