loopforge 3.9.4 → 4.0.7

package/dist/loop-extras-parser.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"loop-extras-parser.js","sourceRoot":"","sources":["../src/loop-extras-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAYH,8EAA8E;AAE9E,MAAM,OAAO,iBAAiB;IAC5B;;iFAE6E;IACpE,MAAM,GAAiB,EAAE,CAAC;IAElB,MAAM,CAA0B;IAEjD,YAAY,MAA+B;QACzC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,0EAA0E;IAE1E;2DACuD;IACvD,MAAM,CAAC,GAAW,EAAE,QAAQ,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC;QACvD,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACf,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,wBAAwB,OAAO,GAAG,EAAE;YAC7C,QAAQ,EAAE,GAAG;SACd,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;+CAC2C;IAC3C,cAAc,CAAC,GAAW,EAAE,WAA0B,IAAI;QACxD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACnD,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACf,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,gCAAgC,OAAO,GAAG,EAAE;YACrD,QAAQ,EAAE,GAAG;SACd,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;6EACyE;IACzE,MAAM,CAAC,GAAW,EAAE,QAAgB,EAAE,IAIrC;QACC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC;QACvD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAClD,IAAI,KAAK,GAAG,GAAG,CAAC;YAChB,IAAI,IAAI,EAAE,QAAQ;gBAAE,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,IAAI,EAAE,GAAG,KAAK,SAAS;gBAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC/D,IAAI,IAAI,EAAE,GAAG,KAAK,SAAS;gBAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC/D,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACf,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,wBAAwB,OAAO,GAAG,EAAE;YAC7C,QAAQ,EAAE,GAAG;SACd,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,2EAA2E;IAC3E,OAAO,CAAC,GAAW,EAAE,QAAQ,GAAG,KAAK;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC;QACvD,IAAI,OAAO,GAAG,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACf,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,yBAAyB,OAAO,GAAG,EAAE;YAC9C,QAAQ,EAAE,GAAG;SACd,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,0EAA0E;IAE1E;mFAC+E;IAC/E,WAAW,CAAC,GAAW,EAAE,WAAqB,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC;QACvD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,KAAK,EAAE,GAAG;gBACV,OAAO,EAAE,uBAAuB,OAAO,GAAG,EAAE;gBAC5C,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YACH,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;oBACf,KAAK,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG;oBACrB,OAAO,EAAE,iCAAiC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE;oBACzD,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;iBACjB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,0EAA0E;IAE1E;4EACwE;IACxE,MAAM,CAAC,GAAW;QAChB,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACnD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,OAAO,GAA8B,CAAC;QACxC,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACf,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,wBAAwB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,GAAG,EAAE;YAC5E,QAAQ,EAAE,GAAG;SACd,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED;wEACoE;IACpE,GAAG,CAAC,GAAW;QACb,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;IACxC,CAAC;CACF;AAwBD;;mEAEmE;AACnE,MAAM,UAAU,eAAe,CAC7B,MAA+B,EAC/B,MAAc;IAEd,MAAM,GAAG,GAAG,IAAI,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAE1C,MAAM,MAAM,GAAqB;QAC/B,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,MAAM;QACxC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACzD,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC;QAC9B,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC5B,kBAAkB,EAAE,GAAG,CAAC,MAAM,CAAC,oBAAoB,CAAC;QACpD,WAAW,EAAE,GAAG,CAAC,cAAc,CAAC,aAAa,CAAC;QAC9C,qBAAqB,EAAE,GAAG,CAAC,WAAW,CAAC,uBAAuB,CAAC;QAC/D,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,sBAAsB,CAAC;QACxD,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC;QAC9C,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,kBAAkB,CAAC;QAChD,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC;YAC/B,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,SAAS;YACtE,CAAC,CAAC,SAAS;QACb,kBAAkB,EAAE,yBAAyB,CAC3C,MAAM,CAAC,kBAAkB,EACzB,GAAG,CACJ;QACD,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAC7D,sBAAsB,EAAE,GAAG,CAAC,MAAM,CAAC,wBAAwB,EAAE,CAAC,EAAE;YAC9D,GAAG,EAAE,CAAC;YACN,QAAQ,EAAE,IAAI;SACf,CAAC;QACF,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,kBAAkB,CAAC;QAChD,iBAAiB,EAAE,GAAG,CAAC,MAAM,CAAC,mBAAmB,CAAC;QAClD,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC;KAC7C,CAAC;IAEF,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACzB,CAAC;AAED,6EAA6E;AAE7E,SAAS,yBAAyB,CAChC,GAAY,EACZ,GAAsB;IAEtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACtC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;gBACd,KAAK,EAAE,oBAAoB;gBAC3B,OAAO,EAAE,uBAAuB,OAAO,GAAG,EAAE;gBAC5C,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;QACL,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACpB,IACE,IAAI,KAAK,IAAI;YACb,OAAO,IAAI,KAAK,QAAQ;YACxB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YACpB,OAAQ,IAAgC,CAAC,QAAQ,KAAK,QAAQ;YAC9D,OAAQ,IAAgC,CAAC,KAAK,KAAK,QAAQ;YAC3D,OAAQ,IAAgC,CAAC,KAAK,KAAK,QAAQ;YAC3D,OAAQ,IAAgC,CAAC,MAAM,KAAK,QAAQ,EAC5D,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAmC,CAAC,CAAC;QAClD,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;gBACd,KAAK,EAAE,sBAAsB,CAAC,GAAG;gBACjC,OAAO,EAAE,kCAAkC;gBAC3C,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/loop-projection.d.ts

@@ -1,6 +0,0 @@
-/** Typed adapter over cognitive facts. It performs no vault traversal or
- * independent state derivation. */
-import type { DerivedCognitiveFacts } from "./cognitive-facts.js";
-import type { LoopProjection } from "./protocol.js";
-export declare function buildLoopProjection(facts: DerivedCognitiveFacts): LoopProjection | null;
-//# sourceMappingURL=loop-projection.d.ts.map

package/dist/loop-projection.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"loop-projection.d.ts","sourceRoot":"","sources":["../src/loop-projection.ts"],"names":[],"mappings":"AAAA;mCACmC;AAEnC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpD,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,qBAAqB,GAC3B,cAAc,GAAG,IAAI,CAuBvB"}

