npm - instar - Versions diffs - 1.3.901 → 1.3.902 - Mend

instar 1.3.901 → 1.3.902

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (8) hide show

package/dist/monitoring/CompletionClaimVerifier.d.ts CHANGED Viewed

@@ -2,7 +2,7 @@ import type { IntelligenceProvider } from '../core/types.js';
 import type { EvidenceActionKind, TurnEvidence } from './TurnEvidence.js';
 import { ClaimClauseArbiter, type ClaimClauseArbitration } from './ClaimClauseArbiter.js';
 import { ClaimObservationAdmissionQueue } from './ClaimObservationAdmissionQueue.js';
-import { ClaimObservationRecorder } from './ClaimObservation.js';
+import { ClaimObservationRecorder, type ClaimAssessment, type ClaimCriticality } from './ClaimObservation.js';
 export interface CompletionClaim {
     isCompletionClaim: boolean;
     completionScope: 'this-turn' | 'prior-turn' | 'background' | 'none';
@@ -78,6 +78,9 @@ export interface CompletionClaimStats {
     corpusDrops: number;
     retentionFailures: number;
     verdicts: Record<CompletionObservationVerdict, number>;
+    generalVerdicts: Record<ClaimAssessment['verdict'], number>;
+    refutedByCriticality: Record<ClaimCriticality, number>;
+    unverifiableByCriticality: Record<ClaimCriticality, number>;
     updatedAt?: string;
 }
 export declare class CompletionClaimVerifier {
@@ -113,6 +116,7 @@ export declare class CompletionClaimVerifier {
     private readStats;
     private bump;
     private bumpVerdict;
+    private bumpGeneralVerdict;
     private persistStats;
 }
 export declare function parseCompletionClaim(raw: string): CompletionClaim | null;

package/dist/monitoring/CompletionClaimVerifier.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"CompletionClaimVerifier.d.ts","sourceRoot":"","sources":["../../src/monitoring/CompletionClaimVerifier.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,KAAK,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,KAAK,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAC1F,OAAO,EAAE,8BAA8B,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,EAEL,wBAAwB,~~EACzB~~,MAAM,uBAAuB,CAAC;AAE/B,MAAM,WAAW,eAAe;IAC9B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,eAAe,EAAE,WAAW,GAAG,YAAY,GAAG,YAAY,GAAG,MAAM,CAAC;IACpE,UAAU,EAAE,kBAAkB,CAAC;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,4BAA4B,GAAG,cAAc,GAAG,6BAA6B,GAAG,wBAAwB,GAAG,cAAc,CAAC;AAEtI,MAAM,WAAW,8BAA8B;IAC7C,YAAY,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAC;IAC3C,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,kBAAkB,CAAC;IAC7B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,EAAE,wBAAwB,CAAC;IACpC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc,CAAC,EAAE,8BAA8B,CAAC;CACjD;AAED,MAAM,WAAW,uBAAuB;IAAG,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,eAAe,CAAC,EAAE,aAAa,CAAC;IACtH,eAAe,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7F,mBAAmB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC9F,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE;AAE5F,MAAM,WAAW,uBAAuB;IAAG,QAAQ,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE;AAC/E,MAAM,WAAW,uBAAuB;IAAG,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,4BAA4B,CAAC;IAAC,KAAK,CAAC,EAAE,eAAe,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,sBAAsB,CAAA;CAAE;AACrL,MAAM,WAAW,oBAAoB;IACnC,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,wBAAwB,EAAE,MAAM,CAAC;IACjC,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,yBAAyB,EAAE,MAAM,CAAC;IAClC,yBAAyB,EAAE,MAAM,CAAC;IAClC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB,uBAAuB,EAAE,MAAM,CAAC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,QAAQ,EAAE,MAAM,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC;IACvD,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;~~AAED~~,qBAAa,uBAAuB;IAMtB,OAAO,CAAC,QAAQ,CAAC,IAAI;IALjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAqB;IAC7C,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAiC;IAChE,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAA0E;IAChH,OAAO,CAAC,QAAQ,CAAuB;gBAEV,IAAI,EAAE,8BAA8B;IAQjE,MAAM,CAAC,2BAA2B,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAK5D;;;OAGG;IACH,OAAO,CACL,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,YAAY,EACtB,YAAY,CAAC,EAAE,CAAC,WAAW,EAAE,sBAAsB,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EAC5E,OAAO,GAAE,uBAA4B,GACpC,uBAAuB;YAUZ,wBAAwB;IA6BtC,iCAAiC,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,SAAa,GAAG,sBAAsB,GAAG,IAAI;IAO7F,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,GAAE,uBAA4B,GAAG,OAAO,CAAC,uBAAuB,CAAC;~~IA8E~~/H,iEAAiE;IACjE,KAAK,IAAI,oBAAoB;IAE7B,+EAA+E;IAC/E,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,IAAI;IAGlE,iBAAiB,IAAI,IAAI;IACzB,uBAAuB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAE5C,SAAS,CAAC,KAAK,SAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAStD,kBAAkB,CAAC,KAAK,SAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/D,YAAY,CAAC,KAAK,SAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG;QAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE;IAI5G,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,SAAS;IAEjB,OAAO,CAAC,SAAS;~~IAmBjB~~,OAAO,CAAC,IAAI;IAKZ,OAAO,CAAC,WAAW;IAKnB,OAAO,CAAC,YAAY;CAUrB;~~AAmBD~~,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI,CAiBxE;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,GAAG,4BAA4B,CAmB1G"}
1	+ {"version":3,"file":"CompletionClaimVerifier.d.ts","sourceRoot":"","sources":["../../src/monitoring/CompletionClaimVerifier.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,KAAK,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,KAAK,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAC1F,OAAO,EAAE,8BAA8B,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,EAEL,wBAAwB,EAAuB,KAAK,eAAe,EAAE,KAAK,gBAAgB,EAC3F,MAAM,uBAAuB,CAAC;AAE/B,MAAM,WAAW,eAAe;IAC9B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,eAAe,EAAE,WAAW,GAAG,YAAY,GAAG,YAAY,GAAG,MAAM,CAAC;IACpE,UAAU,EAAE,kBAAkB,CAAC;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,4BAA4B,GAAG,cAAc,GAAG,6BAA6B,GAAG,wBAAwB,GAAG,cAAc,CAAC;AAEtI,MAAM,WAAW,8BAA8B;IAC7C,YAAY,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAC;IAC3C,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,kBAAkB,CAAC;IAC7B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,EAAE,wBAAwB,CAAC;IACpC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc,CAAC,EAAE,8BAA8B,CAAC;CACjD;AAED,MAAM,WAAW,uBAAuB;IAAG,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,eAAe,CAAC,EAAE,aAAa,CAAC;IACtH,eAAe,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7F,mBAAmB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC9F,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE;AAE5F,MAAM,WAAW,uBAAuB;IAAG,QAAQ,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE;AAC/E,MAAM,WAAW,uBAAuB;IAAG,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,4BAA4B,CAAC;IAAC,KAAK,CAAC,EAAE,eAAe,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,sBAAsB,CAAA;CAAE;AACrL,MAAM,WAAW,oBAAoB;IACnC,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,wBAAwB,EAAE,MAAM,CAAC;IACjC,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,yBAAyB,EAAE,MAAM,CAAC;IAClC,yBAAyB,EAAE,MAAM,CAAC;IAClC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB,uBAAuB,EAAE,MAAM,CAAC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,QAAQ,EAAE,MAAM,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC;IACvD,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;IAC5D,oBAAoB,EAAE,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IACvD,yBAAyB,EAAE,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAKD,qBAAa,uBAAuB;IAMtB,OAAO,CAAC,QAAQ,CAAC,IAAI;IALjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAqB;IAC7C,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAiC;IAChE,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAA0E;IAChH,OAAO,CAAC,QAAQ,CAAuB;gBAEV,IAAI,EAAE,8BAA8B;IAQjE,MAAM,CAAC,2BAA2B,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAK5D;;;OAGG;IACH,OAAO,CACL,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,YAAY,EACtB,YAAY,CAAC,EAAE,CAAC,WAAW,EAAE,sBAAsB,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EAC5E,OAAO,GAAE,uBAA4B,GACpC,uBAAuB;YAUZ,wBAAwB;IA6BtC,iCAAiC,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,SAAa,GAAG,sBAAsB,GAAG,IAAI;IAO7F,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,GAAE,uBAA4B,GAAG,OAAO,CAAC,uBAAuB,CAAC;IA+E/H,iEAAiE;IACjE,KAAK,IAAI,oBAAoB;IAE7B,+EAA+E;IAC/E,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,IAAI;IAGlE,iBAAiB,IAAI,IAAI;IACzB,uBAAuB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAE5C,SAAS,CAAC,KAAK,SAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAStD,kBAAkB,CAAC,KAAK,SAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/D,YAAY,CAAC,KAAK,SAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG;QAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE;IAI5G,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,SAAS;IAEjB,OAAO,CAAC,SAAS;IAoBjB,OAAO,CAAC,IAAI;IAKZ,OAAO,CAAC,WAAW;IAKnB,OAAO,CAAC,kBAAkB;IAU1B,OAAO,CAAC,YAAY;CAUrB;AAqCD,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI,CAiBxE;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,GAAG,4BAA4B,CAmB1G"}

package/dist/monitoring/CompletionClaimVerifier.js CHANGED Viewed

@@ -6,6 +6,8 @@ import { scrubSecrets } from './scrubSecrets.js';
 import { ClaimClauseArbiter } from './ClaimClauseArbiter.js';
 import { ClaimObservationAdmissionQueue } from './ClaimObservationAdmissionQueue.js';
 import { applyClaimCriticalityFloor, assessClaim, prepareClaimObservation, protectedCueGaps, newMessageAttemptId, } from './ClaimObservation.js';
+const GENERAL_VERDICTS = ['supported', 'refuted', 'unverifiable'];
+const CLAIM_CRITICALITIES = ['low', 'medium', 'high', 'irreversible-precondition'];
 export class CompletionClaimVerifier {
     opts;
     arbiter;
@@ -118,6 +120,7 @@ export class CompletionClaimVerifier {
                     const assessment = assessClaim(claim, { evidence: prepared.evidence, sessionSnapshot: context.sessionSnapshot,
                         commitmentSnapshots: context.commitmentSnapshots, guardSnapshots: context.guardSnapshots });
                     const finalCriticality = applyClaimCriticalityFloor(claim);
+                    this.bumpGeneralVerdict(assessment.verdict, finalCriticality);
                     if (this.opts.recorder && !this.opts.recorder.record({ messageAttemptId, topicId: context.topicId,
                         claim, assessment, finalCriticality, dryRun: this.opts.dryRun,
                         bootId: this.opts.bootId ?? 'unknown-boot', modelDoor: arbitration.generalModel?.framework,
@@ -219,18 +222,19 @@ export class CompletionClaimVerifier {
         try {
             const parsed = JSON.parse(fs.readFileSync(this.statsFile(), 'utf8'));
             for (const key of Object.keys(empty)) {
-                if (key === 'verdicts' || key === 'updatedAt')
+                if (key === 'verdicts' || key === 'generalVerdicts' || key === 'refutedByCriticality'
+                    || key === 'unverifiableByCriticality' || key === 'updatedAt')
                     continue;
-                if (typeof parsed[key] === 'number' && Number.isFinite(parsed[key]) && parsed[key] >= 0) {
-                    empty[key] = Math.floor(parsed[key]);
-                }
+                if (typeof parsed[key] === 'number')
+                    empty[key] = clampCounter(parsed[key]);
             }
             if (parsed.verdicts && typeof parsed.verdicts === 'object')
                 for (const verdict of Object.keys(empty.verdicts)) {
-                    const count = parsed.verdicts[verdict];
-                    if (typeof count === 'number' && Number.isFinite(count) && count >= 0)
-                        empty.verdicts[verdict] = Math.floor(count);
+                    empty.verdicts[verdict] = clampCounter(parsed.verdicts[verdict]);
                 }
+            mergeCounterRecord(empty.generalVerdicts, parsed.generalVerdicts, GENERAL_VERDICTS);
+            mergeCounterRecord(empty.refutedByCriticality, parsed.refutedByCriticality, CLAIM_CRITICALITIES);
+            mergeCounterRecord(empty.unverifiableByCriticality, parsed.unverifiableByCriticality, CLAIM_CRITICALITIES);
             if (typeof parsed.updatedAt === 'string')
                 empty.updatedAt = parsed.updatedAt;
         }
@@ -238,11 +242,21 @@ export class CompletionClaimVerifier {
         return empty;
     }
     bump(key) {
-        this.counters[key]++;
+        this.counters[key] = incrementCounter(this.counters[key]);
         this.persistStats();
     }
     bumpVerdict(verdict) {
-        this.counters.verdicts[verdict]++;
+        this.counters.verdicts[verdict] = incrementCounter(this.counters.verdicts[verdict]);
+        this.persistStats();
+    }
+    bumpGeneralVerdict(verdict, criticality) {
+        this.counters.generalVerdicts[verdict] = incrementCounter(this.counters.generalVerdicts[verdict]);
+        if (verdict === 'refuted') {
+            this.counters.refutedByCriticality[criticality] = incrementCounter(this.counters.refutedByCriticality[criticality]);
+        }
+        else if (verdict === 'unverifiable') {
+            this.counters.unverifiableByCriticality[criticality] = incrementCounter(this.counters.unverifiableByCriticality[criticality]);
+        }
         this.persistStats();
     }
     persistStats() {
@@ -264,8 +278,25 @@ function emptyStats() {
         falsePositiveDispositions: 0, falseNegativeDispositions: 0, canaryDriftSignals: 0,
         generalAdmittedTurns: 0, generalClaims: 0, protectedCueGaps: 0, coverageIncompleteTurns: 0, corpusDrops: 0, retentionFailures: 0,
         verdicts: { corroborated: 0, 'uncorroborated-contradicted': 0, 'uncorroborated-unknown': 0, 'not-eligible': 0 },
+        generalVerdicts: { supported: 0, refuted: 0, unverifiable: 0 },
+        refutedByCriticality: { low: 0, medium: 0, high: 0, 'irreversible-precondition': 0 },
+        unverifiableByCriticality: { low: 0, medium: 0, high: 0, 'irreversible-precondition': 0 },
     };
 }
+function clampCounter(value) {
+    return typeof value === 'number' && Number.isFinite(value) && value > 0
+        ? Math.min(Number.MAX_SAFE_INTEGER, Math.floor(value)) : 0;
+}
+function incrementCounter(value) {
+    return Math.min(Number.MAX_SAFE_INTEGER, value + 1);
+}
+function mergeCounterRecord(target, source, keys) {
+    if (!source || typeof source !== 'object' || Array.isArray(source))
+        return;
+    const record = source;
+    for (const key of keys)
+        target[key] = clampCounter(record[key]);
+}
 function completionFingerprint(message, evidence) {
     return createHash('sha256').update(`${scrubSecrets(message).slice(0, 16_384)}\n${JSON.stringify(evidence)}`).digest('hex');
 }

package/dist/monitoring/CompletionClaimVerifier.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"CompletionClaimVerifier.js","sourceRoot":"","sources":["../../src/monitoring/CompletionClaimVerifier.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEjD,OAAO,EAAE,kBAAkB,EAA+B,MAAM,yBAAyB,CAAC;AAC1F,OAAO,EAAE,8BAA8B,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,EACL,0BAA0B,EAAE,WAAW,EAAE,uBAAuB,EAAE,gBAAgB,EACxD,mBAAmB,GAC9C,MAAM,uBAAuB,CAAC;AA0D/B,MAAM,OAAO,uBAAuB;IAML;IALZ,OAAO,CAAqB;IAC5B,cAAc,CAAiC;IAC/C,qBAAqB,GAAG,IAAI,GAAG,EAA+D,CAAC;IACxG,QAAQ,CAAuB;IAEvC,YAA6B,IAAoC;QAApC,SAAI,GAAJ,IAAI,CAAgC;QAC/D,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,kBAAkB,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;QAC3F,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,IAAI,IAAI,8BAA8B,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS;YACzG,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QAC/G,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QACrI,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IACnC,CAAC;IAED,MAAM,CAAC,2BAA2B,CAAC,OAAe;QAChD,wFAAwF;QACxF,OAAO,iJAAiJ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzK,CAAC;IAED;;;OAGG;IACH,OAAO,CACL,OAAe,EACf,QAAsB,EACtB,YAA4E,EAC5E,UAAmC,EAAE;QAErC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;QACvE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,uBAAuB,CAAC,2BAA2B,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;QACzJ,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;YAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;QAAC,CAAC;QAC7I,MAAM,WAAW,GAAG,qBAAqB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,WAAW,CAAC,CAAC;QACtG,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;YAAE,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACnF,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,KAAK,CAAC,wBAAwB,CACpC,OAAe,EACf,QAAsB,EACtB,YAA4E,EAC5E,UAAmC,EAAE;QAErC,IAAI,CAAC;YACH,IAAI,WAAmC,CAAC;YACxC,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;gBAC9D,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;YAC5E,CAAC;YAAC,MAAM,CAAC,CAAC,yFAAyF;gBACjG,WAAW,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;YACtD,CAAC;YAED,IAAI,CAAC;gBACH,qEAAqE;gBACrE,oEAAoE;gBACpE,sDAAsD;gBACtD,IAAI,YAAY;oBAAE,MAAM,YAAY,CAAC,WAAW,CAAC,CAAC;YACpD,CAAC;YAAC,MAAM,CAAC,CAAC,yFAAyF;gBACjG,OAAO;YACT,CAAC;YACD,IAAI,WAAW,CAAC,aAAa,EAAE,CAAC;gBAC9B,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC;YAC/F,CAAC;QACH,CAAC;gBAAS,CAAC,CAAC,qDAAqD,CAAC,CAAC;IACrE,CAAC;IAED,iCAAiC,CAAC,OAAe,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;QACjE,MAAM,GAAG,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC;YAAC,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAAC,OAAO,IAAI,CAAC;QAAC,CAAC;QACjG,OAAO,MAAM,CAAC,WAAW,CAAC;IAC5B,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,OAAe,EAAE,QAAsB,EAAE,UAAmC,EAAE;QAC1F,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;QACtE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,uBAAuB,CAAC,2BAA2B,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;QACxJ,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC5B,IAAI,QAAQ,CAAC,WAAW,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAClG,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;YACtC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC;QACxE,CAAC;QACD,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,uBAAuB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAC5D,IAAI,QAAQ,CAAC,MAAM,KAAK,mBAAmB,EAAE,CAAC;gBAC5C,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;gBACrC,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,qBAAqB,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC;gBAC/H,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;YACxD,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,CAAC,kBAAkB;gBAAE,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;YACpE,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACtF,IAAI,CAAC,WAAW,CAAC,aAAa,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;gBACvD,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;gBAChC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC;YACnE,CAAC;YACD,IAAI,WAAW,CAAC,aAAa;gBAAE,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAC5D,IAAI,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC;gBACjD,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBACxD,KAAK,MAAM,MAAM,IAAI,MAAM;oBAAE,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBACxD,KAAK,MAAM,IAAI,IAAI,IAAI;oBAAE,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;gBACvD,IAAI,WAAW,CAAC,OAAO,EAAE,SAAS,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;gBAC5F,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,IAAI,mBAAmB,EAAE,CAAC;gBAC3E,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe;wBAC3G,mBAAmB,EAAE,OAAO,CAAC,mBAAmB,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;oBAC9F,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;oBAC3D,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,gBAAgB,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO;wBAC/F,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM;wBAC7D,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,cAAc,EAAE,SAAS,EAAE,WAAW,CAAC,YAAY,EAAE,SAAS;wBAC1F,OAAO,EAAE,WAAW,CAAC,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,CAAC,YAAY,EAAE,WAAW;wBAC5F,YAAY,EAAE,WAAW,CAAC,YAAY,EAAE,YAAY,EAAE,CAAC;wBAAE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBACtF,CAAC;gBACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI;wBACnF,KAAK,EAAE,2BAA2B,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACpF,CAAC;YACD,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;gBAChC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,WAAW,EAAE,CAAC;YAC1E,CAAC;YACD,MAAM,iBAAiB,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,oCAAoC,CAAC,CAAC;YACxH,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC1B,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC;gBACjC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;YACjE,CAAC;YACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;gBAChD,MAAM,KAAK,GAAoB;oBAC7B,iBAAiB,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe;oBAChE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAClF,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS;iBAC/D,CAAC;gBACF,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC5D,CAAC,CAAC,CAAC;YACH,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,6BAA6B,CAAC,CAAC;YAC7F,MAAM,QAAQ,GAAG,YAAY,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;YACpC,MAAM,OAAO,GAAG,CAAC,CAAC,YAAY,CAAC;YAC/B,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YAC1B,IAAI,OAAO;gBAAE,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACvC,IAAI,CAAC,WAAW,CAAC;gBACf,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO;gBACzF,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM;gBAClD,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,YAAY;aAC5F,CAAC,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACrH,CAAC;QAAC,MAAM,CAAC,CAAC,kGAAkG;YAC1G,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;YACtC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;QACxD,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,KAAK,KAA2B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAyB,CAAC,CAAC,CAAC;IAE3G,+EAA+E;IAC/E,iBAAiB,CAAC,IAAyC;QACzD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC;IACnG,CAAC;IACD,iBAAiB,KAAW,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC;IAC9D,uBAAuB,CAAC,KAAa,IAAU,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAEhH,SAAS,CAAC,KAAK,GAAG,GAAG;QACnB,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACnE,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,8BAA8B,CAAC,CAAC;YACnF,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,CAAC;YACpC,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;iBACvG,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAA4B,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,qEAAqE;gBAAC,OAAO,EAAE,CAAC;YAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrL,CAAC;QAAC,MAAM,CAAC,CAAC,8EAA8E;YAAC,OAAO,EAAE,CAAC;QAAC,CAAC;IACvG,CAAC;IACD,kBAAkB,CAAC,KAAK,GAAG,GAAG,IAAoC,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/H,YAAY,CAAC,KAAK,GAAG,GAAG,EAAE,MAAe;QACvC,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC5E,CAAC;IAEO,WAAW,CAAC,GAA4B;QAC9C,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QACxE,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,8BAA8B,CAAC,CAAC;YACnF,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACtD,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,SAAS,CAAC,EAAE,CAAC;gBAC3F,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC;YACnC,CAAC;YACD,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACvE,CAAC;QAAC,MAAM,CAAC,CAAC,oFAAoF,CAAC,CAAC;IAClG,CAAC;IAEO,SAAS,KAAa,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,6BAA6B,CAAC,CAAC,CAAC,CAAC;IAEpG,SAAS;QACf,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,MAAM,CAAC,CAAkC,CAAC;YACtG,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAsC,EAAE,CAAC;gBAC1E,IAAI,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,WAAW;oBAAE,SAAS;gBACxD,IAAI,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAK,MAAM,CAAC,GAAG,CAAY,IAAI,CAAC,EAAE,CAAC;oBACnG,KAAK,CAAC,GAAG,CAAY,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAW,CAAC,CAAC;gBAC7D,CAAC;YACH,CAAC;YACD,IAAI,MAAM,CAAC,QAAQ,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ;gBAAE,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAmC,EAAE,CAAC;oBAChJ,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;oBACvC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;wBAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACrH,CAAC;YACD,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ;gBAAE,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;QAC/E,CAAC;QAAC,MAAM,CAAC,CAAC,2FAA2F,CAAC,CAAC;QACvG,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,IAAI,CAAC,GAAkE;QAC7E,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,YAAY,EAAE,CAAC;IACtB,CAAC;IAEO,WAAW,CAAC,OAAqC;QACvD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,IAAI,CAAC,YAAY,EAAE,CAAC;IACtB,CAAC;IAEO,YAAY;QAClB,IAAI,CAAC;YACH,IAAI,CAAC,QAAQ,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAC9B,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACtD,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,OAAO,CAAC,GAAG,MAAM,CAAC;YACzC,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7E,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;QAAC,MAAM,CAAC,CAAC,kFAAkF,CAAC,CAAC;IAChG,CAAC;CACF;AAED,SAAS,UAAU;IACjB,OAAO;QACL,cAAc,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC;QAC7E,wBAAwB,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC;QAC/D,yBAAyB,EAAE,CAAC,EAAE,yBAAyB,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC;QACjF,oBAAoB,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,uBAAuB,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,iBAAiB,EAAE,CAAC;QAChI,QAAQ,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,6BAA6B,EAAE,CAAC,EAAE,wBAAwB,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE;KAChH,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAe,EAAE,QAAsB;IACpE,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC7H,CAAC;AACD,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,GAAW;IAC9C,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAA4B,CAAC;QACnE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1H,IAAI,OAAO,CAAC,CAAC,iBAAiB,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;eACjF,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,YAAY,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC1F,OAAO;YACL,iBAAiB,EAAE,CAAC,CAAC,iBAAiB;YACtC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,eAAe,CAAuC;YAChF,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAuB;YACtD,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,YAAY,EAAE,CAAC,CAAC,YAAY;YAC5B,SAAS,EAAE,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;SAC9D,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC,CAAC,uEAAuE;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAsB,EAAE,QAAsB;IAC1E,IAAI,CAAC,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,eAAe,KAAK,WAAW;QAAE,OAAO,cAAc,CAAC;IAC7F,IAAI,KAAK,CAAC,UAAU,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,wBAAwB,CAAC;IACxG,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAChD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;YAAE,OAAO,KAAK,CAAC;QACnE,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,MAAM,cAAc,GAAG,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC3D,IAAI,cAAc,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACtF,IAAI,MAAM,KAAK,cAAc;gBAAE,OAAO,IAAI,CAAC;YAC3C,yEAAyE;YACzE,wEAAwE;YACxE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAChC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC;QACnJ,CAAC;QACD,OAAO,CAAC,CAAC,cAAc,IAAI,CAAC,cAAc,KAAK,MAAM,IAAI,cAAc,CAAC,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,cAAc,EAAE,CAAC,CAAC,CAAC;IAC3I,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,6BAA6B,CAAC;AACnE,CAAC;AAED,SAAS,eAAe,CAAC,KAAyB;IAChD,MAAM,UAAU,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IAC7E,OAAO,UAAU,IAAI,SAAS,CAAC;AACjC,CAAC"}
1	+ {"version":3,"file":"CompletionClaimVerifier.js","sourceRoot":"","sources":["../../src/monitoring/CompletionClaimVerifier.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEjD,OAAO,EAAE,kBAAkB,EAA+B,MAAM,yBAAyB,CAAC;AAC1F,OAAO,EAAE,8BAA8B,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,EACL,0BAA0B,EAAE,WAAW,EAAE,uBAAuB,EAAE,gBAAgB,EACxD,mBAAmB,GAC9C,MAAM,uBAAuB,CAAC;AA6D/B,MAAM,gBAAgB,GAAiC,CAAC,WAAW,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;AAChG,MAAM,mBAAmB,GAAuB,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,2BAA2B,CAAC,CAAC;AAEvG,MAAM,OAAO,uBAAuB;IAML;IALZ,OAAO,CAAqB;IAC5B,cAAc,CAAiC;IAC/C,qBAAqB,GAAG,IAAI,GAAG,EAA+D,CAAC;IACxG,QAAQ,CAAuB;IAEvC,YAA6B,IAAoC;QAApC,SAAI,GAAJ,IAAI,CAAgC;QAC/D,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,kBAAkB,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;QAC3F,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,IAAI,IAAI,8BAA8B,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS;YACzG,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QAC/G,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QACrI,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IACnC,CAAC;IAED,MAAM,CAAC,2BAA2B,CAAC,OAAe;QAChD,wFAAwF;QACxF,OAAO,iJAAiJ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzK,CAAC;IAED;;;OAGG;IACH,OAAO,CACL,OAAe,EACf,QAAsB,EACtB,YAA4E,EAC5E,UAAmC,EAAE;QAErC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;QACvE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,uBAAuB,CAAC,2BAA2B,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;QACzJ,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;YAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;QAAC,CAAC;QAC7I,MAAM,WAAW,GAAG,qBAAqB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,WAAW,CAAC,CAAC;QACtG,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;YAAE,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACnF,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,KAAK,CAAC,wBAAwB,CACpC,OAAe,EACf,QAAsB,EACtB,YAA4E,EAC5E,UAAmC,EAAE;QAErC,IAAI,CAAC;YACH,IAAI,WAAmC,CAAC;YACxC,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;gBAC9D,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;YAC5E,CAAC;YAAC,MAAM,CAAC,CAAC,yFAAyF;gBACjG,WAAW,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;YACtD,CAAC;YAED,IAAI,CAAC;gBACH,qEAAqE;gBACrE,oEAAoE;gBACpE,sDAAsD;gBACtD,IAAI,YAAY;oBAAE,MAAM,YAAY,CAAC,WAAW,CAAC,CAAC;YACpD,CAAC;YAAC,MAAM,CAAC,CAAC,yFAAyF;gBACjG,OAAO;YACT,CAAC;YACD,IAAI,WAAW,CAAC,aAAa,EAAE,CAAC;gBAC9B,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC;YAC/F,CAAC;QACH,CAAC;gBAAS,CAAC,CAAC,qDAAqD,CAAC,CAAC;IACrE,CAAC;IAED,iCAAiC,CAAC,OAAe,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;QACjE,MAAM,GAAG,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC;YAAC,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAAC,OAAO,IAAI,CAAC;QAAC,CAAC;QACjG,OAAO,MAAM,CAAC,WAAW,CAAC;IAC5B,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,OAAe,EAAE,QAAsB,EAAE,UAAmC,EAAE;QAC1F,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;QACtE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,uBAAuB,CAAC,2BAA2B,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;QACxJ,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC5B,IAAI,QAAQ,CAAC,WAAW,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAClG,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;YACtC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC;QACxE,CAAC;QACD,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,uBAAuB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAC5D,IAAI,QAAQ,CAAC,MAAM,KAAK,mBAAmB,EAAE,CAAC;gBAC5C,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;gBACrC,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,qBAAqB,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC;gBAC/H,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;YACxD,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,CAAC,kBAAkB;gBAAE,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;YACpE,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACtF,IAAI,CAAC,WAAW,CAAC,aAAa,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;gBACvD,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;gBAChC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC;YACnE,CAAC;YACD,IAAI,WAAW,CAAC,aAAa;gBAAE,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAC5D,IAAI,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC;gBACjD,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBACxD,KAAK,MAAM,MAAM,IAAI,MAAM;oBAAE,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBACxD,KAAK,MAAM,IAAI,IAAI,IAAI;oBAAE,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;gBACvD,IAAI,WAAW,CAAC,OAAO,EAAE,SAAS,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;gBAC5F,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,IAAI,mBAAmB,EAAE,CAAC;gBAC3E,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe;wBAC3G,mBAAmB,EAAE,OAAO,CAAC,mBAAmB,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;oBAC9F,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;oBAC3D,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;oBAC9D,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,gBAAgB,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO;wBAC/F,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM;wBAC7D,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,cAAc,EAAE,SAAS,EAAE,WAAW,CAAC,YAAY,EAAE,SAAS;wBAC1F,OAAO,EAAE,WAAW,CAAC,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,CAAC,YAAY,EAAE,WAAW;wBAC5F,YAAY,EAAE,WAAW,CAAC,YAAY,EAAE,YAAY,EAAE,CAAC;wBAAE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBACtF,CAAC;gBACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI;wBACnF,KAAK,EAAE,2BAA2B,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACpF,CAAC;YACD,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;gBAChC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,WAAW,EAAE,CAAC;YAC1E,CAAC;YACD,MAAM,iBAAiB,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,oCAAoC,CAAC,CAAC;YACxH,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC1B,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC;gBACjC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;YACjE,CAAC;YACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;gBAChD,MAAM,KAAK,GAAoB;oBAC7B,iBAAiB,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe;oBAChE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAClF,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS;iBAC/D,CAAC;gBACF,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC5D,CAAC,CAAC,CAAC;YACH,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,6BAA6B,CAAC,CAAC;YAC7F,MAAM,QAAQ,GAAG,YAAY,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;YACpC,MAAM,OAAO,GAAG,CAAC,CAAC,YAAY,CAAC;YAC/B,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YAC1B,IAAI,OAAO;gBAAE,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACvC,IAAI,CAAC,WAAW,CAAC;gBACf,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO;gBACzF,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM;gBAClD,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,YAAY;aAC5F,CAAC,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACrH,CAAC;QAAC,MAAM,CAAC,CAAC,kGAAkG;YAC1G,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;YACtC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;QACxD,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,KAAK,KAA2B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAyB,CAAC,CAAC,CAAC;IAE3G,+EAA+E;IAC/E,iBAAiB,CAAC,IAAyC;QACzD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC;IACnG,CAAC;IACD,iBAAiB,KAAW,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC;IAC9D,uBAAuB,CAAC,KAAa,IAAU,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAEhH,SAAS,CAAC,KAAK,GAAG,GAAG;QACnB,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACnE,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,8BAA8B,CAAC,CAAC;YACnF,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,CAAC;YACpC,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;iBACvG,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAA4B,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,qEAAqE;gBAAC,OAAO,EAAE,CAAC;YAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrL,CAAC;QAAC,MAAM,CAAC,CAAC,8EAA8E;YAAC,OAAO,EAAE,CAAC;QAAC,CAAC;IACvG,CAAC;IACD,kBAAkB,CAAC,KAAK,GAAG,GAAG,IAAoC,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/H,YAAY,CAAC,KAAK,GAAG,GAAG,EAAE,MAAe;QACvC,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC5E,CAAC;IAEO,WAAW,CAAC,GAA4B;QAC9C,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QACxE,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,8BAA8B,CAAC,CAAC;YACnF,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACtD,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,SAAS,CAAC,EAAE,CAAC;gBAC3F,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC;YACnC,CAAC;YACD,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACvE,CAAC;QAAC,MAAM,CAAC,CAAC,oFAAoF,CAAC,CAAC;IAClG,CAAC;IAEO,SAAS,KAAa,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,6BAA6B,CAAC,CAAC,CAAC,CAAC;IAEpG,SAAS;QACf,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,MAAM,CAAC,CAAkC,CAAC;YACtG,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAsC,EAAE,CAAC;gBAC1E,IAAI,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,iBAAiB,IAAI,GAAG,KAAK,sBAAsB;uBAChF,GAAG,KAAK,2BAA2B,IAAI,GAAG,KAAK,WAAW;oBAAE,SAAS;gBAC1E,IAAI,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,QAAQ;oBAAG,KAAK,CAAC,GAAG,CAAY,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,CAAW,CAAC,CAAC;YACpG,CAAC;YACD,IAAI,MAAM,CAAC,QAAQ,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ;gBAAE,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAmC,EAAE,CAAC;oBAChJ,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;gBACnE,CAAC;YACD,kBAAkB,CAAC,KAAK,CAAC,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC;YACpF,kBAAkB,CAAC,KAAK,CAAC,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,EAAE,mBAAmB,CAAC,CAAC;YACjG,kBAAkB,CAAC,KAAK,CAAC,yBAAyB,EAAE,MAAM,CAAC,yBAAyB,EAAE,mBAAmB,CAAC,CAAC;YAC3G,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ;gBAAE,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;QAC/E,CAAC;QAAC,MAAM,CAAC,CAAC,2FAA2F,CAAC,CAAC;QACvG,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,IAAI,CAAC,GAA6I;QACxJ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,IAAI,CAAC,YAAY,EAAE,CAAC;IACtB,CAAC;IAEO,WAAW,CAAC,OAAqC;QACvD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QACpF,IAAI,CAAC,YAAY,EAAE,CAAC;IACtB,CAAC;IAEO,kBAAkB,CAAC,OAAmC,EAAE,WAA6B;QAC3F,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,OAAO,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;QAClG,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,WAAW,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC,CAAC;QACtH,CAAC;aAAM,IAAI,OAAO,KAAK,cAAc,EAAE,CAAC;YACtC,IAAI,CAAC,QAAQ,CAAC,yBAAyB,CAAC,WAAW,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,yBAAyB,CAAC,WAAW,CAAC,CAAC,CAAC;QAChI,CAAC;QACD,IAAI,CAAC,YAAY,EAAE,CAAC;IACtB,CAAC;IAEO,YAAY;QAClB,IAAI,CAAC;YACH,IAAI,CAAC,QAAQ,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAC9B,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACtD,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,OAAO,CAAC,GAAG,MAAM,CAAC;YACzC,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7E,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;QAAC,MAAM,CAAC,CAAC,kFAAkF,CAAC,CAAC;IAChG,CAAC;CACF;AAED,SAAS,UAAU;IACjB,OAAO;QACL,cAAc,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC;QAC7E,wBAAwB,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC;QAC/D,yBAAyB,EAAE,CAAC,EAAE,yBAAyB,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC;QACjF,oBAAoB,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,uBAAuB,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,iBAAiB,EAAE,CAAC;QAChI,QAAQ,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,6BAA6B,EAAE,CAAC,EAAE,wBAAwB,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE;QAC/G,eAAe,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE;QAC9D,oBAAoB,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,2BAA2B,EAAE,CAAC,EAAE;QACpF,yBAAyB,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,2BAA2B,EAAE,CAAC,EAAE;KAC1F,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QACrE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,kBAAkB,CAAmB,MAAyB,EAAE,MAAe,EAAE,IAAkB;IAC1G,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO;IAC3E,MAAM,MAAM,GAAG,MAAqC,CAAC;IACrD,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,MAAM,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAe,EAAE,QAAsB;IACpE,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC7H,CAAC;AACD,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,GAAW;IAC9C,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAA4B,CAAC;QACnE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1H,IAAI,OAAO,CAAC,CAAC,iBAAiB,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;eACjF,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,YAAY,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC1F,OAAO;YACL,iBAAiB,EAAE,CAAC,CAAC,iBAAiB;YACtC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,eAAe,CAAuC;YAChF,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAuB;YACtD,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,YAAY,EAAE,CAAC,CAAC,YAAY;YAC5B,SAAS,EAAE,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;SAC9D,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC,CAAC,uEAAuE;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAsB,EAAE,QAAsB;IAC1E,IAAI,CAAC,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,eAAe,KAAK,WAAW;QAAE,OAAO,cAAc,CAAC;IAC7F,IAAI,KAAK,CAAC,UAAU,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,wBAAwB,CAAC;IACxG,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAChD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;YAAE,OAAO,KAAK,CAAC;QACnE,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,MAAM,cAAc,GAAG,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC3D,IAAI,cAAc,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACtF,IAAI,MAAM,KAAK,cAAc;gBAAE,OAAO,IAAI,CAAC;YAC3C,yEAAyE;YACzE,wEAAwE;YACxE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAChC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC;QACnJ,CAAC;QACD,OAAO,CAAC,CAAC,cAAc,IAAI,CAAC,cAAc,KAAK,MAAM,IAAI,cAAc,CAAC,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,cAAc,EAAE,CAAC,CAAC,CAAC;IAC3I,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,6BAA6B,CAAC;AACnE,CAAC;AAED,SAAS,eAAe,CAAC,KAAyB;IAChD,MAAM,UAAU,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IAC7E,OAAO,UAAU,IAAI,SAAS,CAAC;AACjC,CAAC"}

package/package.json CHANGED Viewed

@@ -1,6 +1,6 @@
 {
   "name": "instar",
-  "version": "1.3.901",
+  "version": "1.3.902",
   "description": "Coherence infrastructure for self-evolving AI agents — on the Claude Code or Codex subscription you already have.",
   "type": "module",
   "main": "dist/index.js",

package/src/data/builtin-manifest.json CHANGED Viewed

@@ -1,8 +1,8 @@
 {
   "$schema": "./builtin-manifest.schema.json",
   "schemaVersion": 1,
-  "generatedAt": "2026-07-21T21:11:56.043Z",
-  "instarVersion": "1.3.901",
+  "generatedAt": "2026-07-21T21:55:00.348Z",
+  "instarVersion": "1.3.902",
   "entryCount": 202,
   "entries": {
     "hook:session-start": {

package/upgrades/1.3.902.md ADDED Viewed

@@ -0,0 +1,26 @@
+# Upgrade Guide — vNEXT
+<!-- assembled-by: assemble-next-md -->
+<!-- bump: patch -->
+## What Changed
+Claim verification now records content-free counts for general claim outcomes: supported, refuted, and unverifiable. Refuted and unverifiable totals are also grouped by the final criticality level, including irreversible preconditions. These additive counters live in the existing completion-claim stats file and appear automatically in the existing `/metrics/features` response under `claimVerificationServerAdmittedOnly`.
+Persisted counters load safely across upgrades. Missing fields default to zero, while malformed, negative, fractional, non-finite, or oversized values are restored as bounded non-negative safe integers. Claim assessment, criticality floors, delivery, future-claim handling, and action authority are unchanged.
+## What to Tell Your User
+Instar can now measure how often server-admitted factual claims are supported, refuted, or cannot be verified, including how serious the refuted or unverifiable claims were. This is observation only: it does not block, rewrite, or automatically settle any claim.
+## Summary of New Capabilities
+- Content-free totals for supported, refuted, and unverifiable general claims.
+- Criticality breakdowns for refuted and unverifiable claims.
+- Backward-compatible, bounded persistence through the existing metrics surface.
+## Evidence
+- Unit coverage verifies supported, refuted, and unverifiable outcomes across low, high, and irreversible-precondition criticality.
+- Integration coverage admits claims through the existing queue and verifies non-zero refuted and unverifiable-high values at `/metrics/features`.
+- Adjacent claim, route, metrics lifecycle, type, lint, and zero-failure checks pass.

package/upgrades/side-effects/claim-verification-general-verdict-metrics.md ADDED Viewed

@@ -0,0 +1,86 @@
+# Side-Effects Review — Claim-verification general verdict metrics
+**Version / slug:** `claim-verification-general-verdict-metrics`
+**Date:** `2026-07-21`
+**Author:** `Instar Agent (instar-codey)`
+**Second-pass reviewer:** `independent Codex reviewer — concurred`
+**Driving spec:** `docs/specs/claim-verification-sentinel.md` §2.7
+## Summary of the change
+This increment extends only `CompletionClaimVerifier`'s existing content-free statistics. Each server-admitted general claim now increments a `supported`, `refuted`, or `unverifiable` total immediately after the existing deterministic assessment and criticality-floor calculation. Refuted and unverifiable claims also increment a cross-tab keyed by the final floored criticality. Existing persisted stats load backward-compatibly, and every restored count is floored and clamped to the safe integer range. The existing `/metrics/features` response automatically exposes the new fields beneath `claimVerificationServerAdmittedOnly`; there is no new route, store, extractor, audit, or authority.
+## Decision-point inventory
+- `assessClaim` verdict — **pass-through only** — the existing verdict is counted; its calculation is unchanged.
+- `applyClaimCriticalityFloor` result — **pass-through only** — the existing final criticality is used as the cross-tab key; the floor is unchanged.
+- Message delivery, legacy claim publication, future-claim handling, and action authorization — **not touched**.
+## 1. Over-block
+No block/allow surface — over-block is not applicable. A counter write or persistence failure cannot change claim assessment, arbitration, delivery, or action behavior.
+## 2. Under-block
+No block/allow surface — under-block is not applicable. These aggregates deliberately cover only claims admitted by the existing server observation path. They do not estimate transport misses, eligible coverage, or production recall, and the response keeps the explicit `claimVerificationServerAdmittedOnly` label.
+## 3. Level-of-abstraction fit
+The change is at the existing owner and read surface. `CompletionClaimVerifier` already owns admitted/evaluated counters and their persisted content-free file; `/metrics/features` already projects `stats()` without a second adapter. Adding a ledger, audit summary, route, or parallel observer would duplicate the foundation and was rejected during the foundation audit.
+## 4. Signal vs authority compliance
+Required reference: [docs/signal-vs-authority.md](../../docs/signal-vs-authority.md)
+- [x] No — this change has no block/allow surface.
+The new values are aggregate observations only. They cannot withhold, rewrite, send, settle, authorize, promote, or change a criticality floor. General assessments remain automation-ineligible dark-core signals.
+## 4b. Judgment-point check
+No new static heuristic exists at a competing-signals decision point. The increment counts outputs from the existing assessor and floor without reinterpreting either.
+## 5. Interactions
+- **Shadowing:** none; the bump occurs after the existing assessment and final floor, before the unchanged recorder call.
+- **Double-fire:** one bump per extracted claim in the one existing general-observation loop. The admission queue remains the sole production caller of observation.
+- **Races:** unchanged process-local stats posture. Atomic temporary-file rename remains the existing persistence mechanism.
+- **Feedback loops:** none. No runtime consumer feeds these counts into assessment, criticality, routing, or delivery.
+- **Persistence compatibility:** old files omit the new maps and therefore start their new fields at zero. Malformed, negative, non-finite, fractional, and oversized counts restore as bounded integers.
+## 6. External surfaces
+The authenticated read-only `/metrics/features` JSON gains additive fields under the already explicit `claimVerificationServerAdmittedOnly` object. No user notice, external API, URL, action, configuration, or operator control is added. The persisted file remains content-free: it contains only fixed enum keys, integers, and an update timestamp.
+## 6b. Operator-surface quality
+No operator surface — not applicable.
+## 7. Multi-machine posture
+**Machine-local by design.** The stats describe claims admitted and evaluated by this server process, so origins may legitimately differ. The existing metrics endpoint exposes this machine's server-admitted-only observation; this increment does not claim fleet aggregation or trusted replication. It emits no user-facing notice, holds no topic-transfer authority, and generates no URL.
+## 8. Rollback cost
+Low. Revert the source and test changes and ship the next patch. Older binaries ignore the additive JSON keys; newer binaries recreate missing keys at zero. No schema migration, data repair, state reset, or destructive cleanup is required.
+## Conclusion
+The increment is bounded, content-free, backward-compatible, and observe-only. It reuses the sole verifier and sole metrics route, preserves the server-admitted-only denominator, and introduces no authority or parallel infrastructure.
+## Second-pass review
+**Reviewer:** independent Codex reviewer
+**Independent read of the artifact: concur**
+The reviewer found no blocking issue and confirmed that the implementation is confined to the existing verifier stats path, uses the final criticality floor without altering it, preserves all authority boundaries, and clamps persisted counts. Its one test-strengthening suggestion was incorporated: the route integration fixture now enters through `enqueue()` and the real admission queue instead of calling `observe()` directly.
+## Evidence pointers
+- `tests/unit/turn-evidence-completion-verifier.test.ts`
+- `tests/integration/metrics-features-routes.test.ts`
+- Focused and adjacent suites: 69 tests green; repository lint and zero-silent-fallback ratchet green.
+## Class-Closure Declaration
+No agent-authored-artifact defect and no self-triggered controller change — not applicable.