@grayhaven/nerve-compiler 0.1.0 → 0.2.0

package/dist/index.d.ts

@@ -1,6 +1,6 @@
 import * as effect_Cause from 'effect/Cause';
 import * as effect_Types from 'effect/Types';
-import { Diagnostic, Rule, NerveConfig, HarnessDesign, Hir } from '@grayhaven/nerve';
+import { Diagnostic, Rule, NerveConfig, HarnessDesign, Hir, NervePlugin } from '@grayhaven/nerve';
 import { Effect } from 'effect';
 
 declare const CompileError_base: new <A extends Record<string, any> = {}>(args: effect_Types.VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => effect_Cause.YieldableError & {
@@ -45,6 +45,11 @@ interface CompileFileResult {
 declare const loadDesign: (file: string) => Effect.Effect<HarnessDesign, CompileError>;
 /** Load `nerve.config.ts` (or legacy `interconnect.config.ts`) from a directory, walking up to the package root. */
 declare const loadConfig: (fromDir: string) => Effect.Effect<NerveConfig, CompileError>;
+/** Load plugin modules declared in config (PRD §40). */
+declare const loadPlugins: (fromDir: string, specifiers: ReadonlyArray<string>) => Effect.Effect<{
+    plugins: ReadonlyArray<NervePlugin>;
+    diagnostics: ReadonlyArray<Diagnostic>;
+}, CompileError>;
 /** Compile a `.harness.ts` file to HIR with full diagnostics. */
 declare const compileFile: (file: string, options?: CompileFileOptions) => Effect.Effect<CompileFileResult, CompileError>;
 /** Fail with `ValidationError` when diagnostics contain errors (fail-closed gate, PRD §15). */
@@ -64,4 +69,4 @@ declare const CompilerService_base: Effect.Service.Class<CompilerService, "nerve
 declare class CompilerService extends CompilerService_base {
 }
 
-export { CompileError, type CompileFileOptions, type CompileFileResult, CompilerService, ExportError, ValidationError, compileFile, failOnErrors, loadConfig, loadDesign };
+export { CompileError, type CompileFileOptions, type CompileFileResult, CompilerService, ExportError, ValidationError, compileFile, failOnErrors, loadConfig, loadDesign, loadPlugins };

package/dist/index.js

@@ -14,6 +14,8 @@ import { createJiti } from "jiti";
 import { Effect } from "effect";
 import {
   compileDesign,
+  HIR_SCHEMA_VERSION,
+  isNervePlugin,
   runRules
 } from "@grayhaven/nerve";
 import { builtinRules } from "@grayhaven/nerve-rules";
@@ -60,16 +62,52 @@ var loadConfig = (fromDir) => Effect.tryPromise({
     cause
   })
 });
+var loadPlugins = (fromDir, specifiers) => Effect.tryPromise({
+  try: async () => {
+    const plugins = [];
+    const diagnostics = [];
+    for (const spec of specifiers) {
+      const path = spec.startsWith(".") ? resolve(fromDir, spec) : spec;
+      const mod = await jiti.import(path);
+      const plugin = mod.default ?? mod;
+      if (!isNervePlugin(plugin)) {
+        throw new CompileError({
+          message: `${spec} does not default-export a Nerve plugin (use definePlugin).`,
+          source: spec
+        });
+      }
+      if (!plugin.hirSchemaVersions.includes(HIR_SCHEMA_VERSION)) {
+        diagnostics.push({
+          code: "HK-PLUGIN-001",
+          severity: "error",
+          message: `Plugin ${plugin.name} supports HIR ${plugin.hirSchemaVersions.join(", ")}, but this compiler emits ${HIR_SCHEMA_VERSION}; its rules were not run.`
+        });
+        continue;
+      }
+      plugins.push(plugin);
+    }
+    return { plugins, diagnostics };
+  },
+  catch: (cause) => cause instanceof CompileError ? cause : new CompileError({
+    message: `Failed to load plugins: ${cause instanceof Error ? cause.message : String(cause)}`,
+    cause
+  })
+});
 var compileFile = (file, options = {}) => Effect.gen(function* () {
   const design = yield* loadDesign(file);
   const config = options.config ?? (yield* loadConfig(dirname(resolve(file))));
+  const { plugins, diagnostics: pluginDiagnostics } = config.plugins !== void 0 && config.plugins.length > 0 ? yield* loadPlugins(dirname(resolve(file)), config.plugins) : { plugins: [], diagnostics: [] };
   const { hir, diagnostics: structural } = compileDesign(design);
   const ruleDiagnostics = runRules(
     hir,
-    [...builtinRules, ...options.rules ?? []],
+    [
+      ...builtinRules,
+      ...plugins.flatMap((p) => p.rules ?? []),
+      ...options.rules ?? []
+    ],
     config.rules ?? {}
   );
-  const diagnostics = [...structural, ...ruleDiagnostics];
+  const diagnostics = [...pluginDiagnostics, ...structural, ...ruleDiagnostics];
   return {
     design,
     hir: { ...hir, diagnostics },
@@ -101,5 +139,6 @@ export {
   compileFile,
   failOnErrors,
   loadConfig,
-  loadDesign
+  loadDesign,
+  loadPlugins
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@grayhaven/nerve-compiler",
-  "version": "0.1.0",
+  "version": "0.2.0",
   "type": "module",
   "description": "Grayhaven Nerve compiler: TypeScript loading, normalization, HIR generation, validation orchestration.",
   "exports": {
@@ -12,14 +12,14 @@
   "dependencies": {
     "effect": "^3.16.0",
     "jiti": "^2.4.2",
-    "@grayhaven/nerve": "0.1.0",
-    "@grayhaven/nerve-rules": "0.1.0"
+    "@grayhaven/nerve": "0.2.0",
+    "@grayhaven/nerve-rules": "0.2.0"
   },
   "devDependencies": {
     "@types/node": "^25.9.2",
     "typescript": "^5.8.3",
     "vitest": "^3.2.4",
-    "@grayhaven/nerve-connectors": "0.1.0"
+    "@grayhaven/nerve-connectors": "0.2.0"
   },
   "license": "Apache-2.0",
   "files": [