loopforge 3.7.0 → 3.8.1

package/dist/self-eval.d.ts

@@ -1,12 +1,50 @@
 /** Structured self-evaluation parsing and normalization — pure functions.
  * The MCP boundary validates required fields before these helpers run.
  */
-import { type CriterionRevision, type ExecutionEvidence, type PromptRequests, type RoundContract, type RoundOutcome, type SelfEvaluation } from "./protocol.js";
-/** Parse ExecutionEvidence from a raw JSON object. */
-export declare function parseExecutionEvidence(raw: Record<string, unknown> | undefined | null): ExecutionEvidence | undefined;
+import { type CriterionRevision, type ExecutionReport, type PromptRequests, type RoundContractProposal, type RoundOutcome, type SelfEvaluation, type SubGoalUpdate } from "./protocol.js";
+/** v3.8.1: the emerged-subtask intake bound — ONE constant, because the
+ *  sub-goal ids are derived by ORDINAL over this list. The strict submission
+ *  boundary builds the reference space the agent may transition from, and the
+ *  lenient normalizer builds the committed list every prompt compiles from;
+ *  bounding them differently let the boundary accept a transition to a
+ *  sub-goal the prompt could never carry, and the migration was then dropped
+ *  by the compile path without a word. */
+export declare const EMERGED_LIMITS: {
+    readonly items: 50;
+    readonly chars: 500;
+};
+/** THE emerged-list normalization. Both the boundary and the committed
+ *  evaluation call this, so the two sets cannot disagree. */
+export declare function boundedEmergedSubtasks(value: unknown): string[];
+/** Parse ExecutionReport from a raw JSON object. */
+export declare function parseExecutionReport(raw: Record<string, unknown> | undefined | null): ExecutionReport | undefined;
+/** v3.8: The criterion ids the agent claims met this round. */
+export declare function claimedMetCriteria(report: {
+    criterion_claims?: Array<{
+        criterion_id: string;
+        outcome: string;
+    }>;
+} | undefined | null): string[];
+/** v3.8: The criterion ids the agent declares still outstanding. */
+export declare function claimedRemainingCriteria(report: {
+    criterion_claims?: Array<{
+        criterion_id: string;
+        outcome: string;
+    }>;
+} | undefined | null): string[];
 /** Parse CriterionRevision[] from a raw JSON array. */
 export declare function parseCriterionRevisions(raw: unknown): CriterionRevision[];
-/** Parse WorkerResult[] from a raw JSON array. */
+/** Parse SubGoalUpdate[] from a raw JSON array.
+ *  v3.7.1: lenient per-entry filtering (id/status shape) with fixed caps
+ *  (20 entries, id ≤ 64, note ≤ 300). Referential validity — unknown IDs
+ *  and illegal migrations — is NOT checked here: that needs the committed
+ *  sub-goal set and runs as a pre-advance validation (evaluation_invalid). */
+export declare function parseSubGoalUpdates(raw: unknown): SubGoalUpdate[];
+/** Parse WorkerResult[] from a raw JSON array.
+ *  v3.7.1: `outcome` is the single fact. An entry without a valid outcome
+ *  is dropped (not derived, not defaulted) — the array stays informational:
+ *  absent/empty arrays are accepted unchanged, so a round without any
+ *  delegation can never be rejected over worker fields. */
 export declare function parseWorkerResults(raw: unknown): import("./protocol.js").WorkerResult[];
 /** v2.12: The effective round outcome — declared outcome wins, otherwise
  *  derived from `success`. "partial" can only be declared explicitly (never
@@ -18,24 +56,102 @@ export declare function effectiveOutcome(selfEval: SelfEvaluation): RoundOutcome
 export declare function effectiveSuccess(selfEval: SelfEvaluation): boolean;
 /** Required evaluation fields are the only format boundary. Optional fields
  * are deliberately normalized by buildSelfEvaluation instead of rejecting a
- * round for a non-authoritative reporting detail. */
+ * round for a non-authoritative reporting detail.
+ *
+ * v3.7.1: subgoal_updates is one documented exception — it is a strict
+ * STRUCTURAL boundary (machine-processable state transitions). Its shape
+ * and referential errors ride here as `subgoal_errors` and return
+ * evaluation_invalid with the same guarantees: no state change, no gates,
+ * no rejection counters, same-roundId retry. */
 export interface EvaluationValidation {
     missing: string[];
     invalid: Array<{
         field: string;
         expected: string;
     }>;
+    subgoal_errors?: Array<{
+        field: string;
+        reason: string;
+        detail: string;
+    }>;
 }
 export declare function validateCoreSelfEvaluation(raw: Record<string, unknown>): EvaluationValidation;
