graphbox 1.2.2 → 1.3.0

package/dist/validation/forbidden-subgraph-helpers.d.ts

@@ -0,0 +1,45 @@
+/**
+ * Helper algorithms for forbidden subgraph validation
+ *
+ * Implements complex graph class detection algorithms:
+ * - Asteroidal triple detection (AT-free)
+ * - House and hole detection (HH-free)
+ * - Distance hereditary checking
+ */
+/**
+ * Check if three vertices form an asteroidal triple.
+ * An asteroidal triple is a set of three vertices such that for each pair,
+ * there exists a path connecting them that avoids the neighborhood of the third.
+ *
+ * @param adjacency - Graph adjacency list
+ * @param v1 - First vertex
+ * @param v2 - Second vertex
+ * @param v3 - Third vertex
+ * @returns true if {v1, v2, v3} is an asteroidal triple
+ */
+export declare const hasAsteroidalTriple: (adjacency: Map<number, Set<number>>, v1: number, v2: number, v3: number) => boolean;
+/**
+ * Check if graph contains an induced cycle of length k.
+ *
+ * @param adjacency - Graph adjacency list
+ * @param vertexSet - All vertices in graph
+ * @param k - Cycle length to detect
+ * @returns true if induced k-cycle exists
+ */
+export declare const hasInducedCycle: (adjacency: Map<number, Set<number>>, vertexSet: Set<number>, k: number) => boolean;
+/**
+ * Check if graph is distance hereditary.
+ * A graph is distance hereditary if the distance between any two vertices
+ * is the same in every connected induced subgraph containing them.
+ *
+ * This implementation uses the forbidden subgraph characterization:
+ * Distance-hereditary graphs are exactly the graphs with no induced house,
+ * hole (cycle of length >= 5), domino, or gem.
+ *
+ * @param adjacency - Graph adjacency list
+ * @param vertexSet - All vertices in graph
+ * @param _vertexSet
+ * @returns true if graph is distance hereditary
+ */
+export declare const isDistanceHereditary: (adjacency: Map<number, Set<number>>, _vertexSet: Set<number>) => boolean;
+//# sourceMappingURL=forbidden-subgraph-helpers.d.ts.map

package/dist/validation/forbidden-subgraph-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"forbidden-subgraph-helpers.d.ts","sourceRoot":"","sources":["../../src/validation/forbidden-subgraph-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAqDH;;;;;;;;;;GAUG;AACH,eAAO,MAAM,mBAAmB,GAC/B,WAAW,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EACnC,IAAI,MAAM,EACV,IAAI,MAAM,EACV,IAAI,MAAM,KACR,OAyBF,CAAC;AAqDF;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,GAC3B,WAAW,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EACnC,WAAW,GAAG,CAAC,MAAM,CAAC,EACtB,GAAG,MAAM,KACP,OA8DF,CAAC;AA2BF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,oBAAoB,GAChC,WAAW,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EACnC,YAAY,GAAG,CAAC,MAAM,CAAC,KACrB,OAOF,CAAC"}

package/dist/validation/forbidden-subgraph.d.ts

@@ -0,0 +1,66 @@
+import { TestGraph } from '../generation/generators/types.js';
+import { PropertyValidationResult } from './types.js';
+/**
+ * Validate P5Free property.
+ * Contains no induced path on 5 vertices
+ *
+ * @param graph - Test graph to validate
+ * @param _adjustments - Optional validation adjustments
+ * @returns PropertyValidationResult for validation details
+ */
+export declare const validateP5Free: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+/**
+ * Validate C5Free property.
+ * Contains no induced cycle on 5 vertices
+ *
+ * @param graph - Test graph to validate
+ * @param _adjustments - Optional validation adjustments
+ * @returns PropertyValidationResult for validation details
+ */
+export declare const validateC5Free: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+/**
+ * Validate BullFree property.
+ * Contains no induced bull graph
+ *
+ * @param graph - Test graph to validate
+ * @param _adjustments - Optional validation adjustments
+ * @returns PropertyValidationResult for validation details
+ */
+export declare const validateBullFree: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+/**
+ * Validate GemFree property.
+ * Contains no induced gem graph
+ *
+ * @param graph - Test graph to validate
+ * @param _adjustments - Optional validation adjustments
+ * @returns PropertyValidationResult for validation details
+ */
+export declare const validateGemFree: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+/**
+ * Validate ATFree property.
+ * No asteroidal triple of vertices
+ *
+ * @param graph - Test graph to validate
+ * @param _adjustments - Optional validation adjustments
+ * @returns PropertyValidationResult for validation details
+ */
+export declare const validateATFree: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+/**
+ * Validate HHFree property.
+ * No induced house or hole (cycle of length >= 5)
+ *
+ * @param graph - Test graph to validate
+ * @param _adjustments - Optional validation adjustments
+ * @returns PropertyValidationResult for validation details
+ */
+export declare const validateHHFree: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+/**
+ * Validate DistanceHereditary property.
+ * Distances preserved in all connected induced subgraphs
+ *
+ * @param graph - Test graph to validate
+ * @param _adjustments - Optional validation adjustments
+ * @returns PropertyValidationResult for validation details
+ */
+export declare const validateDistanceHereditary: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+//# sourceMappingURL=forbidden-subgraph.d.ts.map

