graphbox 1.2.2 → 1.3.0

package/dist/generation/generators/forbidden-subgraph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"forbidden-subgraph.d.ts","sourceRoot":"","sources":["../../../src/generation/generators/forbidden-subgraph.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAOH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAuDnE;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,GAC/B,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IA6CF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,GAC/B,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IAuCF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,GACjC,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IAmCF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,oBAAoB,GAChC,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IA8BF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,GAC/B,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IAoCF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,GAC/B,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IAOF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,+BAA+B,GAC3C,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IAgCF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,0BAA0B,GACtC,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IASF,CAAC"}

package/dist/generation/generators/geometric.d.ts

@@ -10,6 +10,16 @@ import { SeededRandom, TestEdge, TestNode } from './types';
  * @param rng
  */
 export declare const generateUnitDiskEdges: (nodes: TestNode[], edges: TestEdge[], spec: GraphSpec, rng: SeededRandom) => void;
+/**
+ * Generate disk graph edges.
+ * Disk graphs are created by placing points in a plane and connecting
+ * points within a specified distance (disk radius).
+ * @param nodes
+ * @param edges
+ * @param spec
+ * @param rng
+ */
+export declare const generateDiskEdges: (nodes: TestNode[], edges: TestEdge[], spec: GraphSpec, rng: SeededRandom) => void;
 /**
  * Generate planar graph edges.
  * Planar graphs can be drawn in the plane without edge crossings.

package/dist/generation/generators/geometric.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"geometric.d.ts","sourceRoot":"","sources":["../../../src/generation/generators/geometric.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,KAAK,EAAE,YAAY,EAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAE/D;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,GAAI,OAAO,QAAQ,EAAE,EAAE,OAAO,QAAQ,EAAE,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IAgChH,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,GAAI,OAAO,QAAQ,EAAE,EAAE,OAAO,QAAQ,EAAE,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IAoC9G,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,OAAO,GAAI,OAAO,QAAQ,EAAE,EAAE,QAAQ,MAAM,EAAE,QAAQ,MAAM,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IAS/G,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,GAAI,OAAO,QAAQ,EAAE,EAAE,QAAQ,MAAM,EAAE,QAAQ,MAAM,KAAG,OAK3E,CAAC"}
+{"version":3,"file":"geometric.d.ts","sourceRoot":"","sources":["../../../src/generation/generators/geometric.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,KAAK,EAAE,YAAY,EAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAE/D;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,GAAI,OAAO,QAAQ,EAAE,EAAE,OAAO,QAAQ,EAAE,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IAgChH,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,QAAQ,EAAE,EAAE,OAAO,QAAQ,EAAE,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IAkC5G,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,GAAI,OAAO,QAAQ,EAAE,EAAE,OAAO,QAAQ,EAAE,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IAoC9G,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,OAAO,GAAI,OAAO,QAAQ,EAAE,EAAE,QAAQ,MAAM,EAAE,QAAQ,MAAM,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IAS/G,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,GAAI,OAAO,QAAQ,EAAE,EAAE,QAAQ,MAAM,EAAE,QAAQ,MAAM,KAAG,OAK3E,CAAC"}

package/dist/generation/generators/intersection.d.ts

@@ -0,0 +1,21 @@
+import { GraphSpec } from '../spec.js';
+import { SeededRandom, TestEdge, TestNode } from './types.js';
+/**
+ * Generate CircularArc edges.
+ * Intersection graph of arcs on a circle
+ * @param nodes
+ * @param edges
+ * @param spec
+ * @param rng
+ */
+export declare const generateCircularArcEdges: (nodes: TestNode[], edges: TestEdge[], spec: GraphSpec, rng: SeededRandom) => void;
+/**
+ * Generate ProperCircularArc edges.
+ * Circular arc graph with no arc containment
+ * @param nodes
+ * @param edges
+ * @param spec
+ * @param rng
+ */
+export declare const generateProperCircularArcEdges: (nodes: TestNode[], edges: TestEdge[], spec: GraphSpec, rng: SeededRandom) => void;
+//# sourceMappingURL=intersection.d.ts.map

package/dist/generation/generators/intersection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersection.d.ts","sourceRoot":"","sources":["../../../src/generation/generators/intersection.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAuBnE;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,GACpC,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IAmCF,CAAC;AAyCF;;;;;;;GAOG;AACH,eAAO,MAAM,8BAA8B,GAC1C,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IAyCF,CAAC"}

