Update package.json to include license and keywords, modify formatting scripts to use oxfmt, and ensure consistency in pnpm-workspace.yaml. Refactor README for improved clarity and conciseness. Enhance vitest.config.ts and CI workflow with format check step. Clean up code formatting across various files for better readability.

Author: phpnode

.github/workflows/ci.yml

@@ -35,6 +35,9 @@ jobs:
       - name: Lint
         run: pnpm run lint
 
+      - name: Format check
+        run: pnpm run format:check
+
       - name: Build
         run: pnpm run build
 

.oxfmtrc.json

@@ -0,0 +1,4 @@
+{
+  "$schema": "./node_modules/oxfmt/configuration_schema.json",
+  "ignorePatterns": ["**/grammar.js", "**/grammar.d.ts"]
+}

README.md

@@ -68,9 +68,7 @@ const bob = graph.addVertex("Person", { name: "Bob", age: 25 });
 graph.addEdge(alice, "knows", bob, {});
 
 // 4. Query with Cypher
-const results = graph.query(
-  "MATCH (a:Person)-[:knows]->(b:Person) RETURN a.name, b.name",
-);
+const results = graph.query("MATCH (a:Person)-[:knows]->(b:Person) RETURN a.name, b.name");
 // [{ a: { name: "Alice" }, b: { name: "Bob" } }]
 ```
 
@@ -286,7 +284,7 @@ pnpm install
 | `pnpm typecheck`     | Type-check all packages                    |
 | `pnpm lint`          | Lint with oxlint                           |
 | `pnpm lint:fix`      | Lint and auto-fix                          |
-| `pnpm format`        | Format with Prettier                       |
+| `pnpm format`        | Format with oxfmt                          |
 | `pnpm format:check`  | Check formatting                           |
 
 ### Package-level commands

package.json

@@ -1,7 +1,10 @@
 {
   "name": "@codemix/graph-monorepo",
   "version": "1.0.0",
+  "private": true,
   "description": "The codemix graph database monorepo",
+  "keywords": [],
+  "license": "MIT",
   "workspaces": [
     "packages/*"
   ],
@@ -12,16 +15,13 @@
     "test:coverage": "vitest run --coverage",
     "lint": "oxlint --ignore-pattern '**/grammar.js' .",
     "lint:fix": "pnpm run lint --fix",
-    "format": "prettier --write .",
-    "format:check": "prettier --check ."
+    "format": "oxfmt --write .",
+    "format:check": "oxfmt --check ."
   },
-  "keywords": [],
-  "license": "MIT",
-  "private": true,
   "devDependencies": {
     "@vitest/coverage-istanbul": "catalog:",
-    "oxlint": "^1.59.0",
     "oxfmt": "^0.44.0",
+    "oxlint": "^1.59.0",
     "typescript": "catalog:",
     "vitest": "catalog:"
   }

packages/graph/README.md

@@ -66,12 +66,7 @@ pnpm add @codemix/graph
 ## Quick Start
 
 ```ts
