Mission Transaction Work Spine

Runs the real work-ledger engine on a sanitised snapshot to re-derive each change's verdict.

Contract

Does Replays a fixed set of pre-recorded work-landing situations against a toy repository and shows when a change would be allowed to "land" versus blocked: two claims competing on the same file, a claim built on a stale parent commit, a claim missing its owned path, a clean preflight check that wrongly says the work is already finished, and which commit lane (a narrow scoped commit vs a broad checkpoint) a dirty working tree is permitted to use. Its exported bundle also anchors the public work log seed-speed source imports for session heartbeat, mutation-check, active-claim snapshot, and path-collision handling. The resulting result records show exactly why each situation was permitted or refused, instead of an opaque "it's done" message.

Scope limit It validates work-landing, claim, checkpoint-lane, and dependency metadata projections over fixed fixtures only; it does not mutate live ledgers or git, certify real completion, authorize broad staging without operator intent, or prove any change is actually correct or complete.

Run

Command

microcosm mission-transaction-work-spine run --input fixtures/first_wave/mission_transaction_work_spine/input --out receipts/first_wave/mission_transaction_work_spine

Evidence

ClassBounded runtime computationevidence 4/5Real runtime resultRuns real tools

Links to Bounded Autonomy Campaign Packet, Concurrency Mission Control, Source Projection Import Protocol, Tool Server Pressure Inventory, Live Source Drift Bundle, Proof / Control / Runtime Import Bundle, Tools-Tail Primitives Bundle, Agent Benchmark Integrity Anti Gaming Replay, Vulnerability Patch-Proof Replay

agent-concurrencyworkflow-engineeringcontinuity

Source

Source Design note · Source

Map Show on the map

Index Open compact index card

Paper module

Paper module Mission Transaction Work Spine

The public mission-transaction fixture validates work-landing, claim, dependency, scoped-commit, checkpoint-lane, result record-drain, completion, and copied control source-module contracts without mutating live ledgers or git.

Read the full write-up

Back to Components index → Reference roster →