loopforge 3.9.2 → 4.0.7

package/dist/loop-compiler.d.ts

@@ -3,22 +3,53 @@
  * The compiler evolves structured state and renders one prompt artifact.
  * L0/L1/L2 control state density only; the external Agent owns reasoning.
  */
-import { type CriterionStatus, type RecurringFlag, type LoopCompileRequest, type LoopCompileResponse, type LoopObjective, type LoopRoundResult, type RollingSummary } from "./protocol.js";
+import { type CriterionStatus, type RecurringFlag, type LoopCompileRequest, type LoopCompileResponse, type LoopObjective, type LoopRoundResult, type OperatorAcceptance, type VerificationFlag } from "./protocol.js";
 import { type CommittedRoundView } from "./committed-round.js";
+import { type CommittedHistory } from "./history.js";
+import { type PromptFreshness } from "./prompt-freshness.js";
 import type { CriterionMachineFact } from "./round-facts.js";
 import { type SelfEvalPromptContext } from "./submission-guidance.js";
 export interface PreviousRound {
     round: number;
+    /** The goal identity used only to distinguish a goal change from an
+     *  unobservable/empty goal. The other previous-round facts are read from
+     *  `PreviousRoundFacts` (the committed view), never duplicated here. */
     goal_id: string;
-    goal_text_hash: string;
-    success: boolean;
-    task: string;
-    constraints_active: string[];
-    output_summary: string;
+}
+/** ONE bundle of previous-round facts for a compile.
+ *
+ *  Every consumer (level policy, canonical state, evaluation block) reads
+ *  this bundle instead of re-reading the caller's mutable projection. It is
+ *  derived exclusively from the committed view; the typed request contributes
+ *  only this attempt's verification findings. */
+export interface PreviousRoundFacts {
+    view: CommittedRoundView | null;
+    result: LoopRoundResult | null;
+    verificationFlags: VerificationFlag[];
+    freshness: PromptFreshness;
+    /** A committed backtrack directive targets this compile round's redo. */
+    recoveryBoundary: boolean;
 }
 export declare function computeGoalTextHash(text: string): string;
-export declare function deriveGoalId(loopId: string, task: string, explicit?: string): string;
+/** v4.0.6: goal identity derives from the WORKING objective (the latest
+ *  committed objective_refinement, else Operator Acceptance). There is no
+ *  caller-supplied goal_id override. */
+export declare function deriveGoalId(loopId: string, task: string): string;
 export declare function getPreviousRound(loopId: string, round: number, context: Record<string, unknown> | null): PreviousRound | null;
