@openuji/speculator-lint 0.1.0

package/.speculatorlintrc.example.json

@@ -0,0 +1,9 @@
+{
+    "extends": [
+        "recommended"
+    ],
+    "rules": {
+        "workspace/no-redefinition": "error",
+        "workspace/no-reverse-dependency": "error"
+    }
+}

package/README.md

@@ -0,0 +1,186 @@
+# @openuji/speculator-lint
+
+Standalone linter for [Speculator](../speculator) workspace AST with configurable validation rules.
+
+## Installation
+
+```bash
+pnpm add -D @openuji/speculator-lint
+```
+
+## Usage
+
+### CLI
+
+Lint a workspace AST file:
+
+```bash
+speculator-lint workspace.json
+```
+
+With custom configuration:
+
+```bash
+speculator-lint workspace.json --config .speculatorlintrc.json
+```
+
+### Programmatic API
+
+```typescript
+import { readFileSync } from 'fs';
+import { SpeculatorLinter, builtInRules, recommendedConfig } from '@openuji/speculator-lint';
+
+// Load workspace AST
+const workspace = JSON.parse(readFileSync('workspace.json', 'utf-8'));
+
+// Build document levels map
+const documentLevels = new Map();
+workspace.documents.forEach((doc, index) => {
+  documentLevels.set(doc.sourcePos?.file || '', index);
+});
+
+// Create linter with built-in rules
+const linter = new SpeculatorLinter(builtInRules);
+
+// Run linter
+const result = await linter.lint({
+  workspace,
+  documentLevels,
+  config: recommendedConfig
+});
+
+// Check results
+if (result.hasErrors) {
+  for (const diagnostic of result.diagnostics) {
+    console.error(diagnostic.message);
+  }
+}
+```
+
+## Configuration
+
+Create a `.speculatorlintrc.json` file in your project root:
+
+```json
+{
+  "extends": ["recommended"],
+  "rules": {
+    "workspace/no-redefinition": "error",
+    "workspace/no-reverse-dependency": "warning"
+  }
+}
+```
+
+### Rule Configuration
+
+Rules can be configured with:
+- `"off"` - Disable the rule
+- `"error"` - Report as error
+- `"warning"` - Report as warning
+- `"info"` - Report as info
+
+### Extends
+
+Use `"extends": ["recommended"]` to enable all built-in rules with their default severities.
+
+## Built-in Rules
+
+### workspace/no-redefinition
+
+Ensures that lower-level specs do not redefine concepts from higher-level specs.
+
+**Rationale:** In a hierarchical specification system, higher-level specs define the core vocabulary. Lower-level specs should extend, not override these definitions.
+
+**Example violation:**
+
+```
+core.md (level 0): defines "User"
+extension.md (level 1): defines "User" again  ← ERROR
+```
+
+### workspace/no-reverse-dependency
+
+Ensures that higher-level specs do not depend on (reference) lower-level specs.
+
+**Rationale:** Dependencies should flow downward in the hierarchy. Higher-level specs should be self-contained and not rely on lower-level implementation details.
+
+**Example violation:**
+
+```
+core.md (level 0): references "DetailedConfig"
+extension.md (level 1): defines "DetailedConfig"  ← ERROR
+```
+
+## Creating Custom Rules
+
+You can create custom rules by implementing the `LintRule` interface:
+
+```typescript
+import type { LintRule } from '@openuji/speculator-lint';
+
+export const myCustomRule: LintRule = {
+  meta: {
+    name: 'my-custom-rule',
+    code: 'my-custom-rule',
+    severity: 'warning',
+    description: 'My custom validation rule',
+    category: 'custom'
+  },
+  
+  create(context) {
+    return {
+      // Called for each definition
+      onDefinition(entry, allEntriesForTerm) {
+        // Your validation logic
+        if (/* some condition */) {
+          context.report({
+            message: 'Issue found',
+            file: entry.sourcePos?.file,
+            sourcePos: entry.sourcePos
+          });
+        }
+      },
+      
+      // Called for each reference
+      onReference(ref, target) {
+        // Your validation logic
+      },
+      
+      // Called once per document
+      onDocument(doc) {
+        // Your validation logic
+      }
+    };
+  }
+};
+
+// Use with linter
+const linter = new SpeculatorLinter([...builtInRules, myCustomRule]);
+```
+
+## API Reference
+
+### SpeculatorLinter
+
+Main linter class.
+
+```typescript
+class SpeculatorLinter {
+  constructor(rules: LintRule[]);
+  lint(options: LintOptions): Promise<LintResult>;
+  getRules(): LintRule[];
+}
+```
+
+### Types
+
+- `LintRule` - Rule interface
+- `LintContext` - Context provided to rules
+- `LintVisitor` - Visitor pattern for AST traversal
+- `LintDiagnostic` - Diagnostic output
+- `LintResult` - Lint result with diagnostics
+- `LintConfig` - Configuration schema
+
+## License
+
+MIT

package/dist/cli.d.ts

@@ -0,0 +1,9 @@
+#!/usr/bin/env node
+/**
+ * CLI for speculator-lint
+ *
+ * Usage:
+ *   speculator-lint <workspace.json> [--config <path>]
+ */
+export {};
+//# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AAEA;;;;;GAKG"}

package/dist/cli.js