package/dist/loop-projection.js

@@ -1,28 +0,0 @@
-/** Typed adapter over cognitive facts. It performs no vault traversal or
- * independent state derivation. */
-import { makeLoopProjection } from "./protocol.js";
-export function buildLoopProjection(facts) {
-    const projection = makeLoopProjection({
-        focus: facts.focus,
-        todo: [...facts.todo],
-        phase: facts.phase,
-        delegation: {
-            pending: facts.delegation.pending,
-            last_results: [...facts.delegation.last_results],
-        },
-        handoff: {
-            summary: facts.handoff.summary,
-            verified: [...facts.handoff.verified],
-            open_risks: [...facts.handoff.open_risks],
-        },
-        verified_subgoals: [...facts.verified_subgoals],
-    });
-    const empty = projection.focus === null && projection.todo.length === 0 &&
-        projection.phase === null && projection.delegation.last_results.length === 0 &&
-        projection.handoff.summary.length === 0 &&
-        projection.handoff.verified.length === 0 &&
-        projection.handoff.open_risks.length === 0 &&
-        projection.verified_subgoals.length === 0;
-    return empty ? null : projection;
-}
-//# sourceMappingURL=loop-projection.js.map

package/dist/loop-projection.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"loop-projection.js","sourceRoot":"","sources":["../src/loop-projection.ts"],"names":[],"mappings":"AAAA;mCACmC;AAInC,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEnD,MAAM,UAAU,mBAAmB,CACjC,KAA4B;IAE5B,MAAM,UAAU,GAAG,kBAAkB,CAAC;QACpC,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;QACrB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU,EAAE;YACV,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,OAAO;YACjC,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC;SACjD;QACD,OAAO,EAAE;YACP,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;YAC9B,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YACrC,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;SAC1C;QACD,iBAAiB,EAAE,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC;KAChD,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QACrE,UAAU,CAAC,KAAK,KAAK,IAAI,IAAI,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;QAC5E,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QACvC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QACxC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC1C,UAAU,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,CAAC;IAC5C,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC;AACnC,CAAC"}