+/** v4.0.6: THE working objective.
+ *
+ *  - The immutable operator surface is the committed `OperatorAcceptance`.
+ *    Acceptance is byte-identical across copies (enforced by the history
+ *    loader), so it does not need a round or branch window.
+ *  - The objective TEXT is the latest committed `objective_refinement` on the
+ *    CURRENT BRANCH, else the acceptance task. A refinement from a branch
+ *    that was rolled back never applies.
+ *  - Success criteria and hard constraints ALWAYS come from the acceptance; a
+ *    refinement can never rewrite them.
+ *
+ *  Read-only callers that only need criteria/hard constraints read those
+ *  fields; they must not treat `objective` as the operator acceptance text. */
+export declare function latestObjective(loopId: string, context: Record<string, unknown> | null): LoopObjective | null;
 /** v3.8.1: THE recurring-fact derivation — one walk over the committed
  *  history, grouping repeated machine facts by what they are ABOUT.
  *
@@ -36,11 +67,14 @@ export declare function getPreviousRound(loopId: string, round: number, context:
  *  Presentation only: the result never feeds enforcement. */
 export declare function deriveRecurringFlags(committedRounds: ReadonlyArray<CommittedRoundView>): RecurringFlag[];
 /** v3.2: Derive per-criterion status — the "goal → criteria → evidence"
- *  vertical view. Each objective criterion gets: met/remaining/unknown
- *  (from per-round criterion_claims, ID-first or normalized-exact matching),
- *  the round it was first reported met, and the sub-goals a contract item
- *  referencing it also names (explicit `subgoal_refs`, never a text guess).
- *  Zero persistence — re-derived from the vault every compile. */
+ *  vertical view. Each objective criterion gets claimed/remaining/unknown
+ *  (from the `cr-` entries of per-round execution_report.claims, ID-first or
+ *  normalized-exact matching) and the round it was first reported met. Zero
+ *  persistence — re-derived from committed rounds every compile.
+ *
+ *  v3.9.6: the derivation lives in `criterion-status.ts` so the submission
+ *  boundary and guidance can read the same rows without importing this module
+ *  (which would close the `loop-compiler → submission-guidance` cycle). */
 export declare function deriveCriterionStatuses(loopId: string, context: Record<string, unknown> | null, objective: LoopObjective | null, currentRound: number, lastRoundResult?: LoopRoundResult | null,
 /** v3.8.1: the criterion machine facts from the shared bundle. A criterion
  *  is `verified` / `contradicted` / `insufficient` only through an item that
@@ -55,15 +89,13 @@ criterionFacts?: ReadonlyArray<CriterionMachineFact>): CriterionStatus[];
  *  EXACTLY equal after normalization (v3.8.1 — the similarity fallback is
  *  gone, so a paraphrase is a different criterion). */
 export declare function criteriaMatch(a: string, b: string): boolean;
-export declare function buildRollingSummary(loopId: string, currentRound: number, context: Record<string, unknown> | null, sinceRound?: number): RollingSummary | null;
-/** v2.11: Derive a stable constraint ID from its text hash (c-XXXXXXXX).
- *  Same hash strategy as SubGoal — deterministic across rounds. */
-export declare function deriveConstraintId(text: string): string;
-export { deriveCriterionId, isCriterionId } from "./token-utils.js";
-export declare function decideLevel(request: LoopCompileRequest, context: Record<string, unknown> | null): "l0" | "l1" | "l2";
+export { deriveConstraintId, deriveCriterionId, isCriterionId, } from "./token-utils.js";
+export declare function decideLevel(request: LoopCompileRequest, context: Record<string, unknown> | null, workingObjective?: string | null): "l0" | "l1" | "l2";
 /** The prompt's evaluation block. All content (examples, contract/sub-goal
  *  guidance, flag-specific hints) comes from the one FIELD_GUIDES table in
  *  submission-guidance.ts; this function owns no second copy. */
 export declare function buildSelfEvalBlock(ctx: SelfEvalPromptContext): string;
-export declare function compileLoop(request: LoopCompileRequest, context: Record<string, unknown> | null): LoopCompileResponse;
+export declare function compileLoop(request: LoopCompileRequest, context: Record<string, unknown> | null, options?: {
+    operatorAcceptance?: OperatorAcceptance;
+}, committedHistory?: CommittedHistory): LoopCompileResponse;
 //# sourceMappingURL=loop-compiler.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"loop-compiler.d.ts","sourceRoot":"","sources":["../src/loop-compiler.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EAQL,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACvB,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,KAAK,eAAe,EAEpB,KAAK,cAAc,EACpB,MAAM,eAAe,CAAC;AAMvB,OAAO,EAQL,KAAK,kBAAkB,EAGxB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAK7D,OAAO,EAEL,KAAK,qBAAqB,EAC3B,MAAM,0BAA0B,CAAC;AAiBlC,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,cAAc,EAAE,MAAM,CAAC;CACxB;AAyCD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGxD;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,SAAK,GAAG,MAAM,CAKhF;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GACtC,aAAa,GAAG,IAAI,CAqBtB;AA8HD;;;;;;;;;;;;;;6DAc6D;AAC7D,wBAAgB,oBAAoB,CAClC,eAAe,EAAE,aAAa,CAAC,kBAAkB,CAAC,GACjD,aAAa,EAAE,CAiCjB;AAgBD;;;;;kEAKkE;AAClE,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EACvC,SAAS,EAAE,aAAa,GAAG,IAAI,EAC/B,YAAY,EAAE,MAAM,EACpB,eAAe,CAAC,EAAE,eAAe,GAAG,IAAI;AACxC;;;;4CAI4C;AAC5C,cAAc,GAAE,aAAa,CAAC,oBAAoB,CAAM,GACvD,eAAe,EAAE,CAsDnB;AAED;0CAC0C;AAC1C;;;uDAGuD;AACvD,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAG3D;AAgED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EACvC,UAAU,SAAI,GACb,cAAc,GAAG,IAAI,CAoIvB;AAMD;mEACmE;AACnE,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEvD;AAOD,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAkKpE,wBAAgB,WAAW,CACzB,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GACtC,IAAI,GAAG,IAAI,GAAG,IAAI,CAEpB;AAED;;iEAEiE;AACjE,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,qBAAqB,GAAG,MAAM,CAErE;AAsCD,wBAAgB,WAAW,CACzB,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GACtC,mBAAmB,CAmMrB"}
+{"version":3,"file":"loop-compiler.d.ts","sourceRoot":"","sources":["../src/loop-compiler.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EAML,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACvB,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EACtB,MAAM,eAAe,CAAC;AAMvB,OAAO,EAGL,KAAK,kBAAkB,EACxB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAIL,KAAK,gBAAgB,EACtB,MAAM,cAAc,CAAC;AAMtB,OAAO,EAGL,KAAK,eAAe,EACrB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAW7D,OAAO,EAEL,KAAK,qBAAqB,EAC3B,MAAM,0BAA0B,CAAC;AAgBlC,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd;;4EAEwE;IACxE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;iDAKiD;AACjD,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAChC,MAAM,EAAE,eAAe,GAAG,IAAI,CAAC;IAC/B,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,SAAS,EAAE,eAAe,CAAC;IAC3B,yEAAyE;IACzE,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AASD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGxD;AAED;;wCAEwC;AACxC,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAQjE;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GACtC,aAAa,GAAG,IAAI,CAGtB;AAcD;;;;;;;;;;;;+EAY+E;AAC/E,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GACtC,aAAa,GAAG,IAAI,CAoBtB;AA8HD;;;;;;;;;;;;;;6DAc6D;AAC7D,wBAAgB,oBAAoB,CAClC,eAAe,EAAE,aAAa,CAAC,kBAAkB,CAAC,GACjD,aAAa,EAAE,CAiCjB;AA4BD;;;;;;;;2EAQ2E;AAC3E,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EACvC,SAAS,EAAE,aAAa,GAAG,IAAI,EAC/B,YAAY,EAAE,MAAM,EACpB,eAAe,CAAC,EAAE,eAAe,GAAG,IAAI;AACxC;;;;4CAI4C;AAC5C,cAAc,GAAE,aAAa,CAAC,oBAAoB,CAAM,GACvD,eAAe,EAAE,CAQnB;AAED;0CAC0C;AAC1C;;;uDAGuD;AACvD,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAG3D;AASD,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,GACd,MAAM,kBAAkB,CAAC;AA6I1B,wBAAgB,WAAW,CACzB,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EACvC,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,GAC/B,IAAI,GAAG,IAAI,GAAG,IAAI,CAapB;AAED;;iEAEiE;AACjE,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,qBAAqB,GAAG,MAAM,CAErE;AA+DD,wBAAgB,WAAW,CACzB,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EACvC,OAAO,GAAE;IAAE,kBAAkB,CAAC,EAAE,kBAAkB,CAAA;CAAO,EACzD,gBAAgB,CAAC,EAAE,gBAAgB,GAClC,mBAAmB,CAwSrB"}