-import {
-  Graph,
-  GraphSchema,
-  InMemoryGraphStorage,
-  GraphTraversal,
-} from "@codemix/graph";
+import { Graph, GraphSchema, InMemoryGraphStorage, GraphTraversal } from "@codemix/graph";
 import * as v from "valibot"; // any Standard Schema library
 
 const schema = {
@@ -229,12 +224,7 @@ graph.deleteEdge(edge);
 Use `parseQueryToSteps` to compile a Cypher string and get back executable steps plus a result mapper:
 
 ```ts
-import {
-  Graph,
-  InMemoryGraphStorage,
-  parseQueryToSteps,
-  GraphTraversal,
-} from "@codemix/graph";
+import { Graph, InMemoryGraphStorage, parseQueryToSteps, GraphTraversal } from "@codemix/graph";
 
 const { steps, postprocess } = parseQueryToSteps(
   "MATCH (p:Person)-[:ACTED_IN]->(m:Movie) WHERE p.name = $name RETURN p.name, m.title",
@@ -377,12 +367,7 @@ g.V()
 ### Labeling and Selection
 
 ```ts
-g.V()
-  .hasLabel("Person")
-  .as("actor")
-  .out("ACTED_IN")
-  .as("movie")
-  .select("actor", "movie");
+g.V().hasLabel("Person").as("actor").out("ACTED_IN").as("movie").select("actor", "movie");
 // yields { actor: TraversalPath, movie: TraversalPath }
 ```
 
@@ -510,11 +495,7 @@ Duplicate inserts into a unique-indexed property throw `UniqueConstraintViolatio
 **Server side:**
 
 ```ts
-import {
-  Graph,
-  InMemoryGraphStorage,
-  handleAsyncCommand,
-} from "@codemix/graph";
+import { Graph, InMemoryGraphStorage, handleAsyncCommand } from "@codemix/graph";
 
 const graph = new Graph({ schema, storage: new InMemoryGraphStorage() });
 
@@ -553,12 +534,7 @@ for await (const path of remote.query((g) => g.V().hasLabel("Person"))) {
 Implement the `GraphStorage` interface to plug in any backend:
 
 ```ts
-import {
-  GraphStorage,
-  StoredVertex,
-  StoredEdge,
-  ElementId,
-} from "@codemix/graph";
+import { GraphStorage, StoredVertex, StoredEdge, ElementId } from "@codemix/graph";
 
 class MyStorage implements GraphStorage {
   getVertexById(id: ElementId): StoredVertex | undefined {
@@ -612,10 +588,7 @@ const graph = new Graph({ schema, storage: new MyStorage() });
 Generate a human (or LLM) readable description of the query language and your schema for use in prompts or documentation:
 
 ```ts
-import {
-  generateGrammarDescription,
-  generateSchemaGuide,
-} from "@codemix/graph";
+import { generateGrammarDescription, generateSchemaGuide } from "@codemix/graph";
 
 // Language grammar description (schema-agnostic)
 const grammar = generateGrammarDescription();

packages/graph/package.json

@@ -2,7 +2,9 @@
   "name": "@codemix/graph",
   "version": "0.0.1",
   "description": "The codemix graph database.",
+  "license": "MIT",
   "type": "module",
+  "types": "./dist/index.d.ts",
   "exports": {
     ".": {
       "import": {
@@ -11,23 +13,21 @@
       }
     }
   },
-  "types": "./dist/index.d.ts",
-  "license": "MIT",
   "scripts": {
     "build": "pnpm run build:grammar && tsc",
     "build:grammar": "peggy --format es src/grammar.peggy -o src/grammar.js --dts --return-types '{\"MultiStatement\": \"import('\\''./AST.js'\\'').Query | import('\\''./AST.js'\\'').UnionQuery | import('\\''./AST.js'\\'').MultiStatement\", \"CypherStatement\": \"import('\\''./AST.js'\\'').Query | import('\\''./AST.js'\\'').UnionQuery\"}' && mkdir -p dist && cp src/grammar.* dist",
     "typecheck": "tsc --noEmit",
     "test": "vitest",
     "test:coverage": "vitest run --coverage"
   },
-  "devDependencies": {
-    "@vitest/coverage-istanbul": "catalog:",
-    "vitest": "catalog:",
-    "typescript": "catalog:",
-    "peggy": "^5.1.0"
-  },
   "dependencies": {
     "@codemix/text-search": "workspace:*",
     "@standard-schema/spec": "^1.1.0"
+  },
+  "devDependencies": {
+    "@vitest/coverage-istanbul": "catalog:",
+    "peggy": "^5.1.0",
+    "typescript": "catalog:",
+    "vitest": "catalog:"
   }
 }

packages/graph/scripts/tck-audit.ts

@@ -119,22 +119,16 @@ function extractSkippedTests(filePath: string): SkippedTest[] {
       const fullTestName = match[1];
       // Extract reason after the last " - "
       const lastDashIndex = fullTestName.lastIndexOf(" - ");
-      const skipReason =
-        lastDashIndex > 0 ? fullTestName.slice(lastDashIndex + 3) : "";
-      const testName =
-        lastDashIndex > 0 ? fullTestName.slice(0, lastDashIndex) : fullTestName;
+      const skipReason = lastDashIndex > 0 ? fullTestName.slice(lastDashIndex + 3) : "";
+      const testName = lastDashIndex > 0 ? fullTestName.slice(0, lastDashIndex) : fullTestName;
 
       // Categorize
       let category: "design" | "now_working" | "unknown" = "unknown";
 
       const reasonLower = skipReason.toLowerCase();
-      if (
-        DESIGN_EXCLUSIONS.some((d) => reasonLower.includes(d.toLowerCase()))
-      ) {
+      if (DESIGN_EXCLUSIONS.some((d) => reasonLower.includes(d.toLowerCase()))) {
         category = "design";
-      } else if (
-        NOW_WORKING_PATTERNS.some((p) => reasonLower.includes(p.toLowerCase()))
-      ) {
+      } else if (NOW_WORKING_PATTERNS.some((p) => reasonLower.includes(p.toLowerCase()))) {
         category = "now_working";
       }
 
@@ -180,10 +174,7 @@ function tryRunTest(test: SkippedTest): TestResult {
   try {
     // Run just this test file with a filter for this specific test
     const testPattern = test.testName.replace(/[[\]()]/g, "\\$&");
-    const relativePath = path.relative(
-      path.join(import.meta.dirname, ".."),
-      test.file,
-    );
+    const relativePath = path.relative(path.join(import.meta.dirname, ".."), test.file);
 
     const result = spawnSync(
       "npx",
@@ -250,10 +241,7 @@ function applyUnskips(results: TestResult[]): void {
 /**
  * Generate markdown report
  */
-function generateReport(
-  skippedTests: SkippedTest[],
-  results: TestResult[],
-): string {
+function generateReport(skippedTests: SkippedTest[], results: TestResult[]): string {
   const lines: string[] = [];
 
   lines.push("# TCK Audit Results");
@@ -292,9 +280,7 @@ function generateReport(
   // Design exclusions
   lines.push("## Design Exclusions (Will Not Be Fixed)");
   lines.push("");
-  lines.push(
-    "These tests require features that conflict with design decisions:",
-  );
+  lines.push("These tests require features that conflict with design decisions:");
   lines.push("");
   for (const test of design.slice(0, 20)) {
     const relPath = path.relative(TCK_DIR, test.file);
@@ -308,9 +294,7 @@ function generateReport(
   // Now working candidates
   lines.push('## Candidates: Citing "Now Working" Features');
   lines.push("");
-  lines.push(
-    "These tests cite features that are now implemented. They should be verified:",
-  );
+  lines.push("These tests cite features that are now implemented. They should be verified:");
   lines.push("");
   for (const test of nowWorking.slice(0, 30)) {
     const relPath = path.relative(TCK_DIR, test.file);
@@ -327,9 +311,7 @@ function generateReport(
     lines.push("");
     for (const result of passed) {
       const relPath = path.relative(TCK_DIR, result.test.file);
-      lines.push(
-        `- \`${relPath}:${result.test.lineNumber}\`: ${result.test.testName}`,
-      );
+      lines.push(`- \`${relPath}:${result.test.lineNumber}\`: ${result.test.testName}`);
     }
     lines.push("");
   }
