@rcrsr/rill 0.1.0 → 0.2.0

package/README.md

@@ -14,17 +14,19 @@ rill enables platform builders to make their apps scriptable without exposing ar
 rill solves for AI platforms what Lua solves for game engines and Liquid solves for e-commerce: safe, user-authored logic.
 
 - **Embeddable.** Zero dependencies. Runs in browser or backend. [Integration](docs/14_host-integration.md) only requires a few lines of code.
-- **Sandboxed.** Users can only call functions you explicitly provide. No filesystem, no network, no `eval()` disasters.
+- **Sandboxed.** No filesystem, no network, no `eval()`. Host controls all side effects via function bindings.
 - **Bounded execution.** Retry limits prevent exhausting LLM usage limits because of runaway loops.
 - **Consistent, clean syntax.** Ships with [EBNF grammar](docs/15_grammar.ebnf). LLMs can write rill scripts for your users.
-- **Built-in LLM output parsing.** [Auto-detect](docs/10_parsing.md) JSON, XML, YAML, checklists.
+- **Built-in LLM output parsing.** [Auto-detect](docs/10_parsing.md) and parse JSON, XML, YAML, checklists.
 
 ## Who is this for?
 
-**Platform builders** who want power users to define custom LLM workflows without hand-coding each one.
+**Application and Platform builders** who want to enable their power users to define custom automation workflows and logic.
 
 rill is not a general-purpose language and it's intentionally constrained. For general application development, you'll want TypeScript, Python, or Go.
 
