Acceptance contract first
The runtime records what success means, what evidence is required, and what actions are allowed before the agent starts changing things.
One instruction in. Verified delivery—or an explicit failure—out.
Loop turns a goal into an acceptance contract, executes and repairs the work, independently reruns checks on fresh snapshots, and returns reviewable changes with a replayable Receipt.
HOW IT WORKS
Translate the request into explicit acceptance criteria, required artifacts, authority limits, and checks before execution begins.
Plan, use tools, inspect failures, and repair the implementation inside a bounded runtime rather than stopping at generated code.
Run declared checks independently against fresh snapshots so completion cannot be self-certified by the same working context.
Return reviewable artifacts or a Git change set with hashes, events, check results, and enough evidence to replay the decision.
DESIGN
The interface is useful because it exposes what happened, where confidence comes from, and where the system stops—not because an agent produced a confident paragraph.
The runtime records what success means, what evidence is required, and what actions are allowed before the agent starts changing things.
Tool errors and failed checks feed the next repair step instead of disappearing behind a generic completion message.
Checks rerun outside the implementation context against fresh snapshots, reducing the chance that contaminated state produces a false pass.
A hash-linked event ledger preserves inputs, outputs, check results, and delivery state for later inspection and replay.
Apply, Discard, and Undo make the handoff an explicit, reversible operation rather than an invisible mutation of the user's workspace.
Run the deterministic demo locally, use containerized execution, or deploy the runtime with Kubernetes profiles for stronger isolation.
QUICK START
The keyless deterministic demo exercises the contract, execution, verification, delivery, and Receipt path without requiring a model-provider account.
$ git clone https://github.com/chriswu727/loop-agent.git
$ cd loop-agent
$ make demoVERIFIABLE SCOPE
These figures describe the v0.1.0 repository and its deterministic checks. They demonstrate the runtime contract and implementation quality, not autonomous success across arbitrary real-world projects.
HONEST BOUNDARIES
FAQ
No. It is a bounded delivery runtime: it formalizes acceptance, executes work, independently verifies the result, and returns evidence alongside the implementation.
Yes. The deterministic make demo path exercises the full contract-to-Receipt lifecycle without a model provider. Real provider-backed workloads are a separate evaluation surface.
No. It proves what contract and checks ran, against which artifacts, and what they returned. The strength of the conclusion still depends on the quality of the acceptance criteria and checks.
Not as a blanket claim. v0.1.0 is a research release. Consequential use should add workload-specific evaluation, strong isolation, bounded authority, and human review.
OPEN SOURCE