@@ -0,0 +1,125 @@
+#!/usr/bin/env node
+/**
+ * CLI for speculator-lint
+ *
+ * Usage:
+ *   speculator-lint <workspace.json> [--config <path>]
+ */
+import { readFileSync } from 'fs';
+import { resolve } from 'path';
+import { SpeculatorLinter } from './linter.js';
+import { builtInRules } from './rules/index.js';
+import { loadConfig, loadConfigFromDefaults, recommendedConfig } from './config.js';
+function parseArgs() {
+    const args = process.argv.slice(2);
+    const result = {
+        workspacePath: '',
+    };
+    for (let i = 0; i < args.length; i++) {
+        const arg = args[i];
+        if (arg === '--help' || arg === '-h') {
+            result.help = true;
+        }
+        else if (arg === '--config' || arg === '-c') {
+            result.configPath = args[++i];
+        }
+        else if (!arg.startsWith('-')) {
+            result.workspacePath = arg;
+        }
+    }
+    return result;
+}
+function showHelp() {
+    console.log(`
+speculator-lint - Lint Speculator workspace AST
+
+Usage:
+  speculator-lint <workspace.json> [options]
+
+Options:
+  --config, -c <path>    Path to configuration file
+  --help, -h             Show this help message
+
+Examples:
+  speculator-lint workspace.json
+  speculator-lint workspace.json --config .speculatorlintrc.json
+`);
+}
+function formatDiagnostic(diagnostic) {
+    const severity = diagnostic.severity.toUpperCase();
+    const code = diagnostic.code;
+    const file = diagnostic.file || '<unknown>';
+    const line = diagnostic.sourcePos?.line || '?';
+    const col = diagnostic.sourcePos?.column || '?';
+    return `${severity} [${code}] ${file}:${line}:${col}\n  ${diagnostic.message}`;
+}
+async function main() {
+    const args = parseArgs();
+    if (args.help || !args.workspacePath) {
+        showHelp();
+        process.exit(args.help ? 0 : 1);
+    }
+    try {
+        // Load workspace
+        const workspacePath = resolve(args.workspacePath);
+        const workspaceJson = readFileSync(workspacePath, 'utf-8');
+        const workspace = JSON.parse(workspaceJson);
+        // Build document levels map
+        const documentLevels = new Map();
+        workspace.documents.forEach((doc, index) => {
+            const path = doc.sourcePos?.file || '';
+            if (path) {
+                documentLevels.set(path, index);
+            }
+        });
+        // Load configuration
+        let config;
+        if (args.configPath) {
+            config = loadConfig(args.configPath);
+            console.log(`Using configuration from: ${args.configPath}`);
+        }
+        else {
+            const defaultConfigLoaded = loadConfigFromDefaults();
+            if (defaultConfigLoaded) {
+                config = defaultConfigLoaded;
+                console.log('Using configuration from default location');
+            }
+            else {
+                config = recommendedConfig;
+                console.log('Using recommended configuration (no config file found)');
+            }
+        }
+        // Create linter
+        const linter = new SpeculatorLinter(builtInRules);
+        // Run linter
+        console.log('\nLinting workspace...\n');
+        const result = await linter.lint({
+            workspace,
+            documentLevels,
+            config
+        });
+        // Output diagnostics
+        if (result.diagnostics.length === 0) {
+            console.log('✓ No issues found');
+        }
+        else {
+            for (const diagnostic of result.diagnostics) {
+                console.log(formatDiagnostic(diagnostic));
+                console.log('');
+            }
+            const errorCount = result.diagnostics.filter(d => d.severity === 'error').length;
+            const warningCount = result.diagnostics.filter(d => d.severity === 'warning').length;
+            console.log(`Found ${errorCount} error(s), ${warningCount} warning(s)`);
+        }
+        // Show timing
+        console.log(`\nCompleted in ${result.totalTime.toFixed(2)}ms`);
+        // Exit with error code if errors found
+        process.exit(result.hasErrors ? 1 : 0);
+    }
+    catch (error) {
+        console.error('Error:', error instanceof Error ? error.message : String(error));
+        process.exit(1);
+    }
+}
+main();
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AAEA;;;;;GAKG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAE/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AASpF,SAAS,SAAS;IACd,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,MAAM,GAAY;QACpB,aAAa,EAAE,EAAE;KACpB,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAEpB,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;QACvB,CAAC;aAAM,IAAI,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAC5C,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,CAAC;aAAM,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,aAAa,GAAG,GAAG,CAAC;QAC/B,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,QAAQ;IACb,OAAO,CAAC,GAAG,CAAC;;;;;;;;;;;;;CAaf,CAAC,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,UAA0B;IAChD,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;IACnD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;IAC7B,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,IAAI,WAAW,CAAC;IAC5C,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,EAAE,IAAI,IAAI,GAAG,CAAC;IAC/C,MAAM,GAAG,GAAG,UAAU,CAAC,SAAS,EAAE,MAAM,IAAI,GAAG,CAAC;IAEhD,OAAO,GAAG,QAAQ,KAAK,IAAI,KAAK,IAAI,IAAI,IAAI,IAAI,GAAG,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC;AACnF,CAAC;AAED,KAAK,UAAU,IAAI;IACf,MAAM,IAAI,GAAG,SAAS,EAAE,CAAC;IAEzB,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACnC,QAAQ,EAAE,CAAC;QACX,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;IAED,IAAI,CAAC;QACD,iBAAiB;QACjB,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAClD,MAAM,aAAa,GAAG,YAAY,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAc,CAAC;QAEzD,4BAA4B;QAC5B,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;QACjD,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;YACvC,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC;YACvC,IAAI,IAAI,EAAE,CAAC;gBACP,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACpC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,qBAAqB;QACrB,IAAI,MAAkB,CAAC;QACvB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClB,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACrC,OAAO,CAAC,GAAG,CAAC,6BAA6B,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QAChE,CAAC;aAAM,CAAC;YACJ,MAAM,mBAAmB,GAAG,sBAAsB,EAAE,CAAC;YACrD,IAAI,mBAAmB,EAAE,CAAC;gBACtB,MAAM,GAAG,mBAAmB,CAAC;gBAC7B,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;YAC7D,CAAC;iBAAM,CAAC;gBACJ,MAAM,GAAG,iBAAiB,CAAC;gBAC3B,OAAO,CAAC,GAAG,CAAC,wDAAwD,CAAC,CAAC;YAC1E,CAAC;QACL,CAAC;QAED,gBAAgB;QAChB,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,YAAY,CAAC,CAAC;QAElD,aAAa;QACb,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC;YAC7B,SAAS;YACT,cAAc;YACd,MAAM;SACT,CAAC,CAAC;QAEH,qBAAqB;QACrB,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBAC1C,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;gBAC1C,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACpB,CAAC;YAED,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;YACjF,MAAM,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;YAErF,OAAO,CAAC,GAAG,CAAC,SAAS,UAAU,cAAc,YAAY,aAAa,CAAC,CAAC;QAC5E,CAAC;QAED,cAAc;QACd,OAAO,CAAC,GAAG,CAAC,kBAAkB,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAE/D,uCAAuC;QACvC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE3C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAChF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;AACL,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/config.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Configuration loader and parser for speculator-lint
+ */
+import type { LintConfig, RuleConfigValue } from './types.js';
+/**
+ * Default configuration
+ */
+export declare const defaultConfig: LintConfig;
+/**
+ * Recommended configuration with all built-in rules enabled
+ */
+export declare const recommendedConfig: LintConfig;
+/**
+ * Load configuration from a file
+ * @param configPath Path to config file (relative or absolute)
+ * @returns Parsed configuration
+ */
+export declare function loadConfig(configPath: string): LintConfig;
+/**
+ * Load configuration from default locations
+ * @param cwd Current working directory
+ * @returns Configuration or null if not found
+ */
+export declare function loadConfigFromDefaults(cwd?: string): LintConfig | null;
+/**
+ * Get the effective severity for a rule
+ * @param ruleConfig Rule configuration value
+ * @returns Severity or null if disabled
+ */
+export declare function getRuleSeverity(ruleConfig: RuleConfigValue | undefined): 'error' | 'warning' | 'info' | null;
+/**
+ * Check if a rule is enabled
+ */
+export declare function isRuleEnabled(config: LintConfig, ruleName: string): boolean;
+//# sourceMappingURL=config.d.ts.map

