Micro-context S4c: parallel effect safety
Status: observed controlled-kernel adversarial fixture, 2026-08-06.
EffectCoordinator composes existing fak seams rather than trusting parallel model turns:
- each intent names its context, required tool authority, resource, operation, and idempotency token;
- explicit per-context tools default-deny absent authority;
- resource ownership is nonblocking, so a conflict is quarantined/refused while disjoint work continues;
internal/idempotencyserializes check/apply and persists landed results across process-store reopen;- an independently supplied readback must observe the external effect before the result is marked verified.
go run ./cmd/microcontextdemo -effects-witness experiments/microcontext/s4-local-effects-2026-08-06.json
go run ./cmd/microcontextdemo -verify-effects experiments/microcontext/s4-local-effects-2026-08-06.json
Observed fixture: two disjoint writes completed concurrently; one same-resource conflict was refused; one context lacking write authority was denied; three physical writes landed; retry after reopening the durable store replayed the prior result without a fourth apply; all four successful/replayed outcomes passed independent file readback. Four admitted intents were journaled.
The effect coordinator is separate from model slots, so waiting on a resource does not hold an inference slot. The fixture establishes local file-effect behavior and durable dedupe, not arbitrary shell/database/message safety, distributed transactions, or power-loss atomicity between an external effect and ledger append. Backends need their own idempotency/readback contracts.