@dewtech/dare-cli 3.9.0 → 3.11.0

package/dist/verification/config.d.ts

@@ -1,7 +1,47 @@
+import { z } from 'zod';
 import type { VerificationConfig, FormalGateConfig } from './types.js';
 /** DEFAULTS.formal — ausência do bloco ⇒ enabled:false (RNF-01). */
 export declare const FORMAL_DEFAULTS: FormalGateConfig;
 export declare const DEFAULTS: VerificationConfig;
+export declare const driftConfigSchema: z.ZodObject<{
+    enabled: z.ZodDefault<z.ZodBoolean>;
+    maxOrphanReqs: z.ZodDefault<z.ZodNumber>;
+    maxOrphanCode: z.ZodDefault<z.ZodNumber>;
+    failOnStale: z.ZodDefault<z.ZodBoolean>;
+    ignore: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strict", z.ZodTypeAny, {
+    ignore: string[];
+    enabled: boolean;
+    maxOrphanReqs: number;
+    maxOrphanCode: number;
+    failOnStale: boolean;
+}, {
+    ignore?: string[] | undefined;
+    enabled?: boolean | undefined;
+    maxOrphanReqs?: number | undefined;
+    maxOrphanCode?: number | undefined;
+    failOnStale?: boolean | undefined;
+}>;
+export type DriftConfig = z.infer<typeof driftConfigSchema>;
+export declare const DRIFT_DEFAULTS: DriftConfig;
+export declare const semanticConfigSchema: z.ZodObject<{
+    enabled: z.ZodDefault<z.ZodBoolean>;
+    model: z.ZodDefault<z.ZodString>;
+    modelHash: z.ZodOptional<z.ZodString>;
+    rrfK: z.ZodDefault<z.ZodNumber>;
+}, "strict", z.ZodTypeAny, {
+    enabled: boolean;
+    model: string;
+    rrfK: number;
+    modelHash?: string | undefined;
+}, {
+    enabled?: boolean | undefined;
+    model?: string | undefined;
+    modelHash?: string | undefined;
+    rrfK?: number | undefined;
+}>;
+export type SemanticConfig = z.infer<typeof semanticConfigSchema>;
+export declare const SEMANTIC_DEFAULTS: SemanticConfig;
 export declare class VerificationConfigError extends Error {
     readonly issues: ReadonlyArray<{
         path: string;
@@ -12,6 +52,26 @@ export declare class VerificationConfigError extends Error {
         message: string;
     }>);
 }
+export declare class DriftConfigError extends Error {
+    readonly issues: ReadonlyArray<{
+        path: string;
+        message: string;
+    }>;
+    constructor(issues: ReadonlyArray<{
+        path: string;
+        message: string;
+    }>);
+}
+export declare class SemanticConfigError extends Error {
+    readonly issues: ReadonlyArray<{
+        path: string;
+        message: string;
+    }>;
+    constructor(issues: ReadonlyArray<{
+        path: string;
+        message: string;
+    }>);
+}
 /**
  * Parse and validate `verification` from an already-parsed dare.config.json object.
  */
@@ -22,5 +82,27 @@ export declare function defaultVerificationConfigForProject(): VerificationConfi
  * Returns true when the block was added.
  */
 export declare function seedVerificationDefaultsIfAbsent(cfg: Record<string, unknown>): boolean;
+/** Serializable defaults for dare.config.json (new projects + migrations). */
+export declare function defaultDriftConfigForProject(): DriftConfig;
+/**
+ * Inserts the drift block when absent (opt-in: enabled stays false).
+ * Returns true when the block was added.
+ */
+export declare function seedDriftDefaultsIfAbsent(cfg: Record<string, unknown>): boolean;
+/** Serializable defaults for dare.config.json (new projects + migrations). */
+export declare function defaultSemanticConfigForProject(): SemanticConfig;
+/**
+ * Inserts `graphrag.semantic` when absent.
+ * Returns true when the block was added.
+ */
+export declare function seedSemanticDefaultsIfAbsent(cfg: Record<string, unknown>): boolean;
 export declare function parseVerificationConfig(raw: unknown): VerificationConfig;
+/**
+ * Parse and validate `drift` from an already-parsed dare.config.json object.
+ */
+export declare function parseDriftConfig(raw: unknown): DriftConfig;
+/**
+ * Parse and validate `graphrag.semantic` from an already-parsed dare.config.json object.
+ */
+export declare function parseSemanticConfig(raw: unknown): SemanticConfig;
 //# sourceMappingURL=config.d.ts.map