package/dist/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE9D;;GAEG;AACH,eAAO,MAAM,aAAa,EAAE,UAE3B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,EAAE,UAK/B,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,UAAU,EAAE,MAAM,GAAG,UAAU,CAWzD;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,GAAE,MAAsB,GAAG,UAAU,GAAG,IAAI,CAerF;AA0BD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,UAAU,EAAE,eAAe,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CAU5G;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAG3E"}

package/dist/config.js

@@ -0,0 +1,96 @@
+/**
+ * Configuration loader and parser for speculator-lint
+ */
+import { readFileSync, existsSync } from 'fs';
+import { resolve } from 'path';
+/**
+ * Default configuration
+ */
+export const defaultConfig = {
+    rules: {}
+};
+/**
+ * Recommended configuration with all built-in rules enabled
+ */
+export const recommendedConfig = {
+    rules: {
+        'workspace/no-redefinition': 'error',
+        'workspace/no-reverse-dependency': 'error'
+    }
+};
+/**
+ * Load configuration from a file
+ * @param configPath Path to config file (relative or absolute)
+ * @returns Parsed configuration
+ */
+export function loadConfig(configPath) {
+    const resolvedPath = resolve(configPath);
+    if (!existsSync(resolvedPath)) {
+        throw new Error(`Configuration file not found: ${resolvedPath}`);
+    }
+    const content = readFileSync(resolvedPath, 'utf-8');
+    const config = JSON.parse(content);
+    return normalizeConfig(config);
+}
+/**
+ * Load configuration from default locations
+ * @param cwd Current working directory
+ * @returns Configuration or null if not found
+ */
+export function loadConfigFromDefaults(cwd = process.cwd()) {
+    const candidates = [
+        '.speculatorlintrc.json',
+        '.speculatorlintrc',
+        'speculator-lint.config.json'
+    ];
+    for (const filename of candidates) {
+        const path = resolve(cwd, filename);
+        if (existsSync(path)) {
+            return loadConfig(path);
+        }
+    }
+    return null;
+}
+/**
+ * Normalize configuration to ensure consistency
+ */
+function normalizeConfig(config) {
+    const normalized = {
+        ...config,
+        rules: { ...config.rules }
+    };
+    // Handle extends
+    if (config.extends) {
+        for (const extend of config.extends) {
+            if (extend === 'recommended') {
+                normalized.rules = {
+                    ...recommendedConfig.rules,
+                    ...normalized.rules
+                };
+            }
+        }
+    }
+    return normalized;
+}
+/**
+ * Get the effective severity for a rule
+ * @param ruleConfig Rule configuration value
+ * @returns Severity or null if disabled
+ */
+export function getRuleSeverity(ruleConfig) {
+    if (!ruleConfig || ruleConfig === 'off') {
+        return null;
+    }
+    if (Array.isArray(ruleConfig)) {
+        return ruleConfig[0];
+    }
+    return ruleConfig;
+}
+/**
+ * Check if a rule is enabled
+ */
+export function isRuleEnabled(config, ruleName) {
+    const ruleConfig = config.rules?.[ruleName];
+    return getRuleSeverity(ruleConfig) !== null;
+}
+//# sourceMappingURL=config.js.map

package/dist/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAe;IACrC,KAAK,EAAE,EAAE;CACZ,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAe;IACzC,KAAK,EAAE;QACH,2BAA2B,EAAE,OAAO;QACpC,iCAAiC,EAAE,OAAO;KAC7C;CACJ,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,UAAkB;IACzC,MAAM,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAEzC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,iCAAiC,YAAY,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,MAAM,OAAO,GAAG,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAe,CAAC;IAEjD,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;AACnC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAc,OAAO,CAAC,GAAG,EAAE;IAC9D,MAAM,UAAU,GAAG;QACf,wBAAwB;QACxB,mBAAmB;QACnB,6BAA6B;KAChC,CAAC;IAEF,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACpC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACnB,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,MAAkB;IACvC,MAAM,UAAU,GAAe;QAC3B,GAAG,MAAM;QACT,KAAK,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE;KAC7B,CAAC;IAEF,iBAAiB;IACjB,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;gBAC3B,UAAU,CAAC,KAAK,GAAG;oBACf,GAAG,iBAAiB,CAAC,KAAK;oBAC1B,GAAG,UAAU,CAAC,KAAK;iBACtB,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,UAAuC;IACnE,IAAI,CAAC,UAAU,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5B,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,MAAkB,EAAE,QAAgB;IAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,QAAQ,CAAC,CAAC;IAC5C,OAAO,eAAe,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC;AAChD,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * @openuji/speculator-lint
+ *
+ * Standalone linter for Speculator workspace AST
+ */
+export { SpeculatorLinter } from './linter.js';
+export type { LintRule, LintContext, LintVisitor, LintDiagnostic, LintResult, LintOptions, LintConfig, RuleMetadata, RuleResult, Severity, RuleCategory } from './types.js';
+export { loadConfig, loadConfigFromDefaults, defaultConfig, recommendedConfig } from './config.js';
+export { builtInRules, getRuleByName, noRedefinitionRule, noReverseDependencyRule } from './rules/index.js';
+export { normalizeTerm } from './utils.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAG/C,YAAY,EACR,QAAQ,EACR,WAAW,EACX,WAAW,EACX,cAAc,EACd,UAAU,EACV,WAAW,EACX,UAAU,EACV,YAAY,EACZ,UAAU,EACV,QAAQ,EACR,YAAY,EACf,MAAM,YAAY,CAAC;AAGpB,OAAO,EACH,UAAU,EACV,sBAAsB,EACtB,aAAa,EACb,iBAAiB,EACpB,MAAM,aAAa,CAAC;AAGrB,OAAO,EACH,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,uBAAuB,EAC1B,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -0,0 +1,14 @@
+/**
+ * @openuji/speculator-lint
+ *
+ * Standalone linter for Speculator workspace AST
+ */
+// Main linter class
+export { SpeculatorLinter } from './linter.js';
+// Configuration utilities
+export { loadConfig, loadConfigFromDefaults, defaultConfig, recommendedConfig } from './config.js';
+// Built-in rules
+export { builtInRules, getRuleByName, noRedefinitionRule, noReverseDependencyRule } from './rules/index.js';
+// Utilities for custom rules
+export { normalizeTerm } from './utils.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,oBAAoB;AACpB,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAiB/C,0BAA0B;AAC1B,OAAO,EACH,UAAU,EACV,sBAAsB,EACtB,aAAa,EACb,iBAAiB,EACpB,MAAM,aAAa,CAAC;AAErB,iBAAiB;AACjB,OAAO,EACH,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,uBAAuB,EAC1B,MAAM,kBAAkB,CAAC;AAE1B,6BAA6B;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC"}

package/dist/linter.d.ts

