invar-tools 1.16.0__py3-none-any.whl → 1.17.0__py3-none-any.whl

invar/node_tools/fc-runner/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA;;;;;;;;GAQG;AAEH,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,EAAE,EAAmE,MAAM,YAAY,CAAC;AAEhI,SAAS,SAAS;IAChB,OAAO,CAAC,GAAG,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAgCb,CAAC,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAoB;IAChD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IACjD,IAAI,MAAM,GAAG,GAAG,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,UAAU,IAAI,CAAC,WAAW,KAAK,CAAC;IAEpF,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QACxC,MAAM,IAAI,yBAAyB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAChF,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC;YAC/B,MAAM,IAAI,eAAe,IAAI,CAAC,cAAc,CAAC,WAAW,SAAS,CAAC;QACpE,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,IAAI,qBAAqB,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;YACzD,MAAM,IAAI,wBAAwB,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC;QACjE,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,MAAoB,EAAE,IAAa;IACvD,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,eAAe,CAAC;IAErE,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC;IAChC,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,KAAK,aAAa,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,IAAI;IACX,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAEnC,MAAM,OAAO,GAAG;QACd,IAAI,EAAE,SAA+B;QACrC,OAAO,EAAE,GAAG;QACZ,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,KAAK;KACZ,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAEpB,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACrC,SAAS,EAAE,CAAC;YACZ,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;aAAM,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC;QACtB,CAAC;aAAM,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;YAC/B,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;QACzB,CAAC;aAAM,IAAI,GAAG,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChB,OAAO,CAAC,KAAK,CAAC,+CAA+C,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACzE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;YACD,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC;QACtB,CAAC;aAAM,IAAI,GAAG,KAAK,YAAY,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnB,OAAO,CAAC,KAAK,CAAC,mDAAmD,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC7E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;YACD,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,MAAM,SAAS,GAAG;QAChB,cAAc,CAAC;YACb,IAAI,EAAE,kCAAkC;YACxC,WAAW,EAAE;gBACX,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC;gBACzB,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC;aAC1B;YACD,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAgC,EAAE,EAAE;gBACpD,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;YACpD,CAAC;SACF,CAAC;QACF,cAAc,CAAC;YACb,IAAI,EAAE,qBAAqB;YAC3B,WAAW,EAAE;gBACX,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;gBAC/B,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;aAClC;YACD,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAA4B,EAAE,EAAE;gBAChD,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;YAC7C,CAAC;SACF,CAAC;KACH,CAAC;IAEF,8CAA8C;IAC9C,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAClB,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;IAC9C,CAAC;IAED,oFAAoF;IACpF,MAAM,MAAM,GAAG,aAAa,CAAC,SAAqE,EAAE,OAAO,CAAC,CAAC;IAC7G,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAEhD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,IAAI,EAAE,CAAC"}

invar/node_tools/fc-runner/index.d.ts