package/dist/verification/config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/verification/config.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEvE,oEAAoE;AACpE,eAAO,MAAM,eAAe,EAAE,gBAO7B,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,kBAyBtB,CAAC;AAwHF,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;gBAEtD,MAAM,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAOrE;AAkBD;;GAEG;AACH,8EAA8E;AAC9E,wBAAgB,mCAAmC,IAAI,kBAAkB,CAExE;AAED;;;GAGG;AACH,wBAAgB,gCAAgC,CAC9C,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC3B,OAAO,CAIT;AAED,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,OAAO,GAAG,kBAAkB,CAWxE"}
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/verification/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEvE,oEAAoE;AACpE,eAAO,MAAM,eAAe,EAAE,gBAO7B,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,kBA0BtB,CAAC;AAWF,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;EAgBnB,CAAC;AAEZ,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAC5D,eAAO,MAAM,cAAc,EAAE,WAAyC,CAAC;AAEvE,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;EAWtB,CAAC;AAEZ,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAClE,eAAO,MAAM,iBAAiB,EAAE,cAA+C,CAAC;AAqHhF,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;gBAEtD,MAAM,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAOrE;AAED,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;gBAEtD,MAAM,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAKrE;AAED,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;gBAEtD,MAAM,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAKrE;AAwCD;;GAEG;AACH,8EAA8E;AAC9E,wBAAgB,mCAAmC,IAAI,kBAAkB,CAExE;AAED;;;GAGG;AACH,wBAAgB,gCAAgC,CAC9C,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC3B,OAAO,CAIT;AAED,8EAA8E;AAC9E,wBAAgB,4BAA4B,IAAI,WAAW,CAE1D;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC3B,OAAO,CAIT;AAED,8EAA8E;AAC9E,wBAAgB,+BAA+B,IAAI,cAAc,CAEhE;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAC1C,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC3B,OAAO,CAsBT;AAED,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,OAAO,GAAG,kBAAkB,CAWxE;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,GAAG,WAAW,CAW1D;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,OAAO,GAAG,cAAc,CAYhE"}

package/dist/verification/config.js