@@ -0,0 +1,34 @@
+/**
+ * SpeculatorLinter - Main linter class
+ */
+import type { LintRule, LintOptions, LintResult } from './types.js';
+/**
+ * Main linter class
+ */
+export declare class SpeculatorLinter {
+    private rules;
+    /**
+     * Create a new linter instance
+     * @param rules Array of lint rules to use
+     */
+    constructor(rules: LintRule[]);
+    /**
+     * Lint a workspace
+     * @param options Lint options
+     * @returns Lint result with diagnostics
+     */
+    lint(options: LintOptions): Promise<LintResult>;
+    /**
+     * Check if a rule is enabled in the configuration
+     */
+    private isRuleEnabled;
+    /**
+     * Get the configured severity for a rule
+     */
+    private getConfiguredSeverity;
+    /**
+     * Get available rules
+     */
+    getRules(): LintRule[];
+}
+//# sourceMappingURL=linter.d.ts.map

package/dist/linter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"linter.d.ts","sourceRoot":"","sources":["../src/linter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EACR,QAAQ,EACR,WAAW,EACX,UAAU,EAGb,MAAM,YAAY,CAAC;AAIpB;;GAEG;AACH,qBAAa,gBAAgB;IACzB,OAAO,CAAC,KAAK,CAAoC;IAEjD;;;OAGG;gBACS,KAAK,EAAE,QAAQ,EAAE;IAM7B;;;;OAIG;IACG,IAAI,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC;IAwCrD;;OAEG;IACH,OAAO,CAAC,aAAa;IAMrB;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAI7B;;OAEG;IACH,QAAQ,IAAI,QAAQ,EAAE;CAGzB"}

package/dist/linter.js

@@ -0,0 +1,78 @@
+/**
+ * SpeculatorLinter - Main linter class
+ */
+import { runRule } from './rule-runner.js';
+import { getRuleSeverity } from './config.js';
+/**
+ * Main linter class
+ */
+export class SpeculatorLinter {
+    rules = new Map();
+    /**
+     * Create a new linter instance
+     * @param rules Array of lint rules to use
+     */
+    constructor(rules) {
+        for (const rule of rules) {
+            this.rules.set(rule.meta.name, rule);
+        }
+    }
+    /**
+     * Lint a workspace
+     * @param options Lint options
+     * @returns Lint result with diagnostics
+     */
+    async lint(options) {
+        const startTime = performance.now();
+        const config = options.config || { rules: {} };
+        const ruleResults = new Map();
+        const allDiagnostics = [];
+        // Run each enabled rule
+        for (const [ruleName, rule] of this.rules) {
+            // Check if rule is enabled in config
+            if (!this.isRuleEnabled(config, ruleName)) {
+                continue;
+            }
+            // Get effective severity from config
+            const configuredSeverity = this.getConfiguredSeverity(config, ruleName);
+            // Run the rule
+            const result = await runRule(rule, options.workspace, options.documentLevels);
+            // Override severity if configured
+            if (configuredSeverity && configuredSeverity !== rule.meta.severity) {
+                for (const diagnostic of result.diagnostics) {
+                    diagnostic.severity = configuredSeverity;
+                }
+            }
+            ruleResults.set(ruleName, result);
+            allDiagnostics.push(...result.diagnostics);
+        }
+        const endTime = performance.now();
+        return {
+            diagnostics: allDiagnostics,
+            hasErrors: allDiagnostics.some(d => d.severity === 'error'),
+            ruleResults,
+            totalTime: endTime - startTime
+        };
+    }
+    /**
+     * Check if a rule is enabled in the configuration
+     */
+    isRuleEnabled(config, ruleName) {
+        const ruleConfig = config.rules?.[ruleName];
+        const severity = getRuleSeverity(ruleConfig);
+        return severity !== null;
+    }
+    /**
+     * Get the configured severity for a rule
+     */
+    getConfiguredSeverity(config, ruleName) {
+        return getRuleSeverity(config.rules?.[ruleName]);
+    }
+    /**
+     * Get available rules
+     */
+    getRules() {
+        return Array.from(this.rules.values());
+    }
+}
+//# sourceMappingURL=linter.js.map

package/dist/linter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"linter.js","sourceRoot":"","sources":["../src/linter.ts"],"names":[],"mappings":"AAAA;;GAEG;AASH,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C;;GAEG;AACH,MAAM,OAAO,gBAAgB;IACjB,KAAK,GAA0B,IAAI,GAAG,EAAE,CAAC;IAEjD;;;OAGG;IACH,YAAY,KAAiB;QACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC;IACL,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,IAAI,CAAC,OAAoB;QAC3B,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QAC/C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAE,CAAC;QAC9B,MAAM,cAAc,GAAqB,EAAE,CAAC;QAE5C,wBAAwB;QACxB,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACxC,qCAAqC;YACrC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACxC,SAAS;YACb,CAAC;YAED,qCAAqC;YACrC,MAAM,kBAAkB,GAAG,IAAI,CAAC,qBAAqB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAExE,eAAe;YACf,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;YAE9E,kCAAkC;YAClC,IAAI,kBAAkB,IAAI,kBAAkB,KAAK,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClE,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;oBAC1C,UAAU,CAAC,QAAQ,GAAG,kBAAkB,CAAC;gBAC7C,CAAC;YACL,CAAC;YAED,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAClC,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAC/C,CAAC;QAED,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAElC,OAAO;YACH,WAAW,EAAE,cAAc;YAC3B,SAAS,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;YAC3D,WAAW;YACX,SAAS,EAAE,OAAO,GAAG,SAAS;SACjC,CAAC;IACN,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,MAAkB,EAAE,QAAgB;QACtD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;QAC7C,OAAO,QAAQ,KAAK,IAAI,CAAC;IAC7B,CAAC;IAED;;OAEG;IACK,qBAAqB,CAAC,MAAkB,EAAE,QAAgB;QAC9D,OAAO,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrD,CAAC;IAED;;OAEG;IACH,QAAQ;QACJ,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC;CACJ"}

package/dist/rule-runner.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Rule execution engine
+ *
+ * Handles visiting AST nodes and invoking rule visitors
+ */
+import type { Workspace } from '@openuji/speculator';
+import type { LintRule, RuleResult } from './types.js';
+/**
+ * Run a single rule against a workspace
+ */
+export declare function runRule(rule: LintRule, workspace: Workspace, documentLevels: Map<string, number>): Promise<RuleResult>;
+//# sourceMappingURL=rule-runner.d.ts.map

package/dist/rule-runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-runner.d.ts","sourceRoot":"","sources":["../src/rule-runner.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACR,SAAS,EAIZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EACR,QAAQ,EAGR,UAAU,EACb,MAAM,YAAY,CAAC;AAGpB;;GAEG;AACH,wBAAsB,OAAO,CACzB,IAAI,EAAE,QAAQ,EACd,SAAS,EAAE,SAAS,EACpB,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GACpC,OAAO,CAAC,UAAU,CAAC,CA8DrB"}

package/dist/rule-runner.js

