Orchestrates
Defines the mission lifecycle: dispatch, execution, verification, review, completion. Every transition runs through an explicit state machine with pure, testable guards.
Project
Durable orchestration for long-running autonomous engineering missions, with machine-checked evidence and human control at risk boundaries.
Problem
An autonomous engineering mission that runs for hours must survive crashes, leave a machine-checkable record of what actually happened, and never exceed its granted authority. GMCP turns those requirements into enforced structure rather than good intentions.
Positioning
Defines the mission lifecycle: dispatch, execution, verification, review, completion. Every transition runs through an explicit state machine with pure, testable guards.
Engineering work is performed by an executor agent operating inside the plane. GMCP governs the process around that work; it does not compete with coding agents.
Workspace leases, verification contracts, evidence requirements, and authorization gates are enforced mechanically, not by policy text alone.
Execution model
A coding agent (the executor, running in an agent runtime such as opencode) receives a mission with a bounded objective, hard boundaries, and explicit verification instructions.
Work happens in an isolated workspace on an assigned branch. Each logical unit ends in a local commit; the shared main branch stays untouched.
Declared checks run against the workspace with bounded timeouts. A mission reaches VERIFIED only when every check passes.
A read-only reviewer independently inspects the work and its evidence before completion is accepted.
Design
Missions are recorded as versioned, JSON-encoded state on local disk. One active writer per mission, protected by a cooperative lease, with an append-only audit trail.
Verification is mechanical: checks resolve against the mission workspace, and evidence such as ledgers and hashes is mandatory. Missing or malformed evidence fails the mission closed.
The reviewer inspects work and evidence without any write authority over mission state. It can accept or reject; it cannot steer the outcome.
Failure handling is capped: retries are bounded and remediation cannot loop indefinitely. Unresolved states surface to a human instead of running again.
Risk boundary
Crash model
Threat model
GMCP enforces cooperative rules: workspace writer leases, durable artifact ownership, and pre-write authorization for compliant workflows. These rules protect missions that operate through the plane. They are not operating-system file locks, and GMCP cannot stop an arbitrary unrelated process with ordinary filesystem permissions from editing a file directly. The threat model is cooperative by design, and it is documented that way rather than oversold.
Public record
This page describes GMCP at a public-safe architectural level. The site source, build pipeline, and this documentation are public in the source repository at github.com/EncGur/encryptedguru-site. Operational runbooks, credentials, internal topology, and recovery details are not part of the public repository.