Component · spec & evidence

Metabolism Queue Reconciliation

Runs a scratch-database model of a durable job queue and flags impossible states for a human to review.

Contract

Does A small, runnable model of a durable job queue. It puts jobs in a temporary scratch database, hands one out to a worker on a lease, recovers the job when the lease expires, and tracks claim-and-contradiction events on a shared blackboard. It then runs a consistency check that flags impossible situations for a human to review, for example a job marked "running" with no record of a run, or a run that finished while its job still says running. Two clean scenarios are checked end to end; two deliberately broken scenarios are confirmed to be caught and rejected. It is a faithful but bounded copy of the real machinery: it never touches the live production database, never starts agents, and never silently fixes anything.

Scope limit The bundle demonstrates a synthetic SQLite durable queue, lease recovery, blackboard claim-event projection, and cold-start reconciliation taxonomy. It is not a live non-public runtime export, not an agent dispatcher, not external model service, not ambiguous auto-repair, not a distributed database, and not launch-scope decision.

Run

microcosm metabolism-queue-reconciliation run --input fixtures/first_wave/metabolism_queue_reconciliation/input --out /tmp/plectis-public-runs/metabolism_queue_reconciliation

microcosm metabolism-queue-reconciliation run --input fixtures/first_wave/metabolism_queue_reconciliation/input --out receipts/first_wave/metabolism_queue_reconciliation --acceptance-out receipts/acceptance/first_wave/metabolism_queue_reconciliation_fixture_acceptance.json

Evidence

ClassBounded runtime computationevidence 4/5Real runtime resultRuns real tools

Links to Certificate Kernel Execution Lab, Verifier Lab Kernel, Formal Math Lean Proof Witness

agent-concurrencycontinuityoperational-discipline

Source

Source Design note · Source

Map Show on the map

Index Open compact index card

Paper module