@@ -0,0 +1,129 @@
+/**
+ * Rule execution engine
+ *
+ * Handles visiting AST nodes and invoking rule visitors
+ */
+import { normalizeTerm } from './utils.js';
+/**
+ * Run a single rule against a workspace
+ */
+export async function runRule(rule, workspace, documentLevels) {
+    const startTime = performance.now();
+    const diagnostics = [];
+    // Build global definition index for quick lookups
+    const globalDefIndex = buildDefinitionIndex(workspace);
+    // Process each document
+    for (const document of workspace.documents) {
+        const level = documentLevels.get(document.sourcePos?.file || '') ?? 0;
+        // Create context for this document
+        const context = {
+            workspace,
+            documentLevels,
+            document,
+            level,
+            report: (diagnostic) => {
+                diagnostics.push({
+                    code: rule.meta.code,
+                    severity: rule.meta.severity,
+                    ...diagnostic
+                });
+            }
+        };
+        // Create visitor
+        const visitor = rule.create(context);
+        // Visit document
+        if (visitor.onDocument) {
+            visitor.onDocument(document);
+        }
+        // Visit definitions
+        if (visitor.onDefinition) {
+            const docDefs = document.indexes?.definitions || [];
+            for (const entry of docDefs) {
+                // Get all entries for this term across workspace
+                const allEntries = globalDefIndex.get(normalizeTerm(entry.term)) || [];
+                visitor.onDefinition(entry, allEntries);
+            }
+        }
+        // Visit references
+        if (visitor.onReference) {
+            const references = collectReferences(document);
+            for (const ref of references) {
+                // Try to resolve the reference
+                const target = resolveReference(ref, globalDefIndex);
+                visitor.onReference(ref, target);
+            }
+        }
+    }
+    const endTime = performance.now();
+    return {
+        ruleName: rule.meta.name,
+        diagnostics,
+        executionTime: endTime - startTime
+    };
+}
+/**
+ * Build a global definition index from workspace
+ */
+function buildDefinitionIndex(workspace) {
+    const index = new Map();
+    for (const doc of workspace.documents) {
+        const definitions = doc.indexes?.definitions || [];
+        for (const entry of definitions) {
+            const linkTexts = entry.linkTexts || [entry.term];
+            const termsToProcess = new Set([entry.term, ...linkTexts]);
+            for (const term of termsToProcess) {
+                const key = normalizeTerm(term);
+                const existing = index.get(key) || [];
+                existing.push(entry);
+                index.set(key, existing);
+            }
+        }
+    }
+    return index;
+}
+/**
+ * Collect all references from a document
+ */
+function collectReferences(document) {
+    const references = [];
+    // Walk through nodes recursively
+    function walkNode(node) {
+        if (!node || typeof node !== 'object')
+            return;
+        // Check if this is a reference node
+        if ('type' in node && node.type === 'reference') {
+            references.push(node);
+        }
+        // Walk children array (for inline elements, blocks, sections)
+        if ('children' in node && Array.isArray(node.children)) {
+            for (const child of node.children) {
+                walkNode(child);
+            }
+        }
+    }
+    // Document has children array containing Section and Block nodes
+    if (document.children) {
+        for (const child of document.children) {
+            walkNode(child);
+        }
+    }
+    return references;
+}
+/**
+ * Resolve a reference to its target definition
+ */
+function resolveReference(ref, index) {
+    const candidateTerms = 'candidateTerms' in ref && Array.isArray(ref.candidateTerms)
+        ? ref.candidateTerms
+        : [ref.targetTerm];
+    for (const term of candidateTerms) {
+        const key = normalizeTerm(term);
+        const entries = index.get(key);
+        if (entries && entries.length > 0) {
+            // Return first match (simplified resolution)
+            return entries[0];
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=rule-runner.js.map

package/dist/rule-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-runner.js","sourceRoot":"","sources":["../src/rule-runner.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAcH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CACzB,IAAc,EACd,SAAoB,EACpB,cAAmC;IAEnC,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IACpC,MAAM,WAAW,GAAqB,EAAE,CAAC;IAEzC,kDAAkD;IAClD,MAAM,cAAc,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAEvD,wBAAwB;IACxB,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;QAEtE,mCAAmC;QACnC,MAAM,OAAO,GAAgB;YACzB,SAAS;YACT,cAAc;YACd,QAAQ;YACR,KAAK;YACL,MAAM,EAAE,CAAC,UAAU,EAAE,EAAE;gBACnB,WAAW,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;oBACpB,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ;oBAC5B,GAAG,UAAU;iBAChB,CAAC,CAAC;YACP,CAAC;SACJ,CAAC;QAEF,iBAAiB;QACjB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAErC,iBAAiB;QACjB,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACrB,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACjC,CAAC;QAED,oBAAoB;QACpB,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,WAAW,IAAI,EAAE,CAAC;YACpD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC1B,iDAAiD;gBACjD,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;gBACvE,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YAC5C,CAAC;QACL,CAAC;QAED,mBAAmB;QACnB,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;YACtB,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAC/C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC3B,+BAA+B;gBAC/B,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;gBACrD,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACrC,CAAC;QACL,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAElC,OAAO;QACH,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACxB,WAAW;QACX,aAAa,EAAE,OAAO,GAAG,SAAS;KACrC,CAAC;AACN,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,SAAoB;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkC,CAAC;IAExD,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,GAAG,CAAC,OAAO,EAAE,WAAW,IAAI,EAAE,CAAC;QACnD,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;YAE3D,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;gBAChC,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;gBACtC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAC7B,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,QAAkB;IACzC,MAAM,UAAU,GAAsB,EAAE,CAAC;IAEzC,iCAAiC;IACjC,SAAS,QAAQ,CAAC,IAAa;QAC3B,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO;QAE9C,oCAAoC;QACpC,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9C,UAAU,CAAC,IAAI,CAAC,IAAuB,CAAC,CAAC;QAC7C,CAAC;QAED,8DAA8D;QAC9D,IAAI,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAChC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACL,CAAC;IACL,CAAC;IAED,iEAAiE;IACjE,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACpC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CACrB,GAAoB,EACpB,KAA0C;IAE1C,MAAM,cAAc,GAAG,gBAAgB,IAAI,GAAG,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;QAC/E,CAAC,CAAC,GAAG,CAAC,cAAc;QACpB,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAEvB,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAE/B,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,6CAA6C;YAC7C,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/dist/rules/index.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Built-in lint rules
+ */
+export { noRedefinitionRule } from './workspace/no-redefinition.js';
+export { noReverseDependencyRule } from './workspace/no-reverse-dependency.js';
+import type { LintRule } from '../types.js';
+/**
+ * All built-in rules
+ */
+export declare const builtInRules: LintRule[];
+/**
+ * Get a rule by name
+ */
+export declare function getRuleByName(name: string): LintRule | undefined;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AAI/E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE5C;;GAEG;AACH,eAAO,MAAM,YAAY,EAAE,QAAQ,EAGlC,CAAC;AAEF;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAEhE"}

package/dist/rules/index.js

@@ -0,0 +1,21 @@
+/**
+ * Built-in lint rules
+ */
+export { noRedefinitionRule } from './workspace/no-redefinition.js';
+export { noReverseDependencyRule } from './workspace/no-reverse-dependency.js';
+import { noRedefinitionRule } from './workspace/no-redefinition.js';
+import { noReverseDependencyRule } from './workspace/no-reverse-dependency.js';
+/**
+ * All built-in rules
+ */
+export const builtInRules = [
+    noRedefinitionRule,
+    noReverseDependencyRule
+];
+/**
+ * Get a rule by name
+ */
+export function getRuleByName(name) {
+    return builtInRules.find(r => r.meta.name === name);
+}
+//# sourceMappingURL=index.js.map

package/dist/rules/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AAE/E,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AAG/E;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAe;IACpC,kBAAkB;IAClB,uBAAuB;CAC1B,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACtC,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACxD,CAAC"}

package/dist/rules/workspace/no-redefinition.d.ts

@@ -0,0 +1,13 @@
+/**
+ * workspace/no-redefinition rule
+ *
+ * Ensures that lower-level specs do not redefine concepts from higher-level specs.
+ *
+ * Rule Logic:
+ * - When a term is defined in multiple documents, compare their levels
+ * - If a lower-level document (higher number) redefines a term from a higher-level document,
+ *   report an error
+ */
+import type { LintRule } from '../../types.js';
+export declare const noRedefinitionRule: LintRule;
+//# sourceMappingURL=no-redefinition.d.ts.map

package/dist/rules/workspace/no-redefinition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-redefinition.d.ts","sourceRoot":"","sources":["../../../src/rules/workspace/no-redefinition.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAe,MAAM,gBAAgB,CAAC;AAE5D,eAAO,MAAM,kBAAkB,EAAE,QAuDhC,CAAC"}

package/dist/rules/workspace/no-redefinition.js

@@ -0,0 +1,61 @@
+/**
+ * workspace/no-redefinition rule
+ *
+ * Ensures that lower-level specs do not redefine concepts from higher-level specs.
+ *
+ * Rule Logic:
+ * - When a term is defined in multiple documents, compare their levels
+ * - If a lower-level document (higher number) redefines a term from a higher-level document,
+ *   report an error
+ */
+export const noRedefinitionRule = {
+    meta: {
+        name: 'workspace/no-redefinition',
+        code: 'no-redefinition',
+        severity: 'error',
+        description: 'Lower-level specs MUST NOT redefine concepts from higher-level specs',
+        category: 'workspace'
+    },
+    create(context) {
+        return {
+            onDefinition(entry, allEntriesForTerm) {
+                // If this is the first definition of this term, no issue
+                if (allEntriesForTerm.length === 0) {
+                    return;
+                }
+                // Find the highest-level (lowest number) definition
+                let highestEntry = allEntriesForTerm[0];
+                let highestLevel = Infinity;
+                for (const existingEntry of allEntriesForTerm) {
+                    const docPath = existingEntry.sourcePos?.file;
+                    if (!docPath)
+                        continue;
+                    const level = context.documentLevels.get(docPath) ?? 0;
+                    if (level < highestLevel) {
+                        highestLevel = level;
+                        highestEntry = existingEntry;
+                    }
+                }
+                // Check if current entry is from a lower level
+                const currentDocPath = entry.sourcePos?.file;
+                if (!currentDocPath)
+                    return;
+                const currentLevel = context.documentLevels.get(currentDocPath) ?? 0;
+                const higherDocPath = highestEntry.sourcePos?.file;
+                // If current level is lower (higher number) than the highest definition
+                if (currentLevel > highestLevel && higherDocPath) {
+                    // Skip if this is the same document (shouldn't happen, but just in case)
+                    if (currentDocPath === higherDocPath) {
+                        return;
+                    }
+                    context.report({
+                        message: `Lower-level spec "${currentDocPath}" redefines concept "${entry.term}" already defined in higher-level spec "${higherDocPath}"`,
+                        file: currentDocPath,
+                        sourcePos: entry.sourcePos
+                    });
+                }
+            }
+        };
+    }
+};
+//# sourceMappingURL=no-redefinition.js.map

package/dist/rules/workspace/no-redefinition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-redefinition.js","sourceRoot":"","sources":["../../../src/rules/workspace/no-redefinition.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IACxC,IAAI,EAAE;QACF,IAAI,EAAE,2BAA2B;QACjC,IAAI,EAAE,iBAAiB;QACvB,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,sEAAsE;QACnF,QAAQ,EAAE,WAAW;KACxB;IAED,MAAM,CAAC,OAAoB;QACvB,OAAO;YACH,YAAY,CAAC,KAAK,EAAE,iBAAiB;gBACjC,yDAAyD;gBACzD,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACjC,OAAO;gBACX,CAAC;gBAED,oDAAoD;gBACpD,IAAI,YAAY,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;gBACxC,IAAI,YAAY,GAAG,QAAQ,CAAC;gBAE5B,KAAK,MAAM,aAAa,IAAI,iBAAiB,EAAE,CAAC;oBAC5C,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC;oBAC9C,IAAI,CAAC,OAAO;wBAAE,SAAS;oBAEvB,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,KAAK,GAAG,YAAY,EAAE,CAAC;wBACvB,YAAY,GAAG,KAAK,CAAC;wBACrB,YAAY,GAAG,aAAa,CAAC;oBACjC,CAAC;gBACL,CAAC;gBAED,+CAA+C;gBAC/C,MAAM,cAAc,GAAG,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC;gBAC7C,IAAI,CAAC,cAAc;oBAAE,OAAO;gBAE5B,MAAM,YAAY,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBACrE,MAAM,aAAa,GAAG,YAAY,CAAC,SAAS,EAAE,IAAI,CAAC;gBAEnD,wEAAwE;gBACxE,IAAI,YAAY,GAAG,YAAY,IAAI,aAAa,EAAE,CAAC;oBAC/C,yEAAyE;oBACzE,IAAI,cAAc,KAAK,aAAa,EAAE,CAAC;wBACnC,OAAO;oBACX,CAAC;oBAED,OAAO,CAAC,MAAM,CAAC;wBACX,OAAO,EAAE,qBAAqB,cAAc,wBAAwB,KAAK,CAAC,IAAI,2CAA2C,aAAa,GAAG;wBACzI,IAAI,EAAE,cAAc;wBACpB,SAAS,EAAE,KAAK,CAAC,SAAS;qBAC7B,CAAC,CAAC;gBACP,CAAC;YACL,CAAC;SACJ,CAAC;IACN,CAAC;CACJ,CAAC"}

package/dist/rules/workspace/no-reverse-dependency.d.ts

@@ -0,0 +1,13 @@
+/**
+ * workspace/no-reverse-dependency rule
+ *
+ * Ensures that higher-level specs do not depend on (reference) lower-level specs.
+ *
+ * Rule Logic:
+ * - When a reference is resolved to a definition, compare document levels
+ * - If the source document has a lower level (higher priority, lower number)
+ *   than the target document, report an error
+ */
+import type { LintRule } from '../../types.js';
+export declare const noReverseDependencyRule: LintRule;
+//# sourceMappingURL=no-reverse-dependency.d.ts.map

package/dist/rules/workspace/no-reverse-dependency.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-reverse-dependency.d.ts","sourceRoot":"","sources":["../../../src/rules/workspace/no-reverse-dependency.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAe,MAAM,gBAAgB,CAAC;AAE5D,eAAO,MAAM,uBAAuB,EAAE,QAuCrC,CAAC"}

package/dist/rules/workspace/no-reverse-dependency.js

@@ -0,0 +1,46 @@
+/**
+ * workspace/no-reverse-dependency rule
+ *
+ * Ensures that higher-level specs do not depend on (reference) lower-level specs.
+ *
+ * Rule Logic:
+ * - When a reference is resolved to a definition, compare document levels
+ * - If the source document has a lower level (higher priority, lower number)
+ *   than the target document, report an error
+ */
+export const noReverseDependencyRule = {
+    meta: {
+        name: 'workspace/no-reverse-dependency',
+        code: 'no-reverse-dependency',
+        severity: 'error',
+        description: 'Higher-level specs MUST NOT depend on lower-level specs',
+        category: 'workspace'
+    },
+    create(context) {
+        return {
+            onReference(ref, target) {
+                // If reference is not resolved, nothing to check
+                if (!target) {
+                    return;
+                }
+                const sourceDocPath = context.document.sourcePos?.file;
+                const targetDocPath = target.sourcePos?.file;
+                if (!sourceDocPath || !targetDocPath) {
+                    return;
+                }
+                // Get levels
+                const sourceLevel = context.level;
+                const targetLevel = context.documentLevels.get(targetDocPath) ?? 0;
+                // If source is higher level (lower number) than target, that's a violation
+                if (sourceLevel < targetLevel) {
+                    context.report({
+                        message: `Higher-level spec "${sourceDocPath}" (level ${sourceLevel}) depends on lower-level spec "${targetDocPath}" (level ${targetLevel}) via term "${target.term}"`,
+                        file: sourceDocPath,
+                        sourcePos: ref.sourcePos
+                    });
+                }
+            }
+        };
+    }
+};
+//# sourceMappingURL=no-reverse-dependency.js.map

package/dist/rules/workspace/no-reverse-dependency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-reverse-dependency.js","sourceRoot":"","sources":["../../../src/rules/workspace/no-reverse-dependency.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC7C,IAAI,EAAE;QACF,IAAI,EAAE,iCAAiC;QACvC,IAAI,EAAE,uBAAuB;QAC7B,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE,yDAAyD;QACtE,QAAQ,EAAE,WAAW;KACxB;IAED,MAAM,CAAC,OAAoB;QACvB,OAAO;YACH,WAAW,CAAC,GAAG,EAAE,MAAM;gBACnB,iDAAiD;gBACjD,IAAI,CAAC,MAAM,EAAE,CAAC;oBACV,OAAO;gBACX,CAAC;gBAED,MAAM,aAAa,GAAG,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;gBACvD,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC;gBAE7C,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;oBACnC,OAAO;gBACX,CAAC;gBAED,aAAa;gBACb,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC;gBAClC,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBAEnE,2EAA2E;gBAC3E,IAAI,WAAW,GAAG,WAAW,EAAE,CAAC;oBAC5B,OAAO,CAAC,MAAM,CAAC;wBACX,OAAO,EAAE,sBAAsB,aAAa,YAAY,WAAW,kCAAkC,aAAa,YAAY,WAAW,eAAe,MAAM,CAAC,IAAI,GAAG;wBACtK,IAAI,EAAE,aAAa;wBACnB,SAAS,EAAE,GAAG,CAAC,SAAS;qBAC3B,CAAC,CAAC;gBACP,CAAC;YACL,CAAC;SACJ,CAAC;IACN,CAAC;CACJ,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,146 @@
+/**
+ * Core types for @openuji/speculator-lint
+ *
+ * Defines the rule-based linting architecture for Speculator workspace AST.
+ */
+import type { Workspace, Document, IndexDefinitionEntry, InlineReference, SourcePos } from '@openuji/speculator';
+/**
+ * Diagnostic severity levels
+ */
+export type Severity = 'error' | 'warning' | 'info';
+/**
+ * Rule category for organization
+ */
+export type RuleCategory = 'workspace' | 'document' | 'reference' | 'custom';
+/**
+ * Diagnostic produced by a lint rule
+ */
+export interface LintDiagnostic {
+    /** Rule code (e.g., 'no-redefinition') */
+    code: string;
+    /** Severity level */
+    severity: Severity;
+    /** Diagnostic message */
+    message: string;
+    /** File where the issue was found */
+    file?: string;
+    /** Source position in the file */
+    sourcePos?: SourcePos;
+}
+/**
+ * Context provided to lint rules
+ */
+export interface LintContext {
+    /** Current workspace being linted */
+    readonly workspace: Workspace;
+    /** Map of document path -> level (0 is highest) */
+    readonly documentLevels: Map<string, number>;
+    /** Current document being processed */
+    readonly document: Document;
+    /** Current document's level */
+    readonly level: number;
+    /**
+     * Report a diagnostic
+     */
+    report(diagnostic: Omit<LintDiagnostic, 'code' | 'severity'>): void;
+}
+/**
+ * Visitor pattern for AST traversal
+ * Rules implement the hooks they're interested in
+ */
+export interface LintVisitor {
+    /**
+     * Called for each definition in the document
+     * @param entry The definition entry
+     * @param allEntriesForTerm All entries for this normalized term across the workspace
+     */
+    onDefinition?(entry: IndexDefinitionEntry, allEntriesForTerm: IndexDefinitionEntry[]): void;
+    /**
+     * Called for each reference in the document
+     * @param ref The reference node
+     * @param target The resolved target definition (null if unresolved)
+     */
+    onReference?(ref: InlineReference, target: IndexDefinitionEntry | null): void;
+    /**
+     * Called once per document before visiting nodes
+     * @param doc The document
+     */
+    onDocument?(doc: Document): void;
+}
+/**
+ * Rule metadata
+ */
+export interface RuleMetadata {
+    /** Unique rule name (e.g., 'no-redefinition') */
+    name: string;
+    /** Diagnostic code used in reports */
+    code: string;
+    /** Default severity */
+    severity: Severity;
+    /** Human-readable description */
+    description: string;
+    /** Rule category */
+    category: RuleCategory;
+}
+/**
+ * Lint rule interface
+ */
+export interface LintRule {
+    /** Rule metadata */
+    meta: RuleMetadata;
+    /**
+     * Create a visitor for this rule
+     * @param context Lint context
+     * @returns Visitor implementation
+     */
+    create(context: LintContext): LintVisitor;
+}
+/**
+ * Configuration for a single rule
+ */
+export type RuleConfigValue = 'off' | 'error' | 'warning' | 'info' | [Severity, Record<string, unknown>?];
+/**
+ * Linter configuration
+ */
+export interface LintConfig {
+    /** Rule configurations by rule name */
+    rules?: Record<string, RuleConfigValue>;
+    /** Configurations to extend */
+    extends?: string[];
+}
+/**
+ * Result from a single rule execution
+ */
+export interface RuleResult {
+    /** Rule name */
+    ruleName: string;
+    /** Diagnostics produced by this rule */
+    diagnostics: LintDiagnostic[];
+    /** Execution time in milliseconds */
+    executionTime: number;
+}
+/**
+ * Overall lint result
+ */
+export interface LintResult {
+    /** All diagnostics from all rules */
+    diagnostics: LintDiagnostic[];
+    /** Quick check for errors */
+    hasErrors: boolean;
+    /** Results per rule */
+    ruleResults: Map<string, RuleResult>;
+    /** Total execution time */
+    totalTime: number;
+}
+/**
+ * Options for running the linter
+ */
+export interface LintOptions {
+    /** Workspace to lint */
+    workspace: Workspace;
+    /** Document level mapping */
+    documentLevels: Map<string, number>;
+    /** Optional configuration override */
+    config?: LintConfig;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACR,SAAS,EACT,QAAQ,EACR,oBAAoB,EACpB,eAAe,EACf,SAAS,EACZ,MAAM,qBAAqB,CAAC;AAE7B;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAEpD;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;AAE7E;;GAEG;AACH,MAAM,WAAW,cAAc;IAC3B,0CAA0C;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,qBAAqB;IACrB,QAAQ,EAAE,QAAQ,CAAC;IACnB,yBAAyB;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,qCAAqC;IACrC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,kCAAkC;IAClC,SAAS,CAAC,EAAE,SAAS,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IACxB,qCAAqC;IACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,mDAAmD;IACnD,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,uCAAuC;IACvC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,+BAA+B;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAEvB;;OAEG;IACH,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,cAAc,EAAE,MAAM,GAAG,UAAU,CAAC,GAAG,IAAI,CAAC;CACvE;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IACxB;;;;OAIG;IACH,YAAY,CAAC,CAAC,KAAK,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,GAAG,IAAI,CAAC;IAE5F;;;;OAIG;IACH,WAAW,CAAC,CAAC,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,oBAAoB,GAAG,IAAI,GAAG,IAAI,CAAC;IAE9E;;;OAGG;IACH,UAAU,CAAC,CAAC,GAAG,EAAE,QAAQ,GAAG,IAAI,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IACzB,iDAAiD;IACjD,IAAI,EAAE,MAAM,CAAC;IACb,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,uBAAuB;IACvB,QAAQ,EAAE,QAAQ,CAAC;IACnB,iCAAiC;IACjC,WAAW,EAAE,MAAM,CAAC;IACpB,oBAAoB;IACpB,QAAQ,EAAE,YAAY,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACrB,oBAAoB;IACpB,IAAI,EAAE,YAAY,CAAC;IAEnB;;;;OAIG;IACH,MAAM,CAAC,OAAO,EAAE,WAAW,GAAG,WAAW,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,MAAM,eAAe,GACrB,KAAK,GACL,OAAO,GACP,SAAS,GACT,MAAM,GACN,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;AAE3C;;GAEG;AACH,MAAM,WAAW,UAAU;IACvB,uCAAuC;IACvC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACxC,+BAA+B;IAC/B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACvB,gBAAgB;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,wCAAwC;IACxC,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,qCAAqC;IACrC,aAAa,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACvB,qCAAqC;IACrC,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,6BAA6B;IAC7B,SAAS,EAAE,OAAO,CAAC;IACnB,uBAAuB;IACvB,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACrC,2BAA2B;IAC3B,SAAS,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IACxB,wBAAwB;IACxB,SAAS,EAAE,SAAS,CAAC;IACrB,6BAA6B;IAC7B,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,sCAAsC;IACtC,MAAM,CAAC,EAAE,UAAU,CAAC;CACvB"}

package/dist/types.js

@@ -0,0 +1,7 @@
+/**
+ * Core types for @openuji/speculator-lint
+ *
+ * Defines the rule-based linting architecture for Speculator workspace AST.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

package/dist/utils.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Utility functions for speculator-lint
+ */
+/**
+ * Normalize a term for consistent lookup
+ * Mirrors the logic from @openuji/speculator
+ */
+export declare function normalizeTerm(term: string): string;
+//# sourceMappingURL=utils.d.ts.map

package/dist/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAKlD"}

package/dist/utils.js

@@ -0,0 +1,14 @@
+/**
+ * Utility functions for speculator-lint
+ */
+/**
+ * Normalize a term for consistent lookup
+ * Mirrors the logic from @openuji/speculator
+ */
+export function normalizeTerm(term) {
+    return term
+        .toLowerCase()
+        .trim()
+        .replace(/\s+/g, ' ');
+}
+//# sourceMappingURL=utils.js.map

package/dist/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACtC,OAAO,IAAI;SACN,WAAW,EAAE;SACb,IAAI,EAAE;SACN,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAC9B,CAAC"}

package/package.json

@@ -0,0 +1,46 @@
+{
+  "name": "@openuji/speculator-lint",
+  "version": "0.1.0",
+  "description": "Standalone linter for Speculator workspace AST with configurable validation rules",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "bin": {
+    "speculator-lint": "./dist/cli.js"
+  },
+  "imports": {
+    "#src/*": "./dist/*.js"
+  },
+  "devDependencies": {
+    "@types/node": "^20.10.0",
+    "@typescript-eslint/eslint-plugin": "^7.0.0",
+    "@typescript-eslint/parser": "^7.0.0",
+    "eslint": "^8.57.0",
+    "typescript": "^5.3.0",
+    "vitest": "^1.0.0"
+  },
+  "dependencies": {
+    "@openuji/speculator": "0.5.1"
+  },
+  "files": [
+    "dist",
+    ".speculatorlintrc.example.json"
+  ],
+  "keywords": [
+    "linter",
+    "ast",
+    "specification",
+    "validation",
+    "speculator"
+  ],
+  "license": "MIT",
+  "scripts": {
+    "build": "tsc",
+    "dev": "tsc --watch",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "lint": "eslint src --ext .ts",
+    "lint:fix": "eslint src --ext .ts --fix",
+    "typecheck": "tsc --noEmit"
+  }
+}