@@ -0,0 +1,338 @@
+/**
+ * @invar/fc-runner - Programmatic fast-check runner with rich failure analysis
+ *
+ * Provides:
+ * - Typed counterexamples (not just strings)
+ * - Shrinking path and step count
+ * - Root cause classification
+ * - Suggested fix based on failure pattern
+ */
+import * as fc from 'fast-check';
+import { z } from 'zod';
+export declare const RootCauseSchema: z.ZodEnum<["boundary_violation", "null_reference", "type_coercion", "floating_point", "empty_collection", "overflow", "invalid_state", "race_condition", "unknown"]>;
+export type RootCause = z.infer<typeof RootCauseSchema>;
+export declare const CounterexampleSchema: z.ZodObject<{
+    values: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    shrunk: z.ZodBoolean;
+    shrinkSteps: z.ZodNumber;
+    seed: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    values: Record<string, unknown>;
+    shrunk: boolean;
+    shrinkSteps: number;
+    seed?: number | undefined;
+}, {
+    values: Record<string, unknown>;
+    shrunk: boolean;
+    shrinkSteps: number;
+    seed?: number | undefined;
+}>;
+export type Counterexample = z.infer<typeof CounterexampleSchema>;
+export declare const FailureAnalysisSchema: z.ZodObject<{
+    failedAssertion: z.ZodString;
+    actual: z.ZodOptional<z.ZodUnknown>;
+    expected: z.ZodOptional<z.ZodUnknown>;
+    rootCause: z.ZodEnum<["boundary_violation", "null_reference", "type_coercion", "floating_point", "empty_collection", "overflow", "invalid_state", "race_condition", "unknown"]>;
+    suggestedFix: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    failedAssertion: string;
+    rootCause: "boundary_violation" | "null_reference" | "type_coercion" | "floating_point" | "empty_collection" | "overflow" | "invalid_state" | "race_condition" | "unknown";
+    suggestedFix: string;
+    expected?: unknown;
+    actual?: unknown;
+}, {
+    failedAssertion: string;
+    rootCause: "boundary_violation" | "null_reference" | "type_coercion" | "floating_point" | "empty_collection" | "overflow" | "invalid_state" | "race_condition" | "unknown";
+    suggestedFix: string;
+    expected?: unknown;
+    actual?: unknown;
+}>;
+export type FailureAnalysis = z.infer<typeof FailureAnalysisSchema>;
+export declare const PropertyResultSchema: z.ZodObject<{
+    name: z.ZodString;
+    passed: z.ZodBoolean;
+    numRuns: z.ZodNumber;
+    counterexample: z.ZodOptional<z.ZodObject<{
+        values: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+        shrunk: z.ZodBoolean;
+        shrinkSteps: z.ZodNumber;
+        seed: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        values: Record<string, unknown>;
+        shrunk: boolean;
+        shrinkSteps: number;
+        seed?: number | undefined;
+    }, {
+        values: Record<string, unknown>;
+        shrunk: boolean;
+        shrinkSteps: number;
+        seed?: number | undefined;
+    }>>;
+    analysis: z.ZodOptional<z.ZodObject<{
+        failedAssertion: z.ZodString;
+        actual: z.ZodOptional<z.ZodUnknown>;
+        expected: z.ZodOptional<z.ZodUnknown>;
+        rootCause: z.ZodEnum<["boundary_violation", "null_reference", "type_coercion", "floating_point", "empty_collection", "overflow", "invalid_state", "race_condition", "unknown"]>;
+        suggestedFix: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        failedAssertion: string;
+        rootCause: "boundary_violation" | "null_reference" | "type_coercion" | "floating_point" | "empty_collection" | "overflow" | "invalid_state" | "race_condition" | "unknown";
+        suggestedFix: string;
+        expected?: unknown;
+        actual?: unknown;
+    }, {
+        failedAssertion: string;
+        rootCause: "boundary_violation" | "null_reference" | "type_coercion" | "floating_point" | "empty_collection" | "overflow" | "invalid_state" | "race_condition" | "unknown";
+        suggestedFix: string;
+        expected?: unknown;
+        actual?: unknown;
+    }>>;
+    duration_ms: z.ZodNumber;
+    error: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    name: string;
+    passed: boolean;
+    numRuns: number;
+    duration_ms: number;
+    counterexample?: {
+        values: Record<string, unknown>;
+        shrunk: boolean;
+        shrinkSteps: number;
+        seed?: number | undefined;
+    } | undefined;
+    analysis?: {
+        failedAssertion: string;
+        rootCause: "boundary_violation" | "null_reference" | "type_coercion" | "floating_point" | "empty_collection" | "overflow" | "invalid_state" | "race_condition" | "unknown";
+        suggestedFix: string;
+        expected?: unknown;
+        actual?: unknown;
+    } | undefined;
+    error?: string | undefined;
+}, {
+    name: string;
+    passed: boolean;
+    numRuns: number;
+    duration_ms: number;
+    counterexample?: {
+        values: Record<string, unknown>;
+        shrunk: boolean;
+        shrinkSteps: number;
+        seed?: number | undefined;
+    } | undefined;
+    analysis?: {
+        failedAssertion: string;
+        rootCause: "boundary_violation" | "null_reference" | "type_coercion" | "floating_point" | "empty_collection" | "overflow" | "invalid_state" | "race_condition" | "unknown";
+        suggestedFix: string;
+        expected?: unknown;
+        actual?: unknown;
+    } | undefined;
+    error?: string | undefined;
+}>;
+export type PropertyResult = z.infer<typeof PropertyResultSchema>;
+export declare const RunnerResultSchema: z.ZodObject<{
+    passed: z.ZodBoolean;
+    total: z.ZodNumber;
+    failed: z.ZodNumber;
+    duration_ms: z.ZodNumber;
+    properties: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        passed: z.ZodBoolean;
+        numRuns: z.ZodNumber;
+        counterexample: z.ZodOptional<z.ZodObject<{
+            values: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            shrunk: z.ZodBoolean;
+            shrinkSteps: z.ZodNumber;
+            seed: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            values: Record<string, unknown>;
+            shrunk: boolean;
+            shrinkSteps: number;
+            seed?: number | undefined;
+        }, {
+            values: Record<string, unknown>;
+            shrunk: boolean;
+            shrinkSteps: number;
+            seed?: number | undefined;
+        }>>;
+        analysis: z.ZodOptional<z.ZodObject<{
+            failedAssertion: z.ZodString;
+            actual: z.ZodOptional<z.ZodUnknown>;
+            expected: z.ZodOptional<z.ZodUnknown>;
+            rootCause: z.ZodEnum<["boundary_violation", "null_reference", "type_coercion", "floating_point", "empty_collection", "overflow", "invalid_state", "race_condition", "unknown"]>;
+            suggestedFix: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            failedAssertion: string;
+            rootCause: "boundary_violation" | "null_reference" | "type_coercion" | "floating_point" | "empty_collection" | "overflow" | "invalid_state" | "race_condition" | "unknown";
+            suggestedFix: string;
+            expected?: unknown;
+            actual?: unknown;
+        }, {
+            failedAssertion: string;
+            rootCause: "boundary_violation" | "null_reference" | "type_coercion" | "floating_point" | "empty_collection" | "overflow" | "invalid_state" | "race_condition" | "unknown";
+            suggestedFix: string;
+            expected?: unknown;
+            actual?: unknown;
+        }>>;
+        duration_ms: z.ZodNumber;
+        error: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        name: string;
+        passed: boolean;
+        numRuns: number;
+        duration_ms: number;
+        counterexample?: {
+            values: Record<string, unknown>;
+            shrunk: boolean;
+            shrinkSteps: number;
+            seed?: number | undefined;
+        } | undefined;
+        analysis?: {
+            failedAssertion: string;
+            rootCause: "boundary_violation" | "null_reference" | "type_coercion" | "floating_point" | "empty_collection" | "overflow" | "invalid_state" | "race_condition" | "unknown";
+            suggestedFix: string;
+            expected?: unknown;
+            actual?: unknown;
+        } | undefined;
+        error?: string | undefined;
+    }, {
+        name: string;
+        passed: boolean;
+        numRuns: number;
+        duration_ms: number;
+        counterexample?: {
+            values: Record<string, unknown>;
+            shrunk: boolean;
+            shrinkSteps: number;
+            seed?: number | undefined;
+        } | undefined;
+        analysis?: {
+            failedAssertion: string;
+            rootCause: "boundary_violation" | "null_reference" | "type_coercion" | "floating_point" | "empty_collection" | "overflow" | "invalid_state" | "race_condition" | "unknown";
+            suggestedFix: string;
+            expected?: unknown;
+            actual?: unknown;
+        } | undefined;
+        error?: string | undefined;
+    }>, "many">;
+    confidence: z.ZodEnum<["statistical", "exhaustive"]>;
+}, "strip", z.ZodTypeAny, {
+    passed: boolean;
+    duration_ms: number;
+    total: number;
+    failed: number;
+    properties: {
+        name: string;
+        passed: boolean;
+        numRuns: number;
+        duration_ms: number;
+        counterexample?: {
+            values: Record<string, unknown>;
+            shrunk: boolean;
+            shrinkSteps: number;
+            seed?: number | undefined;
+        } | undefined;
+        analysis?: {
+            failedAssertion: string;
+            rootCause: "boundary_violation" | "null_reference" | "type_coercion" | "floating_point" | "empty_collection" | "overflow" | "invalid_state" | "race_condition" | "unknown";
+            suggestedFix: string;
+            expected?: unknown;
+            actual?: unknown;
+        } | undefined;
+        error?: string | undefined;
+    }[];
+    confidence: "statistical" | "exhaustive";
+}, {
+    passed: boolean;
+    duration_ms: number;
+    total: number;
+    failed: number;
+    properties: {
+        name: string;
+        passed: boolean;
+        numRuns: number;
+        duration_ms: number;
+        counterexample?: {
+            values: Record<string, unknown>;
+            shrunk: boolean;
+            shrinkSteps: number;
+            seed?: number | undefined;
+        } | undefined;
+        analysis?: {
+            failedAssertion: string;
+            rootCause: "boundary_violation" | "null_reference" | "type_coercion" | "floating_point" | "empty_collection" | "overflow" | "invalid_state" | "race_condition" | "unknown";
+            suggestedFix: string;
+            expected?: unknown;
+            actual?: unknown;
+        } | undefined;
+        error?: string | undefined;
+    }[];
+    confidence: "statistical" | "exhaustive";
+}>;
+export type RunnerResult = z.infer<typeof RunnerResultSchema>;
+export declare const RunnerOptionsSchema: z.ZodObject<{
+    seed: z.ZodOptional<z.ZodNumber>;
+    numRuns: z.ZodDefault<z.ZodNumber>;
+    verbose: z.ZodDefault<z.ZodBoolean>;
+    endOnFailure: z.ZodDefault<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    numRuns: number;
+    verbose: boolean;
+    endOnFailure: boolean;
+    seed?: number | undefined;
+}, {
+    seed?: number | undefined;
+    numRuns?: number | undefined;
+    verbose?: boolean | undefined;
+    endOnFailure?: boolean | undefined;
+}>;
+export type RunnerOptions = z.infer<typeof RunnerOptionsSchema>;
+export interface PropertyDefinition<T extends Record<string, unknown>> {
+    name: string;
+    arbitraries: {
+        [K in keyof T]: fc.Arbitrary<T[K]>;
+    };
+    predicate: (input: T) => boolean | void;
+}
+/**
+ * Define a property test.
+ *
+ * @example
+ * ```typescript
+ * const prop = defineProperty({
+ *   name: 'addition is commutative',
+ *   arbitraries: {
+ *     a: fc.integer(),
+ *     b: fc.integer(),
+ *   },
+ *   predicate: ({ a, b }) => a + b === b + a,
+ * });
+ * ```
+ */
+export declare function defineProperty<T extends Record<string, unknown>>(def: PropertyDefinition<T>): PropertyDefinition<T>;
+/**
+ * Run multiple property tests.
+ *
+ * @param properties - Array of property definitions
+ * @param options - Runner options
+ * @returns Combined result
+ *
+ * @example
+ * ```typescript
+ * import { runProperties, defineProperty } from '@invar/fc-runner';
+ *
+ * const props = [
+ *   defineProperty({
+ *     name: 'addition is commutative',
+ *     arbitraries: { a: fc.integer(), b: fc.integer() },
+ *     predicate: ({ a, b }) => a + b === b + a,
+ *   }),
+ * ];
+ *
+ * const result = runProperties(props, { numRuns: 1000 });
+ * console.log(`Passed: ${result.passed}`);
+ * ```
+ */
+export declare function runProperties(properties: PropertyDefinition<Record<string, unknown>>[], options?: Partial<RunnerOptions>): RunnerResult;
+export { fc };
+export default runProperties;
+//# sourceMappingURL=index.d.ts.map

