refactor(algorithms): move graph generation to graph-gen package

Mearman · Mearman · commit bcc881f7c1d7 · 2026-01-14T20:45:14.000Z
Move graph specification, analysis, and validation code from algorithms
to the new graph-gen package for better separation of concerns:
- graph-spec.ts: Type-safe graph property specifications
- graph-spec-analyzer.ts: Graph property computation (29+ axes)
- graph-spec-constraints.ts: Mathematical impossibility detection
- graph-generator.ts: Test fixture generation
- validation/: Graph validation logic and type checking

Also update import paths and remove export from algorithms index.
diff --git a/packages/algorithms/src/index.ts b/packages/algorithms/src/index.ts
@@ -2,8 +2,8 @@
  * Algorithms package main exports
  */
 
-// Graph property analysis
-export * from "./graph-spec-analyzer";
+// Graph property analysis (moved to @bibgraph/graph-gen)
+// export * from "./graph-spec-analyzer";
 
 // Core analysis algorithms
 export * from "./analysis/scc";
diff --git a/packages/graph-gen/src/graph-generator.ts b/packages/graph-gen/src/graph-generator.ts
diff --git a/packages/graph-gen/src/graph-spec-analyzer.ts b/packages/graph-gen/src/graph-spec-analyzer.ts
diff --git a/packages/graph-gen/src/graph-spec-constraints.ts b/packages/graph-gen/src/graph-spec-constraints.ts
@@ -1,4 +1,4 @@
-import type { GraphSpec } from '../__tests__/fixtures/graph-spec';
+import type { GraphSpec } from './graph-spec';
 
 /**
  * Mathematical impossibility in a graph specification.
diff --git a/packages/graph-gen/src/graph-spec.ts b/packages/graph-gen/src/graph-spec.ts
diff --git a/packages/graph-gen/src/validation/basic-validators.ts b/packages/graph-gen/src/validation/basic-validators.ts
@@ -1,5 +1,5 @@
-import type { GraphSpec } from "../../__tests__/fixtures/graph-spec";
-import type { TestGraph, TestNode, TestEdge } from "../../__tests__/fixtures/graph-generator";
+import type { GraphSpec } from "../graph-spec";
+import type { TestGraph, TestNode, TestEdge } from "../graph-generator";
 import { isConnected, buildAdjacencyList } from "./helper-functions";
 import type { PropertyValidationResult } from "./types";
 
diff --git a/packages/graph-gen/src/validation/coloring-validator.ts b/packages/graph-gen/src/validation/coloring-validator.ts
@@ -1,5 +1,5 @@
-import type { GraphSpec } from '../../__tests__/fixtures/graph-spec';
-import type { TestGraph, TestNode, TestEdge } from '../../__tests__/fixtures/graph-generator';
+import type { GraphSpec } from '../graph-spec';
+import type { TestGraph, TestNode, TestEdge } from '../graph-generator';
 import type { PropertyValidationResult } from './types';
 import { buildAdjacencyList } from './helper-functions';
 
diff --git a/packages/graph-gen/src/validation/connectivity-validators.ts b/packages/graph-gen/src/validation/connectivity-validators.ts
@@ -1,5 +1,5 @@
-import type { GraphSpec } from '../../__tests__/fixtures/graph-spec';
-import type { TestGraph, TestNode, TestEdge } from '../../__tests__/fixtures/graph-generator';
+import type { GraphSpec } from '../graph-spec';
+import type { TestGraph, TestNode, TestEdge } from '../graph-generator';
 import { isConnected } from './helper-functions';
 
 /**
diff --git a/packages/graph-gen/src/validation/degree-validators.ts b/packages/graph-gen/src/validation/degree-validators.ts
@@ -1,5 +1,5 @@
-import type { GraphSpec } from '../../__tests__/fixtures/graph-spec';
-import type { TestGraph, TestNode, TestEdge } from '../../__tests__/fixtures/graph-generator';
+import type { GraphSpec } from '../graph-spec';
+import type { TestGraph, TestNode, TestEdge } from '../graph-generator';
 
 /**
  * Validate regular graph properties (cubic or k-regular).
diff --git a/packages/graph-gen/src/validation/flow-validator.ts b/packages/graph-gen/src/validation/flow-validator.ts
@@ -1,4 +1,4 @@
-import type { TestGraph, TestEdge } from '../../__tests__/fixtures/graph-generator';
+import type { TestGraph, TestEdge } from '../graph-generator';
 import type { PropertyValidationResult } from './types';
 
 /**
diff --git a/packages/graph-gen/src/validation/helper-functions.ts b/packages/graph-gen/src/validation/helper-functions.ts
@@ -1,4 +1,4 @@
-import type { TestNode, TestEdge } from '../../__tests__/fixtures/graph-generator';
+import type { TestNode, TestEdge } from '../graph-generator';
 
 /**
  * Check if graph is connected using BFS.
diff --git a/packages/graph-gen/src/validation/index.ts b/packages/graph-gen/src/validation/index.ts
diff --git a/packages/graph-gen/src/validation/structural-validators.ts b/packages/graph-gen/src/validation/structural-validators.ts
@@ -1,5 +1,5 @@
-import type { GraphSpec } from '../../__tests__/fixtures/graph-spec';
-import type { TestGraph, TestNode, TestEdge } from '../../__tests__/fixtures/graph-generator';
+import type { GraphSpec } from '../graph-spec';
+import type { TestGraph, TestNode, TestEdge } from '../graph-generator';
 import type { PropertyValidationResult } from './types';
 import { findComponentsForDensity, checkBipartiteWithBFS, buildAdjacencyList } from './helper-functions';
 
diff --git a/packages/graph-gen/src/validation/treewidth-validator.ts b/packages/graph-gen/src/validation/treewidth-validator.ts
@@ -1,5 +1,5 @@
-import type { GraphSpec } from '../../__tests__/fixtures/graph-spec';
-import type { TestGraph, TestNode, TestEdge } from '../../__tests__/fixtures/graph-generator';
+import type { GraphSpec } from '../graph-spec';
+import type { TestGraph, TestNode, TestEdge } from '../graph-generator';
 import type { PropertyValidationResult } from './types';
 import { buildAdjacencyList } from './helper-functions';
 
diff --git a/packages/graph-gen/src/validation/types.ts b/packages/graph-gen/src/validation/types.ts

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-import type { GraphSpec } from '../__tests__/fixtures/graph-spec';`
	`1`	`+import type { GraphSpec } from './graph-spec';`
`2`	`2`
`3`	`3`	`/**`
`4`	`4`	`* Mathematical impossibility in a graph specification.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-import type { TestGraph, TestEdge } from '../../__tests__/fixtures/graph-generator';`
	`1`	`+import type { TestGraph, TestEdge } from '../graph-generator';`
`2`	`2`	`import type { PropertyValidationResult } from './types';`
`3`	`3`
`4`	`4`	`/**`