loopforge 3.7.0 → 3.8.1

package/dist/cognitive-governance.js

@@ -1,10 +1,12 @@
-/** v2.12: User/Agent gate classification and governance helpers.
+/** v2.12/v3.7.1: User/Agent gate classification and governance helpers.
  *
- *  Ported from the 3.x line with the V2 flat-contract adaptation: the MCP
- *  surface works with a flat gate text (the agent's blocker description),
- *  while the structured GateActionDescriptor stays an internal type for
- *  audit display. Only decisions are persisted — gate state is always
- *  re-derivable via deriveGate, so the vault never holds a second truth.
+ *  v3.7.1: loopforge_gate_check is a STRUCTURED preflight over
+ *  GateActionDescriptor (preflightStructuredGate — the single classifier
+ *  behind both the tool and the round-blocking check). The flat-text
+ *  classifier (deriveGate / USER_RISK) survives only for blocked-round
+ *  auto-records, which stay a record-layer convenience that never blocks.
+ *  Only decisions are persisted; gate state is always re-derivable from
+ *  the canonical action, so the vault never holds a second truth.
  */
 import { createHash } from "node:crypto";
 import { computeGoalTextHash } from "./loop-compiler.js";
@@ -42,28 +44,82 @@ export function gateActionHash(action) {
 }
 /** Classify a structured action descriptor (internal use; audit display). */
 export function deriveStructuredGate(action) {
+    const verdict = preflightStructuredGate(action);
+    return {
+        id: verdict.gateId,
+        actionHash: verdict.actionHash,
+        gate: verdict.kind === "user"
+            ? {
+                kind: "user",
+                question: verdict.approvalQuestion,
+                blockedScope: verdict.blockedScope,
+                allowedWork: verdict.allowedBeforeApproval,
+            }
+            : {
+                kind: "agent",
+                problem: action.description,
+                requiredEvidence: verdict.requiredEvidence,
+                suggestedResolution: verdict.suggestedResolution,
+            },
+    };
+}
+/** v3.7.1: the structured gate preflight — the SINGLE classifier behind
+ *  loopforge_gate_check and the round-blocking check. Conservative by
+ *  default: anything that cannot be proven safe is user_required, with
+ *  stable reason codes instead of keyword guessing. `gateId` binds the
+ *  canonical action, so any field change produces a new id and expires old
+ *  approvals. */
+export function preflightStructuredGate(action) {
     const actionHash = gateActionHash(action);
-    const highRisk = action.authorization === "user_required" ||
+    const gateId = `gate-${actionHash}`;
+    const reasonCodes = [];
+    const highRiskEffects = action.effects.filter((effect) => USER_EFFECTS.has(effect));
+    for (const effect of highRiskEffects)
+        reasonCodes.push(`effects:${effect}`);
+    if (action.reversibility === "irreversible")
+        reasonCodes.push("reversibility:irreversible");
+    if (action.reversibility === "unknown")
+        reasonCodes.push("reversibility:unknown");
+    if (action.authorization === "user_required")
+        reasonCodes.push("authorization:user_required");
+    if (action.authorization === "unknown")
+        reasonCodes.push("authorization:unknown");
+    if (action.effects.length === 0)
+        reasonCodes.push("effects_empty");
+    if (action.scope.length === 0)
+        reasonCodes.push("scope_empty");
+    const explicitHighRisk = action.authorization === "user_required" ||
         action.reversibility === "irreversible" ||
         action.reversibility === "unknown" ||
-        action.effects.some((effect) => USER_EFFECTS.has(effect));
-    const userGate = highRisk || action.authorization === "unknown" || action.effects.length === 0;
+        highRiskEffects.length > 0;
+    // Conservative default: unknown authorization or an empty effects list
+    // cannot be proven safe → user_required (risk unknown, not low).
+    const userRequired = explicitHighRisk || action.authorization === "unknown" ||
+        action.effects.length === 0;
+    const risk = userRequired
+        ? (explicitHighRisk ? "high" : "unknown")
+        : "low";
     return {
-        id: `gate-${actionHash}`,
+        gateId,
         actionHash,
-        gate: userGate
+        kind: userRequired ? "user" : "agent",
+        risk,
+        decision: userRequired ? "user_required" : "agent_allowed",
+        reasonCodes,
+        ...(userRequired
             ? {
-                kind: "user",
-                question: `Authorize this action: ${action.description}`,
+                approvalQuestion: `Authorize this action: ${action.description}`,
                 blockedScope: action.scope.length ? action.scope : [action.description],
-                allowedWork: ["Read-only investigation", "Local dry-run", "Prepare verification and rollback evidence"],
+                allowedBeforeApproval: [
+                    "Read-only investigation",
+                    "Local dry-run",
+                    "Prepare verification and rollback evidence",
+                ],
             }
             : {
-                kind: "agent",
-                problem: action.description,
                 requiredEvidence: action.scope,
-                suggestedResolution: "Resolve the technical blocker and submit concrete evidence in RoundReport.",
-            },
+                suggestedResolution: "Resolve the technical blocker and submit concrete evidence in the round evaluation.",
+            }),
     };
 }
 /** Classify a flat gate text (MCP surface). The id embeds the canonicalized

package/dist/cognitive-governance.js.map

@@ -1 +1 @@
-{"version":3,"file":"cognitive-governance.js","sourceRoot":"","sources":["../src/cognitive-governance.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAGzD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,uDAAuD;AACvD,MAAM,YAAY,GAAG,IAAI,GAAG,CAA0C;IACpE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,YAAY,EAAE,SAAS;IACtE,SAAS,EAAE,wBAAwB;CACpC,CAAC,CAAC;AAEH,4CAA4C;AAC5C,MAAM,SAAS,GAAG,4LAA4L,CAAC;AAE/M,6EAA6E;AAC7E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC1D,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACzD,CAAC;AAED;qDACqD;AACrD,MAAM,UAAU,sBAAsB,CAAC,MAA4B;IACjE,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE;QACtC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;QAC5E,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;QACnC,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,aAAa,EAAE,MAAM,CAAC,aAAa;KACpC,CAAC,CAAC;AACL,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,cAAc,CAAC,MAA4B;IACzD,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAChG,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,oBAAoB,CAClC,MAA4B;IAE5B,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,KAAK,eAAe;QACvD,MAAM,CAAC,aAAa,KAAK,cAAc;QACvC,MAAM,CAAC,aAAa,KAAK,SAAS;QAClC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,QAAQ,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IAC/F,OAAO;QACL,EAAE,EAAE,QAAQ,UAAU,EAAE;QACxB,UAAU;QACV,IAAI,EAAE,QAAQ;YACZ,CAAC,CAAC;gBACE,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE,0BAA0B,MAAM,CAAC,WAAW,EAAE;gBACxD,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC;gBACvE,WAAW,EAAE,CAAC,yBAAyB,EAAE,eAAe,EAAE,4CAA4C,CAAC;aACxG;YACH,CAAC,CAAC;gBACE,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,MAAM,CAAC,WAAW;gBAC3B,gBAAgB,EAAE,MAAM,CAAC,KAAK;gBAC9B,mBAAmB,EAAE,4EAA4E;aAClG;KACN,CAAC;AACJ,CAAC;AAED;;sDAEsD;AACtD,MAAM,UAAU,UAAU,CACxB,MAAqC,EACrC,QAAkB,EAAE;IAEpB,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACxD,MAAM,EAAE,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACpC,MAAM,IAAI,GAAgB,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC;QAClD,CAAC,CAAC;YACE,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,oCAAoC,MAAM,EAAE;YACtD,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC7C,WAAW,EAAE,CAAC,yBAAyB,EAAE,eAAe,EAAE,4CAA4C,CAAC;SACxG;QACH,CAAC,CAAC;YACE,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,MAAM;YACf,gBAAgB,EAAE,KAAK;YACvB,mBAAmB,EAAE,4EAA4E;SAClG,CAAC;IACN,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED;;iDAEiD;AACjD,MAAM,UAAU,UAAU,CAAC,OAAqB;IAC9C,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACpB,qEAAqE;QACrE,kEAAkE;QAClE,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnE,IAAI,SAAS,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAEtC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,SAAS,IAAI,UAAU,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,GAAG,SAAS,CAAC;QACnF,IAAI,SAAS,KAAK,UAAU;YAAE,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAExD,MAAM,GAAG,GAAG,CAAC,KAAiB,EAAU,EAAE,CAAC;YACzC,KAAK,CAAC,SAAS,IAAI,EAAE;YACrB,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,IAAI,EAAE;YAC/B,KAAK,CAAC,OAAO,IAAI,EAAE;YACnB,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;SACpE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAChE,OAAO,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC5D,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC"}
+{"version":3,"file":"cognitive-governance.js","sourceRoot":"","sources":["../src/cognitive-governance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAGzD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,uDAAuD;AACvD,MAAM,YAAY,GAAG,IAAI,GAAG,CAA0C;IACpE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,YAAY,EAAE,SAAS;IACtE,SAAS,EAAE,wBAAwB;CACpC,CAAC,CAAC;AAEH,4CAA4C;AAC5C,MAAM,SAAS,GAAG,4LAA4L,CAAC;AAE/M,6EAA6E;AAC7E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC1D,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACzD,CAAC;AAED;qDACqD;AACrD,MAAM,UAAU,sBAAsB,CAAC,MAA4B;IACjE,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE;QACtC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;QAC5E,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;QACnC,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,aAAa,EAAE,MAAM,CAAC,aAAa;KACpC,CAAC,CAAC;AACL,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,cAAc,CAAC,MAA4B;IACzD,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAChG,CAAC;AAmBD,6EAA6E;AAC7E,MAAM,UAAU,oBAAoB,CAClC,MAA4B;IAE5B,MAAM,OAAO,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAChD,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,MAAM;QAClB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,MAAM;YAC3B,CAAC,CAAC;gBACE,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE,OAAO,CAAC,gBAAgB;gBAClC,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,WAAW,EAAE,OAAO,CAAC,qBAAqB;aAC3C;YACH,CAAC,CAAC;gBACE,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,MAAM,CAAC,WAAW;gBAC3B,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;gBAC1C,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;aACjD;KACN,CAAC;AACJ,CAAC;AAED;;;;;iBAKiB;AACjB,MAAM,UAAU,uBAAuB,CAAC,MAA4B;IAClE,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,QAAQ,UAAU,EAAE,CAAC;IACpC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACpF,KAAK,MAAM,MAAM,IAAI,eAAe;QAAE,WAAW,CAAC,IAAI,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC;IAC5E,IAAI,MAAM,CAAC,aAAa,KAAK,cAAc;QAAE,WAAW,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC5F,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;QAAE,WAAW,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IAClF,IAAI,MAAM,CAAC,aAAa,KAAK,eAAe;QAAE,WAAW,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC9F,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;QAAE,WAAW,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IAClF,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACnE,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAE/D,MAAM,gBAAgB,GAAG,MAAM,CAAC,aAAa,KAAK,eAAe;QAC/D,MAAM,CAAC,aAAa,KAAK,cAAc;QACvC,MAAM,CAAC,aAAa,KAAK,SAAS;QAClC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;IAC7B,uEAAuE;IACvE,iEAAiE;IACjE,MAAM,YAAY,GAAG,gBAAgB,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;QACzE,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAkC,YAAY;QACtD,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QACzC,CAAC,CAAC,KAAK,CAAC;IAEV,OAAO;QACL,MAAM;QACN,UAAU;QACV,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;QACrC,IAAI;QACJ,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe;QAC1D,WAAW;QACX,GAAG,CAAC,YAAY;YACd,CAAC,CAAC;gBACE,gBAAgB,EAAE,0BAA0B,MAAM,CAAC,WAAW,EAAE;gBAChE,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC;gBACvE,qBAAqB,EAAE;oBACrB,yBAAyB;oBACzB,eAAe;oBACf,4CAA4C;iBAC7C;aACF;YACH,CAAC,CAAC;gBACE,gBAAgB,EAAE,MAAM,CAAC,KAAK;gBAC9B,mBAAmB,EACjB,qFAAqF;aACxF,CAAC;KACP,CAAC;AACJ,CAAC;AAED;;sDAEsD;AACtD,MAAM,UAAU,UAAU,CACxB,MAAqC,EACrC,QAAkB,EAAE;IAEpB,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACxD,MAAM,EAAE,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACpC,MAAM,IAAI,GAAgB,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC;QAClD,CAAC,CAAC;YACE,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,oCAAoC,MAAM,EAAE;YACtD,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC7C,WAAW,EAAE,CAAC,yBAAyB,EAAE,eAAe,EAAE,4CAA4C,CAAC;SACxG;QACH,CAAC,CAAC;YACE,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,MAAM;YACf,gBAAgB,EAAE,KAAK;YACvB,mBAAmB,EAAE,4EAA4E;SAClG,CAAC;IACN,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED;;iDAEiD;AACjD,MAAM,UAAU,UAAU,CAAC,OAAqB;IAC9C,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACpB,qEAAqE;QACrE,kEAAkE;QAClE,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnE,IAAI,SAAS,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAEtC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,SAAS,IAAI,UAAU,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,GAAG,SAAS,CAAC;QACnF,IAAI,SAAS,KAAK,UAAU;YAAE,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAExD,MAAM,GAAG,GAAG,CAAC,KAAiB,EAAU,EAAE,CAAC;YACzC,KAAK,CAAC,SAAS,IAAI,EAAE;YACrB,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,IAAI,EAAE;YAC/B,KAAK,CAAC,OAAO,IAAI,EAAE;YACnB,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;SACpE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAChE,OAAO,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC5D,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC"}

package/dist/committed-round.d.ts

@@ -4,11 +4,30 @@
  * place that interprets their transaction envelope or the compiler's merged
  * lineage representation. Consumers receive one stable, read-only view.
  */