+/** v3.7.1: Strict structural checks for the sub-goal protocol fields
+ *  (subgoal_updates / emerged_subtasks). Runs in the same pre-advance
+ *  evaluation_invalid boundary as the four core fields: an error here is a
+ *  payload defect, never a work-quality rejection — no session state, no
+ *  gates, no rejection counters, retry with the same roundId.
+ *
+ *  Shape-only (no vault): entry shape, id pattern, status enum, caps, and
+ *  the sg-XXXXXXXX creation prohibition on emerged_subtasks. Referential
+ *  validity (unknown IDs / terminal references / illegal migrations) needs
+ *  the committed sub-goal set and is checked against the compiled
+ *  sub_goals right before advance (validateSubGoalUpdates in
+ *  loop-compiler.ts). */
+export declare function validateSubGoalUpdatesShape(raw: Record<string, unknown>): Array<{
+    field: string;
+    reason: string;
+    detail: string;
+}>;
+export interface ContractValidationError {
+    field: string;
+    reason: string;
+    detail: string;
+}
+/** v3.8: Everything the strict contract boundary needs to judge a declaration
+ *  against the SAME derived state the agent saw in its prompt. Injected rather
+ *  than imported so the validator stays a pure, unit-testable function. */
+export interface ContractValidationContext {
+    /** rci- ids of the ACTIVE contract; null when it cannot be observed (fail
+     *  open — shape checks stay strict either way). */
+    activeItemIds: ReadonlySet<string> | null;
+    /** sg- ids the agent may legitimately reference: the compiled set plus the
+     *  submission's own same-round `emerged_subtasks`; null when it cannot be
+     *  observed (fail open). */
+    knownSubGoalIds: ReadonlySet<string> | null;
+    /** Configured AND enabled AND after-capable evidence command. */
+    isConfiguredCommand: (name: string) => boolean;
+    /** Returns a detail string when a declared scope entry leaves the
+     *  workspace, or null when it is contained. */
+    checkScopeEntry: (entry: string) => string | null;
+}
+/** v3.8: Strict STRUCTURAL boundary for the Round Contract declaration and
+ *  the contract item claims — the same pre-advance contract as
+ *  subgoal_updates: an error here is a payload defect, never a work-quality
+ *  rejection (no session state, no gates, no rejection counters, retry with
+ *  the same roundId as `contract_invalid`).
+ *
+ *  Declaration strictness: items must exist and stay within CONTRACT_LIMITS;
+ *  every item must bind at least one configured, enabled, after-capable
+ *  command; scope entries must stay inside the workspace; criterion and
+ *  sub-goal references must be well-formed, and sub-goal references must name
+ *  a sub-goal that actually exists. The limits are enforced HERE rather than
+ *  by silently truncating in the lenient parser — a declaration is a
+ *  boundary, not a suggestion.
+ *
+ *  Claim strictness: item ids must be well formed, unique, and — when the
+ *  active contract is known — reference an item of the ACTIVE contract. */
+export declare function validateContractShape(raw: Record<string, unknown>, context: ContractValidationContext): ContractValidationError[];
 /** Build a SelfEvaluation from a parsed JSON object.
  *  Lenient parsing: missing optional fields get sensible defaults. */
 export declare function buildSelfEvaluation(raw: Record<string, unknown>): SelfEvaluation;