package/dist/generation/generators/invariants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"invariants.d.ts","sourceRoot":"","sources":["../../../src/generation/generators/invariants.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,KAAK,EAAE,QAAQ,EAAC,QAAQ,EAAE,MAAM,SAAS,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAqBvC;;;;;;;GAOG;AACH,eAAO,MAAM,4BAA4B,GAAI,OAAO,QAAQ,EAAE,EAAE,OAAO,QAAQ,EAAE,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IAoCvH,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,+BAA+B,GAAI,OAAO,QAAQ,EAAE,EAAE,OAAO,QAAQ,EAAE,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IA8C1H,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,wBAAwB,GAAI,OAAO,QAAQ,EAAE,EAAE,OAAO,QAAQ,EAAE,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IAkDnH,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,6BAA6B,GAAI,OAAO,QAAQ,EAAE,EAAE,OAAO,QAAQ,EAAE,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IA4CxH,CAAC"}
+{"version":3,"file":"invariants.d.ts","sourceRoot":"","sources":["../../../src/generation/generators/invariants.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,KAAK,EAAE,QAAQ,EAAC,QAAQ,EAAE,MAAM,SAAS,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAqBvC;;;;;;;GAOG;AACH,eAAO,MAAM,4BAA4B,GAAI,OAAO,QAAQ,EAAE,EAAE,OAAO,QAAQ,EAAE,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IAsDvH,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,+BAA+B,GAAI,OAAO,QAAQ,EAAE,EAAE,OAAO,QAAQ,EAAE,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IA8C1H,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,wBAAwB,GAAI,OAAO,QAAQ,EAAE,EAAE,OAAO,QAAQ,EAAE,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IAkDnH,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,6BAA6B,GAAI,OAAO,QAAQ,EAAE,EAAE,OAAO,QAAQ,EAAE,EAAE,MAAM,SAAS,EAAE,KAAK,YAAY,KAAG,IA4CxH,CAAC"}

package/dist/generation/generators/perfect-variants.d.ts

@@ -0,0 +1,49 @@
+import { GraphSpec } from '../spec.js';
+import { SeededRandom, TestEdge, TestNode } from './types.js';
+/**
+ * Generate Modular edges.
+ * Modular graphs have no twin vertices (no two vertices with identical external neighborhoods).
+ *
+ * Generates paths or caterpillar trees to ensure no twins:
+ * - Paths: Each vertex has unique position and degree
+ * - Caterpillar trees: Main path with leaves attached asymmetrically
+ *
+ * @param nodes - Graph nodes
+ * @param edges - Edge list to populate
+ * @param spec - Graph specification
+ * @param rng - Seeded random number generator
+ */
+export declare const generateModularEdges: (nodes: TestNode[], edges: TestEdge[], spec: GraphSpec, rng: SeededRandom) => void;
+/**
+ * Generate Ptolemaic edges using block graph construction.
+ * Ptolemaic graphs are chordal and distance-hereditary.
+ * Block graphs (trees of cliques) satisfy both properties.
+ *
+ * Construction:
+ * - Partition nodes into cliques (blocks)
+ * - Connect blocks in a tree structure
+ * - Each block is a complete subgraph
+ *
+ * @param nodes - Graph nodes
+ * @param edges - Edge list to populate
+ * @param spec - Graph specification
+ * @param rng - Seeded random number generator
+ * @param _rng
+ */
+export declare const generatePtolemaicEdges: (nodes: TestNode[], edges: TestEdge[], spec: GraphSpec, _rng: SeededRandom) => void;
+/**
+ * Generate QuasiLine edges.
+ * Quasi-line graphs are either line graphs or complete bipartite.
+ * We use a 60/40 mix favoring line graphs.
+ *
+ * Construction:
+ * - 60% chance: Generate a line graph (graph of a base graph's edges)
+ * - 40% chance: Generate complete bipartite K_{m,n}
+ *
+ * @param nodes - Graph nodes
+ * @param edges - Edge list to populate
+ * @param spec - Graph specification
+ * @param rng - Seeded random number generator
+ */
+export declare const generateQuasiLineEdges: (nodes: TestNode[], edges: TestEdge[], spec: GraphSpec, rng: SeededRandom) => void;
+//# sourceMappingURL=perfect-variants.d.ts.map

package/dist/generation/generators/perfect-variants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"perfect-variants.d.ts","sourceRoot":"","sources":["../../../src/generation/generators/perfect-variants.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAC,QAAQ,EAAC,QAAQ,EAAG,MAAM,YAAY,CAAC;AAElE;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,oBAAoB,GAChC,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IA4CF,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,sBAAsB,GAClC,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,MAAM,YAAY,KAChB,IAmBF,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,sBAAsB,GAClC,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IAiDF,CAAC"}

package/dist/generation/generators/probe.d.ts

@@ -0,0 +1,19 @@
+import { GraphSpec } from '../spec.js';
+import { SeededRandom, TestEdge, TestNode } from './types.js';
+/**
+ * Generate ProbeChordal edges.
+ * @param nodes
+ * @param edges
+ * @param spec
+ * @param rng
+ */
+export declare const generateProbeChordalEdges: (nodes: TestNode[], edges: TestEdge[], spec: GraphSpec, rng: SeededRandom) => void;
+/**
+ * Generate ProbeInterval edges.
+ * @param nodes
+ * @param edges
+ * @param spec
+ * @param rng
+ */
+export declare const generateProbeIntervalEdges: (nodes: TestNode[], edges: TestEdge[], spec: GraphSpec, rng: SeededRandom) => void;
+//# sourceMappingURL=probe.d.ts.map

package/dist/generation/generators/probe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"probe.d.ts","sourceRoot":"","sources":["../../../src/generation/generators/probe.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAiBnE;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,GACrC,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IA4BF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,0BAA0B,GACtC,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IA2BF,CAAC"}

package/dist/generation/generators/structural.d.ts

@@ -0,0 +1,11 @@
+/**
+ * structural Graph Class Generators
+ *
+ * AUTO-GENERATED by scripts/codegen/generate-graph-classes.ts
+ * DO NOT EDIT MANUALLY
+ *
+ * @generated 2026-01-18T16:10:41.828Z
+ */
+/** Sentinel constant indicating this module is loaded. */
+export declare const STRUCTURAL_MODULE = true;
+//# sourceMappingURL=structural.d.ts.map

package/dist/generation/generators/structural.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural.d.ts","sourceRoot":"","sources":["../../../src/generation/generators/structural.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,0DAA0D;AAC1D,eAAO,MAAM,iBAAiB,OAAO,CAAC"}

package/dist/generation/generators/width.d.ts

@@ -0,0 +1,37 @@
+import { GraphSpec } from '../spec.js';
+import { SeededRandom, TestEdge, TestNode } from './types.js';
+/**
+ * Generate Pathwidth edges using tree or outerplanar construction.
+ * Trees have pathwidth 1, outerplanar graphs have pathwidth at most 2.
+ *
+ * Construction:
+ * - 50% chance: Generate a tree (pathwidth 1)
+ * - 50% chance: Generate an outerplanar graph (pathwidth ≤ 2)
+ *
+ * Trees are generated using random tree construction.
+ * Outerplanar graphs are generated as triangulated outerplanar graphs.
+ *
+ * @param nodes - Graph nodes
+ * @param edges - Edge list to populate
+ * @param spec - Graph specification
+ * @param rng - Seeded random number generator
+ */
+export declare const generatePathwidthEdges: (nodes: TestNode[], edges: TestEdge[], spec: GraphSpec, rng: SeededRandom) => void;
+/**
+ * Generate Cliquewidth edges using cograph or tree construction.
+ * Cographs have clique-width ≤ 2, trees have clique-width ≤ 3.
+ *
+ * Construction:
+ * - 60% chance: Generate a cograph (clique-width ≤ 2)
+ * - 40% chance: Generate a tree (clique-width ≤ 3)
+ *
+ * Cographs use recursive join/union operations.
+ * Trees use random parent assignment.
+ *
+ * @param nodes - Graph nodes
+ * @param edges - Edge list to populate
+ * @param spec - Graph specification
+ * @param rng - Seeded random number generator
+ */
+export declare const generateCliquewidthEdges: (nodes: TestNode[], edges: TestEdge[], spec: GraphSpec, rng: SeededRandom) => void;
+//# sourceMappingURL=width.d.ts.map

package/dist/generation/generators/width.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"width.d.ts","sourceRoot":"","sources":["../../../src/generation/generators/width.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAC,QAAQ,EAAC,QAAQ,EAAG,MAAM,YAAY,CAAC;AAElE;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,sBAAsB,GAClC,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IAgDF,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,wBAAwB,GACpC,OAAO,QAAQ,EAAE,EACjB,OAAO,QAAQ,EAAE,EACjB,MAAM,SAAS,EACf,KAAK,YAAY,KACf,IA8CF,CAAC"}

package/dist/generation/graph-validator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"graph-validator.d.ts","sourceRoot":"","sources":["../../src/generation/graph-validator.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,KAAK,qBAAqB,EA8DR,MAAM,eAAe,CAAC;AAEzC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C;;;GAGG;AACH,eAAO,MAAM,uBAAuB,GAAI,OAAO,SAAS,KAAG,qBA4F1D,CAAC"}
+{"version":3,"file":"graph-validator.d.ts","sourceRoot":"","sources":["../../src/generation/graph-validator.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,KAAK,qBAAqB,EA8E1B,MAAM,eAAe,CAAC;AAEvB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C;;;GAGG;AACH,eAAO,MAAM,uBAAuB,GAAI,OAAO,SAAS,KAAG,qBA0I1D,CAAC"}

package/dist/generation/spec/core.d.ts

@@ -14,6 +14,10 @@ export type Weighting = {
     kind: "unweighted";
 } | {
     kind: "weighted_numeric";
+} | {
+    kind: "weighted_vector";
+} | {
+    kind: "valued_symbolic";
 };
 /** Cycle presence property */
 export type Cycles = {

package/dist/generation/spec/core.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/core.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAMH,8BAA8B;AAC9B,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC;AAE3B,8BAA8B;AAC9B,MAAM,MAAM,SAAS,GACjB;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GACtB;IAAE,IAAI,EAAE,kBAAkB,CAAA;CAAE,CAAC;AAEjC,8BAA8B;AAC9B,MAAM,MAAM,MAAM,GACd;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAE/B,4BAA4B;AAC5B,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,wCAAwC;AACxC,MAAM,MAAM,iBAAiB,GACzB;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,GACvB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,oDAAoD;AACpD,MAAM,MAAM,gBAAgB,GACxB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtB,oCAAoC;AACpC,MAAM,MAAM,SAAS,GACjB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC;AAE3B,0CAA0C;AAC1C,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,kCAAkC;AAClC,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC"}
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/core.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAMH,8BAA8B;AAC9B,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC;AAE3B,8BAA8B;AAC9B,MAAM,MAAM,SAAS,GACjB;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GACtB;IAAE,IAAI,EAAE,kBAAkB,CAAA;CAAE,GAC5B;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,GAC3B;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,CAAC;AAEhC,8BAA8B;AAC9B,MAAM,MAAM,MAAM,GACd;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAE/B,4BAA4B;AAC5B,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,wCAAwC;AACxC,MAAM,MAAM,iBAAiB,GACzB;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,GACvB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,oDAAoD;AACpD,MAAM,MAAM,gBAAgB,GACxB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtB,oCAAoC;AACpC,MAAM,MAAM,SAAS,GACjB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC;AAE3B,0CAA0C;AAC1C,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,kCAAkC;AAClC,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC"}

package/dist/generation/spec/forbidden-subgraph.d.ts

@@ -0,0 +1,89 @@
+/**
+ * forbidden_subgraph Graph Class Type Definitions
+ *
+ * AUTO-GENERATED by scripts/codegen/generate-graph-classes.ts
+ * DO NOT EDIT MANUALLY
+ *
+ * @generated 2026-01-18T16:10:41.823Z
+ */
+/**
+ * Contains no induced path on 5 vertices
+ */
+export type P5Free = {
+    kind: "p5_free";
+} | {
+    kind: "has_p5";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * Contains no induced cycle on 5 vertices
+ */
+export type C5Free = {
+    kind: "c5_free";
+} | {
+    kind: "has_c5";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * Contains no induced bull graph
+ */
+export type BullFree = {
+    kind: "bull_free";
+} | {
+    kind: "has_bull";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * Contains no induced gem graph
+ */
+export type GemFree = {
+    kind: "gem_free";
+} | {
+    kind: "has_gem";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * No hole or antihole of length 5 or more
+ */
+export type WeaklyChordal = {
+    kind: "weakly_chordal";
+} | {
+    kind: "has_hole_or_antihole";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * No asteroidal triple of vertices
+ */
+export type ATFree = {
+    kind: "at_free";
+} | {
+    kind: "has_asteroidal_triple";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * No induced house or hole
+ */
+export type HHFree = {
+    kind: "hh_free";
+} | {
+    kind: "has_house_or_hole";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * Distances preserved in all connected induced subgraphs
+ */
+export type DistanceHereditary = {
+    kind: "distance_hereditary";
+} | {
+    kind: "not_distance_hereditary";
+} | {
+    kind: "unconstrained";
+};
+//# sourceMappingURL=forbidden-subgraph.d.ts.map

package/dist/generation/spec/forbidden-subgraph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"forbidden-subgraph.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/forbidden-subgraph.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE1F;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE1F;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAEhG;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE7F;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,sBAAsB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAEtH;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,uBAAuB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAEzG;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,mBAAmB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAErG;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,yBAAyB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC"}

package/dist/generation/spec/geometric.d.ts

@@ -1,19 +1,25 @@
 /**
- * Geometric and Topological Properties
+ * geometric Graph Class Type Definitions
  *
- * Properties related to geometric constraints and planarity.
+ * AUTO-GENERATED by scripts/codegen/generate-graph-classes.ts
+ * DO NOT EDIT MANUALLY
+ *
+ * @generated 2026-01-18T16:10:41.827Z
  */
-/** Unit disk graph property (geometric constraint) */
-export type UnitDisk = {
-    kind: "unit_disk";
-    unitRadius?: number;
-    spaceSize?: number;
+/**
+ * Can be drawn in plane without edge crossings
+ */
+export type Planar = {
+    kind: "planar";
 } | {
-    kind: "not_unit_disk";
+    kind: "nonplanar";
 } | {
     kind: "unconstrained";
 };
-/** Planar graph property (K5/K3,3-free) */
+/**
+ * Backward compatibility alias for Planar
+ * @deprecated Use Planar instead
+ */
 export type Planarity = {
     kind: "planar";
 } | {
@@ -21,4 +27,17 @@ export type Planarity = {
 } | {
     kind: "unconstrained";
 };
+/**
+ * Unit disk graph property
+ * Graph formed by unit disks in the plane
+ */
+export type UnitDisk = {
+    kind: "unit_disk";
+    unitRadius?: number;
+    spaceSize?: number;
+} | {
+    kind: "not_unit_disk";
+} | {
+    kind: "unconstrained";
+};
 //# sourceMappingURL=geometric.d.ts.map

package/dist/generation/spec/geometric.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"geometric.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/geometric.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAMH,sDAAsD;AACtD,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,GACzB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,2CAA2C;AAC3C,MAAM,MAAM,SAAS,GACjB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GACtB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC"}
+{"version":3,"file":"geometric.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/geometric.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE5F;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAEhG;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,GACzB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC"}

package/dist/generation/spec/index.d.ts

@@ -10,7 +10,7 @@ export type { TestEdge, TestGraph, TestNode } from './test';
 export type { Completeness, Connectivity, Cycles, Density, Directionality, EdgeMultiplicity, SchemaHomogeneity, SelfLoops, Weighting, } from './core.js';
 export type { DegreeConstraint, EdgeArity, EdgeData, EdgeOrdering, Embedding, Layering, MeasureSemantics, Observability, OperationalSemantics, Partiteness, Ports, Rooting, Signedness, Temporal, Uncertainty, VertexCardinality, VertexData, VertexIdentity, VertexOrdering, } from './advanced.js';
 export type { CommunityStructure, ScaleFree, SmallWorld, } from './network.js';
-export type { Planarity, UnitDisk, } from './geometric.js';
+export type { Planar, UnitDisk, } from './geometric.js';
 export type { Hamiltonian, Traceable, } from './path-cycle.js';
 export type { ClawFree, Cograph, Line, Perfect, Split, Threshold, } from './structural.js';
 export type { Cubic, SpecificRegular, StronglyRegular, } from './regularity.js';

package/dist/generation/spec/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAC,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAG3D,YAAY,EACX,YAAY,EACZ,YAAY,EACZ,MAAM,EACN,OAAO,EACP,cAAc,EACd,gBAAgB,EAChB,iBAAiB,EACjB,SAAS,EACT,SAAS,GACT,MAAM,WAAW,CAAC;AAGnB,YAAY,EACX,gBAAgB,EAChB,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,gBAAgB,EAChB,aAAa,EACb,oBAAoB,EACpB,WAAW,EACX,KAAK,EACL,OAAO,EACP,UAAU,EACV,QAAQ,EACR,WAAW,EACX,iBAAiB,EACjB,UAAU,EACV,cAAc,EACd,cAAc,GACd,MAAM,eAAe,CAAC;AAGvB,YAAY,EACX,kBAAkB,EAClB,SAAS,EACT,UAAU,GACV,MAAM,cAAc,CAAC;AAGtB,YAAY,EACX,SAAS,EACT,QAAQ,GACR,MAAM,gBAAgB,CAAC;AAGxB,YAAY,EACX,WAAW,EACX,SAAS,GACT,MAAM,iBAAiB,CAAC;AAGzB,YAAY,EACX,QAAQ,EACR,OAAO,EACP,IAAI,EACJ,OAAO,EACP,KAAK,EACL,SAAS,GACT,MAAM,iBAAiB,CAAC;AAGzB,YAAY,EACX,KAAK,EACL,eAAe,EACf,eAAe,GACf,MAAM,iBAAiB,CAAC;AAGzB,YAAY,EACX,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,gBAAgB,GAChB,MAAM,eAAe,CAAC;AAGvB,YAAY,EACX,aAAa,EACb,QAAQ,EACR,KAAK,EACL,MAAM,GACN,MAAM,cAAc,CAAC;AAGtB,YAAY,EACX,qBAAqB,EACrB,gBAAgB,EAChB,eAAe,EACf,kBAAkB,EAClB,cAAc,EACd,QAAQ,EACR,WAAW,GACX,MAAM,iBAAiB,CAAC;AAGzB,YAAY,EACX,UAAU,EACV,WAAW,EACX,IAAI,EACJ,gBAAgB,EAChB,OAAO,EACP,eAAe,EACf,aAAa,EACb,iBAAiB,EACjB,QAAQ,EACR,WAAW,EACX,IAAI,EACJ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,cAAc,EACd,gBAAgB,EAChB,oBAAoB,EACpB,SAAS,EACT,UAAU,EACV,eAAe,EACf,WAAW,EACX,SAAS,EACT,YAAY,EACZ,IAAI,EACJ,aAAa,EACb,aAAa,EACb,oBAAoB,EACpB,QAAQ,EACR,SAAS,EACT,UAAU,EACV,SAAS,EACT,KAAK,GACL,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAC,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAG3D,YAAY,EACX,YAAY,EACZ,YAAY,EACZ,MAAM,EACN,OAAO,EACP,cAAc,EACd,gBAAgB,EAChB,iBAAiB,EACjB,SAAS,EACT,SAAS,GACT,MAAM,WAAW,CAAC;AAGnB,YAAY,EACX,gBAAgB,EAChB,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,gBAAgB,EAChB,aAAa,EACb,oBAAoB,EACpB,WAAW,EACX,KAAK,EACL,OAAO,EACP,UAAU,EACV,QAAQ,EACR,WAAW,EACX,iBAAiB,EACjB,UAAU,EACV,cAAc,EACd,cAAc,GACd,MAAM,eAAe,CAAC;AAGvB,YAAY,EACX,kBAAkB,EAClB,SAAS,EACT,UAAU,GACV,MAAM,cAAc,CAAC;AAGtB,YAAY,EACX,MAAM,EACN,QAAQ,GACR,MAAM,gBAAgB,CAAC;AAGxB,YAAY,EACX,WAAW,EACX,SAAS,GACT,MAAM,iBAAiB,CAAC;AAGzB,YAAY,EACX,QAAQ,EACR,OAAO,EACP,IAAI,EACJ,OAAO,EACP,KAAK,EACL,SAAS,GACT,MAAM,iBAAiB,CAAC;AAGzB,YAAY,EACX,KAAK,EACL,eAAe,EACf,eAAe,GACf,MAAM,iBAAiB,CAAC;AAGzB,YAAY,EACX,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,gBAAgB,GAChB,MAAM,eAAe,CAAC;AAGvB,YAAY,EACX,aAAa,EACb,QAAQ,EACR,KAAK,EACL,MAAM,GACN,MAAM,cAAc,CAAC;AAGtB,YAAY,EACX,qBAAqB,EACrB,gBAAgB,EAChB,eAAe,EACf,kBAAkB,EAClB,cAAc,EACd,QAAQ,EACR,WAAW,GACX,MAAM,iBAAiB,CAAC;AAGzB,YAAY,EACX,UAAU,EACV,WAAW,EACX,IAAI,EACJ,gBAAgB,EAChB,OAAO,EACP,eAAe,EACf,aAAa,EACb,iBAAiB,EACjB,QAAQ,EACR,WAAW,EACX,IAAI,EACJ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,cAAc,EACd,gBAAgB,EAChB,oBAAoB,EACpB,SAAS,EACT,UAAU,EACV,eAAe,EACf,WAAW,EACX,SAAS,EACT,YAAY,EACZ,IAAI,EACJ,aAAa,EACb,aAAa,EACb,oBAAoB,EACpB,QAAQ,EACR,SAAS,EACT,UAAU,EACV,SAAS,EACT,KAAK,GACL,MAAM,eAAe,CAAC"}

package/dist/generation/spec/intersection.d.ts

@@ -0,0 +1,49 @@
+/**
+ * intersection Graph Class Type Definitions
+ *
+ * AUTO-GENERATED by scripts/codegen/generate-graph-classes.ts
+ * DO NOT EDIT MANUALLY
+ *
+ * @generated 2026-01-18T16:10:41.825Z
+ */
+/**
+ * Intersection graph of arcs on a circle
+ */
+export type CircularArc = {
+    kind: "circular_arc";
+} | {
+    kind: "not_circular_arc";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * Circular arc graph with no arc containment
+ */
+export type ProperCircularArc = {
+    kind: "proper_circular_arc";
+} | {
+    kind: "not_proper_circular_arc";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * Intersection graph of disks in the plane
+ */
+export type Disk = {
+    kind: "disk";
+} | {
+    kind: "not_disk";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * Intersection graph of unit disks in the plane
+ */
+export type UnitDisk = {
+    kind: "unit_disk";
+} | {
+    kind: "not_unit_disk";
+} | {
+    kind: "unconstrained";
+};
+//# sourceMappingURL=intersection.d.ts.map

package/dist/generation/spec/intersection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersection.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/intersection.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,kBAAkB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9G;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,yBAAyB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAElI;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAEvF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC"}

package/dist/generation/spec/new-classes-index.d.ts

@@ -0,0 +1,15 @@
+/**
+ * New Graph Class Specifications
+ *
+ * Exports all 200+ new graph class type definitions.
+ * AUTO-GENERATED by scripts/codegen/generate-graph-classes.ts
+ *
+ * @generated 2026-01-18
+ */
+export type { ATFree, BullFree, C5Free, DistanceHereditary, GemFree, HHFree, P5Free, } from './forbidden-subgraph.js';
+export type { CircularArc, Disk, ProperCircularArc } from './intersection.js';
+export type { ProbeChordal, ProbeInterval } from './probe.js';
+export type { Cliquewidth, Pathwidth } from './width.js';
+export type { Modular, Ptolemaic, QuasiLine } from './perfect-variants.js';
+export type { Planar } from './geometric.js';
+//# sourceMappingURL=new-classes-index.d.ts.map

package/dist/generation/spec/new-classes-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"new-classes-index.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/new-classes-index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,YAAY,EACX,MAAM,EACN,QAAQ,EACR,MAAM,EACN,kBAAkB,EAClB,OAAO,EACP,MAAM,EACN,MAAM,GACN,MAAM,yBAAyB,CAAC;AAKjC,YAAY,EAAE,WAAW,EAAE,IAAI,EAAC,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAI7E,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAG9D,YAAY,EAAE,WAAW,EAAC,SAAS,EAAE,MAAM,YAAY,CAAC;AAIxD,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAG3E,YAAY,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/generation/spec/perfect-variants.d.ts

@@ -0,0 +1,39 @@
+/**
+ * perfect_variants Graph Class Type Definitions
+ *
+ * AUTO-GENERATED by scripts/codegen/generate-graph-classes.ts
+ * DO NOT EDIT MANUALLY
+ *
+ * @generated 2026-01-18T16:10:41.827Z
+ */
+/**
+ * Every module is trivial
+ */
+export type Modular = {
+    kind: "modular";
+} | {
+    kind: "not_modular";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * Distance hereditary and chordal
+ */
+export type Ptolemaic = {
+    kind: "ptolemaic";
+} | {
+    kind: "not_ptolemaic";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * No induced gem, no co-gem
+ */
+export type QuasiLine = {
+    kind: "quasi_line";
+} | {
+    kind: "not_quasi_line";
+} | {
+    kind: "unconstrained";
+};
+//# sourceMappingURL=perfect-variants.d.ts.map

package/dist/generation/spec/perfect-variants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"perfect-variants.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/perfect-variants.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAEhG;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAEtG;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC"}

package/dist/generation/spec/probe.d.ts

@@ -0,0 +1,29 @@
+/**
+ * probe Graph Class Type Definitions
+ *
+ * AUTO-GENERATED by scripts/codegen/generate-graph-classes.ts
+ * DO NOT EDIT MANUALLY
+ *
+ * @generated 2026-01-18T16:10:41.826Z
+ */
+/**
+ * Vertices partitioned into probes and non-probes, can add edges among non-probes to make chordal
+ */
+export type ProbeChordal = {
+    kind: "probe_chordal";
+} | {
+    kind: "not_probe_chordal";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * Can add edges among non-probes to form interval graph
+ */
+export type ProbeInterval = {
+    kind: "probe_interval";
+} | {
+    kind: "not_probe_interval";
+} | {
+    kind: "unconstrained";
+};
+//# sourceMappingURL=probe.d.ts.map

package/dist/generation/spec/probe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"probe.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/probe.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,mBAAmB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAEjH;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,oBAAoB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC"}

package/dist/generation/spec/structural.d.ts

@@ -1,7 +1,10 @@
 /**
  * Structural Graph Classes
  *
- * Properties defining specific structural classes of graphs.
+ * AUTO-GENERATED by scripts/codegen/generate-graph-classes.ts
+ * DO NOT EDIT MANUALLY
+ *
+ * @generated 2026-01-18T16:10:41.828Z
  */
 /** Perfect graph property (ω(H) = χ(H) for all induced subgraphs) */
 export type Perfect = {
@@ -51,4 +54,12 @@ export type ClawFree = {
 } | {
     kind: "unconstrained";
 };
+/** No hole or antihole of length >= 5 */
+export type WeaklyChordal = {
+    kind: "weakly_chordal";
+} | {
+    kind: "has_hole_or_antihole";
+} | {
+    kind: "unconstrained";
+};
 //# sourceMappingURL=structural.d.ts.map

package/dist/generation/spec/structural.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"structural.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/structural.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAMH,qEAAqE;AACrE,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,gEAAgE;AAChE,MAAM,MAAM,KAAK,GACb;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,0EAA0E;AAC1E,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,GACvB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,iDAAiD;AACjD,MAAM,MAAM,SAAS,GACjB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,GACzB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,0BAA0B;AAC1B,MAAM,MAAM,IAAI,GACZ;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GACtB;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAC1B;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,oDAAoD;AACpD,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC"}
+{"version":3,"file":"structural.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/structural.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH,qEAAqE;AACrE,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,gEAAgE;AAChE,MAAM,MAAM,KAAK,GACb;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,0EAA0E;AAC1E,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,GACvB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,iDAAiD;AACjD,MAAM,MAAM,SAAS,GACjB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,GACzB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,0BAA0B;AAC1B,MAAM,MAAM,IAAI,GACZ;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GACtB;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAC1B;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAE9B,oDAAoD;AACpD,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAM9B,yCAAyC;AACzC,MAAM,MAAM,aAAa,GAAG;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,sBAAsB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC"}

package/dist/generation/spec/width.d.ts

@@ -0,0 +1,29 @@
+/**
+ * width Graph Class Type Definitions
+ *
+ * AUTO-GENERATED by scripts/codegen/generate-graph-classes.ts
+ * DO NOT EDIT MANUALLY
+ *
+ * @generated 2026-01-18T16:10:41.826Z
+ */
+/**
+ * Pathwidth at most k
+ */
+export type Pathwidth = {
+    kind: "pathwidth_bounded";
+} | {
+    kind: "pathwidth_unbounded";
+} | {
+    kind: "unconstrained";
+};
+/**
+ * Cliquewidth at most k
+ */
+export type Cliquewidth = {
+    kind: "cliquewidth_bounded";
+} | {
+    kind: "cliquewidth_unbounded";
+} | {
+    kind: "unconstrained";
+};
+//# sourceMappingURL=width.d.ts.map

package/dist/generation/spec/width.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"width.d.ts","sourceRoot":"","sources":["../../../src/generation/spec/width.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG;IAAE,IAAI,EAAE,mBAAmB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAEpH;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,uBAAuB,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC"}