invar/node_tools/fc-runner/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB,eAAO,MAAM,eAAe,sKAU1B,CAAC;AAEH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;EAK/B,CAAC;AAEH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;EAMhC,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQ/B,CAAC;AAEH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO7B,CAAC;AAEH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;EAK9B,CAAC;AAEH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAwFhE,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IACnE,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE;SAAG,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC;IACpD,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,GAAG,IAAI,CAAC;CACzC;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,cAAc,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9D,GAAG,EAAE,kBAAkB,CAAC,CAAC,CAAC,GACzB,kBAAkB,CAAC,CAAC,CAAC,CAEvB;AA+ED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,aAAa,CAC3B,UAAU,EAAE,kBAAkB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,EACzD,OAAO,GAAE,OAAO,CAAC,aAAa,CAAM,GACnC,YAAY,CAwBd;AAGD,OAAO,EAAE,EAAE,EAAE,CAAC;AAEd,eAAe,aAAa,CAAC"}

invar/node_tools/fc-runner/index.js

@@ -0,0 +1,260 @@
+/**
+ * @invar/fc-runner - Programmatic fast-check runner with rich failure analysis
+ *
+ * Provides:
+ * - Typed counterexamples (not just strings)
+ * - Shrinking path and step count
+ * - Root cause classification
+ * - Suggested fix based on failure pattern
+ */
+import * as fc from 'fast-check';
+import { z } from 'zod';
+// ============================================================================
+// Schemas
+// ============================================================================
+export const RootCauseSchema = z.enum([
+    'boundary_violation', // Off-by-one, bounds exceeded
+    'null_reference', // Null/undefined access
+    'type_coercion', // Unexpected type conversion
+    'floating_point', // Precision issues
+    'empty_collection', // Empty array/object issues
+    'overflow', // Integer overflow
+    'invalid_state', // State machine violation
+    'race_condition', // Concurrent access issues
+    'unknown', // Unclassified
+]);
+export const CounterexampleSchema = z.object({
+    values: z.record(z.unknown()),
+    shrunk: z.boolean(),
+    shrinkSteps: z.number(),
+    seed: z.number().optional(),
+});
+export const FailureAnalysisSchema = z.object({
+    failedAssertion: z.string(),
+    actual: z.unknown().optional(),
+    expected: z.unknown().optional(),
+    rootCause: RootCauseSchema,
+    suggestedFix: z.string(),
+});
+export const PropertyResultSchema = z.object({
+    name: z.string(),
+    passed: z.boolean(),
+    numRuns: z.number(),
+    counterexample: CounterexampleSchema.optional(),
+    analysis: FailureAnalysisSchema.optional(),
+    duration_ms: z.number(),
+    error: z.string().optional(),
+});
+export const RunnerResultSchema = z.object({
+    passed: z.boolean(),
+    total: z.number(),
+    failed: z.number(),
+    duration_ms: z.number(),
+    properties: z.array(PropertyResultSchema),
+    confidence: z.enum(['statistical', 'exhaustive']),
+});
+export const RunnerOptionsSchema = z.object({
+    seed: z.number().optional(),
+    numRuns: z.number().default(100),
+    verbose: z.boolean().default(false),
+    endOnFailure: z.boolean().default(false),
+});
+// ============================================================================
+// Root Cause Detection
+// ============================================================================
+/**
+ * Analyze error to determine root cause.
+ */
+function classifyRootCause(error, counterexample) {
+    const errorStr = String(error).toLowerCase();
+    // Check for null/undefined
+    if (errorStr.includes('null') || errorStr.includes('undefined') || errorStr.includes('cannot read')) {
+        return 'null_reference';
+    }
+    // Check for type errors
+    if (errorStr.includes('type') || errorStr.includes('nan') || errorStr.includes('not a')) {
+        return 'type_coercion';
+    }
+    // Check for boundary issues
+    if (errorStr.includes('index') || errorStr.includes('bound') || errorStr.includes('range')) {
+        return 'boundary_violation';
+    }
+    // Check for overflow
+    if (errorStr.includes('overflow') || errorStr.includes('infinity')) {
+        return 'overflow';
+    }
+    // Check counterexample values for patterns
+    const values = Object.values(counterexample);
+    // Empty collections
+    if (values.some(v => Array.isArray(v) && v.length === 0)) {
+        return 'empty_collection';
+    }
+    // Floating point precision
+    if (values.some(v => typeof v === 'number' && !Number.isInteger(v))) {
+        if (errorStr.includes('precision') || errorStr.includes('equal')) {
+            return 'floating_point';
+        }
+    }
+    // Boundary values
+    if (values.some(v => v === 0 || v === -1 || v === 1 ||
+        v === Number.MAX_SAFE_INTEGER || v === Number.MIN_SAFE_INTEGER)) {
+        return 'boundary_violation';
+    }
+    return 'unknown';
+}
+/**
+ * Generate suggested fix based on root cause.
+ */
+function suggestFix(rootCause, _counterexample) {
+    switch (rootCause) {
+        case 'boundary_violation':
+            return 'Add bounds checking: validate array indices and loop boundaries';
+        case 'null_reference':
+            return 'Add null check: use optional chaining (?.) or explicit null guard';
+        case 'type_coercion':
+            return 'Add type validation: use Zod schema or explicit type check';
+        case 'floating_point':
+            return 'Use Math.round() or Number.EPSILON for floating point comparison';
+        case 'empty_collection':
+            return 'Add empty check: validate collection length before access';
+        case 'overflow':
+            return 'Add overflow protection: use BigInt or clamp values';
+        case 'invalid_state':
+            return 'Add state validation: check preconditions before state transition';
+        case 'race_condition':
+            return 'Add synchronization: use mutex or atomic operations';
+        default:
+            return 'Review the counterexample and add appropriate validation';
+    }
+}
+/**
+ * Define a property test.
+ *
+ * @example
+ * ```typescript
+ * const prop = defineProperty({
+ *   name: 'addition is commutative',
+ *   arbitraries: {
+ *     a: fc.integer(),
+ *     b: fc.integer(),
+ *   },
+ *   predicate: ({ a, b }) => a + b === b + a,
+ * });
+ * ```
+ */
+export function defineProperty(def) {
+    return def;
+}
+// ============================================================================
+// Runner
+// ============================================================================
+/**
+ * Run a single property test.
+ */
+function runProperty(prop, options) {
+    const start = Date.now();
+    // Create record arbitrary
+    const recordArbitrary = fc.record(prop.arbitraries);
+    try {
+        const checkParams = {
+            numRuns: options.numRuns,
+            verbose: options.verbose ? fc.VerbosityLevel.Verbose : fc.VerbosityLevel.None,
+            endOnFailure: options.endOnFailure,
+        };
+        if (options.seed !== undefined) {
+            checkParams.seed = options.seed;
+        }
+        const property = fc.property(recordArbitrary, (input) => {
+            return prop.predicate(input);
+        });
+        const result = fc.check(property, checkParams);
+        if (result.failed) {
+            const counterexampleValues = result.counterexample?.[0] ?? {};
+            const counterexample = {
+                values: counterexampleValues,
+                shrunk: (result.numShrinks ?? 0) > 0,
+                shrinkSteps: result.numShrinks ?? 0,
+                seed: result.seed,
+            };
+            const rootCause = classifyRootCause(result.error, counterexampleValues);
+            const analysis = {
+                failedAssertion: prop.name,
+                actual: result.error,
+                rootCause,
+                suggestedFix: suggestFix(rootCause, counterexampleValues),
+            };
+            return {
+                name: prop.name,
+                passed: false,
+                numRuns: result.numRuns,
+                counterexample,
+                analysis,
+                duration_ms: Date.now() - start,
+                error: String(result.error),
+            };
+        }
+        return {
+            name: prop.name,
+            passed: true,
+            numRuns: result.numRuns,
+            duration_ms: Date.now() - start,
+        };
+    }
+    catch (error) {
+        return {
+            name: prop.name,
+            passed: false,
+            numRuns: 0,
+            duration_ms: Date.now() - start,
+            error: String(error),
+        };
+    }
+}
+/**
+ * Run multiple property tests.
+ *
+ * @param properties - Array of property definitions
+ * @param options - Runner options
+ * @returns Combined result
+ *
+ * @example
+ * ```typescript
+ * import { runProperties, defineProperty } from '@invar/fc-runner';
+ *
+ * const props = [
+ *   defineProperty({
+ *     name: 'addition is commutative',
+ *     arbitraries: { a: fc.integer(), b: fc.integer() },
+ *     predicate: ({ a, b }) => a + b === b + a,
+ *   }),
+ * ];
+ *
+ * const result = runProperties(props, { numRuns: 1000 });
+ * console.log(`Passed: ${result.passed}`);
+ * ```
+ */
+export function runProperties(properties, options = {}) {
+    const opts = RunnerOptionsSchema.parse(options);
+    const start = Date.now();
+    const results = [];
+    for (const prop of properties) {
+        const result = runProperty(prop, opts);
+        results.push(result);
+        if (!result.passed && opts.endOnFailure) {
+            break;
+        }
+    }
+    const failed = results.filter(r => !r.passed).length;
+    return {
+        passed: failed === 0,
+        total: results.length,
+        failed,
+        duration_ms: Date.now() - start,
+        properties: results,
+        confidence: 'statistical',
+    };
+}
+// Re-export fast-check arbitraries for convenience
+export { fc };
+export default runProperties;
+//# sourceMappingURL=index.js.map