@@ -382,15 +364,11 @@ async function main(): Promise<void> {
     allSkipped.push(...extractSkippedTests(file));
   }
   console.log(`Found ${allSkipped.length} skipped tests`);
-  console.log(
-    `  - Design exclusions: ${allSkipped.filter((t) => t.category === "design").length}`,
-  );
+  console.log(`  - Design exclusions: ${allSkipped.filter((t) => t.category === "design").length}`);
   console.log(
     `  - Now working candidates: ${allSkipped.filter((t) => t.category === "now_working").length}`,
   );
-  console.log(
-    `  - Unknown: ${allSkipped.filter((t) => t.category === "unknown").length}`,
-  );
+  console.log(`  - Unknown: ${allSkipped.filter((t) => t.category === "unknown").length}`);
   console.log("");
 
   let results: TestResult[] = [];

packages/graph/src/AST.ts

@@ -196,10 +196,7 @@ export interface CreateChainPattern {
   elements: CreateChainElement[];
 }
 
-export type CreateChainElement =
-  | CreateNodePattern
-  | CreateVariableRef
-  | CreateEdgePattern;
+export type CreateChainElement = CreateNodePattern | CreateVariableRef | CreateEdgePattern;
 
 export interface CreateEdgePattern {
   type: "CreateEdgePattern";
@@ -346,11 +343,7 @@ export interface ForeachClause {
   operations: ForeachOperation[];
 }
 
-export type ListExpression =
-  | PropertyAccess
-  | ListLiteralExpr
-  | FunctionCall
-  | VariableRef;
+export type ListExpression = PropertyAccess | ListLiteralExpr | FunctionCall | VariableRef;
 
 export interface PropertyAccess {
   type: "PropertyAccess";
@@ -501,10 +494,7 @@ export interface MultiPattern {
   patterns: Pattern[];
 }
 
-export type PatternElement =
-  | NodePattern
-  | EdgePattern
-  | ParenthesizedPathPattern;
+export type PatternElement = NodePattern | EdgePattern | ParenthesizedPathPattern;
 
 export interface NodePattern {
   type: "NodePattern";
@@ -529,11 +519,7 @@ export interface NestedMap {
  * Parameter references (e.g., $name) are resolved at query execution time.
  * Nested maps allow object-valued properties like {schema: {type: "string"}}.
  */
-export type PropertyValue =
-  | Literal
-  | ParameterRef
-  | NestedMap
-  | ListLiteralExpr;
+export type PropertyValue = Literal | ParameterRef | NestedMap | ListLiteralExpr;
 
 /**
  * Property map for node and relationship patterns.
@@ -563,12 +549,7 @@ export interface Quantifier {
 
 // Advanced label expressions for complex label matching
 // Supports: :A|B (OR), :A&B (AND), :!A (NOT), :% (wildcard), parenthesized
-export type LabelExpression =
-  | LabelName
-  | LabelOr
-  | LabelAnd
-  | LabelNot
-  | LabelWildcard;
+export type LabelExpression = LabelName | LabelOr | LabelAnd | LabelNot | LabelWildcard;
 
 /** Single label identifier */
 export interface LabelName {

packages/graph/src/AsyncGraph.ts

@@ -1,18 +1,8 @@
 import { Graph } from "./Graph.js";
 import { GraphSchema } from "./GraphSchema.js";
-import {
-  ElementId,
-  InMemoryGraphStorage,
-  StoredEdge,
-  StoredVertex,
-} from "./GraphStorage.js";
+import { ElementId, InMemoryGraphStorage, StoredEdge, StoredVertex } from "./GraphStorage.js";
 import { createStepsFromJSON, createTraverser, StepJSON } from "./Steps.js";
-import {
-  GraphTraversal,
-  Traversal,
-  TraversalPath,
-  TraversalPathJSON,
-} from "./Traversals.js";
+import { GraphTraversal, Traversal, TraversalPath, TraversalPathJSON } from "./Traversals.js";
 
 /**
  * Serialize a value to JSON and back. Alias for JSON.parse(JSON.stringify(value)).
@@ -127,9 +117,7 @@ export class AsyncGraph<const TSchema extends GraphSchema> {
           value = this.instantiateResult(value);
         }
         return new TraversalPath(
-          result.parent == null
-            ? undefined
-            : this.instantiateResult(result.parent),
+          result.parent == null ? undefined : this.instantiateResult(result.parent),
           value,
           result.labels,
         ) as TPath;
@@ -248,11 +236,7 @@ function* handleAsyncTransaction<TSchema extends GraphSchema>(
           break;
         }
         case "UpdatePropertyOperation": {
-          graph.storage.updateProperty(
-            operation.id,
-            operation.key,
-            operation.value,
-          );
+          graph.storage.updateProperty(operation.id, operation.key, operation.value);
           yield {
             "@type": "AsyncOperationSuccess",
           };