package/dist/validation/forbidden-subgraph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"forbidden-subgraph.d.ts","sourceRoot":"","sources":["../../src/validation/forbidden-subgraph.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AAMnE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAE3D;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,GAC1B,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBA2CF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,GAC1B,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBAyCF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,GAC5B,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBAyCF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,GAC3B,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBAyCF,CAAC;AAIF;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,GAC1B,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBA6DF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,GAC1B,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBA4DF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,GACtC,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBAiDF,CAAC"}

package/dist/validation/index.d.ts

@@ -23,4 +23,8 @@ export { validateKEdgeConnected, validateKVertexConnected } from './connectivity
 export { findMaxCliqueSize, validateTreewidth } from './treewidth-validator';
 export { greedyColoring, validateKColorable } from './coloring-validator';
 export { validateFlowNetwork } from './flow-validator';
+export { validateATFree, validateBullFree, validateC5Free, validateDistanceHereditary, validateGemFree, validateHHFree, validateP5Free, } from './forbidden-subgraph';
+export { validateCircularArc, validateProperCircularArc, } from './intersection';
+export { validateProbeChordal, validateProbeInterval, } from './probe';
+export { validateModular as validateModularClass, validatePtolemaic, validateQuasiLine, } from './perfect-variants';
 //# sourceMappingURL=index.d.ts.map