-/** Parse a RoundContract object from raw JSON input. Lenient: non-string
- *  entries are dropped, strings are trimmed and capped. An object that IS
- *  present is returned even with empty arrays — an empty contract is a
- *  real declaration the round_underspecified check must see. Returns
- *  undefined only when the raw value is absent or not an object. */
-export declare function parseRoundContract(raw: unknown): RoundContract | undefined;
+/** v3.8: The ONE set of contract-declaration limits. `validateContractShape`
+ *  (the strict boundary) rejects a declaration over these; `parseRoundContract`
+ *  (the lenient path, reached only after the strict boundary passed) truncates
+ *  to the same numbers. One source, so the two can never drift. */
+export declare const CONTRACT_LIMITS: {
+    readonly items: 20;
+    readonly scope: 50;
+    readonly criterionRefs: 20;
+    readonly subgoalRefs: 20;
+    readonly verifyWith: 20;
+};
+/** Parse a Round Contract PROPOSAL from raw JSON input. Lenient on shapes
+ *  the strict declaration boundary already rejected: strings are trimmed and
+ *  capped, non-string array entries are dropped. Item ORDER and COUNT are
+ *  preserved — the derived rci- ids depend on them. Returns undefined only
+ *  when the raw value is absent or not an object. */
+export declare function parseRoundContract(raw: unknown): RoundContractProposal | undefined;
 /** Parse a PromptRequests object from raw JSON input.
  *  Lenient: missing or invalid fields get sensible defaults.
  *  Returns undefined if the raw value is absent or not an object,

package/dist/self-eval.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"self-eval.d.ts","sourceRoot":"","sources":["../src/self-eval.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAGL,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,cAAc,EACpB,MAAM,eAAe,CAAC;AA8CvB,sDAAsD;AACtD,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,IAAI,GAC9C,iBAAiB,GAAG,SAAS,CAuB/B;AAED,uDAAuD;AACvD,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,OAAO,GACX,iBAAiB,EAAE,CAYrB;AAED,kDAAkD;AAClD,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,OAAO,GACX,OAAO,eAAe,EAAE,YAAY,EAAE,CA0BxC;AAED;;;0CAG0C;AAC1C,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,cAAc,GAAG,YAAY,CAMvE;AAED;0EAC0E;AAC1E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,cAAc,GAAG,OAAO,CAElE;AAED;;qDAEqD;AACrD,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrD;AAED,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC3B,oBAAoB,CAsBtB;AAED;sEACsE;AACtE,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC3B,cAAc,CAsDhB;AAED;;;;oEAIoE;AACpE,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,OAAO,GACX,aAAa,GAAG,SAAS,CAoB3B;AAED;;;;;;;iEAOiE;AACjE,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,OAAO,GACX,cAAc,GAAG,SAAS,CAW5B"}
+{"version":3,"file":"self-eval.d.ts","sourceRoot":"","sources":["../src/self-eval.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAML,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,qBAAqB,EAC1B,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,aAAa,EACnB,MAAM,eAAe,CAAC;AAqBvB;;;;;;0CAM0C;AAC1C,eAAO,MAAM,cAAc;;;CAAqC,CAAC;AAEjE;6DAC6D;AAC7D,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAE/D;AA2BD,oDAAoD;AACpD,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,IAAI,GAC9C,eAAe,GAAG,SAAS,CAuB7B;AAED,+DAA+D;AAC/D,wBAAgB,kBAAkB,CAChC,MAAM,EAAE;IAAE,gBAAgB,CAAC,EAAE,KAAK,CAAC;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE,GAAG,SAAS,GAAG,IAAI,GACjG,MAAM,EAAE,CAIV;AAED,oEAAoE;AACpE,wBAAgB,wBAAwB,CACtC,MAAM,EAAE;IAAE,gBAAgB,CAAC,EAAE,KAAK,CAAC;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE,GAAG,SAAS,GAAG,IAAI,GACjG,MAAM,EAAE,CAIV;AA0CD,uDAAuD;AACvD,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,OAAO,GACX,iBAAiB,EAAE,CAYrB;AAED;;;;8EAI8E;AAC9E,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,OAAO,GAAG,aAAa,EAAE,CAqBjE;AAED;;;;2DAI2D;AAC3D,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,OAAO,GACX,OAAO,eAAe,EAAE,YAAY,EAAE,CAyBxC;AAED;;;0CAG0C;AAC1C,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,cAAc,GAAG,YAAY,CAMvE;AAED;0EAC0E;AAC1E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,cAAc,GAAG,OAAO,CAElE;AAED;;;;;;;;gDAQgD;AAChD,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpD,cAAc,CAAC,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC3E;AAED,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC3B,oBAAoB,CAsBtB;AAED;;;;;;;;;;;yBAWyB;AACzB,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC3B,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAiE1D;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAiLD;;2EAE2E;AAC3E,MAAM,WAAW,yBAAyB;IACxC;uDACmD;IACnD,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC1C;;gCAE4B;IAC5B,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC5C,iEAAiE;IACjE,mBAAmB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IAC/C;mDAC+C;IAC/C,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;CACnD;AAED;;;;;;;;;;;;;;;2EAe2E;AAC3E,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,OAAO,EAAE,yBAAyB,GACjC,uBAAuB,EAAE,CA6F3B;AAED;sEACsE;AACtE,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC3B,cAAc,CAmDhB;AAED;;;mEAGmE;AACnE,eAAO,MAAM,eAAe;;;;;;CAMlB,CAAC;AAEX;;;;qDAIqD;AACrD,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,OAAO,GACX,qBAAqB,GAAG,SAAS,CAiCnC;AAED;;;;;;;iEAOiE;AACjE,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,OAAO,GACX,cAAc,GAAG,SAAS,CAW5B"}