package/skills/perception/SKILL.md

@@ -1,389 +0,0 @@
----
-name: perception
-description: Drive multi-round coding tasks through LoopForge MCP so objectives, constraints, evidence, and decisions survive context loss and restarts. The external Agent remains responsible for planning, file changes, tools, and execution.
----
-
-# Perception
-
-Use LoopForge when a task spans several meaningful work slices, must survive a
-restart or context loss, or needs an auditable distinction between Agent claims
-and machine-verified facts.
-
-LoopForge has one factual source, committed typed round documents in the Vault,
-and one cognitive source, Canonical State compiled from those documents. The
-Agent still decides what to do and how to reason.
-
-## Start
-
-Call `loopforge_status` with `view: "all"` before starting. Reuse an existing
-session for the same objective instead of opening a second loop.
-
-Call `loopforge_start` with:
-
-- `task`: the complete user objective;
-- `criteria`: the initial success criteria, each becoming a stable `cr-*`
-  anchor rendered in every prompt (omit to keep the default criterion);
-- `constraints`: hard boundaries that must survive every round;
-- optional `maxRounds`, `domain`, `loopId`, and `planSource`.
-
-Keep the returned `sessionId`, `roundId`, prompt, and level. Pass the latest
-`roundId` to every `loopforge_next`; it anchors the submission to the exact
-round being reported.
-
-## What is a round?
-
-A round is one coherent work slice that can be described, checked, and
-disposed of at the next boundary. It is not a fixed number of files, tokens,
-commits, or minutes. A capable Agent may complete a large change in one round
-when the change shares one objective, one evidence story, and one recovery
-path. Split it when those boundaries diverge.
-
-Before choosing the slice, ask:
-
-1. **Coherence:** does the work serve one immediate objective rather than
-   several unrelated goals?
-2. **Verifiability:** can the result and its hard constraints be checked with
-   the available tests, commands, or other machine observations?
-3. **Disposition:** will the boundary produce a clear continuation, stop,
-   blocker, rejection, or recovery decision?
-4. **Recovery:** can the slice be safely retried or rolled back without
-   invalidating unrelated work?
-
-Make a round larger when changes are tightly coupled and can be verified
-together. Make it smaller when uncertainty, external effects, evidence gaps,
-or rollback risk is high. Do not combine independent objectives merely because
-the Agent can edit them in one context. Do not split a single atomic change
-only to create more round records.
-
-At the end of a round, inspect the actual diff, relevant tests, hard
-constraints, and remaining work. A completed slice is not the same as a
-completed task.
-
-## Plan the next slice
-
-For work that spans rounds, submit `round_contract` as a proposal for the next
-slice. Size the slice by what one machine-checkable outcome covers — a
-requirements list is not a round list, and coupled changes that share one
-objective, one evidence story, and one recovery path belong in the same round.
-Bind each item to a configured evidence command with `verify_with`, and limit
-`scope` to files or directories that slice may touch. `criterion_refs` must
-cite real `cr-*` ids rendered in the current prompt; `subgoal_refs` may cite
-only active `sg-*` ids shown in it — a sub-goal declared in this same
-submission becomes referenceable next round. Free text, unknown ids, duplicate
-refs, and duplicate normalized items are rejected as `contract_invalid`. The
-proposal becomes active only after its declaring round commits.
-While it is open, you do **not** need to restate it: omitting `round_contract`
-continues the active contract. A different proposal is ignored as
-`contract_premature`. If this round closes the contract and another slice
-follows, declare the successor in this same submission. If the slice is
-blocked, report `outcome: "blocked"` with a concrete `blocker` instead of
-silently replacing the active contract.
-
-This is a planning aid, not a second gate. LoopForge learns the plan only from
-committed evaluation fields, contract proposals, observations, and changes.
-
-## Execute a round
-
-1. Execute the returned prompt and do the repository work.
-2. Use the tools and reasoning approach that fit the slice.
-3. Check actual evidence before claiming success.
-4. Submit exactly one structured evaluation with `loopforge_next`.
-
-After the strict boundary accepts the payload, LoopForge collects before/after
-evidence, runs the **verification gate**, then runs the **enforcement gate**.
-The verification gate checks evaluation consistency, evidence integrity, plan
-and contract conformance, and progress and recovery. The enforcement gate
-turns those findings into one disposition: accept, reject, backtrack, or
-terminate.
-
-The four core evaluation fields are strict:
-
-| Field | Requirement |
-| --- | --- |
-| `success` | Boolean. `true` only when the whole objective and hard constraints are satisfied. |
-| `output_summary` | String describing what changed and what was verified. |
-| `constraint_violations` | Array of real violations, preferably using `c-XXXXXXXX` IDs. |
-| `should_continue` | Boolean. `false` only when the whole task is complete. |
-
-Before submitting, check whether any of these events actually happened. Fill the
-matching field only when it did; omit it otherwise.
-
-| Event | Field | What LoopForge does with it |
-| --- | --- | --- |
-| The round changed files or ran tests | `execution_report.files_changed`, `execution_report.tests_reported` | Compares the report with machine observations; test counts stay self-reported |
-| You found a constraint later rounds must respect | `discovered_constraints` | The compiler merges it into the active set |
-| Evidence falsified an earlier assumption | `wrong_assumptions` | Feeds corrected-assumption state and recovery facts |
-| A sub-problem surfaced | `emerged_subtasks` | The only sub-goal creation channel |
-| An active sub-goal moved status | `subgoal_updates` | Applies an explicit transition |
-| You delegated work | `worker_results` | Saves the report and delegation journal entry; does **not** promote worker discoveries |
-| You are planning the next slice | `round_contract` | Becomes active only after this round commits |
-| A contract item progressed | `execution_report.contract_item_claims` | Starts machine evaluation; the item is verified only when its bound commands pass |
-| A success criterion moved | `execution_report.criterion_claims` | Advisory; cite the real `cr-` id/text from the prompt. Unknown references are dropped with a diagnostic; machine evidence still decides |
-| You need context emphasized | `prompt_requests` | Exact-match reorder or confusion alerts in the next prompt; never long-term knowledge |
-| You reached a meaningful boundary | `compression_checkpoint`, `checkpoint_label` | Creates a recoverable milestone |
-| You are blocked or stopping | `outcome`, `blocker`, `stop_reason`, `no_change_reason` | Runs the corresponding stop/lifecycle rule |
-| You understand the objective better | `objective_refinement` | Appends to the objective; never replaces it |
-| A constraint or criterion is wrong | `retracted_constraints`, `revised_success_criteria` | Updates derived state within existing boundaries |
-| You need a prior approval checked | `gate_ids`; `retroactiveClaims` | Checks existing gate references or prior-round evidence |
-
-`execution_report.files_changed` is the **boundary net change**: paths whose
-content or file type differs between round preparation and this submission,
-including deletions. A commit alone adds no entry when content is unchanged.
-Do not list gitignored paths merely to look complete. The receipt's
-`files_reconciliation` block compares your report with the machine change set
-and reports match/mismatch/unknown/not_applicable; an unobservable Git boundary
-is `unknown`, never an empty diff.
-
-`emerged_subtasks` is the only sub-goal creation channel. It contains plain
-descriptions, never `sg-` IDs. `subgoal_updates` changes existing active IDs;
-done and canceled are terminal and cannot be reopened. The prompt or
-`submission_guidance` renders the real active IDs; never invent one.
-
-`outcome` may be `success`, `partial`, `failed`, or `blocked`. A blocked
-outcome needs a concrete `blocker`; `stop_reason` of `blocked` or
-`needs_human_input` also stops without claiming success.
-
-Optional malformed values are normalized or dropped. The strict exceptions are
-`subgoal_updates`, `round_contract`, and
-`execution_report.contract_item_claims`. Shape, reference, duplicate, command,
-and workspace-containment errors return `evaluation_invalid` or
-`contract_invalid` before advance. Correct the payload and resubmit the same
-`roundId`; nothing is committed and no rejection counter moves.
-
-A successful round should include an `execution_report`. An empty or missing
-report is a reporting gap (a `warn`), not by itself a rejection: acceptance is
-decided by machine evidence and contract rules, never by how many optional
-fields were filled. `no_change_reason` is an escape only when no enabled
-verification command exists. It never creates evidence and never excuses an
-open contract.
-
-Agent reports are claims quoted for audit. They never become verified facts.
-Do not infer a missing field from natural language, do not fill a field to
-satisfy a coverage check, and do not put a guessed evaluation in free text.
-When no event occurred, omit the field.
-
-Each prepared response carries `submission_guidance` with the real contract
-item ids/statuses, active sub-goal ids, real criterion ids/text, usable
-commands and the fields that apply now. Each submission returns
-`submission_receipt`, which separates: reports that were saved, derived state
-that actually changed, and machine verification results, plus the structured
-`files_reconciliation` block. A report marked `saved` is not a verified fact.
-
-## IDs and contracts
-
-Prompts render stable IDs beside constraints, criteria, sub-goals, and contract
-items. Prefer those IDs for `constraint_violations`, criterion claims, status
-updates, and item claims.
-
-Every level renders the same protected normative set — criteria, active
-constraints, the active contract and all items, active sub-goal ids, current
-findings, and (when present) the recovery brief. Display caps may shorten
-descriptions but never remove ids. `prompt_artifact.coverage` records the
-proof; a missing active id fails closed with `projection_incomplete` rather
-than delivering a partial prompt. A redo prompt carries the restore HEAD and
-failed-round file facts in its protected Recovery Brief.
-
-A sub-goal ID belongs to its declaration event. Re-declaring the same text in a
-later round creates a new sub-goal. Status changes require the exact active
-`sg-` ID; description matching is not a fallback.
-
-A Round Contract is a set of evidence-bound items, not prose. Each item must
-bind at least one configured, enabled, after-capable command. The runtime
-derives content-addressed `rc-XXXXXXXX` and `rci-XXXXXXXX` IDs, so restating an
-unchanged proposal keeps its identity. `subgoal_refs` belongs on the item; a
-machine-verified item backs exactly the sub-goals it names, without changing
-their declared `SubGoal.status`.
-
-Item status is machine-derived:
-
-- `pending`: not claimed as met;
-- `insufficient`: claimed as met but not backed by all required observations;
-- `contradicted`: a bound observation fails, or its entrypoint/configuration is
-  no longer trustworthy;
-- `verified`: the Agent claims `met`, every bound command passes in the closing
-  round's after phase, and the declaration binding remains intact.
-
-The contract closes only when every item is `verified` or a round reports
-`outcome: "blocked"`. Repeated unbacked claims create bounded verification
-debt. The same-check streak escalates at
-`engine.unverified_claim_streak_limit` (default 3) instead of retrying forever.
-
-Sub-goals may evolve during execution. LoopForge does not use fuzzy intent or
-similarity to judge drift. The enforced boundary is contract `scope`: work
-outside it is `round_scope_drift`, a machine fact no explanation waives. Revert
-the out-of-scope change, or close the contract as blocked and declare the
-expanded scope in a new proposal whose `scope` covers **every** file this round
-changed outside the current one — a partial expansion is still drift.
-
-## Evidence commands
-
-Contract items are backed by commands the OPERATOR configures. The Agent never
-declares one, and does not discover or run project scripts to invent one. They
-live in `loop_policy.json` under `evidence.commands`, in the workspace the
-server was started in:
-
-```json
-{
-  "version": "5",
-  "evidence": {
-    "commands": [{
-      "name": "verify",
-      "enabled": true,
-      "executable": "node",
-      "args": ["scripts/verify.mjs"],
-      "cwd": ".",
-      "phase": "after",
-      "required": true,
-      "timeout_ms": 120000,
-      "max_output_chars": 8000,
-      "success_exit_codes": [0]
-    }]
-  }
-}
-```
-
-`executable` and `args` are spawned without a shell and confined to the
-workspace. `loopforge doctor` statically checks every configured command —
-its name, executable, arguments, timeouts, and workspace containment — and
-never executes one.
-
-Every prepared response carries `submission_guidance.contract_commands` and
-`submission_guidance.contract_verification_available`; `loopforge_status`
-`view=session` also returns the full `capability` object. When verification is
-unavailable, no configured command can back a contract item: run rounds without
-a contract instead of declaring items that cannot close. The `warnings` list
-states the same thing in words.
-
-A command's ENTRYPOINT is the file it names plus `package.json` when a package
-manager runs it. It must already be part of the workspace when the round
-starts, and it must not change during the round that runs it — the runtime
-records those files at round start and compares them afterwards, whether or not
-git can see them. A changed entrypoint makes the observation untrustworthy:
-restore it to its round-start content. Do not author the verification script
-inside the round you expect it to verify — that round cannot be closed by it.
-
-To keep a script that must survive a rollback, it has to be part of the
-committed workspace rather than an uncommitted change: the post-backtrack
-restore check rejects a skipped file that is still byte-identical to its state
-at the rollback, so a script left sitting in the working tree blocks the redo.
-Prepare it before the round that depends on it.
-
-## Backtrack and recovery
-
-A progress stall requires observable Git history over the lookback window.
-Committed work counts as motion through the Git HEAD change, even when the
-closing worktree is clean, and the round you are submitting counts too: if it
-moved files or committed, it cancels the verdict. If machine history cannot be
-read, no stall verdict is made. A machine-backed success round is finishing,
-even if its closing round changes no files.
-
-Backtrack records a rollback directive and restores the round counter to the
-last clean committed round. Rejected attempts are never history. The next
-submission is the redo of `restorePoint + 1` and must reuse the prompt's round
-ID. A successful redo retires the rollback record.
-
-The Recovery Brief identifies the trigger, restore point, redo ID, failed
-approaches, falsified assumptions, valid discoveries, files to revert, and
-target HEAD. It states restoration facts, not a prescribed command.
-
-When backtrack occurs:
-
-1. Restore the workspace exactly as requested before doing more work: the
-   restore point's HEAD, with none of the failed rounds' changes left behind.
-   Work in progress the restore point already carried may stay.
-2. Submit one recovery evaluation from the restored state, so LoopForge can
-   verify the restore before the redo's own work — and any commit — follows.
-3. Read the Recovery Brief, restored prompt, and derived state.
-4. Do not repeat a failed approach without addressing its cause.
-5. Carry valid discoveries into later evaluations.
-
-If the rolled-back work used an active contract, close the stalled contract in
-the redo with `outcome: "blocked"` and declare the revised contract in that
-same submission. Restating the stalled contract commits more of the same.
-
-## Interpret results
-
-- Non-null `prompt`: execute it and submit the next evaluation.
-- `enforcementAction: "reject"`: retry the same logical round and ID; the
-  attempt increases.
-- `enforcementAction: "backtrack"`: restore the workspace, submit one recovery
-  evaluation from the restored state, then redo the round from its restored
-  prompt and round ID.
-- Null `prompt`: inspect `stopReason`.
-
-Read `submission_guidance` before composing the next evaluation, and read
-`verificationStatus`, `roundSuccess`, `level`, `warnings`, and
-`enforcementReason` before planning the next slice. In
-`submission_receipt.verification`, `contract_status` is the contract-item
-posture and `evidence_status` is the round-level machine evidence posture; do
-not read "no active contract" as "verified". `submission_receipt.reports`
-distinguishes a saved report from derived state that changed and from a machine
-verification result; `not_applied` means the submission did not become history.
-These are evidence postures, not subjective quality scores.
-
-Errors use `{ok: false, error: {code, message, retryable, ...}}`. Branch on the
-stable `code`, not the prose in `message`. Payload errors such as
-`evaluation_invalid`, `contract_invalid`, `policy_invalid`, and round-ID
-errors are retryable with the same ID. `session_not_found`, `state_unavailable`,
-and `gate_disabled` describe state or policy; do not blindly resubmit.
-
-`completed` means success plus every active contract item is `verified`, or
-there is no active contract. Explicit `blocked` always wins over success.
-`incomplete` means completion was not machine-verified. Other terminal reasons
-include `failed`, `max_rounds`, `stalled`, `enforcement_terminated`, `paused`,
-and `cancelled`.
-
-## Prompt levels and views
-
-L0 is a lean same-round retry (or a committed failed round with proven no
-activity), L1 normal continuation, and L2 full rehydration. They control state
-density only, never a reasoning technique or the set of evaluation fields you
-may use: L0/L1/L2 offer the same applicable trigger checklist, including real
-`cr-`/`rci-`/`sg-` ids. If this prompt is L0, it does not apply the previous
-round's `prompt_requests`; the field you submit in this round can still be
-applied to the next prompt. L2 comes from round facts such as the first round,
-a plan or checkpoint boundary, recovery, contradiction, or repeated rejection.
-It is not a round-count timer.
-
-Use `loopforge_status` with `view: "session"` for the live round,
-`view: "loop"` for committed health, `view: "all"` after a restart,
-`view: "audit"` for completeness and evidence, and `view: "explain"` for a
-round's active contract, observations, flags, and decision. Use
-`loopforge_replay` for the committed timeline and diffs.
-
-The optional `.loopforge/state/<loopId>-state.md` is derived and regenerable.
-Read it when an L2 prompt points to it, but never treat it as a second source
-of truth.
-
-## Gates and delegation
-
-Use `loopforge_pause` for an intentional interruption,
-`loopforge_resume` to reconstruct a durable session, and `loopforge_stop` only
-for an intentional terminal stop.
-
-The two gate tools are opt-in through `policy.gate.enabled`. When enabled,
-`loopforge_gate_check` preflights a structured action with its description,
-scope, effects, reversibility, and authorization. Classification is
-conservative: anything not provably safe becomes `user_required`. Present the
-approval question, record the decision with `loopforge_gate_resolve`, and cite
-the approved gate ID in `evaluation.gate_ids`. LoopForge records the process,
-but cannot prove that a human was present because the Agent submits the resolve
-call. Safe investigation and dry-runs need no gate.
-
-Delegation does not create another LoopForge mode. Give each worker a
-self-contained subtask and hard constraints, then place the result in
-`worker_results`. A worker result is a report with its source: its
-`discoveredConstraints` does **not** enter the global constraint set by itself.
-If you accept a worker's finding, state it in top-level
-`discovered_constraints` — that is the only promotion channel.
-
-## Rules
-
-1. Execute the prompt instead of generating another prompt.
-2. Submit one honest structured evaluation after each attempt.
-3. Treat required command evidence and verification findings as authoritative.
-4. Restore the workspace before working after backtrack.
-5. Keep one loop focused on one user objective.
-6. Do not advance a paused or stopped session through another process.
-7. Continue in the same Agent task when possible. LoopForge preserves state but
-   does not create a background Agent.