principle-separate-before-serializing-shared-state
Installation
SKILL.md
Separate Before Serializing Shared State
Portability (required)
This skill is part of the portable pstack pack.
- Read the
pstackcapability contract and the adapter for the active coding agent before any helper delegation. - Prefer capability verbs (
explore,implement,review,parallel,ask_user,verify,model_role) over vendor tool names. - Resolve models through
model_role. Never require a vendor-specific model identifier. - When helper spawning is unavailable, run the work on the lead agent and state that fan-out was collapsed.
When concurrent actors might share mutable state, first ask whether they truly need the same mutable object. If not, eliminate the sharing. When sharing is real, enforce serialization structurally: lockfiles, sequential phases, exclusive ownership. Instructions and conventions are not concurrency control.
Why: Concurrent writes to shared state create race conditions that are intermittent, hard to reproduce, and expensive to debug. Telling agents or goroutines to "take turns" does not work.
Pattern:
- Identify shared mutable state (files both read and write, branches both push to, APIs both define and consume).
- Default: eliminate the shared write target. Ask: do these actors need one canonical object, or are they publishing independent facts? Give each actor its own owned file, key, branch, or state directory, and merge only at the read/reporting boundary. Two workers writing their own
lastXfield into onestate.jsonis still shared mutation;indexer-state.json+metrics-state.jsonis not. - Only when one shared write target is a real invariant, serialize access structurally (lockfiles, sequential phases, single-writer actor, or atomic compare-and-swap). Treat "we need a lock" as a design smell to check, not as the default answer.