+rill powers [Claude Code Runner](https://github.com/rcrsr/claude-code-runner), a rich automation tool for Claude Code.
+
 ## Quick Start
 
 ```typescript
@@ -37,8 +39,14 @@ const script = `
 
 const ctx = createRuntimeContext({
   functions: {
-    prompt: async (args) => await callYourLLM(args[0]),
-    error: (args) => { throw new Error(String(args[0])); },
+    prompt: {
+      params: [{ name: 'message', type: 'string' }],
+      fn: async (args) => await callYourLLM(args[0]),
+    },
+    error: {
+      params: [{ name: 'message', type: 'string' }],
+      fn: (args) => { throw new Error(String(args[0])); },
+    },
   },
 });
 
@@ -125,7 +133,7 @@ Built-in functions for extracting structured data from LLM responses.
 
 ### String Interpolation
 
-Embed expressions in strings. Heredoc for multi-line.
+Embed expressions in strings. Triple-quotes for multi-line.
 
 ```rill
 "world" -> "Hello, {$}!" -> log  # Hello, world!
@@ -133,10 +141,10 @@ Embed expressions in strings. Heredoc for multi-line.
 
 ```rill
 "x + 1" :> $code
-<<EOF
+"""
 Analyze: {$code}
 Return: PASS or FAIL
-EOF
+"""
 ```
 
 ## Core Syntax

package/dist/check/config.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Configuration Loader for rill-check
+ * Loads and validates .rill-check.json configuration files.
+ */
+import type { CheckConfig } from './types.js';
+/**
+ * Create default configuration with all rules enabled.
+ * Returns configuration where all known rules are set to 'on'.
+ */
+export declare function createDefaultConfig(): CheckConfig;
+/**
+ * Load configuration from .rill-check.json in the specified directory.
+ *
+ * @param cwd - Directory to search for configuration file
+ * @returns CheckConfig object, or null if file not found
+ * @throws Error with "Invalid configuration: {reason}" if JSON is invalid [EC-3]
+ * @throws Error with "Invalid configuration: unknown rule {code}" if unknown rule [EC-4]
+ */
+export declare function loadConfig(cwd: string): CheckConfig | null;
+//# sourceMappingURL=config.d.ts.map

package/dist/check/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/check/config.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,KAAK,EAAE,WAAW,EAAuB,MAAM,YAAY,CAAC;AAcnE;;;GAGG;AACH,wBAAgB,mBAAmB,IAAI,WAAW,CAUjD;AAqGD;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAiD1D"}

package/dist/check/config.js

@@ -0,0 +1,151 @@
+/**
+ * Configuration Loader for rill-check
+ * Loads and validates .rill-check.json configuration files.
+ */
+import { readFileSync, existsSync } from 'node:fs';
+import { join } from 'node:path';
+import { VALIDATION_RULES } from './rules/index.js';
+// ============================================================
+// CONSTANTS
+// ============================================================
+/** Configuration file name */
+const CONFIG_FILE_NAME = '.rill-check.json';
+// ============================================================
+// DEFAULT CONFIGURATION
+// ============================================================
+/**
+ * Create default configuration with all rules enabled.
+ * Returns configuration where all known rules are set to 'on'.
+ */
+export function createDefaultConfig() {
+    const rules = {};
+    const severity = {};
+    for (const rule of VALIDATION_RULES) {
+        rules[rule.code] = 'on';
+        severity[rule.code] = rule.severity;
+    }
+    return { rules, severity };
+}
+// ============================================================
+// VALIDATION
+// ============================================================
+/**
+ * Validate that a value is a valid RuleState.
+ */
+function isRuleState(value) {
+    return value === 'on' || value === 'off' || value === 'warn';
+}
+/**
+ * Validate that a value is a valid Severity.
+ */
+function isSeverity(value) {
+    return value === 'error' || value === 'warning' || value === 'info';
+}
+/**
+ * Validate configuration structure and values.
+ * Throws Error if configuration is invalid.
+ */
+function validateConfig(data) {
+    if (typeof data !== 'object' || data === null || Array.isArray(data)) {
+        throw new Error('Invalid configuration: must be an object');
+    }
+    const config = data;
+    // Validate rules field if present
+    if ('rules' in config) {
+        if (typeof config['rules'] !== 'object' ||
+            config['rules'] === null ||
+            Array.isArray(config['rules'])) {
+            throw new Error('Invalid configuration: rules must be an object');
+        }
+        const rules = config['rules'];
+        for (const [code, state] of Object.entries(rules)) {
+            if (!isRuleState(state)) {
+                throw new Error(`Invalid configuration: rule ${code} has invalid state "${state}" (must be 'on', 'off', or 'warn')`);
+            }
+        }
+    }
+    // Validate severity field if present
+    if ('severity' in config) {
+        if (typeof config['severity'] !== 'object' ||
+            config['severity'] === null ||
+            Array.isArray(config['severity'])) {
+            throw new Error('Invalid configuration: severity must be an object');
+        }
+        const severity = config['severity'];
+        for (const [code, sev] of Object.entries(severity)) {
+            if (!isSeverity(sev)) {
+                throw new Error(`Invalid configuration: rule ${code} has invalid severity "${sev}" (must be 'error', 'warning', or 'info')`);
+            }
+        }
+    }
+}
+/**
+ * Validate that all rule codes in config are known rules.
+ * Throws Error if unknown rule code found.
+ */
+function validateRuleCodes(config) {
+    const knownRules = new Set(VALIDATION_RULES.map((r) => r.code));
+    // Check rules field
+    for (const code of Object.keys(config.rules)) {
+        if (!knownRules.has(code)) {
+            throw new Error(`Invalid configuration: unknown rule ${code}`);
+        }
+    }
+    // Check severity field
+    for (const code of Object.keys(config.severity)) {
+        if (!knownRules.has(code)) {
+            throw new Error(`Invalid configuration: unknown rule ${code}`);
+        }
+    }
+}
+// ============================================================
+// CONFIGURATION LOADING
+// ============================================================
+/**
+ * Load configuration from .rill-check.json in the specified directory.
+ *
+ * @param cwd - Directory to search for configuration file
+ * @returns CheckConfig object, or null if file not found
+ * @throws Error with "Invalid configuration: {reason}" if JSON is invalid [EC-3]
+ * @throws Error with "Invalid configuration: unknown rule {code}" if unknown rule [EC-4]
+ */
+export function loadConfig(cwd) {
+    const configPath = join(cwd, CONFIG_FILE_NAME);
+    // Return null if file not found (not an error)
+    if (!existsSync(configPath)) {
+        return null;
+    }
+    let fileContent;
+    try {
+        fileContent = readFileSync(configPath, 'utf-8');
+    }
+    catch (err) {
+        throw new Error(`Invalid configuration: failed to read file (${err instanceof Error ? err.message : String(err)})`);
+    }
+    // Parse JSON
+    let parsedData;
+    try {
+        parsedData = JSON.parse(fileContent);
+    }
+    catch (err) {
+        throw new Error(`Invalid configuration: invalid JSON (${err instanceof Error ? err.message : String(err)})`);
+    }
+    // Validate structure
+    validateConfig(parsedData);
+    // Get defaults
+    const defaults = createDefaultConfig();
+    // Merge with defaults (parsedData is validated, so we can safely cast)
+    const rules = {
+        ...defaults.rules,
+        ...parsedData.rules,
+    };
+    const severity = {
+        ...defaults.severity,
+        ...parsedData.severity,
+    };
+    const config = { rules, severity };
+    // Validate rule codes
+    validateRuleCodes(config);
+    return config;
+}
+//# sourceMappingURL=config.js.map

package/dist/check/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/check/config.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,+DAA+D;AAC/D,YAAY;AACZ,+DAA+D;AAE/D,8BAA8B;AAC9B,MAAM,gBAAgB,GAAG,kBAAkB,CAAC;AAE5C,+DAA+D;AAC/D,wBAAwB;AACxB,+DAA+D;AAE/D;;;GAGG;AACH,MAAM,UAAU,mBAAmB;IACjC,MAAM,KAAK,GAA8B,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAE9C,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACxB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;IACtC,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED,+DAA+D;AAC/D,aAAa;AACb,+DAA+D;AAE/D;;GAEG;AACH,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,MAAM,CAAC;AAC/D,CAAC;AAED;;GAEG;AACH,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM,CAAC;AACtE,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CAAC,IAAa;IAInC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;IAED,MAAM,MAAM,GAAG,IAA+B,CAAC;IAE/C,kCAAkC;IAClC,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;QACtB,IACE,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,QAAQ;YACnC,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI;YACxB,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAC9B,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACpE,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAA4B,CAAC;QACzD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CACb,+BAA+B,IAAI,uBAAuB,KAAK,oCAAoC,CACpG,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,qCAAqC;IACrC,IAAI,UAAU,IAAI,MAAM,EAAE,CAAC;QACzB,IACE,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,QAAQ;YACtC,MAAM,CAAC,UAAU,CAAC,KAAK,IAAI;YAC3B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EACjC,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;QACvE,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAA4B,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CACb,+BAA+B,IAAI,0BAA0B,GAAG,2CAA2C,CAC5G,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,MAAmB;IAC5C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEhE,oBAAoB;IACpB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,uBAAuB;IACvB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;AACH,CAAC;AAED,+DAA+D;AAC/D,wBAAwB;AACxB,+DAA+D;AAE/D;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,GAAW;IACpC,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;IAE/C,+CAA+C;IAC/C,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,WAAmB,CAAC;IACxB,IAAI,CAAC;QACH,WAAW,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,+CAA+C,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CACnG,CAAC;IACJ,CAAC;IAED,aAAa;IACb,IAAI,UAAmB,CAAC;IACxB,IAAI,CAAC;QACH,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,wCAAwC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAC5F,CAAC;IACJ,CAAC;IAED,qBAAqB;IACrB,cAAc,CAAC,UAAU,CAAC,CAAC;IAE3B,eAAe;IACf,MAAM,QAAQ,GAAG,mBAAmB,EAAE,CAAC;IAEvC,uEAAuE;IACvE,MAAM,KAAK,GAAG;QACZ,GAAG,QAAQ,CAAC,KAAK;QACjB,GAAI,UAAU,CAAC,KAA+C;KAC/D,CAAC;IACF,MAAM,QAAQ,GAAG;QACf,GAAG,QAAQ,CAAC,QAAQ;QACpB,GAAI,UAAU,CAAC,QAAiD;KACjE,CAAC;IAEF,MAAM,MAAM,GAAgB,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAEhD,sBAAsB;IACtB,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAE1B,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/check/fixer.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Fix Applier
+ * Apply automatic fixes to source code with collision detection.
+ */
+import type { Diagnostic, ValidationContext } from './types.js';
+/**
+ * Result of applying fixes to source code.
+ */
+export interface ApplyResult {
+    /** Modified source code with fixes applied */
+    readonly modified: string;
+    /** Number of fixes successfully applied */
+    readonly applied: number;
+    /** Number of fixes skipped */
+    readonly skipped: number;
+    /** Reasons for skipped fixes */
+    readonly skippedReasons: Array<{
+        code: string;
+        reason: string;
+    }>;
+}
+/**
+ * Apply automatic fixes to source code.
+ *
+ * Constraints:
+ * - Applies fixes in reverse position order (end to start) to avoid offset shifts
+ * - Skips fixes where applicable === false
+ * - Detects collisions (overlapping ranges) and skips with reason
+ * - Verifies modified source parses successfully
+ * - Throws if any applied fix creates invalid syntax
+ *
+ * @param source - Original source code
+ * @param diagnostics - Diagnostics with potential fixes
+ * @param context - Validation context (unused but required by spec)
+ * @returns ApplyResult with modified source and counts
+ * @throws Error if applied fixes create invalid syntax [EC-6]
+ */
+export declare function applyFixes(source: string, diagnostics: Diagnostic[], _context: ValidationContext): ApplyResult;
+//# sourceMappingURL=fixer.d.ts.map

package/dist/check/fixer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixer.d.ts","sourceRoot":"","sources":["../../src/check/fixer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAMhE;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,8CAA8C;IAC9C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,2CAA2C;IAC3C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,8BAA8B;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,gCAAgC;IAChC,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAClE;AAgBD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,UAAU,EAAE,EACzB,QAAQ,EAAE,iBAAiB,GAC1B,WAAW,CAuDb"}

package/dist/check/fixer.js

@@ -0,0 +1,119 @@
+/**
+ * Fix Applier
+ * Apply automatic fixes to source code with collision detection.
+ */
+import { parse } from '../parser/index.js';
+// ============================================================
+// FIX APPLICATION
+// ============================================================
+/**
+ * Apply automatic fixes to source code.
+ *
+ * Constraints:
+ * - Applies fixes in reverse position order (end to start) to avoid offset shifts
+ * - Skips fixes where applicable === false
+ * - Detects collisions (overlapping ranges) and skips with reason
+ * - Verifies modified source parses successfully
+ * - Throws if any applied fix creates invalid syntax
+ *
+ * @param source - Original source code
+ * @param diagnostics - Diagnostics with potential fixes
+ * @param context - Validation context (unused but required by spec)
+ * @returns ApplyResult with modified source and counts
+ * @throws Error if applied fixes create invalid syntax [EC-6]
+ */
+export function applyFixes(source, diagnostics, _context) {
+    // Filter to diagnostics with fixes
+    const fixableDiagnostics = diagnostics.filter((d) => d.fix !== null && d.fix.applicable);
+    // If no applicable fixes, return original
+    if (fixableDiagnostics.length === 0) {
+        return {
+            modified: source,
+            applied: 0,
+            skipped: 0,
+            skippedReasons: [],
+        };
+    }
+    // Convert to ApplicableFix with positions
+    const fixes = fixableDiagnostics.map((d) => ({
+        code: d.code,
+        start: d.fix.range.start.offset,
+        end: d.fix.range.end.offset,
+        replacement: d.fix.replacement,
+    }));
+    // Sort fixes by end position (descending) to apply from end to start
+    // This avoids offset shifts when applying multiple fixes
+    const sortedFixes = fixes.slice().sort((a, b) => b.end - a.end);
+    // Detect collisions and filter to non-overlapping fixes
+    const { validFixes, skippedReasons } = filterCollisions(sortedFixes);
+    // Apply fixes to source
+    let modified = source;
+    for (const fix of validFixes) {
+        const before = modified.slice(0, fix.start);
+        const after = modified.slice(fix.end);
+        modified = before + fix.replacement + after;
+    }
+    // Verify modified source parses successfully [EC-6]
+    try {
+        parse(modified);
+    }
+    catch {
+        throw new Error('Fix would create invalid syntax');
+    }
+    const applied = validFixes.length;
+    const skipped = sortedFixes.length - applied;
+    return {
+        modified,
+        applied,
+        skipped,
+        skippedReasons,
+    };
+}
+// ============================================================
+// COLLISION DETECTION
+// ============================================================
+/**
+ * Filter fixes to remove overlapping ranges.
+ * Detects collisions where fix ranges overlap [EC-5].
+ *
+ * Strategy: Keep first fix in sorted order (end to start),
+ * skip subsequent fixes that overlap with any kept fix.
+ *
+ * @param sortedFixes - Fixes sorted by end position (descending)
+ * @returns Valid fixes and reasons for skipped fixes
+ */
+function filterCollisions(sortedFixes) {
+    const validFixes = [];
+    const skippedReasons = [];
+    for (const fix of sortedFixes) {
+        // Check if this fix overlaps with any already-kept fix
+        const hasCollision = validFixes.some((kept) => rangesOverlap(fix, kept));
+        if (hasCollision) {
+            // Skip this fix due to collision [EC-5]
+            skippedReasons.push({
+                code: fix.code,
+                reason: 'Fix range overlaps with another fix',
+            });
+        }
+        else {
+            // No collision, keep this fix
+            validFixes.push(fix);
+        }
+    }
+    return { validFixes, skippedReasons };
+}
+/**
+ * Check if two fix ranges overlap.
+ *
+ * Ranges overlap if:
+ * - One starts before the other ends, AND
+ * - One ends after the other starts
+ *
+ * @param a - First fix range
+ * @param b - Second fix range
+ * @returns true if ranges overlap
+ */
+function rangesOverlap(a, b) {
+    return a.start < b.end && a.end > b.start;
+}
+//# sourceMappingURL=fixer.js.map

package/dist/check/fixer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixer.js","sourceRoot":"","sources":["../../src/check/fixer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AA+B3C,+DAA+D;AAC/D,kBAAkB;AAClB,+DAA+D;AAE/D;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,UAAU,CACxB,MAAc,EACd,WAAyB,EACzB,QAA2B;IAE3B,mCAAmC;IACnC,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,CAC3C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,CAC1C,CAAC;IAEF,0CAA0C;IAC1C,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO;YACL,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;YACV,cAAc,EAAE,EAAE;SACnB,CAAC;IACJ,CAAC;IAED,0CAA0C;IAC1C,MAAM,KAAK,GAAoB,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5D,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,KAAK,EAAE,CAAC,CAAC,GAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM;QAChC,GAAG,EAAE,CAAC,CAAC,GAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM;QAC5B,WAAW,EAAE,CAAC,CAAC,GAAI,CAAC,WAAW;KAChC,CAAC,CAAC,CAAC;IAEJ,qEAAqE;IACrE,yDAAyD;IACzD,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAEhE,wDAAwD;IACxD,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAErE,wBAAwB;IACxB,IAAI,QAAQ,GAAG,MAAM,CAAC;IACtB,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,QAAQ,GAAG,MAAM,GAAG,GAAG,CAAC,WAAW,GAAG,KAAK,CAAC;IAC9C,CAAC;IAED,oDAAoD;IACpD,IAAI,CAAC;QACH,KAAK,CAAC,QAAQ,CAAC,CAAC;IAClB,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC;IAClC,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,GAAG,OAAO,CAAC;IAE7C,OAAO;QACL,QAAQ;QACR,OAAO;QACP,OAAO;QACP,cAAc;KACf,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,sBAAsB;AACtB,+DAA+D;AAE/D;;;;;;;;;GASG;AACH,SAAS,gBAAgB,CAAC,WAA4B;IAIpD,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,MAAM,cAAc,GAA4C,EAAE,CAAC;IAEnE,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,uDAAuD;QACvD,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAEzE,IAAI,YAAY,EAAE,CAAC;YACjB,wCAAwC;YACxC,cAAc,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,qCAAqC;aAC9C,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,8BAA8B;YAC9B,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;AACxC,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,aAAa,CACpB,CAAiC,EACjC,CAAiC;IAEjC,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC;AAC5C,CAAC"}

package/dist/check/index.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Check Module - Static Analysis for rill
+ * Public API for rill-check tool.
+ */
+export type { ValidationRule, RuleCategory, Severity, RuleState, Diagnostic, Fix, CheckConfig, ValidationContext, FixContext, } from './types.js';
+export { VALIDATION_RULES } from './rules/index.js';
+export { loadConfig, createDefaultConfig } from './config.js';
+export { validateScript } from './validator.js';
+export { applyFixes, type ApplyResult } from './fixer.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/check/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,YAAY,EACV,cAAc,EACd,YAAY,EACZ,QAAQ,EACR,SAAS,EACT,UAAU,EACV,GAAG,EACH,WAAW,EACX,iBAAiB,EACjB,UAAU,GACX,MAAM,YAAY,CAAC;AAKpB,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAKpD,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAK9D,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKhD,OAAO,EAAE,UAAU,EAAE,KAAK,WAAW,EAAE,MAAM,YAAY,CAAC"}

package/dist/check/index.js

@@ -0,0 +1,21 @@
+/**
+ * Check Module - Static Analysis for rill
+ * Public API for rill-check tool.
+ */
+// ============================================================
+// RULE REGISTRY
+// ============================================================
+export { VALIDATION_RULES } from './rules/index.js';
+// ============================================================
+// CONFIGURATION
+// ============================================================
+export { loadConfig, createDefaultConfig } from './config.js';
+// ============================================================
+// VALIDATION
+// ============================================================
+export { validateScript } from './validator.js';
+// ============================================================
+// FIX APPLICATION
+// ============================================================
+export { applyFixes } from './fixer.js';
+//# sourceMappingURL=index.js.map

package/dist/check/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/check/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAiBH,+DAA+D;AAC/D,gBAAgB;AAChB,+DAA+D;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,+DAA+D;AAC/D,gBAAgB;AAChB,+DAA+D;AAC/D,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAE9D,+DAA+D;AAC/D,aAAa;AACb,+DAA+D;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEhD,+DAA+D;AAC/D,kBAAkB;AAClB,+DAA+D;AAC/D,OAAO,EAAE,UAAU,EAAoB,MAAM,YAAY,CAAC"}

package/dist/check/rules/anti-patterns.d.ts

@@ -0,0 +1,65 @@
+/**
+ * Anti-Pattern Rules
+ * Enforces best practices from docs/16_conventions.md:411-462.
+ */
+import type { ValidationRule } from '../types.js';
+/**
+ * Warns on variable reassignment patterns.
+ * Variables lock to their first type, and reassignment suggests confusing
+ * flow control. Prefer functional style or new variables.
+ *
+ * Detection:
+ * - Capture node (:> $var) where $var already exists in validation context
+ * - Tracks variables seen during validation pass
+ *
+ * Valid alternatives:
+ * - Use new variable: $result1, $result2
+ * - Functional chains: value -> op1 -> op2
+ *
+ * References:
+ * - docs/16_conventions.md:413-424
+ */
+export declare const AVOID_REASSIGNMENT: ValidationRule;
+/**
+ * Warns on complex nested boolean conditions.
+ * Complex conditions with multiple nested operators are hard to read.
+ * Extract to named variables for clarity.
+ *
+ * Detection:
+ * - Conditional nodes with conditions containing 3+ boolean operators (&&, ||)
+ * - Nesting depth > 2 for boolean expressions
+ *
+ * Valid alternatives:
+ * - Extract sub-conditions to named variables
+ * - Split complex checks into multiple smaller checks
+ *
+ * References:
+ * - docs/16_conventions.md:451-461
+ */
+export declare const COMPLEX_CONDITION: ValidationRule;
+/**
+ * Detects attempts to modify outer-scope variables from inside loops.
+ * This is a common LLM-generated anti-pattern that never works in Rill.
+ *
+ * Rill's scoping rules mean that captures inside loop bodies create LOCAL
+ * variables that don't affect outer scope. This is a fundamental language
+ * constraint, not a style preference.
+ *
+ * WRONG - this pattern NEVER works:
+ *   0 :> $count
+ *   [1, 2, 3] -> each { $count + 1 :> $count }  # creates LOCAL $count
+ *   $count                                       # still 0!
+ *
+ * RIGHT - use accumulators:
+ *   [1, 2, 3] -> fold(0) { $@ + 1 }             # returns 3
+ *   [1, 2, 3] -> each(0) { $@ + 1 }             # returns [1, 2, 3]
+ *
+ * This rule catches captures inside loop/collection bodies where the
+ * variable name matches an outer-scope variable.
+ *
+ * References:
+ * - docs/99_llm-reference.txt (LOOP STATE PATTERNS)
+ * - docs/03_variables.md (Scope Rules)
+ */
+export declare const LOOP_OUTER_CAPTURE: ValidationRule;
+//# sourceMappingURL=anti-patterns.d.ts.map

package/dist/check/rules/anti-patterns.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"anti-patterns.d.ts","sourceRoot":"","sources":["../../../src/check/rules/anti-patterns.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EACV,cAAc,EAGf,MAAM,aAAa,CAAC;AAmBrB;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,kBAAkB,EAAE,cA+BhC,CAAC;AAMF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,iBAAiB,EAAE,cA6C/B,CAAC;AAmIF;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,kBAAkB,EAAE,cAiEhC,CAAC"}