-import type { ProviderSnapshot } from "./evidence-provider.js";
+import type { MachineObservation } from "./protocol.js";
 import type { VaultEntry } from "./loop-store.js";
-import type { ExecutionEvidence, PromptArtifact, RoundContract, RoundOutcome, SelfEvaluation, VerificationFlag } from "./protocol.js";
+import type { ContractBinding, ExecutionReport, PromptArtifact, RoundContractProposal, RoundOutcome, SelfEvaluation, SubGoalUpdate, VerificationFlag } from "./protocol.js";
 import type { RoundProcessResult } from "./round-coordinator.js";
 export type CommittedAction = "continue" | "stop" | "backtrack";
+/** v3.8.1: the rolled-back branch's facts, decoded from a committed rollback
+ *  directive. One shape for the compile-side Recovery Brief, the state file's
+ *  Recent tier and the rollback prompt — these were three renderers over two
+ *  independent derivations (the committed record and an in-memory walk).
+ *
+ *  Note the target is a RESTORE POINT, not an upper bound: the redo re-commits
+ *  the same round numbers the abandoned rounds occupied (round-lifecycle.ts
+ *  sets `currentRound = backtrackTarget + 1`), so this is never a window
+ *  fence. Abandonment is temporal, not numeric. */
+export interface BacktrackRecoveryRecord {
+    readonly target: number;
+    readonly triggerRule: string;
+    readonly failedRounds: number[];
+    readonly approaches: string[];
+    readonly wrongAssumptions: string[];
+    readonly skippedFiles: string[];
+    readonly skippedFingerprints: Record<string, string>;
+    readonly targetGitHead?: string;
+}
 export interface CommittedRoundView {
     readonly source: "feedback" | "merged";
     readonly sourceEntry: VaultEntry | Record<string, unknown>;
@@ -19,16 +38,24 @@ export interface CommittedRoundView {
     readonly attempt: number;
     readonly promptArtifact: PromptArtifact | null;
     readonly evaluation: SelfEvaluation | null;
-    readonly executionEvidence: ExecutionEvidence | null;
+    readonly executionReport: ExecutionReport | null;
     readonly verificationFlags: VerificationFlag[];
     readonly result: RoundProcessResult | null;
     readonly action: CommittedAction;
     readonly success: boolean;
     readonly outcome: RoundOutcome | null;
-    readonly contractProposal: RoundContract | null;
-    readonly beforeEvidence: ProviderSnapshot[];
-    readonly afterEvidence: ProviderSnapshot[];
-    readonly roundEvidence: ProviderSnapshot[];
+    readonly contractProposal: RoundContractProposal | null;
+    /** v3.8: the machine binding stamped when the declaring round committed. */
+    readonly contractBinding: ContractBinding | null;
+    readonly beforeEvidence: MachineObservation[];
+    readonly afterEvidence: MachineObservation[];
+    /** v3.8: derived before→after delta — never persisted (transaction
+     *  schema 2 stores only the two factual collections). */
+    readonly observationDelta: MachineObservation[];
+    /** v3.8: true when the round committed without after-phase observations —
+     *  its machine evidence is incomplete and must never be substituted with
+     *  the before baseline. */
+    readonly evidenceIncomplete: boolean;
     /** Normalized round-level declarations used by compiler projections. */
     readonly outputSummary?: string;
     readonly constraintViolations?: string[];
@@ -36,10 +63,17 @@ export interface CommittedRoundView {
     readonly activeConstraints?: string[];
     readonly retractedConstraints?: string[];
     readonly emergedSubtasks?: string[];
-    readonly completedSubtasks?: string[];
-    readonly blockedSubtasks?: string[];
-    readonly canceledSubtasks?: string[];
+    readonly subgoalUpdates?: SubGoalUpdate[];
+    /** v3.8.1: present only on a committed rollback directive, null elsewhere.
+     *  Decoded from `result.*` on the durable feedback entry and from the
+     *  `lineage.backtrack*` stamps on a hydrated merged entry. */
+    readonly backtrack: BacktrackRecoveryRecord | null;
 }
+/** v3.8.1: decode a rollback directive's facts from either carrier —
+ *  `result.*` on a durable :feedback entry, `lineage.*` on a hydrated merged
+ *  entry. Returns null when no restore point is recorded, which is also the
+ *  signal that the record cannot serve as recovery guidance. */
+export declare function decodeBacktrackRecord(source: unknown): BacktrackRecoveryRecord | null;
 /** Decode a durable :feedback entry. Reject/terminate/in-flight envelopes are
  * not committed history and therefore do not produce a view. */
 export declare function decodeCommittedRound(entry: VaultEntry): CommittedRoundView | null;
@@ -57,42 +91,93 @@ export declare function decodeRound(entry: unknown): CommittedRoundView | null;
 /** Lineage sub-object of an entry (`loop_lineage`; v3.7: the legacy
  *  top-level `lineage` alias was removed), or {} when absent. */
 export declare function entryLineage(entry: unknown): Record<string, unknown>;
-/** Extract execution_evidence from an entry, handling both direct-field and
+/** Extract execution_report from an entry, handling both direct-field and
  *  lineage-nested shapes. The decoded committed view wins when the entry is
  *  a committed round. Returns null when absent. Moved from loop-compiler so
  *  field-shape interpretation lives in this module only. */
-export declare function entryExecutionEvidence(entry: unknown): Record<string, unknown> | null;
-/** Read success_criteria_met from an entry's execution_evidence. */
+export declare function entryExecutionReport(entry: unknown): Record<string, unknown> | null;
+/** Read the criteria the agent claimed met from an entry's execution_report. */
 export declare function entryCriteriaMet(entry: unknown): string[];
-/** Read success_criteria_remaining from an entry's execution_evidence. */
+/** Read the criteria the agent declared outstanding from an entry. */
 export declare function entryCriteriaRemaining(entry: unknown): string[];
 /** Read constraints_active from an entry's lineage. */
 export declare function entryActiveConstraints(entry: unknown): string[];
 /** Read retracted_constraints from an entry (direct field, else nested in
  *  the lineage). */
 export declare function entryRetractedConstraints(entry: unknown): string[];
-/** Read progress_estimate from an entry's execution_evidence (0 when
+/** Read progress_estimate from an entry's execution_report (0 when
  *  absent). */
 export declare function entryProgressEstimate(entry: unknown): number;
 /** Read emerged_subtasks from an entry (handles direct + lineage nesting). */
 export declare function entryEmergedSubtasks(entry: unknown): string[];
+/** Read subgoal_updates from an entry (handles direct + lineage nesting).
+ *  v3.7.1: committed status transitions are replayed in round order by the
+ *  compiler — every derivation replays ALL committed rounds, not just the
+ *  last one. */
+export declare function entrySubGoalUpdates(entry: unknown): SubGoalUpdate[];
 /** Read constraint_violations from an entry (entry-level, stored from the
  *  previous round's last_round_result at persist time — distinct from the
  *  evaluation-level violations on the committed view). Moved from
  *  verification-gate so lineage-shape reads live in this module only. */
 export declare function entryViolations(entry: unknown): string[];
 export declare function historyRounds(views: Iterable<CommittedRoundView | null>, beforeRound?: number): CommittedRoundView[];
-export declare function committedRoundsFromEntries(entries: VaultEntry[], beforeRound?: number): CommittedRoundView[];
+/** v3.8.1: the ONE committed-history window every derivation reads.
+ *
+ * `decodeRound` (hydrated merged lineage first, then the durable feedback
+ * entry) plus the rollback handling in `historyRounds` — so the compile path,
+ * the projection, the live coordinator, audit and explain can no longer
+ * disagree about which rounds are this branch's history, nor about how their
+ * envelope was interpreted.
+ *
+ * `currentRound` bounds the window exactly as before (default: unbounded). It
+ * is NOT a rollback fence: the redo re-commits the round numbers the abandoned
+ * rounds occupied, so abandonment is temporal, not numeric, and cannot be
+ * expressed as a bound here. */
+export declare function derivationRounds(entries: ReadonlyArray<unknown>, currentRound?: number): CommittedRoundView[];
+/** v3.8.1: the loop's durable round frontier — the session document's
+ *  `current_round`. Null when no session document is in the entry set, so
+ *  callers fail OPEN rather than inventing a bound. */
+export declare function persistedFrontier(entries: ReadonlyArray<unknown>): number | null;
+/** v3.8.1: THE window for a READ-ONLY view of a loop — audit, explain, replay,
+ *  the projection, the metrics replay. Same decoder and same rollback handling
+ *  as `derivationRounds`, plus the bound those callers cannot compute
+ *  themselves.
+ *
+ *  The live paths bound their window at the round being compiled, and that
+ *  bound is what keeps a backtracked branch out of this branch's history. A
+ *  read-only view has no compile round, so it reads the SAME frontier from the
+ *  durable session document and applies it only while a committed rollback
+ *  directive is still in effect — a directive stops being history the moment
+ *  the redo commit replaces its round's record, which is exactly when the
+ *  abandoned rounds have been re-committed and must count again.
+ *
+ *  With no directive in effect the window stays UNBOUNDED on purpose: after a
+ *  stop, terminate or max_rounds the session's `current_round` sits ON the
+ *  round it just committed, so bounding there would silently drop the loop's
+ *  final round. An unobservable frontier fails open the same way — a read-only
+ *  view never invents a fence, it only applies the one the runtime recorded. */
+export declare function readOnlyRounds(entries: ReadonlyArray<unknown>): CommittedRoundView[];
 /** The machine-evidence set that best represents a committed round: the
- *  after-phase evidence (captured post-execution), else the round's committed
- *  diff evidence, else the pre-round baseline. Shared selector for the
+ *  after-phase observations (captured post-execution), else the derived round
+ *  delta, else the pre-round baseline. Shared selector for the
  *  evidence-fallback chains that audit, claims, and backtrack-restore each
- *  used to inline with subtly different tiers — the enforcement-gate variant
- *  previously skipped roundEvidence entirely. Distinct from
- *  machineGitMotionSeries, which deliberately reads roundEvidence alone for
- *  the diffed motion signal. */
-export declare function machineEvidenceForRound(view: CommittedRoundView): ProviderSnapshot[];
-export declare function mergedRoundsFromEntries(entries: unknown[], beforeRound?: number): CommittedRoundView[];
+ *  used to inline with subtly different tiers. Distinct from
+ *  machineGitMotionSeries, which deliberately reads the delta alone for the
+ *  motion signal. */
+export declare function machineEvidenceForRound(view: CommittedRoundView): MachineObservation[];
+/** v3.8: Rounds whose persisted transaction carries a LEGACY schema version.
+ *  A hard version break must be visible, not silent: these rounds drop out of
+ *  history views, so audit/status surface them here instead of letting the
+ *  loop look complete while rounds are missing. */
+export interface LegacyRound {
+    round: number;
+    schemaVersion: number;
+    /** v3.8.1: which versioned envelope rejected the round. Both are hard
+     *  breaks — a round that fails either check is not committed history — so
+     *  both must be REPORTED, not just the transaction one. */
+    envelope: "transaction" | "prompt_artifact";
+}
+export declare function legacyTransactionRounds(entries: unknown[]): LegacyRound[];
 /** Machine-observed git motion for the most recent contiguous window.
  * Consumers must decode durable or hydrated entries before calling this;
  * transaction-envelope interpretation stays confined to this module. */

package/dist/committed-round.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"committed-round.d.ts","sourceRoot":"","sources":["../src/committed-round.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,YAAY,EACZ,cAAc,EACd,gBAAgB,EACjB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAKjE,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,MAAM,GAAG,WAAW,CAAC;AAEhE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,QAAQ,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,cAAc,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,cAAc,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,aAAa,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,cAAc,EAAE,gBAAgB,EAAE,CAAC;IAC5C,QAAQ,CAAC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAC3C,QAAQ,CAAC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAC3C,wEAAwE;IACxE,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;CACtC;AA6BD;gEACgE;AAChE,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,UAAU,GAAG,kBAAkB,GAAG,IAAI,CAsDjF;AAED;;4BAE4B;AAC5B,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,GAAG,IAAI,CAoF3E;AAED;kFACkF;AAClF;;;8BAG8B;AAC9B,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,GAAG,IAAI,CAErE;AAED;iEACiE;AACjE,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAIpE;AAED;;;4DAG4D;AAC5D,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQrF;AAED,oEAAoE;AACpE,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAQzD;AAED,0EAA0E;AAC1E,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAQ/D;AAED,uDAAuD;AACvD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAK/D;AAED;oBACoB;AACpB,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CASlE;AAED;eACe;AACf,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAK5D;AAED,8EAA8E;AAC9E,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAS7D;AAED;;;yEAGyE;AACzE,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAKxD;AAED,wBAAgB,aAAa,CAC3B,KAAK,EAAE,QAAQ,CAAC,kBAAkB,GAAG,IAAI,CAAC,EAC1C,WAAW,SAA2B,GACrC,kBAAkB,EAAE,CAOtB;AAED,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,UAAU,EAAE,EACrB,WAAW,SAA2B,GACrC,kBAAkB,EAAE,CAEtB;AAED;;;;;;;gCAOgC;AAChC,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,kBAAkB,GACvB,gBAAgB,EAAE,CAIpB;AAED,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,OAAO,EAAE,EAClB,WAAW,SAA2B,GACrC,kBAAkB,EAAE,CAEtB;AAED;;wEAEwE;AACxE,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,CAAC,kBAAkB,CAAC,EACzC,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,EAAE,GAAG,IAAI,CAYlB"}
+{"version":3,"file":"committed-round.d.ts","sourceRoot":"","sources":["../src/committed-round.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAExD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EACV,eAAe,EACf,eAAe,EACf,cAAc,EACd,qBAAqB,EACrB,YAAY,EACZ,cAAc,EACd,aAAa,EACb,gBAAgB,EACjB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAUjE,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,MAAM,GAAG,WAAW,CAAC;AAEhE;;;;;;;;mDAQmD;AACnD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;IAC9B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrD,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,QAAQ,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,cAAc,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,cAAc,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,eAAe,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACxD,4EAA4E;IAC5E,QAAQ,CAAC,eAAe,EAAE,eAAe,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,cAAc,EAAE,kBAAkB,EAAE,CAAC;IAC9C,QAAQ,CAAC,aAAa,EAAE,kBAAkB,EAAE,CAAC;IAC7C;6DACyD;IACzD,QAAQ,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,CAAC;IAChD;;+BAE2B;IAC3B,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,wEAAwE;IACxE,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC;IAC1C;;kEAE8D;IAC9D,QAAQ,CAAC,SAAS,EAAE,uBAAuB,GAAG,IAAI,CAAC;CACpD;AA4CD;;;gEAGgE;AAChE,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,OAAO,GAAG,uBAAuB,GAAG,IAAI,CAkBrF;AAyBD;gEACgE;AAChE,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,UAAU,GAAG,kBAAkB,GAAG,IAAI,CA+DjF;AAED;;4BAE4B;AAC5B,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,GAAG,IAAI,CA0F3E;AAED;kFACkF;AAClF;;;8BAG8B;AAC9B,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,GAAG,IAAI,CAErE;AAED;iEACiE;AACjE,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAIpE;AAED;;;4DAG4D;AAC5D,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQnF;AAED,gFAAgF;AAChF,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAMzD;AAED,sEAAsE;AACtE,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAM/D;AAgBD,uDAAuD;AACvD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAK/D;AAED;oBACoB;AACpB,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CASlE;AAED;eACe;AACf,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAK5D;AAED,8EAA8E;AAC9E,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAS7D;AAED;;;gBAGgB;AAChB,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,EAAE,CASnE;AAED;;;yEAGyE;AACzE,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAKxD;AAED,wBAAgB,aAAa,CAC3B,KAAK,EAAE,QAAQ,CAAC,kBAAkB,GAAG,IAAI,CAAC,EAC1C,WAAW,SAA2B,GACrC,kBAAkB,EAAE,CAOtB;AAED;;;;;;;;;;;gCAWgC;AAChC,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,EAC/B,YAAY,GAAE,MAAiC,GAC9C,kBAAkB,EAAE,CAEtB;AAED;;uDAEuD;AACvD,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,MAAM,GAAG,IAAI,CAShF;AAED;;;;;;;;;;;;;;;;;gFAiBgF;AAChF,wBAAgB,cAAc,CAC5B,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,GAC9B,kBAAkB,EAAE,CAKtB;AAED;;;;;;qBAMqB;AACrB,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,kBAAkB,GACvB,kBAAkB,EAAE,CAItB;AAED;;;mDAGmD;AACnD,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CAAC;IACtB;;+DAE2D;IAC3D,QAAQ,EAAE,aAAa,GAAG,iBAAiB,CAAC;CAC7C;AAED,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,WAAW,EAAE,CA+BzE;AAED;;wEAEwE;AACxE,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,CAAC,kBAAkB,CAAC,EACzC,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,EAAE,GAAG,IAAI,CAYlB"}