Take Makes the World Quiet Enough

Record pending drift first

Before a session edits, mobile or editor changes may be waiting for the watcher. Capturing base then would mix external drift into the later semantic task commit and falsify actor provenance.

Take first sweeps the mirror, records pending drift as an ordinary commit, and stores that head as base_sha. Session delta is now measurable from a clean base.

The watcher yields on the claimed vault

If the watcher commits the same scope during a claim, checkpoint and automatic history race. Live source remains writable; only automatic commit ownership yields temporarily.

Watchers for other vaults continue. A global pause turns isolation for one task into a family-wide observability outage. Quiescence stays as narrow as the claim.

Land separates scope

An out-of-scope edit may still arrive in the same vault. Land places declared-scope delta in one semantic commit and records unrelated change as ordinary drift.

The task never owns bytes it did not produce. If exact scope is unchanged, report no-op or rejection rather than inventing an empty semantic commit.

A checkpoint cannot launder the base

Final gates compare against the original take base even after several checkpoints. A deletion or quote change cannot hide behind an intermediate commit.

Checkpoint is recovery evidence, not new permission or premise. Changed scope or plan requires a fresh approval and amendment.

Take is not a monopoly button; it is a quiescence point that makes provenance clear. Fix pending drift as base and yield watcher ownership only on the exact target.

Code

Separate take base and scoped land·python

base = {"memory/a.md": "h1", "memory/b.md": "h2"}
after = {"memory/a.md": "h3", "memory/b.md": "h4"}
claimed = {"memory/a.md"}
semantic = {p for p in claimed if base.get(p) != after.get(p)}
drift = {p for p in after if p not in claimed and base.get(p) != after.get(p)}
assert semantic == {"memory/a.md"}
assert drift == {"memory/b.md"}

Record pending drift first

The watcher yields on the claimed vault

Land separates scope

A checkpoint cannot launder the base

Code

External links

Exercise

Progress

Comments 0