package/dist/validation/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,YAAY,EAAE,qBAAqB,EAAC,wBAAwB,EAAE,MAAM,SAAS,CAAC;AAM9E,OAAO,EACN,oBAAoB,EACpB,cAAc,EACd,sBAAsB,EACtB,wBAAwB,EACxB,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EAAC,MAAM,oBAAoB,CAAC;AAG9C,OAAO,EACN,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,MAAM,YAAY,CAAC;AACpB,OAAO,EACN,cAAc,EACd,gBAAgB,EAAC,MAAM,aAAa,CAAC;AACtC,OAAO,EACN,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,mBAAmB,EAAC,MAAM,aAAa,CAAC;AACzC,OAAO,EACN,iBAAiB,EACjB,4BAA4B,EAC5B,MAAM,SAAS,CAAC;AACjB,OAAO,EACN,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAAC,MAAM,WAAW,CAAC;AACtC,OAAO,EACN,qBAAqB,EACrB,gBAAgB,EAChB,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EAAC,MAAM,cAAc,CAAC;AACxC,OAAO,EACN,wBAAwB,EACxB,4BAA4B,EAC5B,qBAAqB,EACrB,qBAAqB,EAAC,MAAM,WAAW,CAAC;AACzC,OAAO,EACN,iBAAiB,EACjB,iBAAiB,EAAC,MAAM,cAAc,CAAC;AACxC,OAAO,EACN,6BAA6B,EAC7B,sBAAsB,EACtB,gBAAgB,EAAC,MAAM,YAAY,CAAC;AACrC,OAAO,EACN,iBAAiB,EACjB,8BAA8B,EAC9B,kBAAkB,EAClB,MAAM,cAAc,CAAC;AACtB,OAAO,EACN,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,qBAAqB,EACrB,gBAAgB,EAChB,eAAe,EACf,mBAAmB,EACnB,aAAa,EAAC,MAAM,oBAAoB,CAAC;AAC1C,OAAO,EACN,qBAAqB,EACrB,sBAAsB,EACtB,YAAY,EACZ,yBAAyB,EACzB,uBAAuB,EACvB,iBAAiB,EACjB,wBAAwB,EAAC,MAAM,YAAY,CAAC;AAG7C,OAAO,EACN,gBAAgB,EAChB,oBAAoB,EAAC,MAAM,qBAAqB,CAAC;AAGlD,OAAO,EACN,sBAAsB,EACtB,wBAAwB,EAAC,MAAM,2BAA2B,CAAC;AAG5D,OAAO,EACN,iBAAiB,EACjB,iBAAiB,EAAC,MAAM,uBAAuB,CAAC;AAGjD,OAAO,EACN,cAAc,EACd,kBAAkB,EAAC,MAAM,sBAAsB,CAAC;AAGjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,YAAY,EAAE,qBAAqB,EAAC,wBAAwB,EAAE,MAAM,SAAS,CAAC;AAM9E,OAAO,EACN,oBAAoB,EACpB,cAAc,EACd,sBAAsB,EACtB,wBAAwB,EACxB,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EAAC,MAAM,oBAAoB,CAAC;AAG9C,OAAO,EACN,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,MAAM,YAAY,CAAC;AACpB,OAAO,EACN,cAAc,EACd,gBAAgB,EAAC,MAAM,aAAa,CAAC;AACtC,OAAO,EACN,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,mBAAmB,EAAC,MAAM,aAAa,CAAC;AACzC,OAAO,EACN,iBAAiB,EACjB,4BAA4B,EAC5B,MAAM,SAAS,CAAC;AACjB,OAAO,EACN,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAAC,MAAM,WAAW,CAAC;AACtC,OAAO,EACN,qBAAqB,EACrB,gBAAgB,EAChB,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EAAC,MAAM,cAAc,CAAC;AACxC,OAAO,EACN,wBAAwB,EACxB,4BAA4B,EAC5B,qBAAqB,EACrB,qBAAqB,EAAC,MAAM,WAAW,CAAC;AACzC,OAAO,EACN,iBAAiB,EACjB,iBAAiB,EAAC,MAAM,cAAc,CAAC;AACxC,OAAO,EACN,6BAA6B,EAC7B,sBAAsB,EACtB,gBAAgB,EAAC,MAAM,YAAY,CAAC;AACrC,OAAO,EACN,iBAAiB,EACjB,8BAA8B,EAC9B,kBAAkB,EAClB,MAAM,cAAc,CAAC;AACtB,OAAO,EACN,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,qBAAqB,EACrB,gBAAgB,EAChB,eAAe,EACf,mBAAmB,EACnB,aAAa,EAAC,MAAM,oBAAoB,CAAC;AAC1C,OAAO,EACN,qBAAqB,EACrB,sBAAsB,EACtB,YAAY,EACZ,yBAAyB,EACzB,uBAAuB,EACvB,iBAAiB,EACjB,wBAAwB,EAAC,MAAM,YAAY,CAAC;AAG7C,OAAO,EACN,gBAAgB,EAChB,oBAAoB,EAAC,MAAM,qBAAqB,CAAC;AAGlD,OAAO,EACN,sBAAsB,EACtB,wBAAwB,EAAC,MAAM,2BAA2B,CAAC;AAG5D,OAAO,EACN,iBAAiB,EACjB,iBAAiB,EAAC,MAAM,uBAAuB,CAAC;AAGjD,OAAO,EACN,cAAc,EACd,kBAAkB,EAAC,MAAM,sBAAsB,CAAC;AAGjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAOvD,OAAO,EACN,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,0BAA0B,EAC1B,eAAe,EACf,cAAc,EACd,cAAc,GACd,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACN,mBAAmB,EACnB,yBAAyB,GACzB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACN,oBAAoB,EACpB,qBAAqB,GACrB,MAAM,SAAS,CAAC;AAGjB,OAAO,EACN,eAAe,IAAI,oBAAoB,EACvC,iBAAiB,EACjB,iBAAiB,GACjB,MAAM,oBAAoB,CAAC"}