@@ -23,6 +23,7 @@ export const DEFAULTS = {
     loop: {
         policy: 'decay',
         maxAttempts: 5,
+        maxDepth: 2,
         saturationWindow: 3,
         onSaturation: 'fresh-start',
     },
@@ -34,9 +35,45 @@ export const DEFAULTS = {
     prerank: { enabled: false },
     formal: FORMAL_DEFAULTS,
 };
+const DRIFT_IGNORE_DEFAULTS = [
+    '**/index.ts',
+    '**/*.generated.*',
+    '**/bin/**',
+];
 const loopPolicySchema = z.enum(['decay', 'fixed']);
 const saturationActionSchema = z.enum(['fresh-start', 'replan', 'escalate']);
 const formalBackendSchema = z.enum(['dafny', 'verus', 'lean']);
+export const driftConfigSchema = z
+    .object({
+    enabled: z.boolean().default(false),
+    maxOrphanReqs: z
+        .number()
+        .int()
+        .nonnegative('maxOrphanReqs must be a non-negative integer')
+        .default(0),
+    maxOrphanCode: z
+        .number()
+        .int()
+        .nonnegative('maxOrphanCode must be a non-negative integer')
+        .default(0),
+    failOnStale: z.boolean().default(false),
+    ignore: z.array(z.string()).default([...DRIFT_IGNORE_DEFAULTS]),
+})
+    .strict();
+export const DRIFT_DEFAULTS = driftConfigSchema.parse({});
+export const semanticConfigSchema = z
+    .object({
+    enabled: z.boolean().default(false),
+    model: z.string().default('all-MiniLM-L6-v2'),
+    modelHash: z.string().optional(),
+    rrfK: z
+        .number()
+        .int()
+        .positive('rrfK must be a positive integer')
+        .default(60),
+})
+    .strict();
+export const SEMANTIC_DEFAULTS = semanticConfigSchema.parse({});
 const formalGateSchema = z
     .object({
     enabled: z.boolean().default(DEFAULTS.formal.enabled),
@@ -103,6 +140,7 @@ const verificationConfigSchema = z
             .int()
             .min(1, 'maxAttempts must be at least 1')
             .default(DEFAULTS.loop.maxAttempts),
+        maxDepth: z.number().int().min(1).default(2),
         saturationWindow: z
             .number()
             .int()
@@ -154,6 +192,20 @@ export class VerificationConfigError extends Error {
         this.issues = issues;
     }
 }
+export class DriftConfigError extends Error {
+    constructor(issues) {
+        super(`Invalid drift config: ${issues.map((i) => `${i.path}: ${i.message}`).join('; ')}`);
+        this.name = 'DriftConfigError';
+        this.issues = issues;
+    }
+}
+export class SemanticConfigError extends Error {
+    constructor(issues) {
+        super(`Invalid semantic config: ${issues.map((i) => `${i.path}: ${i.message}`).join('; ')}`);
+        this.name = 'SemanticConfigError';
+        this.issues = issues;
+    }
+}
 function isVerificationBlockAbsent(raw) {
     if (raw === undefined || raw === null)
         return true;
@@ -162,6 +214,29 @@ function isVerificationBlockAbsent(raw) {
     const rec = raw;
     return !('verification' in rec) || rec.verification === undefined;
 }
+function isDriftBlockAbsent(raw) {
+    if (raw === undefined || raw === null)
+        return true;
+    if (typeof raw !== 'object')
+        return false;
+    const rec = raw;
+    return !('drift' in rec) || rec.drift === undefined;
+}
+function isSemanticBlockAbsent(raw) {
+    if (raw === undefined || raw === null)
+        return true;
+    if (typeof raw !== 'object')
+        return false;
+    const rec = raw;
+    if (!('graphrag' in rec) || rec.graphrag === undefined)
+        return true;
+    const graphrag = rec.graphrag;
+    if (typeof graphrag !== 'object' || graphrag === null || Array.isArray(graphrag)) {
+        return true;
+    }
+    const graphragRec = graphrag;
+    return !('semantic' in graphragRec) || graphragRec.semantic === undefined;
+}
 function zodIssues(error) {
     return error.issues.map((issue) => ({
         path: issue.path.length > 0 ? issue.path.join('.') : '(root)',
@@ -185,6 +260,50 @@ export function seedVerificationDefaultsIfAbsent(cfg) {
     cfg.verification = defaultVerificationConfigForProject();
     return true;
 }
+/** Serializable defaults for dare.config.json (new projects + migrations). */
+export function defaultDriftConfigForProject() {
+    return structuredClone(DRIFT_DEFAULTS);
+}
+/**
+ * Inserts the drift block when absent (opt-in: enabled stays false).
+ * Returns true when the block was added.
+ */
+export function seedDriftDefaultsIfAbsent(cfg) {
+    if (cfg.drift !== undefined)
+        return false;
+    cfg.drift = defaultDriftConfigForProject();
+    return true;
+}
+/** Serializable defaults for dare.config.json (new projects + migrations). */
+export function defaultSemanticConfigForProject() {
+    return structuredClone(SEMANTIC_DEFAULTS);
+}
+/**
+ * Inserts `graphrag.semantic` when absent.
+ * Returns true when the block was added.
+ */
+export function seedSemanticDefaultsIfAbsent(cfg) {
+    const existing = cfg.graphrag;
+    if (existing === undefined) {
+        cfg.graphrag = {
+            backend: 'sqlite',
+            semantic: defaultSemanticConfigForProject(),
+        };
+        return true;
+    }
+    if (typeof existing !== 'object' || existing === null || Array.isArray(existing)) {
+        cfg.graphrag = {
+            backend: existing,
+            semantic: defaultSemanticConfigForProject(),
+        };
+        return true;
+    }
+    const graphrag = existing;
+    if (graphrag.semantic !== undefined)
+        return false;
+    graphrag.semantic = defaultSemanticConfigForProject();
+    return true;
+}
 export function parseVerificationConfig(raw) {
     if (isVerificationBlockAbsent(raw)) {
         return { ...DEFAULTS, enabled: false };
@@ -196,4 +315,33 @@ export function parseVerificationConfig(raw) {
     }
     return result.data;
 }
+/**
+ * Parse and validate `drift` from an already-parsed dare.config.json object.
+ */
+export function parseDriftConfig(raw) {
+    if (isDriftBlockAbsent(raw)) {
+        return defaultDriftConfigForProject();
+    }
+    const block = raw.drift;
+    const result = driftConfigSchema.safeParse(block);
+    if (!result.success) {
+        throw new DriftConfigError(zodIssues(result.error));
+    }
+    return result.data;
+}
+/**
+ * Parse and validate `graphrag.semantic` from an already-parsed dare.config.json object.
+ */
+export function parseSemanticConfig(raw) {
+    if (isSemanticBlockAbsent(raw)) {
+        return defaultSemanticConfigForProject();
+    }
+    const graphragBlock = raw.graphrag;
+    const semanticBlock = graphragBlock.semantic;
+    const result = semanticConfigSchema.safeParse(semanticBlock);
+    if (!result.success) {
+        throw new SemanticConfigError(zodIssues(result.error));
+    }
+    return result.data;
+}
 //# sourceMappingURL=config.js.map

package/dist/verification/config.js.map

@@ -1 +1 @@
-{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/verification/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,oEAAoE;AACpE,MAAM,CAAC,MAAM,eAAe,GAAqB;IAC/C,OAAO,EAAE,KAAK;IACd,OAAO,EAAE,OAAO;IAChB,OAAO,EAAE,EAAE;IACX,mBAAmB,EAAE,CAAC;IACtB,mBAAmB,EAAE,GAAG;IACxB,UAAU,EAAE,IAAI;CACjB,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAuB;IAC1C,OAAO,EAAE,KAAK;IACd,QAAQ,EAAE;QACR,OAAO,EAAE,IAAI;QACb,QAAQ,EAAE,GAAG;QACb,WAAW,EAAE,IAAI;QACjB,UAAU,EAAE,GAAG;QACf,cAAc,EAAE,GAAG;KACpB;IACD,UAAU,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE;IAC9B,UAAU,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;IAC7B,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;IAC7B,IAAI,EAAE;QACJ,MAAM,EAAE,OAAO;QACf,WAAW,EAAE,CAAC;QACd,gBAAgB,EAAE,CAAC;QACnB,YAAY,EAAE,aAAa;KAC5B;IACD,OAAO,EAAE;QACP,OAAO,EAAE,CAAC;QACV,GAAG,EAAE,CAAC;QACN,YAAY,EAAE,IAAI;KACnB;IACD,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;IAC3B,MAAM,EAAE,eAAe;CACxB,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AACpD,MAAM,sBAAsB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;AAC7E,MAAM,mBAAmB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AAE/D,MAAM,gBAAgB,GAAG,CAAC;KACvB,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;IACrD,OAAO,EAAE,mBAAmB,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;IAC7D,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAClE,mBAAmB,EAAE,CAAC;SACnB,MAAM,EAAE;SACR,GAAG,EAAE;SACL,QAAQ,CAAC,gDAAgD,CAAC;SAC1D,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,mBAAmB,CAAC;IAC/C,mBAAmB,EAAE,CAAC;SACnB,MAAM,EAAE;SACR,GAAG,EAAE;SACL,QAAQ,CAAC,gDAAgD,CAAC;SAC1D,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,mBAAmB,CAAC;IAC/C,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC;CAC5D,CAAC;KACD,MAAM,EAAE;KACR,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAE1E,MAAM,wBAAwB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAC9C,QAAQ,EAAE,CAAC;SACR,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;QACvD,QAAQ,EAAE,CAAC;aACR,MAAM,EAAE;aACR,GAAG,CAAC,CAAC,EAAE,kCAAkC,CAAC;aAC1C,GAAG,CAAC,CAAC,EAAE,kCAAkC,CAAC;aAC1C,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACtC,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QAC/D,UAAU,EAAE,CAAC;aACV,MAAM,EAAE;aACR,GAAG,EAAE;aACL,QAAQ,EAAE;aACV,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;QACxC,cAAc,EAAE,CAAC;aACd,MAAM,EAAE;aACR,GAAG,EAAE;aACL,QAAQ,EAAE;aACV,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;KAC7C,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;IACpC,UAAU,EAAE,CAAC;SACV,MAAM,CAAC;QACN,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC;KAC5D,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC;IACtC,UAAU,EAAE,CAAC;SACV,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC;KAC1D,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC;IACtC,SAAS,EAAE,CAAC;SACT,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC;KACzD,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC;IACrC,IAAI,EAAE,CAAC;SACJ,MAAM,CAAC;QACN,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;QACtD,WAAW,EAAE,CAAC;aACX,MAAM,EAAE;aACR,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,EAAE,gCAAgC,CAAC;aACxC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC;QACrC,gBAAgB,EAAE,CAAC;aAChB,MAAM,EAAE;aACR,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,EAAE,qCAAqC,CAAC;aAC7C,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC;QAC1C,YAAY,EAAE,sBAAsB,CAAC,OAAO,CAC1C,QAAQ,CAAC,IAAI,CAAC,YAAY,CAC3B;KACF,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAChC,OAAO,EAAE,CAAC;SACP,MAAM,CAAC;QACN,OAAO,EAAE,CAAC;aACP,MAAM,EAAE;aACR,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,EAAE,oCAAoC,CAAC;aAC5C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;QACpC,GAAG,EAAE,CAAC;aACH,MAAM,EAAE;aACR,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,EAAE,gCAAgC,CAAC;aACxC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC;QAChC,YAAY,EAAE,CAAC;aACZ,MAAM,EAAE;aACR,GAAG,EAAE;aACL,QAAQ,EAAE;aACV,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC;KAC1C,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;SAChC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QACtB,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACtB,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,wCAAwC;gBACjD,IAAI,EAAE,CAAC,SAAS,CAAC;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC;IACJ,OAAO,EAAE,CAAC;SACP,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;KACvD,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;IACnC,MAAM,EAAE,gBAAgB;CACzB,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAGhD,YAAY,MAAwD;QAClE,KAAK,CACH,gCAAgC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC1F,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;QACtC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED,SAAS,yBAAyB,CAAC,GAAY;IAC7C,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,GAAG,GAAG,GAA8B,CAAC;IAC3C,OAAO,CAAC,CAAC,cAAc,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,SAAS,CAChB,KAAiB;IAEjB,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAClC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ;QAC7D,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;GAEG;AACH,8EAA8E;AAC9E,MAAM,UAAU,mCAAmC;IACjD,OAAO,eAAe,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gCAAgC,CAC9C,GAA4B;IAE5B,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACjD,GAAG,CAAC,YAAY,GAAG,mCAAmC,EAAE,CAAC;IACzD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,GAAY;IAClD,IAAI,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzC,CAAC;IAED,MAAM,KAAK,GAAI,GAA+B,CAAC,YAAY,CAAC;IAC5D,MAAM,MAAM,GAAG,wBAAwB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,uBAAuB,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC"}
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/verification/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,oEAAoE;AACpE,MAAM,CAAC,MAAM,eAAe,GAAqB;IAC/C,OAAO,EAAE,KAAK;IACd,OAAO,EAAE,OAAO;IAChB,OAAO,EAAE,EAAE;IACX,mBAAmB,EAAE,CAAC;IACtB,mBAAmB,EAAE,GAAG;IACxB,UAAU,EAAE,IAAI;CACjB,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAuB;IAC1C,OAAO,EAAE,KAAK;IACd,QAAQ,EAAE;QACR,OAAO,EAAE,IAAI;QACb,QAAQ,EAAE,GAAG;QACb,WAAW,EAAE,IAAI;QACjB,UAAU,EAAE,GAAG;QACf,cAAc,EAAE,GAAG;KACpB;IACD,UAAU,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE;IAC9B,UAAU,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;IAC7B,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;IAC7B,IAAI,EAAE;QACJ,MAAM,EAAE,OAAO;QACf,WAAW,EAAE,CAAC;QACd,QAAQ,EAAE,CAAC;QACX,gBAAgB,EAAE,CAAC;QACnB,YAAY,EAAE,aAAa;KAC5B;IACD,OAAO,EAAE;QACP,OAAO,EAAE,CAAC;QACV,GAAG,EAAE,CAAC;QACN,YAAY,EAAE,IAAI;KACnB;IACD,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;IAC3B,MAAM,EAAE,eAAe;CACxB,CAAC;AAEF,MAAM,qBAAqB,GAAG;IAC5B,aAAa;IACb,kBAAkB;IAClB,WAAW;CACH,CAAC;AAEX,MAAM,gBAAgB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AACpD,MAAM,sBAAsB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;AAC7E,MAAM,mBAAmB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AAC/D,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IACnC,aAAa,EAAE,CAAC;SACb,MAAM,EAAE;SACR,GAAG,EAAE;SACL,WAAW,CAAC,8CAA8C,CAAC;SAC3D,OAAO,CAAC,CAAC,CAAC;IACb,aAAa,EAAE,CAAC;SACb,MAAM,EAAE;SACR,GAAG,EAAE;SACL,WAAW,CAAC,8CAA8C,CAAC;SAC3D,OAAO,CAAC,CAAC,CAAC;IACb,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IACvC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,qBAAqB,CAAC,CAAC;CAChE,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,cAAc,GAAgB,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IACnC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAC7C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,IAAI,EAAE,CAAC;SACJ,MAAM,EAAE;SACR,GAAG,EAAE;SACL,QAAQ,CAAC,iCAAiC,CAAC;SAC3C,OAAO,CAAC,EAAE,CAAC;CACf,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,iBAAiB,GAAmB,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAEhF,MAAM,gBAAgB,GAAG,CAAC;KACvB,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;IACrD,OAAO,EAAE,mBAAmB,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;IAC7D,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAClE,mBAAmB,EAAE,CAAC;SACnB,MAAM,EAAE;SACR,GAAG,EAAE;SACL,QAAQ,CAAC,gDAAgD,CAAC;SAC1D,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,mBAAmB,CAAC;IAC/C,mBAAmB,EAAE,CAAC;SACnB,MAAM,EAAE;SACR,GAAG,EAAE;SACL,QAAQ,CAAC,gDAAgD,CAAC;SAC1D,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,mBAAmB,CAAC;IAC/C,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC;CAC5D,CAAC;KACD,MAAM,EAAE;KACR,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAE1E,MAAM,wBAAwB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAC9C,QAAQ,EAAE,CAAC;SACR,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;QACvD,QAAQ,EAAE,CAAC;aACR,MAAM,EAAE;aACR,GAAG,CAAC,CAAC,EAAE,kCAAkC,CAAC;aAC1C,GAAG,CAAC,CAAC,EAAE,kCAAkC,CAAC;aAC1C,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACtC,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QAC/D,UAAU,EAAE,CAAC;aACV,MAAM,EAAE;aACR,GAAG,EAAE;aACL,QAAQ,EAAE;aACV,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;QACxC,cAAc,EAAE,CAAC;aACd,MAAM,EAAE;aACR,GAAG,EAAE;aACL,QAAQ,EAAE;aACV,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;KAC7C,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;IACpC,UAAU,EAAE,CAAC;SACV,MAAM,CAAC;QACN,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC;KAC5D,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC;IACtC,UAAU,EAAE,CAAC;SACV,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC;KAC1D,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC;IACtC,SAAS,EAAE,CAAC;SACT,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC;KACzD,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC;IACrC,IAAI,EAAE,CAAC;SACJ,MAAM,CAAC;QACN,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;QACtD,WAAW,EAAE,CAAC;aACX,MAAM,EAAE;aACR,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,EAAE,gCAAgC,CAAC;aACxC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC;QACrC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5C,gBAAgB,EAAE,CAAC;aAChB,MAAM,EAAE;aACR,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,EAAE,qCAAqC,CAAC;aAC7C,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC;QAC1C,YAAY,EAAE,sBAAsB,CAAC,OAAO,CAC1C,QAAQ,CAAC,IAAI,CAAC,YAAY,CAC3B;KACF,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAChC,OAAO,EAAE,CAAC;SACP,MAAM,CAAC;QACN,OAAO,EAAE,CAAC;aACP,MAAM,EAAE;aACR,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,EAAE,oCAAoC,CAAC;aAC5C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;QACpC,GAAG,EAAE,CAAC;aACH,MAAM,EAAE;aACR,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,EAAE,gCAAgC,CAAC;aACxC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC;QAChC,YAAY,EAAE,CAAC;aACZ,MAAM,EAAE;aACR,GAAG,EAAE;aACL,QAAQ,EAAE;aACV,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC;KAC1C,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;SAChC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QACtB,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACtB,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,wCAAwC;gBACjD,IAAI,EAAE,CAAC,SAAS,CAAC;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC;IACJ,OAAO,EAAE,CAAC;SACP,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;KACvD,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;IACnC,MAAM,EAAE,gBAAgB;CACzB,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAGhD,YAAY,MAAwD;QAClE,KAAK,CACH,gCAAgC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC1F,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;QACtC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IAGzC,YAAY,MAAwD;QAClE,KAAK,CAAC,yBAAyB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1F,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;QAC/B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAG5C,YAAY,MAAwD;QAClE,KAAK,CAAC,4BAA4B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7F,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;QAClC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED,SAAS,yBAAyB,CAAC,GAAY;IAC7C,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,GAAG,GAAG,GAA8B,CAAC;IAC3C,OAAO,CAAC,CAAC,cAAc,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAY;IACtC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,GAAG,GAAG,GAA8B,CAAC;IAC3C,OAAO,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC;AACtD,CAAC;AAED,SAAS,qBAAqB,CAAC,GAAY;IACzC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,GAAG,GAAG,GAA8B,CAAC;IAC3C,IAAI,CAAC,CAAC,UAAU,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAEpE,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;IAC9B,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,WAAW,GAAG,QAAmC,CAAC;IACxD,OAAO,CAAC,CAAC,UAAU,IAAI,WAAW,CAAC,IAAI,WAAW,CAAC,QAAQ,KAAK,SAAS,CAAC;AAC5E,CAAC;AAED,SAAS,SAAS,CAChB,KAAiB;IAEjB,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAClC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ;QAC7D,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;GAEG;AACH,8EAA8E;AAC9E,MAAM,UAAU,mCAAmC;IACjD,OAAO,eAAe,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gCAAgC,CAC9C,GAA4B;IAE5B,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACjD,GAAG,CAAC,YAAY,GAAG,mCAAmC,EAAE,CAAC;IACzD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,4BAA4B;IAC1C,OAAO,eAAe,CAAC,cAAc,CAAC,CAAC;AACzC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CACvC,GAA4B;IAE5B,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC1C,GAAG,CAAC,KAAK,GAAG,4BAA4B,EAAE,CAAC;IAC3C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,+BAA+B;IAC7C,OAAO,eAAe,CAAC,iBAAiB,CAAC,CAAC;AAC5C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAC1C,GAA4B;IAE5B,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;IAC9B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,GAAG,CAAC,QAAQ,GAAG;YACb,OAAO,EAAE,QAAQ;YACjB,QAAQ,EAAE,+BAA+B,EAAE;SAC5C,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjF,GAAG,CAAC,QAAQ,GAAG;YACb,OAAO,EAAE,QAAQ;YACjB,QAAQ,EAAE,+BAA+B,EAAE;SAC5C,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,QAAmC,CAAC;IACrD,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAClD,QAAQ,CAAC,QAAQ,GAAG,+BAA+B,EAAE,CAAC;IACtD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,GAAY;IAClD,IAAI,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzC,CAAC;IAED,MAAM,KAAK,GAAI,GAA+B,CAAC,YAAY,CAAC;IAC5D,MAAM,MAAM,GAAG,wBAAwB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,uBAAuB,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAY;IAC3C,IAAI,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,4BAA4B,EAAE,CAAC;IACxC,CAAC;IAED,MAAM,KAAK,GAAI,GAA+B,CAAC,KAAK,CAAC;IACrD,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAY;IAC9C,IAAI,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,+BAA+B,EAAE,CAAC;IAC3C,CAAC;IAED,MAAM,aAAa,GAAI,GAA+B,CAAC,QAAmC,CAAC;IAC3F,MAAM,aAAa,GAAG,aAAa,CAAC,QAAQ,CAAC;IAC7C,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,mBAAmB,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC"}

package/dist/verification/types.d.ts

@@ -56,6 +56,8 @@ export interface LoopConfig {
     readonly policy: LoopPolicy;
     /** Teto duro de tentativas. Veredito ESCALATE ao atingir. Default 5. */
     readonly maxAttempts: number;
+    /** Profundidade máxima de aninhamento de sub-DAGs (REPLAN). Default 2. */
+    readonly maxDepth: number;
     /** Nº de tentativas com a MESMA assinatura → saturado. Default 3 (≤3, idea-3). */
     readonly saturationWindow: number;
     /** Ação ao saturar antes do teto. Default 'fresh-start'. */

package/dist/verification/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/verification/types.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,OAAO,CAAC;AAC3C,MAAM,MAAM,gBAAgB,GAAG,aAAa,GAAG,QAAQ,GAAG,UAAU,CAAC;AACrE,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,QAAQ,GAAG,eAAe,GAAG,WAAW,CAAC;AAIhF,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AAEvD,iFAAiF;AACjF,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAI5D,MAAM,WAAW,gBAAgB;IAC/B,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,gGAAgG;IAChG,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACxC,sEAAsE;IACtE,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,yEAAyE;IACzE,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,oFAAoF;IACpF,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAED,oDAAoD;AACpD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,KAAK,GAAG,QAAQ,CAAC;CACnC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,6DAA6D;IAC7D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,kDAAkD;IAClD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,kEAAkE;IAClE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,wEAAwE;IACxE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,kFAAkF;IAClF,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,4DAA4D;IAC5D,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,qEAAqE;IACrE,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CACtC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IACpD,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IACnD,QAAQ,CAAC,SAAS,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;CACnC;AAID,MAAM,MAAM,MAAM,GACd,OAAO,GACP,MAAM,GACN,MAAM,GACN,MAAM,GACN,cAAc,GACd,aAAa,GACb,UAAU,GACV,QAAQ,CAAC;AACb,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAE/C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IAC9C,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAID,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,aAAa,GAAG,QAAQ,GAAG,UAAU,GAAG,MAAM,CAAC;AAErF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACpC;AAID,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC;CAC3C"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/verification/types.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,OAAO,CAAC;AAC3C,MAAM,MAAM,gBAAgB,GAAG,aAAa,GAAG,QAAQ,GAAG,UAAU,CAAC;AACrE,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,QAAQ,GAAG,eAAe,GAAG,WAAW,CAAC;AAIhF,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AAEvD,iFAAiF;AACjF,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAI5D,MAAM,WAAW,gBAAgB;IAC/B,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,gGAAgG;IAChG,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACxC,sEAAsE;IACtE,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,yEAAyE;IACzE,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,oFAAoF;IACpF,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAED,oDAAoD;AACpD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,KAAK,GAAG,QAAQ,CAAC;CACnC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,6DAA6D;IAC7D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,kDAAkD;IAClD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,kEAAkE;IAClE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,wEAAwE;IACxE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,0EAA0E;IAC1E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,kFAAkF;IAClF,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,4DAA4D;IAC5D,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,qEAAqE;IACrE,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CACtC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IACpD,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IACnD,QAAQ,CAAC,SAAS,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;CACnC;AAID,MAAM,MAAM,MAAM,GACd,OAAO,GACP,MAAM,GACN,MAAM,GACN,MAAM,GACN,cAAc,GACd,aAAa,GACb,UAAU,GACV,QAAQ,CAAC;AACb,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAE/C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IAC9C,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAID,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,aAAa,GAAG,QAAQ,GAAG,UAAU,GAAG,MAAM,CAAC;AAErF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACpC;AAID,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC;CAC3C"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dewtech/dare-cli",
-  "version": "3.9.0",
+  "version": "3.11.0",
   "description": "DARE Framework - CLI, GraphRAG engine, MCP server and shared types in a single package",
   "type": "module",
   "main": "./dist/index.js",
@@ -41,7 +41,8 @@
     "zod": "^3.23.8"
   },
   "optionalDependencies": {
-    "@anthropic-ai/sdk": "^0.54.0"
+    "@anthropic-ai/sdk": "^0.54.0",
+    "@huggingface/transformers": "^4.2.0"
   },
   "devDependencies": {
     "@stryker-mutator/core": "8.7.1",

package/templates/.github/workflows/dare-pr.yml

@@ -0,0 +1,26 @@
+# Optional DARE PR gate — generated by dare init (pin actions by SHA in production).
+name: DARE PR Gate
+
+on:
+  pull_request:
+    branches: [main]
+
+permissions:
+  pull-requests: write
+  contents: read
+
+jobs:
+  dare-gate:
+    name: DARE Gate
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+
+      - name: Run DARE guard
+        uses: dewtech-technologies/dare-method@main
+        with:
+          gate: guard
+          args: '--all'
+          fail-on: none
+          comment: 'true'

package/templates/dashboard/app.js

@@ -0,0 +1,184 @@
+/** Vanilla dashboard — fetch /api/telemetry and render panels (no bundler). */
+
+const STATUS_COLORS = {
+  DONE: 'bar-pass',
+  FAILED: 'bar-fail',
+  RUNNING: 'bar-accent',
+  PENDING: 'bar-warn',
+  SKIPPED: 'bar-warn',
+};
+
+function el(id) {
+  const node = document.getElementById(id);
+  if (!node) throw new Error(`Missing #${id}`);
+  return node;
+}
+
+function setText(id, html) {
+  el(id).innerHTML = html;
+}
+
+function show(id, visible) {
+  el(id).classList.toggle('hidden', !visible);
+}
+
+function metric(label, value) {
+  return `<div class="metric"><span class="label">${label}</span><span class="value">${value}</span></div>`;
+}
+
+function barChart(entries, className = 'bar-accent') {
+  if (!entries.length) return '<p class="muted">No data</p>';
+  const max = Math.max(...entries.map((e) => e.value), 1);
+  const barW = 36;
+  const gap = 12;
+  const height = 120;
+  const width = entries.length * (barW + gap) + gap;
+  const bars = entries
+    .map((entry, i) => {
+      const h = Math.max(4, (entry.value / max) * (height - 24));
+      const x = gap + i * (barW + gap);
+      const y = height - h - 16;
+      return `<rect class="${className}" x="${x}" y="${y}" width="${barW}" height="${h}" rx="4"><title>${entry.label}: ${entry.value}</title></rect>
+        <text x="${x + barW / 2}" y="${height - 2}" text-anchor="middle" font-size="10" fill="currentColor">${entry.label}</text>`;
+    })
+    .join('');
+  return `<svg viewBox="0 0 ${width} ${height}" role="img" aria-label="bar chart">${bars}</svg>`;
+}
+
+function renderEmptyHints(hints) {
+  if (!hints || hints.length === 0) {
+    show('empty-hints', false);
+    return;
+  }
+  show('empty-hints', true);
+  setText('empty-hints', `<h2>Hints</h2><ul>${hints.map((h) => `<li>${h}</li>`).join('')}</ul>`);
+}
+
+function renderDag(dag) {
+  setText(
+    'dag-summary',
+    metric('Total tasks', dag.total) + metric('Ranks', dag.ranks),
+  );
+  const entries = Object.entries(dag.byStatus || {}).map(([label, value]) => ({
+    label,
+    value,
+    className: STATUS_COLORS[label] || 'bar-accent',
+  }));
+  setText(
+    'dag-chart',
+    entries.length
+      ? entries
+          .map((e) => barChart([e], e.className))
+          .join('')
+      : '<p>No task status data</p>',
+  );
+}
+
+function renderGates(gates) {
+  setText(
+    'gates-summary',
+    metric('Verified', gates.verified) +
+      metric('Proven', gates.proven) +
+      (gates.mutationAvg !== undefined ? metric('Mutation avg', gates.mutationAvg.toFixed(2)) : ''),
+  );
+  setText(
+    'gates-chart',
+    barChart(
+      [
+        { label: 'verified', value: gates.verified },
+        { label: 'proven', value: gates.proven },
+      ],
+      'bar-pass',
+    ),
+  );
+}
+
+function renderCost(cost) {
+  setText(
+    'cost-summary',
+    metric('Total USD', `$${cost.totalUsd.toFixed(4)}`) + metric('Total tokens', cost.totalTokens),
+  );
+  const entries = (cost.byTask || []).slice(0, 8).map((t) => ({
+    label: t.id.replace(/^task[-:]/, '').slice(0, 8),
+    value: t.tokens || t.usd * 1000,
+  }));
+  setText('cost-chart', barChart(entries, 'bar-accent'));
+
+  const tbody = el('cost-table').querySelector('tbody');
+  tbody.innerHTML = (cost.byTask || [])
+    .map(
+      (t) =>
+        `<tr><td>${t.id}</td><td>${t.usd.toFixed(4)}</td><td>${t.tokens}</td></tr>`,
+    )
+    .join('');
+}
+
+function renderOptionalPanels(data) {
+  if (data.bestOfN) {
+    show('bestof-panel', true);
+    setText(
+      'bestof-summary',
+      metric('Tasks', data.bestOfN.tasks) +
+        metric('Avg candidates', data.bestOfN.avgCandidates),
+    );
+  } else {
+    show('bestof-panel', false);
+  }
+
+  if (data.guard) {
+    show('guard-panel', true);
+    setText(
+      'guard-summary',
+      metric('Pass', data.guard.pass) +
+        metric('Warn', data.guard.warn) +
+        metric('Fail', data.guard.fail),
+    );
+    setText(
+      'guard-chart',
+      barChart(
+        [
+          { label: 'pass', value: data.guard.pass },
+          { label: 'warn', value: data.guard.warn },
+          { label: 'fail', value: data.guard.fail },
+        ],
+        'bar-pass',
+      ),
+    );
+  } else {
+    show('guard-panel', false);
+  }
+
+  if (data.drift) {
+    show('drift-panel', true);
+    setText(
+      'drift-summary',
+      metric('Orphan reqs', data.drift.orphanReqs) +
+        metric('Orphan code', data.drift.orphanCode) +
+        metric('Stale', data.drift.stale),
+    );
+  } else {
+    show('drift-panel', false);
+  }
+}
+
+async function loadTelemetry() {
+  const status = el('status-line');
+  try {
+    const res = await fetch('/api/telemetry');
+    if (!res.ok) throw new Error(`HTTP ${res.status}`);
+    const data = await res.json();
+    renderEmptyHints(data.emptyHints);
+    renderDag(data.dag);
+    renderGates(data.gates);
+    renderCost(data.cost);
+    renderOptionalPanels(data);
+    status.textContent = `Updated ${new Date().toLocaleTimeString()}`;
+  } catch (err) {
+    status.textContent = `Error: ${err instanceof Error ? err.message : String(err)}`;
+    show('empty-hints', true);
+    setText('empty-hints', `<h2>Error</h2><p>Could not load telemetry. Is the server running with a valid token?</p>`);
+  }
+}
+
+loadTelemetry();
+setInterval(loadTelemetry, 30_000);

package/templates/dashboard/index.html

@@ -0,0 +1,63 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+  <meta charset="utf-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1">
+  <title>DARE Telemetry</title>
+  <link rel="stylesheet" href="/dashboard/assets/style.css">
+</head>
+<body>
+  <header class="site-header">
+    <h1>DARE Telemetry</h1>
+    <p class="subtitle">Local read-only dashboard</p>
+  </header>
+
+  <main id="app">
+    <section id="empty-hints" class="panel hints hidden" aria-live="polite"></section>
+
+    <section id="dag-panel" class="panel">
+      <h2>DAG Progress</h2>
+      <div id="dag-summary" class="metrics"></div>
+      <div id="dag-chart" class="chart"></div>
+    </section>
+
+    <section id="gates-panel" class="panel">
+      <h2>Verification Gates</h2>
+      <div id="gates-summary" class="metrics"></div>
+      <div id="gates-chart" class="chart"></div>
+    </section>
+
+    <section id="cost-panel" class="panel">
+      <h2>Cost</h2>
+      <div id="cost-summary" class="metrics"></div>
+      <div id="cost-chart" class="chart"></div>
+      <table id="cost-table" class="data-table">
+        <thead><tr><th>Task</th><th>USD</th><th>Tokens</th></tr></thead>
+        <tbody></tbody>
+      </table>
+    </section>
+
+    <section id="bestof-panel" class="panel hidden">
+      <h2>Best-of-N</h2>
+      <div id="bestof-summary" class="metrics"></div>
+    </section>
+
+    <section id="guard-panel" class="panel hidden">
+      <h2>Guard</h2>
+      <div id="guard-summary" class="metrics"></div>
+      <div id="guard-chart" class="chart"></div>
+    </section>
+
+    <section id="drift-panel" class="panel hidden">
+      <h2>Drift</h2>
+      <div id="drift-summary" class="metrics"></div>
+    </section>
+  </main>
+
+  <footer class="site-footer">
+    <span id="status-line">Loading…</span>
+  </footer>
+
+  <script src="/dashboard/assets/app.js"></script>
+</body>
+</html>