loopforge 3.9.2 → 4.0.7

package/dist/token-utils.d.ts

@@ -9,6 +9,10 @@
  */
 /** Filter null/undefined/empty strings, trim, and deduplicate via Set. */
 export declare function unique(values: Array<string | null | undefined>): string[];
+/** v3.9.4: deduplicate by the SAME normalized-exact identity the stable ID
+ *  derivation uses. `unique` is trim-only, so "Tests pass" and "tests pass"
+ *  survived as two entries with one `cr-*` id. The first spelling wins. */
+export declare function uniqueNormalized(values: Array<string | null | undefined>): string[];
 /** Narrow `unknown` to a non-array object. Used across storage, MCP, and
  *  transaction modules to validate JSON-deserialized data before field access. */
 export declare function isRecord(value: unknown): value is Record<string, unknown>;
@@ -35,6 +39,10 @@ export declare const STABLE_ID_RE: RegExp;
  *  cycle. `loop-compiler.ts` re-exports it, so its public surface is
  *  unchanged. */
 export declare function deriveCriterionId(text: string): string;
+/** v2.11/v3.9.7: Derive a stable constraint ID from its text hash
+ *  (c-XXXXXXXX). Moved here so the constraint lifecycle resolver can use the
+ *  one identity helper without importing the compiler. */
+export declare function deriveConstraintId(text: string): string;
 /** The cr-XXXXXXXX shape — the ONE predicate every criterion-reference reader
  *  uses (round-contract.ts kept an inline copy before v3.8.1). */
 export declare function isCriterionId(ref: string): boolean;
@@ -45,6 +53,24 @@ export declare function criterionRefMatches(ref: string, criterion: string | {
     id?: string;
     text: string;
 }): boolean;
+/** v3.9.4: the stable identity of one machine finding for prompt coverage.
+ *  It is a DERIVED audit key — never persisted as a second finding source and
+ *  never read by compile/decision code. `(check, field, ref)` is the same
+ *  subject vocabulary `RecurringFlag` groups on; JSON encoding keeps it
+ *  unambiguous and deterministic. */
+export declare function findingKey(flag: {
+    check: string;
+    field: string;
+    ref?: string;
+}): string;
+/** v3.9.7: the stable, user-referenceable id of one current machine finding.
+ *  The JSON `findingKey` remains the internal grouping key; `f-` is the id the
+ *  prompt renders for the Agent. */
+export declare function deriveFindingId(flag: {
+    check: string;
+    field: string;
+    ref?: string;
+}): string;
 /** Normalize one contract text field for identity purposes. */
 export declare function normalizeText(text: string): string;
 /** The contract-item fields that participate in rci-/rc- identity. Structural
@@ -52,17 +78,26 @@ export declare function normalizeText(text: string): string;
  *  position alongside the other pure token helpers. */
 export interface ContractIdentityItem {
     description: string;
-    criterion_refs: string[];
-    subgoal_refs: string[];
+    /** v4.0.6: optional (defaults to `[]`), matching the runtime and schema. */
+    criterion_refs?: string[];
     verify_with: string[];
 }
-/** v3.8: Canonical form of a contract proposal. Identity is CONTENT only —
- *  restating an unchanged contract keeps the same rc-/rci- ids, unlike a
- *  SubGoal whose id includes its declaration round. Array order is part of
- *  the identity. */
+/** v3.8 / v4.0.6: Canonical form of a contract proposal. Identity is CONTENT
+ *  only — restating an unchanged contract keeps the same rc-/rci- ids, unlike
+ *  a SubGoal whose id includes its declaration round. Array order is part of
+ *  the identity.
+ *
+ *  v3.9.5: `work_item` is the slice's deliverable label (optional in this
+ *  legacy-readable type); the item list is the acceptance surface.
+ *
+ *  v4.0.6: `scope` and `supersedes` are report-only modifiers and are NOT
+ *  part of `rc-` identity — changing either keeps the same contract id.
+ *  Structural (not imported from protocol.ts) so this module keeps its
+ *  zero-dependency position. */
 export declare function canonicalContractText(contract: {
     work_item?: string;
-    scope: string[];
+    scope?: string[];
+    supersedes?: unknown;
     items: ContractIdentityItem[];
 }): string;
 /** v3.8: rc-XXXXXXXX — loopId + canonical content. */
@@ -71,6 +106,11 @@ export declare function deriveContractId(loopId: string, contract: Parameters<ty
  *  Deliberately independent of the contract id: editing `work_item` or
  *  `scope` must not invalidate every item id the agent already cited. */
 export declare function deriveContractItemId(item: ContractIdentityItem, duplicateOrdinal: number): string;
+/** v3.9.4: the normalized content identity of ONE contract item (without the
+ *  duplicate ordinal). Used by the strict declaration boundary to reject two
+ *  semantically identical items, so an `rci-*` citation can never be
+ *  ambiguous between restatements. */
+export declare function canonicalContractItemText(item: ContractIdentityItem): string;
 /** v3.8: Assign ids to a proposal's items in declaration order. Items with
  *  identical normalized content get distinct ids through their duplicate
  *  ordinal. */

package/dist/token-utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"token-utils.d.ts","sourceRoot":"","sources":["../src/token-utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,0EAA0E;AAC1E,wBAAgB,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC,GAAG,MAAM,EAAE,CAKzE;AAID;kFACkF;AAClF,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEzE;AAID;;8DAE8D;AAC9D,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAKjD;AAID;;;;qCAIqC;AACrC,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAKjD;AAED;;kBAEkB;AAClB,eAAO,MAAM,YAAY,QAAmC,CAAC;AAE7D;;;;;;;iBAOiB;AACjB,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED;kEACkE;AAClE,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAElD;AAED;;uEAEuE;AACvE,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,MAAM,GAAG;IAAE,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAChD,OAAO,CAWT;AAID,+DAA+D;AAC/D,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAElD;AAED;;uDAEuD;AACvD,MAAM,WAAW,oBAAoB;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED;;;oBAGoB;AACpB,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE;IAC9C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,EAAE,oBAAoB,EAAE,CAAC;CAC/B,GAAG,MAAM,CAYT;AAED,sDAAsD;AACtD,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC,CAAC,GACpD,MAAM,CAER;AAED;;yEAEyE;AACzE,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,oBAAoB,EAC1B,gBAAgB,EAAE,MAAM,GACvB,MAAM,CASR;AAED;;eAEe;AACf,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,aAAa,CAAC,oBAAoB,CAAC,GACzC,MAAM,EAAE,CAaV;AASD;;yEAEyE;AACzE,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAI5D"}
+{"version":3,"file":"token-utils.d.ts","sourceRoot":"","sources":["../src/token-utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,0EAA0E;AAC1E,wBAAgB,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC,GAAG,MAAM,EAAE,CAKzE;AAED;;2EAE2E;AAC3E,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC,GAAG,MAAM,EAAE,CAanF;AAID;kFACkF;AAClF,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEzE;AAID;;8DAE8D;AAC9D,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAKjD;AAID;;;;qCAIqC;AACrC,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAKjD;AAED;;kBAEkB;AAClB,eAAO,MAAM,YAAY,QAAmC,CAAC;AAE7D;;;;;;;iBAOiB;AACjB,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED;;0DAE0D;AAC1D,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEvD;AAED;kEACkE;AAClE,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAElD;AAED;;uEAEuE;AACvE,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,MAAM,GAAG;IAAE,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAChD,OAAO,CAWT;AAED;;;;qCAIqC;AACrC,wBAAgB,UAAU,CAAC,IAAI,EAAE;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;CACd,GAAG,MAAM,CAET;AAED;;oCAEoC;AACpC,wBAAgB,eAAe,CAAC,IAAI,EAAE;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;CACd,GAAG,MAAM,CAET;AAID,+DAA+D;AAC/D,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAElD;AAED;;uDAEuD;AACvD,MAAM,WAAW,oBAAoB;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,4EAA4E;IAC5E,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED;;;;;;;;;;;gCAWgC;AAChC,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE;IAC9C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,KAAK,EAAE,oBAAoB,EAAE,CAAC;CAC/B,GAAG,MAAM,CAUT;AAED,sDAAsD;AACtD,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC,CAAC,GACpD,MAAM,CAER;AAED;;yEAEyE;AACzE,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,oBAAoB,EAC1B,gBAAgB,EAAE,MAAM,GACvB,MAAM,CAQR;AAED;;;sCAGsC;AACtC,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,oBAAoB,GAAG,MAAM,CAM5E;AAED;;eAEe;AACf,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,aAAa,CAAC,oBAAoB,CAAC,GACzC,MAAM,EAAE,CAQV;AASD;;yEAEyE;AACzE,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAI5D"}

package/dist/token-utils.js

@@ -16,6 +16,26 @@ export function unique(values) {
             .map((value) => value.trim())
             .filter(Boolean))];
 }