package/dist/validation/intersection.d.ts

@@ -0,0 +1,17 @@
+import { TestGraph } from '../generation/generators/types.js';
+import { PropertyValidationResult } from './types.js';
+/**
+ * Validate CircularArc property.
+ * Intersection graph of arcs on a circle
+ * @param graph
+ * @param _adjustments
+ */
+export declare const validateCircularArc: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+/**
+ * Validate ProperCircularArc property.
+ * Circular arc graph with no arc containment
+ * @param graph
+ * @param _adjustments
+ */
+export declare const validateProperCircularArc: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+//# sourceMappingURL=intersection.d.ts.map

package/dist/validation/intersection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersection.d.ts","sourceRoot":"","sources":["../../src/validation/intersection.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAuK3D;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAC/B,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBAgDF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,GACrC,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBAgDF,CAAC"}

package/dist/validation/network.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"network.d.ts","sourceRoot":"","sources":["../../src/validation/network.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAA;AAC/D,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,SAAS,CAAC;AAMxD;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,SAAS,KAAG,wBAmEpD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAAI,OAAO,SAAS,KAAG,wBA4DrD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAAI,OAAO,SAAS,KAAG,wBAuDlD,CAAC"}
+{"version":3,"file":"network.d.ts","sourceRoot":"","sources":["../../src/validation/network.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAA;AAC/D,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,SAAS,CAAC;AAiGxD;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,SAAS,KAAG,wBA6FpD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAAI,OAAO,SAAS,KAAG,wBA8DrD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAAI,OAAO,SAAS,KAAG,wBAiFlD,CAAC"}

package/dist/validation/perfect-variants.d.ts

@@ -0,0 +1,30 @@
+import { TestGraph } from '../generation/generators/types.js';
+import { PropertyValidationResult } from './types.js';
+/**
+ * Validate Modular property.
+ * Every module is trivial
+ *
+ * @param graph - Test graph to validate
+ * @param _adjustments - Optional validation adjustments
+ * @returns PropertyValidationResult for validation details
+ */
+export declare const validateModular: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+/**
+ * Validate Ptolemaic property.
+ * Distance hereditary and chordal
+ *
+ * @param graph - Test graph to validate
+ * @param _adjustments - Optional validation adjustments
+ * @returns PropertyValidationResult for validation details
+ */
+export declare const validatePtolemaic: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+/**
+ * Validate QuasiLine property.
+ * No induced gem, no co-gem
+ *
+ * @param graph - Test graph to validate
+ * @param _adjustments - Optional validation adjustments
+ * @returns PropertyValidationResult for validation details
+ */
+export declare const validateQuasiLine: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+//# sourceMappingURL=perfect-variants.d.ts.map

package/dist/validation/perfect-variants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"perfect-variants.d.ts","sourceRoot":"","sources":["../../src/validation/perfect-variants.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AAEnE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAE3D;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,GAC3B,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBAwCF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,GAC7B,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBAwCF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,GAC7B,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBAwCF,CAAC"}

package/dist/validation/perfect-variants.unit.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Unit tests for perfect variant graph class validators
+ */
+export {};
+//# sourceMappingURL=perfect-variants.unit.test.d.ts.map

package/dist/validation/perfect-variants.unit.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"perfect-variants.unit.test.d.ts","sourceRoot":"","sources":["../../src/validation/perfect-variants.unit.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/validation/probe.d.ts

@@ -0,0 +1,17 @@
+import { TestGraph } from '../generation/generators/types.js';
+import { PropertyValidationResult } from './types.js';
+/**
+ * Validate ProbeChordal property.
+ * Vertices partitioned into probes and non-probes, can add edges among non-probes to make chordal
+ * @param graph
+ * @param _adjustments
+ */
+export declare const validateProbeChordal: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+/**
+ * Validate ProbeInterval property.
+ * Can add edges among non-probes to form interval graph
+ * @param graph
+ * @param _adjustments
+ */
+export declare const validateProbeInterval: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+//# sourceMappingURL=probe.d.ts.map

package/dist/validation/probe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"probe.d.ts","sourceRoot":"","sources":["../../src/validation/probe.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AA0D3D;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,GAChC,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBA8EF,CAAC;AA4JF;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GACjC,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBAmDF,CAAC"}

package/dist/validation/structural-class.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"structural-class.d.ts","sourceRoot":"","sources":["../../src/validation/structural-class.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAG,MAAM,gCAAgC,CAAA;AAQhE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,SAAS,CAAC;AAMxD;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,GAAI,OAAO,SAAS,KAAG,wBAmIhD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAAI,OAAO,SAAS,KAAG,wBAuDlD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,SAAS,KAAG,wBAyEnD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAAI,OAAO,SAAS,KAAG,wBA8DlD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,SAAS,KAAG,wBA+EnD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAAI,OAAO,SAAS,KAAG,wBAyEtD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAAI,OAAO,SAAS,KAAG,wBAsExD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAAI,OAAO,SAAS,KAAG,wBAwDlD,CAAC"}
+{"version":3,"file":"structural-class.d.ts","sourceRoot":"","sources":["../../src/validation/structural-class.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAG,MAAM,gCAAgC,CAAA;AAQhE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,SAAS,CAAC;AAMxD;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,GAAI,OAAO,SAAS,KAAG,wBAmIhD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAAI,OAAO,SAAS,KAAG,wBAuDlD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,SAAS,KAAG,wBAyEnD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAAI,OAAO,SAAS,KAAG,wBA8DlD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,SAAS,KAAG,wBA+EnD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAAI,OAAO,SAAS,KAAG,wBA4EtD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAAI,OAAO,SAAS,KAAG,wBAyExD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAAI,OAAO,SAAS,KAAG,wBA2DlD,CAAC"}

package/dist/validation/symmetry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symmetry.d.ts","sourceRoot":"","sources":["../../src/validation/symmetry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAA;AAC/D,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,SAAS,CAAC;AAMxD;;;;GAIG;AACH,eAAO,MAAM,YAAY,GAAI,OAAO,SAAS,KAAG,wBA4E/C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GAAI,OAAO,SAAS,KAAG,wBA6D5D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,SAAS,KAAG,wBAuDpD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAAI,OAAO,SAAS,KAAG,wBAiG1D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GAAI,OAAO,SAAS,KAAG,wBAqG3D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GAAI,OAAO,SAAS,KAAG,wBAsDzD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAAI,OAAO,SAAS,KAAG,wBA2ExD,CAAC"}
+{"version":3,"file":"symmetry.d.ts","sourceRoot":"","sources":["../../src/validation/symmetry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAA;AAC/D,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,SAAS,CAAC;AAMxD;;;;GAIG;AACH,eAAO,MAAM,YAAY,GAAI,OAAO,SAAS,KAAG,wBA4E/C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GAAI,OAAO,SAAS,KAAG,wBA4F5D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,SAAS,KAAG,wBAuDpD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,GAAI,OAAO,SAAS,KAAG,wBAiG1D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GAAI,OAAO,SAAS,KAAG,wBAqG3D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GAAI,OAAO,SAAS,KAAG,wBAsDzD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAAI,OAAO,SAAS,KAAG,wBA2ExD,CAAC"}

package/dist/validation/width.d.ts

@@ -0,0 +1,27 @@
+import { TestGraph } from '../generation/generators/types.js';
+import { PropertyValidationResult } from './types.js';
+/**
+ * Validate Pathwidth property.
+ * Pathwidth at most k
+ *
+ * For small graphs (<=10 nodes), analyze and compare with spec.
+ * For large graphs, skip validation (assume generator is correct).
+ *
+ * @param graph - Test graph to validate
+ * @param _adjustments - Optional validation adjustments
+ * @returns PropertyValidationResult for validation details
+ */
+export declare const validatePathwidth: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+/**
+ * Validate Cliquewidth property.
+ * Cliquewidth at most k
+ *
+ * For small graphs (<=10 nodes), analyze and compare with spec.
+ * For large graphs, skip validation (assume generator is correct).
+ *
+ * @param graph - Test graph to validate
+ * @param _adjustments - Optional validation adjustments
+ * @returns PropertyValidationResult for validation details
+ */
+export declare const validateCliquewidth: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
+//# sourceMappingURL=width.d.ts.map

package/dist/validation/width.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"width.d.ts","sourceRoot":"","sources":["../../src/validation/width.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AAEnE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAE3D;;;;;;;;;;GAUG;AACH,eAAO,MAAM,iBAAiB,GAC7B,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBAwCF,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,mBAAmB,GAC/B,OAAO,SAAS,EAChB,eAAc,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,KACjD,wBAwCF,CAAC"}

package/dist/validation/width.unit.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Unit tests for width graph class validators
+ */
+export {};
+//# sourceMappingURL=width.unit.test.d.ts.map

package/dist/validation/width.unit.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"width.unit.test.d.ts","sourceRoot":"","sources":["../../src/validation/width.unit.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "graphbox",
-  "version": "1.2.2",
+  "version": "1.3.0",
   "description": "Graph Sandbox + Graph Toolbox: Abstract and experimental graph algorithms for academic research",
   "packageManager": "pnpm@10.27.0",
   "type": "module",
@@ -35,10 +35,25 @@
     "url": "https://github.com/Mearman/GraphBox/issues"
   },
   "homepage": "https://github.com/Mearman/GraphBox#readme",
+  "lint-staged": {
+    "*.{ts,tsx}": "eslint --fix",
+    "src/**/*.{ts,tsx}": "typecheck-files"
+  },
   "scripts": {
     "typecheck": "tsc --noEmit",
     "lint": "eslint src --fix",
     "test": "vitest run --coverage",
+    "test:coverage": "vitest run --coverage",
+    "test:mutation": "stryker run",
+    "test:quality": "pnpm run test:coverage && pnpm run test:mutation",
+    "test:exp": "NODE_OPTIONS=\"--max-old-space-size=8192\" npx tsx scripts/run-tap.ts",
+    "test:tap": "NODE_OPTIONS=\"--max-old-space-size=8192\" npx tsx scripts/run-tap.ts",
+    "test:metrics": "NODE_OPTIONS=\"--max-old-space-size=8192\" npx tsx scripts/run-tap.ts --metrics",
+    "gen:csv": "tsx scripts/export-csv.ts",
+    "update:thesis-tables": "pnpm test:metrics && pnpm gen:csv",
+    "parse-tap": "tsx scripts/parse-tap-results.ts test-results.tap",
+    "parse-tap:json": "tsx scripts/parse-tap-results.ts test-results.tap --format json --output tap-results.json",
+    "parse-tap:csv": "tsx scripts/parse-tap-results.ts test-results.tap --format csv --output tap-metrics.csv",
     "build": "vite build && BUILD_TARGET=cli vite build",
     "validate": "turbo run build",
     "prepare": "husky"
@@ -62,6 +77,9 @@
     "@eslint/js": "^9.39.2",
     "@semantic-release/changelog": "^6.0.3",
     "@semantic-release/git": "^10.0.1",
+    "@stryker-mutator/core": "9.4.0",
+    "@stryker-mutator/typescript-checker": "9.4.0",
+    "@stryker-mutator/vitest-runner": "9.4.0",
     "@stylistic/eslint-plugin": "^5.7.0",
     "@types/node": "^25.0.9",
     "@vitest/coverage-v8": "^4.0.17",
@@ -80,18 +98,23 @@
     "eslint-plugin-sonarjs": "^3.0.5",
     "eslint-plugin-unicorn": "^62.0.0",
     "eslint-plugin-unused-imports": "^4.3.0",
+    "fast-check": "4.5.3",
     "globals": "^17.0.0",
     "husky": "^9.1.7",
     "jiti": "^2.6.1",
+    "lint-staged": "16.2.7",
     "semantic-release": "^25.0.2",
     "turbo": "^2.7.5",
+    "typecheck-files": "1.0.3",
     "typescript": "5.9.3",
     "typescript-eslint": "^8.53.0",
     "vite": "7.3.1",
     "vite-plugin-dts": "^4.5.4",
+    "vite-tsconfig-paths": "^6.0.4",
     "vitest": "4.0.17"
   },
   "dependencies": {
-    "fflate": "^0.8.2"
+    "fflate": "^0.8.2",
+    "ppef": "1.2.0"
   }
 }