invar/node_tools/fc-runner/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,+EAA+E;AAC/E,UAAU;AACV,+EAA+E;AAE/E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,IAAI,CAAC;IACpC,oBAAoB,EAAO,8BAA8B;IACzD,gBAAgB,EAAW,wBAAwB;IACnD,eAAe,EAAW,6BAA6B;IACvD,gBAAgB,EAAU,mBAAmB;IAC7C,kBAAkB,EAAQ,4BAA4B;IACtD,UAAU,EAAgB,mBAAmB;IAC7C,eAAe,EAAW,0BAA0B;IACpD,gBAAgB,EAAU,2BAA2B;IACrD,SAAS,EAAiB,eAAe;CAC1C,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC7B,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;IACnB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC5B,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE;IAC3B,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC9B,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAChC,SAAS,EAAE,eAAe;IAC1B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;CACzB,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;IACnB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,cAAc,EAAE,oBAAoB,CAAC,QAAQ,EAAE;IAC/C,QAAQ,EAAE,qBAAqB,CAAC,QAAQ,EAAE;IAC1C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;IACnB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACzC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;CAClD,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC;IAChC,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IACnC,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;CACzC,CAAC,CAAC;AAIH,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E;;GAEG;AACH,SAAS,iBAAiB,CAAC,KAAc,EAAE,cAAuC;IAChF,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IAE7C,2BAA2B;IAC3B,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QACpG,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,wBAAwB;IACxB,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACxF,OAAO,eAAe,CAAC;IACzB,CAAC;IAED,4BAA4B;IAC5B,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3F,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IAED,qBAAqB;IACrB,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACnE,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,2CAA2C;IAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IAE7C,oBAAoB;IACpB,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QACzD,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IAED,2BAA2B;IAC3B,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,IAAI,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,OAAO,gBAAgB,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,kBAAkB;IAClB,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAClB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QAC9B,CAAC,KAAK,MAAM,CAAC,gBAAgB,IAAI,CAAC,KAAK,MAAM,CAAC,gBAAgB,CAC/D,EAAE,CAAC;QACF,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,SAAS,UAAU,CAAC,SAAoB,EAAE,eAAwC;IAChF,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,oBAAoB;YACvB,OAAO,iEAAiE,CAAC;QAC3E,KAAK,gBAAgB;YACnB,OAAO,mEAAmE,CAAC;QAC7E,KAAK,eAAe;YAClB,OAAO,4DAA4D,CAAC;QACtE,KAAK,gBAAgB;YACnB,OAAO,kEAAkE,CAAC;QAC5E,KAAK,kBAAkB;YACrB,OAAO,2DAA2D,CAAC;QACrE,KAAK,UAAU;YACb,OAAO,qDAAqD,CAAC;QAC/D,KAAK,eAAe;YAClB,OAAO,mEAAmE,CAAC;QAC7E,KAAK,gBAAgB;YACnB,OAAO,qDAAqD,CAAC;QAC/D;YACE,OAAO,0DAA0D,CAAC;IACtE,CAAC;AACH,CAAC;AAYD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,cAAc,CAC5B,GAA0B;IAE1B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+EAA+E;AAC/E,SAAS;AACT,+EAA+E;AAE/E;;GAEG;AACH,SAAS,WAAW,CAClB,IAA2B,EAC3B,OAAsB;IAEtB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAEzB,0BAA0B;IAC1B,MAAM,eAAe,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAEpD,IAAI,CAAC;QACH,MAAM,WAAW,GAA6B;YAC5C,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI;YAC7E,YAAY,EAAE,OAAO,CAAC,YAAY;SACnC,CAAC;QACF,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,WAAW,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAClC,CAAC;QACD,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,EAAE;YACtD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,WAAW,CAA6B,CAAC;QAE3E,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClB,MAAM,oBAAoB,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAA4B,IAAI,EAAE,CAAC;YAEzF,MAAM,cAAc,GAAmB;gBACrC,MAAM,EAAE,oBAAoB;gBAC5B,MAAM,EAAE,CAAC,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC;gBACpC,WAAW,EAAE,MAAM,CAAC,UAAU,IAAI,CAAC;gBACnC,IAAI,EAAE,MAAM,CAAC,IAAI;aAClB,CAAC;YAEF,MAAM,SAAS,GAAG,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;YAExE,MAAM,QAAQ,GAAoB;gBAChC,eAAe,EAAE,IAAI,CAAC,IAAI;gBAC1B,MAAM,EAAE,MAAM,CAAC,KAAK;gBACpB,SAAS;gBACT,YAAY,EAAE,UAAU,CAAC,SAAS,EAAE,oBAAoB,CAAC;aAC1D,CAAC;YAEF,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,cAAc;gBACd,QAAQ;gBACR,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;gBAC/B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;aAC5B,CAAC;QACJ,CAAC;QAED,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAChC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;YAC/B,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC;SACrB,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,aAAa,CAC3B,UAAyD,EACzD,UAAkC,EAAE;IAEpC,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,OAAO,GAAqB,EAAE,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAErB,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACxC,MAAM;QACR,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IAErD,OAAO;QACL,MAAM,EAAE,MAAM,KAAK,CAAC;QACpB,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,MAAM;QACN,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;QAC/B,UAAU,EAAE,OAAO;QACnB,UAAU,EAAE,aAAa;KAC1B,CAAC;AACJ,CAAC;AAED,mDAAmD;AACnD,OAAO,EAAE,EAAE,EAAE,CAAC;AAEd,eAAe,aAAa,CAAC"}