+/** v3.9.4: deduplicate by the SAME normalized-exact identity the stable ID
+ *  derivation uses. `unique` is trim-only, so "Tests pass" and "tests pass"
+ *  survived as two entries with one `cr-*` id. The first spelling wins. */
+export function uniqueNormalized(values) {
+    const seen = new Set();
+    const out = [];
+    for (const value of values) {
+        if (typeof value !== "string")
+            continue;
+        const text = value.trim();
+        if (!text)
+            continue;
+        const key = normalizeText(text);
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        out.push(text);
+    }
+    return out;
+}
 // ── Type guard ──────────────────────────────────────────────────────────────
 /** Narrow `unknown` to a non-array object. Used across storage, MCP, and
  *  transaction modules to validate JSON-deserialized data before field access. */
@@ -59,6 +79,12 @@ export const STABLE_ID_RE = /^(c|cr|sg|rc|rci)-[a-f0-9]{8}$/;
 export function deriveCriterionId(text) {
     return "cr-" + deriveItemId(text);
 }
+/** v2.11/v3.9.7: Derive a stable constraint ID from its text hash
+ *  (c-XXXXXXXX). Moved here so the constraint lifecycle resolver can use the
+ *  one identity helper without importing the compiler. */
+export function deriveConstraintId(text) {
+    return "c-" + deriveItemId(text);
+}
 /** The cr-XXXXXXXX shape — the ONE predicate every criterion-reference reader
  *  uses (round-contract.ts kept an inline copy before v3.8.1). */
 export function isCriterionId(ref) {
@@ -79,23 +105,43 @@ export function criterionRefMatches(ref, criterion) {
         return deriveCriterionId(ref) === text;
     return normalizeText(ref) === normalizeText(text);
 }
+/** v3.9.4: the stable identity of one machine finding for prompt coverage.
+ *  It is a DERIVED audit key — never persisted as a second finding source and
+ *  never read by compile/decision code. `(check, field, ref)` is the same
+ *  subject vocabulary `RecurringFlag` groups on; JSON encoding keeps it
+ *  unambiguous and deterministic. */
+export function findingKey(flag) {
+    return JSON.stringify([flag.check, flag.field, flag.ref ?? ""]);
+}
+/** v3.9.7: the stable, user-referenceable id of one current machine finding.
+ *  The JSON `findingKey` remains the internal grouping key; `f-` is the id the
+ *  prompt renders for the Agent. */
+export function deriveFindingId(flag) {
+    return "f-" + deriveItemId(findingKey(flag));
+}
 // ── v3.8: Contract identity (content-addressed, round-independent) ──────────
 /** Normalize one contract text field for identity purposes. */
 export function normalizeText(text) {
     return text.trim().replace(/\s+/g, " ").toLowerCase();
 }
-/** v3.8: Canonical form of a contract proposal. Identity is CONTENT only —
- *  restating an unchanged contract keeps the same rc-/rci- ids, unlike a
- *  SubGoal whose id includes its declaration round. Array order is part of
- *  the identity. */
+/** v3.8 / v4.0.6: Canonical form of a contract proposal. Identity is CONTENT
+ *  only — restating an unchanged contract keeps the same rc-/rci- ids, unlike
+ *  a SubGoal whose id includes its declaration round. Array order is part of
+ *  the identity.
+ *
+ *  v3.9.5: `work_item` is the slice's deliverable label (optional in this
+ *  legacy-readable type); the item list is the acceptance surface.
+ *
+ *  v4.0.6: `scope` and `supersedes` are report-only modifiers and are NOT
+ *  part of `rc-` identity — changing either keeps the same contract id.
+ *  Structural (not imported from protocol.ts) so this module keeps its
+ *  zero-dependency position. */
 export function canonicalContractText(contract) {
     const canonical = {
         work_item: normalizeText(contract.work_item ?? ""),
-        scope: contract.scope.map(normalizeText),
         items: contract.items.map((item) => ({
             description: normalizeText(item.description),
-            criterion_refs: item.criterion_refs.map(normalizeText),
-            subgoal_refs: item.subgoal_refs.map(normalizeText),
+            criterion_refs: (item.criterion_refs ?? []).map(normalizeText),
             verify_with: item.verify_with.map(normalizeText),
         })),
     };
@@ -111,25 +157,30 @@ export function deriveContractId(loopId, contract) {
 export function deriveContractItemId(item, duplicateOrdinal) {
     const canonical = JSON.stringify({
         description: normalizeText(item.description),
-        criterion_refs: item.criterion_refs.map(normalizeText),
-        subgoal_refs: item.subgoal_refs.map(normalizeText),
+        criterion_refs: (item.criterion_refs ?? []).map(normalizeText),
         verify_with: item.verify_with.map(normalizeText),
         duplicate_ordinal: duplicateOrdinal,
     });
     return `rci-${deriveItemId(canonical)}`;
 }
+/** v3.9.4: the normalized content identity of ONE contract item (without the
+ *  duplicate ordinal). Used by the strict declaration boundary to reject two
+ *  semantically identical items, so an `rci-*` citation can never be
+ *  ambiguous between restatements. */
+export function canonicalContractItemText(item) {
+    return JSON.stringify({
+        description: normalizeText(item.description),
+        criterion_refs: (item.criterion_refs ?? []).map(normalizeText),
+        verify_with: item.verify_with.map(normalizeText),
+    });
+}
 /** v3.8: Assign ids to a proposal's items in declaration order. Items with
  *  identical normalized content get distinct ids through their duplicate
  *  ordinal. */
 export function deriveContractItemIds(items) {
     const seen = new Map();
     return items.map((item) => {
-        const key = JSON.stringify({
-            description: normalizeText(item.description),
-            criterion_refs: item.criterion_refs.map(normalizeText),
-            subgoal_refs: item.subgoal_refs.map(normalizeText),
-            verify_with: item.verify_with.map(normalizeText),
-        });
+        const key = canonicalContractItemText(item);
         const ordinal = seen.get(key) ?? 0;
         seen.set(key, ordinal + 1);
         return deriveContractItemId(item, ordinal);

package/dist/token-utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"token-utils.js","sourceRoot":"","sources":["../src/token-utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,8EAA8E;AAE9E,0EAA0E;AAC1E,MAAM,UAAU,MAAM,CAAC,MAAwC;IAC7D,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM;aACtB,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;aAC7D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;aAC5B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,+EAA+E;AAE/E;kFACkF;AAClF,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,8EAA8E;AAE9E;;8DAE8D;AAC9D,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAA4B,CAAC;IACnE,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;IACtB,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,8EAA8E;AAE9E;;;;qCAIqC;AACrC,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;SACtD,MAAM,CAAC,KAAK,CAAC;SACb,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjB,CAAC;AAED;;kBAEkB;AAClB,MAAM,CAAC,MAAM,YAAY,GAAG,gCAAgC,CAAC;AAE7D;;;;;;;iBAOiB;AACjB,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED;kEACkE;AAClE,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACtC,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,mBAAmB,CACjC,GAAW,EACX,SAAiD;IAEjD,MAAM,IAAI,GAAG,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC;IACxE,MAAM,EAAE,GAAG,OAAO,SAAS,KAAK,QAAQ;QACtC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;QACzB,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAExD,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC;IACzD,CAAC;IACD,IAAI,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC;IAChE,OAAO,aAAa,CAAC,GAAG,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC,CAAC;AACpD,CAAC;AAED,+EAA+E;AAE/E,+DAA+D;AAC/D,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;AACxD,CAAC;AAYD;;;oBAGoB;AACpB,MAAM,UAAU,qBAAqB,CAAC,QAIrC;IACC,MAAM,SAAS,GAAG;QAChB,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;QAClD,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC;QACxC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACnC,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC;YAC5C,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC;YACtD,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC;YAClD,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC;SACjD,CAAC,CAAC;KACJ,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;AACnC,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,gBAAgB,CAC9B,MAAc,EACd,QAAqD;IAErD,OAAO,MAAM,YAAY,CAAC,GAAG,MAAM,IAAI,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED;;yEAEyE;AACzE,MAAM,UAAU,oBAAoB,CAClC,IAA0B,EAC1B,gBAAwB;IAExB,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAC/B,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC;QAC5C,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC;QACtD,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC;QAClD,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC;QAChD,iBAAiB,EAAE,gBAAgB;KACpC,CAAC,CAAC;IACH,OAAO,OAAO,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;AAC1C,CAAC;AAED;;eAEe;AACf,MAAM,UAAU,qBAAqB,CACnC,KAA0C;IAE1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;YACzB,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC;YAC5C,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC;YACtD,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC;YAClD,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,GAAG,CAAC,CAAC,CAAC;QAC3B,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAE/E;;0EAE0E;AAC1E,MAAM,kBAAkB,GAAG,0BAA0B,CAAC;AAEtD;;yEAEyE;AACzE,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC"}
+{"version":3,"file":"token-utils.js","sourceRoot":"","sources":["../src/token-utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,8EAA8E;AAE9E,0EAA0E;AAC1E,MAAM,UAAU,MAAM,CAAC,MAAwC;IAC7D,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM;aACtB,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;aAC7D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;aAC5B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED;;2EAE2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,MAAwC;IACvE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,SAAS;QACxC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+EAA+E;AAE/E;kFACkF;AAClF,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,8EAA8E;AAE9E;;8DAE8D;AAC9D,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAA4B,CAAC;IACnE,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;IACtB,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,8EAA8E;AAE9E;;;;qCAIqC;AACrC,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;SACtD,MAAM,CAAC,KAAK,CAAC;SACb,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjB,CAAC;AAED;;kBAEkB;AAClB,MAAM,CAAC,MAAM,YAAY,GAAG,gCAAgC,CAAC;AAE7D;;;;;;;iBAOiB;AACjB,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED;;0DAE0D;AAC1D,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,OAAO,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED;kEACkE;AAClE,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACtC,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,mBAAmB,CACjC,GAAW,EACX,SAAiD;IAEjD,MAAM,IAAI,GAAG,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC;IACxE,MAAM,EAAE,GAAG,OAAO,SAAS,KAAK,QAAQ;QACtC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;QACzB,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAExD,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC;IACzD,CAAC;IACD,IAAI,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC;IAChE,OAAO,aAAa,CAAC,GAAG,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC,CAAC;AACpD,CAAC;AAED;;;;qCAIqC;AACrC,MAAM,UAAU,UAAU,CAAC,IAI1B;IACC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;AAClE,CAAC;AAED;;oCAEoC;AACpC,MAAM,UAAU,eAAe,CAAC,IAI/B;IACC,OAAO,IAAI,GAAG,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,+EAA+E;AAE/E,+DAA+D;AAC/D,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;AACxD,CAAC;AAYD;;;;;;;;;;;gCAWgC;AAChC,MAAM,UAAU,qBAAqB,CAAC,QAKrC;IACC,MAAM,SAAS,GAAG;QAChB,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;QAClD,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACnC,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC;YAC5C,cAAc,EAAE,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC;YAC9D,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC;SACjD,CAAC,CAAC;KACJ,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;AACnC,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,gBAAgB,CAC9B,MAAc,EACd,QAAqD;IAErD,OAAO,MAAM,YAAY,CAAC,GAAG,MAAM,IAAI,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED;;yEAEyE;AACzE,MAAM,UAAU,oBAAoB,CAClC,IAA0B,EAC1B,gBAAwB;IAExB,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAC/B,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC;QAC5C,cAAc,EAAE,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC;QAC9D,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC;QAChD,iBAAiB,EAAE,gBAAgB;KACpC,CAAC,CAAC;IACH,OAAO,OAAO,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;AAC1C,CAAC;AAED;;;sCAGsC;AACtC,MAAM,UAAU,yBAAyB,CAAC,IAA0B;IAClE,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC;QAC5C,cAAc,EAAE,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC;QAC9D,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC;KACjD,CAAC,CAAC;AACL,CAAC;AAED;;eAEe;AACf,MAAM,UAAU,qBAAqB,CACnC,KAA0C;IAE1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,GAAG,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,GAAG,CAAC,CAAC,CAAC;QAC3B,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAE/E;;0EAE0E;AAC1E,MAAM,kBAAkB,GAAG,0BAA0B,CAAC;AAEtD;;yEAEyE;AACzE,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC"}

package/dist/transaction-identity.d.ts

@@ -0,0 +1,9 @@
+export interface TransactionIdentityExpectation {
+    loopId: string;
+    round: number;
+    schemaVersion?: number;
+    transactionId?: string;
+}
+/** Validate that a stored transaction belongs to its containing Vault entry. */
+export declare function transactionIdentityIssue(entry: unknown, expected?: TransactionIdentityExpectation): string | null;
+//# sourceMappingURL=transaction-identity.d.ts.map

package/dist/transaction-identity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transaction-identity.d.ts","sourceRoot":"","sources":["../src/transaction-identity.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,8BAA8B;IAC7C,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,gFAAgF;AAChF,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,OAAO,EACd,QAAQ,CAAC,EAAE,8BAA8B,GACxC,MAAM,GAAG,IAAI,CAkEf"}

package/dist/transaction-identity.js

@@ -0,0 +1,69 @@
+import { isRecord } from "./token-utils.js";
+/** Validate that a stored transaction belongs to its containing Vault entry. */
+export function transactionIdentityIssue(entry, expected) {
+    if (!isRecord(entry) || !isRecord(entry.loop_lineage) ||
+        !isRecord(entry.loop_lineage.round_transaction)) {
+        return "round transaction envelope is missing";
+    }
+    const lineage = entry.loop_lineage;
+    const envelope = lineage.round_transaction;
+    if (!isRecord(envelope))
+        return "round transaction envelope is malformed";
+    const snapshot = envelope.snapshot;
+    if (!isRecord(snapshot))
+        return "round transaction snapshot is missing";
+    if (typeof snapshot.loopId !== "string" ||
+        !Number.isInteger(snapshot.round) ||
+        typeof snapshot.roundId !== "string" ||
+        typeof snapshot.transactionId !== "string" ||
+        (snapshot.kind !== "evaluation" && snapshot.kind !== "rollback")) {
+        return "round transaction snapshot identity is malformed";
+    }
+    const loopId = snapshot.loopId;
+    const round = snapshot.round;
+    const roundId = `loop:${loopId}:round:${round}`;
+    if (round < 1 || snapshot.roundId !== roundId) {
+        return "round transaction snapshot round identity is inconsistent";
+    }
+    if (envelope.schema_version !== snapshot.schemaVersion ||
+        envelope.round_id !== snapshot.roundId) {
+        return "round transaction envelope identity does not match its snapshot";
+    }
+    if (typeof entry.loop_id !== "string" || entry.loop_id !== loopId) {
+        return "Vault entry loop_id does not match its transaction snapshot";
+    }
+    if (lineage.round !== round ||
+        (lineage.round_id !== undefined && lineage.round_id !== roundId)) {
+        return "Vault entry round lineage does not match its transaction snapshot";
+    }
+    const expectedTaskType = snapshot.kind === "evaluation"
+        ? "feedback"
+        : "rollback_directive";
+    const expectedTaskId = snapshot.kind === "evaluation"
+        ? `loop:${loopId}:r${round}:feedback`
+        : `loop:${loopId}:r${round}:rollback:${snapshot.transactionId}`;
+    if (entry.task_type !== expectedTaskType ||
+        entry.task_id !== expectedTaskId) {
+        return "Vault entry task identity does not match its transaction snapshot";
+    }
+    if (snapshot.kind === "rollback" &&
+        (!isRecord(snapshot.recovery) ||
+            snapshot.recovery.transaction_id !== snapshot.transactionId)) {
+        return "rollback directive identity does not match its transaction snapshot";
+    }
+    if (expected) {
+        if (loopId !== expected.loopId || round !== expected.round) {
+            return "transaction snapshot does not match its target loop and round";
+        }
+        if (expected.schemaVersion !== undefined &&
+            snapshot.schemaVersion !== expected.schemaVersion) {
+            return "transaction snapshot schema does not match the active schema";
+        }
+        if (expected.transactionId !== undefined &&
+            snapshot.transactionId !== expected.transactionId) {
+            return "transaction snapshot does not match its target transaction";
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=transaction-identity.js.map

package/dist/transaction-identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transaction-identity.js","sourceRoot":"","sources":["../src/transaction-identity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAS5C,gFAAgF;AAChF,MAAM,UAAU,wBAAwB,CACtC,KAAc,EACd,QAAyC;IAEzC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC;QACjD,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACpD,OAAO,uCAAuC,CAAC;IACjD,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC;IACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAC3C,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,yCAAyC,CAAC;IAC1E,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;IACnC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,uCAAuC,CAAC;IACxE,IAAI,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ;QACnC,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;QACjC,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ;QACpC,OAAO,QAAQ,CAAC,aAAa,KAAK,QAAQ;QAC1C,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;QACrE,OAAO,kDAAkD,CAAC;IAC5D,CAAC;IAED,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC/B,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAe,CAAC;IACvC,MAAM,OAAO,GAAG,QAAQ,MAAM,UAAU,KAAK,EAAE,CAAC;IAChD,IAAI,KAAK,GAAG,CAAC,IAAI,QAAQ,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;QAC9C,OAAO,2DAA2D,CAAC;IACrE,CAAC;IACD,IAAI,QAAQ,CAAC,cAAc,KAAK,QAAQ,CAAC,aAAa;QAClD,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC;QAC3C,OAAO,iEAAiE,CAAC;IAC3E,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAClE,OAAO,6DAA6D,CAAC;IACvE,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK;QACvB,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QACrE,OAAO,mEAAmE,CAAC;IAC7E,CAAC;IAED,MAAM,gBAAgB,GAAG,QAAQ,CAAC,IAAI,KAAK,YAAY;QACrD,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,oBAAoB,CAAC;IACzB,MAAM,cAAc,GAAG,QAAQ,CAAC,IAAI,KAAK,YAAY;QACnD,CAAC,CAAC,QAAQ,MAAM,KAAK,KAAK,WAAW;QACrC,CAAC,CAAC,QAAQ,MAAM,KAAK,KAAK,aAAa,QAAQ,CAAC,aAAa,EAAE,CAAC;IAClE,IAAI,KAAK,CAAC,SAAS,KAAK,gBAAgB;QACpC,KAAK,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACrC,OAAO,mEAAmE,CAAC;IAC7E,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU;QAC5B,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC5B,QAAQ,CAAC,QAAQ,CAAC,cAAc,KAAK,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QAClE,OAAO,qEAAqE,CAAC;IAC/E,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC3D,OAAO,+DAA+D,CAAC;QACzE,CAAC;QACD,IAAI,QAAQ,CAAC,aAAa,KAAK,SAAS;YACpC,QAAQ,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,EAAE,CAAC;YACtD,OAAO,8DAA8D,CAAC;QACxE,CAAC;QACD,IAAI,QAAQ,CAAC,aAAa,KAAK,SAAS;YACpC,QAAQ,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,EAAE,CAAC;YACtD,OAAO,4DAA4D,CAAC;QACtE,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/verification-actions.d.ts

@@ -0,0 +1,13 @@
+/** The ONE actionable instruction table for verification checks.
+ *
+ *  Kept separate from the prompt assembler so the evaluation-field guidance
+ *  can quote the same action without depending on a renderer. Keys are the
+ *  plain check-name strings (NOT imported from verification-gate.ts — it
+ *  already imports loop-compiler, which imports the prompt layer, so
+ *  importing back would cycle). Full coverage of every CHECK_* constant is
+ *  enforced by a test that iterates the verification-gate module's CHECK_
+ *  exports; a new constant can never silently lack an action entry.
+ */
+export declare const VERIFICATION_ACTIONS: Readonly<Record<string, string>>;
+export declare function verificationActionFor(check: string): string;
+//# sourceMappingURL=verification-actions.d.ts.map

package/dist/verification-actions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-actions.d.ts","sourceRoot":"","sources":["../src/verification-actions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CA6CjE,CAAC;AAMF,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE3D"}

package/dist/verification-actions.js

@@ -0,0 +1,44 @@
+/** The ONE actionable instruction table for verification checks.
+ *
+ *  Kept separate from the prompt assembler so the evaluation-field guidance
+ *  can quote the same action without depending on a renderer. Keys are the
+ *  plain check-name strings (NOT imported from verification-gate.ts — it
+ *  already imports loop-compiler, which imports the prompt layer, so
+ *  importing back would cycle). Full coverage of every CHECK_* constant is
+ *  enforced by a test that iterates the verification-gate module's CHECK_
+ *  exports; a new constant can never silently lack an action entry.
+ */
+export const VERIFICATION_ACTIONS = {
+    success_with_remaining_criteria: "Complete the remaining criteria before declaring outcome=success, or declare partial/failed and report what remains.",
+    success_without_verified_evidence: "Back the success claim with machine-observable evidence (a passed after-phase command). no_change_reason is honored only when no enabled verification command is configured.",
+    retroactive_claim_bad_round: "Correct the referenced round number, or withdraw the retroactive claim.",
+    retroactive_claim_unverified: "Provide evidence for the retroactive claim, or withdraw it.",
+    duplicate_constraint_discovery: "Update the existing constraint entry instead of duplicating it.",
+    recurring_violation: "The same violation was reported in three consecutive committed rounds. The finding clears when a committed evaluation no longer reports it, or when the round declares outcome blocked with a blocker. LoopForge does not prescribe a strategy.",
+    retract_fresh_constraint: "The target was discovered in the previous round. Retraction is resolved against the active Agent-discovered set; the report remains in the committed record.",
+    // 3.9.3: the reported-vs-observed fix is spelled out. The committed flag
+    // already carries the `unreported` / `unconfirmed` path sets; this is the
+    // action that turns the receipt's mismatch into a correct next report.
+    evidence_integrity: "Report only the net boundary change: add every machine-observed path you omitted, remove every path the machine did not observe, and include deletions.",
+    required_command_failed: "Re-run the required verification command and report its actual output before claiming success.",
+    criteria_claims_unverified: "Provide evidence for each claimed success criterion.",
+    // v3.3 — Round Contract checks (and the three v3.3 checks that predated
+    // this table entry and fell back to the generic action).
+    verification_entrypoint_modified: "Restore each entrypoint file to its round-start state (remove a file created this round), or use recovery/rollback so it is part of the starting state. Re-running on a rewritten entrypoint cannot verify this round.",
+    test_files_modified: "Re-run the verification command after the test-file changes and report the fresh output.",
+    round_scope_drift: "Report only — drift does not block the round. If the active slice is no longer the right route, add round_contract.supersedes with the successor contract; otherwise treat this as an audit signal and continue.",
+    // v3.8 — item model: claimed-but-unverified debt
+    contract_items_unverified: "Run the bound command(s) for each claimed item so they are observed passing, or report the item as remaining (or declare outcome=\"blocked\").",
+    contract_premature: "The ACTIVE contract is still open — omit round_contract to continue it unchanged, or add round_contract.supersedes with the active rc- id and different acceptance items to replace the slice.",
+    // v4.0.6 — contract coverage
+    contract_required: "With an after-capable verification command configured, a continuing round must leave an active contract for the next round. Submit round_contract with a work_item and at least one acceptance item bound to a configured command.",
+    contract_successor_unchanged: "A closed contract's successor must bring NEW acceptance items; changing only work_item or scope re-verifies the old slice. Declare different items, or omit round_contract.",
+    // v3.7.1 — opt-in gate layer: cited gates need an approved human decision
+    user_gate_unresolved: "The round cites a high-risk action without an approved human decision. Run loopforge_gate_check, present the approval question, call loopforge_gate_resolve after the human decides, and resubmit with the approved gate id in evaluation.gate_ids.",
+};
+/** Fallback for unmapped check names (forward-compat with future checks). */
+const VERIFICATION_ACTION_FALLBACK = "Re-examine the flagged claim and correct your evaluation before resubmitting.";
+export function verificationActionFor(check) {
+    return VERIFICATION_ACTIONS[check] ?? VERIFICATION_ACTION_FALLBACK;
+}
+//# sourceMappingURL=verification-actions.js.map

package/dist/verification-actions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-actions.js","sourceRoot":"","sources":["../src/verification-actions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAqC;IACpE,+BAA+B,EAC7B,sHAAsH;IACxH,iCAAiC,EAC/B,8KAA8K;IAChL,2BAA2B,EACzB,yEAAyE;IAC3E,4BAA4B,EAC1B,6DAA6D;IAC/D,8BAA8B,EAC5B,iEAAiE;IACnE,mBAAmB,EACjB,iPAAiP;IACnP,wBAAwB,EACtB,8JAA8J;IAChK,yEAAyE;IACzE,0EAA0E;IAC1E,uEAAuE;IACvE,kBAAkB,EAChB,yJAAyJ;IAC3J,uBAAuB,EACrB,gGAAgG;IAClG,0BAA0B,EACxB,sDAAsD;IACxD,wEAAwE;IACxE,yDAAyD;IACzD,gCAAgC,EAC9B,wNAAwN;IAC1N,mBAAmB,EACjB,0FAA0F;IAC5F,iBAAiB,EACf,kNAAkN;IACpN,iDAAiD;IACjD,yBAAyB,EACvB,gJAAgJ;IAClJ,kBAAkB,EAChB,gMAAgM;IAClM,6BAA6B;IAC7B,iBAAiB,EACf,oOAAoO;IACtO,4BAA4B,EAC1B,6KAA6K;IAC/K,0EAA0E;IAC1E,oBAAoB,EAClB,qPAAqP;CACxP,CAAC;AAEF,6EAA6E;AAC7E,MAAM,4BAA4B,GAChC,+EAA+E,CAAC;AAElF,MAAM,UAAU,qBAAqB,CAAC,KAAa;IACjD,OAAO,oBAAoB,CAAC,KAAK,CAAC,IAAI,4BAA4B,CAAC;AACrE,CAAC"}

package/dist/verification-gate.d.ts

@@ -19,15 +19,13 @@
  * framed as declaration / execution / closure stages in their doc comments.
  */
 import type { VaultEntry } from "./loop-store.js";
-import type { MachineObservation } from "./protocol.js";
 import type { GitDeltaState, ObservationDelta } from "./evidence-provider.js";
 import type { EntrypointDrift } from "./evidence-provider.js";
 import type { SelfEvaluation, VerificationResult } from "./protocol.js";
 import { type ActiveContractView } from "./round-contract.js";
+import { type RoundFacts } from "./round-facts.js";
 export declare const CHECK_SUCCESS_WITH_REMAINING_CRITERIA = "success_with_remaining_criteria";
 export declare const CHECK_SUCCESS_WITHOUT_VERIFIED_EVIDENCE = "success_without_verified_evidence";
-export declare const CHECK_OUTCOME_SUCCESS_CONTRADICTION = "outcome_success_contradiction";
-export declare const CHECK_BLOCKED_WITHOUT_BLOCKER = "blocked_without_blocker";
 export declare const CHECK_RETROACTIVE_CLAIM_BAD_ROUND = "retroactive_claim_bad_round";
 export declare const CHECK_RETROACTIVE_CLAIM_UNVERIFIED = "retroactive_claim_unverified";
 export declare const CHECK_DUPLICATE_CONSTRAINT_DISCOVERY = "duplicate_constraint_discovery";
@@ -35,7 +33,6 @@ export declare const CHECK_RECURRING_VIOLATION = "recurring_violation";
 export declare const CHECK_RETRACT_FRESH_CONSTRAINT = "retract_fresh_constraint";
 export declare const CHECK_EVIDENCE_INTEGRITY = "evidence_integrity";
 export declare const CHECK_REQUIRED_COMMAND_FAILED = "required_command_failed";
-export declare const CHECK_COMMAND_EVIDENCE_MISMATCH = "command_evidence_mismatch";
 /** v3.3: Verification domain integrity — a command entrypoint (run-tests.sh,
  *  package.json, …) changed in the same round the command ran. The runtime
  *  executed a script the agent just rewrote, so the observation has no
@@ -45,7 +42,6 @@ export declare const CHECK_VERIFICATION_ENTRYPOINT_MODIFIED = "verification_entr
 /** v3.3: Test files changed in the same round a verification command passed.
  *  Warn-only — the command result stays usable. */
 export declare const CHECK_TEST_FILES_MODIFIED = "test_files_modified";
-export declare const CHECK_BACKTRACK_WORKSPACE_NOT_RESTORED = "backtrack_workspace_not_restored";
 export declare const CHECK_CRITERIA_CLAIMS_UNVERIFIED = "criteria_claims_unverified";
 /** v3.8: Contract items claimed met but not machine-verified this round.
  *  The round commits; the debt is surfaced and the enforcement gate's
@@ -55,11 +51,19 @@ export declare const CHECK_CONTRACT_ITEMS_UNVERIFIED = "contract_items_unverifie
  *  contract's declared scope. Warn; v3.8: not waivable by explanation — the
  *  enforcement gate rejects, and repeated drift terminates. */
 export declare const CHECK_ROUND_SCOPE_DRIFT = "round_scope_drift";
-/** v3.5: The ACTIVE contract is still open (not completed, not blocked)
- *  while a different contract was proposed — the proposal is ignored until
- *  the active one closes. Warn: the walker still ignores it; this only
- *  surfaces the otherwise-silent state. */
+/** v3.5/v4.0.6: The ACTIVE contract is still open (not completed, not
+ *  blocked) while a different contract was proposed WITHOUT `supersedes`.
+ *  Error: a different slice is never silently saved and ignored. To replace
+ *  the active slice, add `round_contract.supersedes` naming it. */
 export declare const CHECK_CONTRACT_PREMATURE = "contract_premature";
+/** v4.0.6: A continuing round with contract capability and a successor
+ *  available would leave the next round without an active contract. The final
+ *  configured round has no successor consumer and is exempt. */
+export declare const CHECK_CONTRACT_REQUIRED = "contract_required";
+/** v4.0.6: A successor proposal repeats the closed contract's ACCEPTANCE ITEMS
+ *  verbatim (only work_item/scope changed). Error: a successor must bring
+ *  genuinely new acceptance conditions, or it would re-verify the old slice. */
+export declare const CHECK_CONTRACT_SUCCESSOR_UNCHANGED = "contract_successor_unchanged";
 /** v3.7.1: A cited gate (evaluation.gate_ids) is not approved. Opt-in:
  *  checked ONLY when policy.gate.enabled — citations are meaningless when
  *  the gate layer is off. Error → enforcement rejects the round. */
@@ -92,38 +96,16 @@ export declare function collectOutOfScopeFiles(files: string[], scope: string[])
 export interface EvidenceStatus {
     /** Whether this round produced a machine-verified observation. */
     providerStatus: "verified" | "unavailable" | "absent";
-    /** The Git boundary was observed and its change set is known. */
-    gitObserved: boolean;
     /** Applicability vs observability of the Git change set. */
     gitChangeState: GitDeltaState["state"];
     /** A passed after-phase command snapshot exists. */
     commandVerified: boolean;
-    /** Agent-reported tests_reported agree with a passed command's parsed stdout. */
-    testsMachineBacked: boolean;
 }
 /** v3.2: Derive the machine-verification status of a round. The verification
  *  capability is modeled explicitly (verified / unavailable / absent) instead
  *  of letting evidence-dependent checks silently disappear when snapshots are
  *  missing — the fix for the "weakest when it matters most" gap. */
 export declare function deriveEvidenceStatus(selfEval: SelfEvaluation, evidenceDeltas: ReadonlyArray<ObservationDelta>): EvidenceStatus;
-/** Per-round machine progress over decoded committed history. */
-export declare function machineProgressSeries(vaultEntries: VaultEntry[], currentRound: number, lookback: number): boolean[] | null;
-interface ParsedTestCounts {
-    passed: number;
-    failed: number;
-    skipped: number;
-    total: number;
-}
-/** Best-effort parse of test counts from common test-runner output formats.
- *
- *  Scans the last 2000 characters of stdout (where summary lines typically
- *  appear) and tries patterns in descending specificity order. Returns null
- *  when the output format is unrecognized, stdout is empty, or a confident
- *  parse cannot be made.
- *
- *  Recognized formats: Jest verbose/compact, Mocha, pytest/unittest, Go test,
- *  and PHPUnit OK summaries. */
-export declare function parseTestOutput(stdout: string): ParsedTestCounts | null;
 /** v3.8.3: The round's out-of-scope files — the ONE derivation, shared by the
  *  drift check below and the blocked-waiver test in RoundCoordinator. The two
  *  must agree on the set, or a round could be waived for a drift the gate
@@ -134,25 +116,23 @@ export declare function parseTestOutput(stdout: string): ParsedTestCounts | null
  *  scope, or no git observation (cannot observe → fail open). */
 export declare function roundDriftFiles(activeContract: ActiveContractView | null, evidenceDeltas: ReadonlyArray<ObservationDelta>): string[] | null;
 export declare function verifySelfEvaluation(selfEval: SelfEvaluation, currentRound: number, vaultEntries: VaultEntry[], prevSelfEval?: SelfEvaluation | null, evidenceDeltas?: ReadonlyArray<ObservationDelta>,
-/** v2.13: Files from skipped backtrack rounds. If the agent's
- *  files_changed overlaps significantly with these, the workspace
- *  was not properly restored before working. */
-backtrackSkippedFiles?: string[],
-/** M3 (v3.7.x): skipped-file git fingerprints at their failed rounds —
- *  machine proof of "untouched since the rollback" for the restore check. */
-backtrackSkippedFingerprints?: Record<string, string>,
-/** v2.12: Git HEAD commit of the backtrack restore point. When set, the
- *  current git snapshot must sit at this commit — otherwise the workspace
- *  was not restored and the round cannot be accepted. */
-backtrackTargetGitHead?: string,
+/** v3.7.1: gate records (task_type gate_opened / gate_decision) live
+ *  outside the round prefix — the caller passes them in explicitly. */
 /** v3.7.1: gate records (task_type gate_opened / gate_decision) live
  *  outside the round prefix — the caller passes them in explicitly. */
 gateEntries?: VaultEntry[],
 /** v3.8.3: entrypoint files that no longer match the trusted round-start
  *  baseline. Derived by the caller (it needs the in-flight trust map and
  *  filesystem access); this function stays a pure function of its inputs. */
-entrypointDrift?: EntrypointDrift[], beforeEvidence?: MachineObservation[],
-/** v3.9: the restore point's own dirty files (undefined = never observed). */
-backtrackTargetDirty?: string[]): VerificationResult;
-export {};
+entrypointDrift?: EntrypointDrift[],
+/** v3.9.4: whether the raw submission attempted
+ *  `execution_report.files_changed` (from the persisted submittedFields
+ *  manifest). Undefined falls back to "an execution report exists". */
+filesReported?: boolean,
+/** v4.0.3: the ONE `RoundFacts` bundle the coordinator derived before
+ *  verification. When supplied, the gate consumes it instead of deriving
+ *  the active contract / item statuses a second time. The fallback exists
+ *  for direct library callers and unit tests; it calls the same derivation
+ *  function, so there is still exactly one rule. */
+facts?: RoundFacts, maxRounds?: number): VerificationResult;
 //# sourceMappingURL=verification-gate.d.ts.map

package/dist/verification-gate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verification-gate.d.ts","sourceRoot":"","sources":["../src/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAI9E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D,OAAO,KAAK,EAEV,cAAc,EAEd,kBAAkB,EACnB,MAAM,eAAe,CAAC;AAQvB,OAAO,EAGL,KAAK,kBAAkB,EACxB,MAAM,qBAAqB,CAAC;AAsB7B,eAAO,MAAM,qCAAqC,oCAAoC,CAAC;AACvF,eAAO,MAAM,uCAAuC,sCAAsC,CAAC;AAI3F,eAAO,MAAM,mCAAmC,kCAAkC,CAAC;AACnF,eAAO,MAAM,6BAA6B,4BAA4B,CAAC;AACvE,eAAO,MAAM,iCAAiC,gCAAgC,CAAC;AAC/E,eAAO,MAAM,kCAAkC,iCAAiC,CAAC;AACjF,eAAO,MAAM,oCAAoC,mCAAmC,CAAC;AACrF,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAC/D,eAAO,MAAM,8BAA8B,6BAA6B,CAAC;AACzE,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAC7D,eAAO,MAAM,6BAA6B,4BAA4B,CAAC;AACvE,eAAO,MAAM,+BAA+B,8BAA8B,CAAC;AAC3E;;;;gDAIgD;AAChD,eAAO,MAAM,sCAAsC,qCAAqC,CAAC;AACzF;mDACmD;AACnD,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAC/D,eAAO,MAAM,sCAAsC,qCAAqC,CAAC;AACzF,eAAO,MAAM,gCAAgC,+BAA+B,CAAC;AAiB7E;;0DAE0D;AAC1D,eAAO,MAAM,+BAA+B,8BAA8B,CAAC;AAC3E;;+DAE+D;AAC/D,eAAO,MAAM,uBAAuB,sBAAsB,CAAC;AAC3D;;;2CAG2C;AAC3C,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAC7D;;oEAEoE;AACpE,eAAO,MAAM,0BAA0B,yBAAyB,CAAC;AAQjE,MAAM,MAAM,kBAAkB;AAC5B,gFAAgF;AAC9E,wBAAwB;AAC1B,wDAAwD;GACtD,oBAAoB;AACtB;;;2CAG2C;GACzC,eAAe;AACjB;qEACqE;GACnE,mBAAmB,CAAC;AAExB,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CA0BrE,CAAC;AAQF;;yDAEyD;AACzD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMxD;AAED;;;qCAGqC;AACrC,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAUpE;AAED,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAEjF;AAQD,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,cAAc,EAAE,UAAU,GAAG,aAAa,GAAG,QAAQ,CAAC;IACtD,iEAAiE;IACjE,WAAW,EAAE,OAAO,CAAC;IACrB,4DAA4D;IAC5D,cAAc,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACvC,oDAAoD;IACpD,eAAe,EAAE,OAAO,CAAC;IACzB,iFAAiF;IACjF,kBAAkB,EAAE,OAAO,CAAC;CAC7B;AAgDD;;;oEAGoE;AACpE,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,cAAc,EAAE,aAAa,CAAC,gBAAgB,CAAC,GAC9C,cAAc,CAsChB;AAED,iEAAiE;AACjE,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,EAAE,GAAG,IAAI,CAMlB;AA+YD,UAAU,gBAAgB;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;gCAQgC;AAChC,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI,CA4DvE;AAkRD;;;;;;;iEAOiE;AACjE,wBAAgB,eAAe,CAC7B,cAAc,EAAE,kBAAkB,GAAG,IAAI,EACzC,cAAc,EAAE,aAAa,CAAC,gBAAgB,CAAC,GAC9C,MAAM,EAAE,GAAG,IAAI,CASjB;AAkJD,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,GAAE,cAAc,GAAG,IAAW,EAC1C,cAAc,GAAE,aAAa,CAAC,gBAAgB,CAAM;AACpD;;gDAEgD;AAChD,qBAAqB,GAAE,MAAM,EAAO;AACpC;6EAC6E;AAC7E,4BAA4B,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM;AACzD;;yDAEyD;AACzD,sBAAsB,CAAC,EAAE,MAAM;AAC/B;uEACuE;AACvE,WAAW,GAAE,UAAU,EAAO;AAC9B;;6EAE6E;AAC7E,eAAe,GAAE,eAAe,EAAO,EACvC,cAAc,GAAE,kBAAkB,EAAO;AACzC,8EAA8E;AAC9E,oBAAoB,CAAC,EAAE,MAAM,EAAE,GAC9B,kBAAkB,CA+GpB"}
+{"version":3,"file":"verification-gate.d.ts","sourceRoot":"","sources":["../src/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAI9E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D,OAAO,KAAK,EAGV,cAAc,EAEd,kBAAkB,EACnB,MAAM,eAAe,CAAC;AAcvB,OAAO,EAGL,KAAK,kBAAkB,EACxB,MAAM,qBAAqB,CAAC;AAG7B,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAsBrE,eAAO,MAAM,qCAAqC,oCAAoC,CAAC;AACvF,eAAO,MAAM,uCAAuC,sCAAsC,CAAC;AAC3F,eAAO,MAAM,iCAAiC,gCAAgC,CAAC;AAC/E,eAAO,MAAM,kCAAkC,iCAAiC,CAAC;AACjF,eAAO,MAAM,oCAAoC,mCAAmC,CAAC;AACrF,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAC/D,eAAO,MAAM,8BAA8B,6BAA6B,CAAC;AACzE,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAC7D,eAAO,MAAM,6BAA6B,4BAA4B,CAAC;AACvE;;;;gDAIgD;AAChD,eAAO,MAAM,sCAAsC,qCAAqC,CAAC;AACzF;mDACmD;AACnD,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAC/D,eAAO,MAAM,gCAAgC,+BAA+B,CAAC;AAiB7E;;0DAE0D;AAC1D,eAAO,MAAM,+BAA+B,8BAA8B,CAAC;AAC3E;;+DAE+D;AAC/D,eAAO,MAAM,uBAAuB,sBAAsB,CAAC;AAC3D;;;mEAGmE;AACnE,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAC7D;;gEAEgE;AAChE,eAAO,MAAM,uBAAuB,sBAAsB,CAAC;AAC3D;;gFAEgF;AAChF,eAAO,MAAM,kCAAkC,iCAAiC,CAAC;AACjF;;oEAEoE;AACpE,eAAO,MAAM,0BAA0B,yBAAyB,CAAC;AAQjE,MAAM,MAAM,kBAAkB;AAC5B,gFAAgF;AAC9E,wBAAwB;AAC1B,wDAAwD;GACtD,oBAAoB;AACtB;;;2CAG2C;GACzC,eAAe;AACjB;qEACqE;GACnE,mBAAmB,CAAC;AAExB,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAwBrE,CAAC;AAQF;;yDAEyD;AACzD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMxD;AAED;;;qCAGqC;AACrC,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAUpE;AAED,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAEjF;AAQD,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,cAAc,EAAE,UAAU,GAAG,aAAa,GAAG,QAAQ,CAAC;IACtD,4DAA4D;IAC5D,cAAc,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACvC,oDAAoD;IACpD,eAAe,EAAE,OAAO,CAAC;CAC1B;AAgDD;;;oEAGoE;AACpE,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,cAAc,EAAE,aAAa,CAAC,gBAAgB,CAAC,GAC9C,cAAc,CAsBhB;AAicD;;;;;;;iEAOiE;AACjE,wBAAgB,eAAe,CAC7B,cAAc,EAAE,kBAAkB,GAAG,IAAI,EACzC,cAAc,EAAE,aAAa,CAAC,gBAAgB,CAAC,GAC9C,MAAM,EAAE,GAAG,IAAI,CASjB;AAuOD,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,GAAE,cAAc,GAAG,IAAW,EAC1C,cAAc,GAAE,aAAa,CAAC,gBAAgB,CAAM;AACpD;uEACuE;AACvE;uEACuE;AACvE,WAAW,GAAE,UAAU,EAAO;AAC9B;;6EAE6E;AAC7E,eAAe,GAAE,eAAe,EAAO;AACvC;;uEAEuE;AACvE,aAAa,CAAC,EAAE,OAAO;AACvB;;;;oDAIoD;AACpD,KAAK,CAAC,EAAE,UAAU,EAClB,SAAS,GAAE,MAAiC,GAC3C,kBAAkB,CAyHpB"}