@rcrsr/rill 0.1.0 → 0.2.0

package/dist/check/validator.js

@@ -0,0 +1,88 @@
+/**
+ * Script Validator
+ * Orchestrates validation by traversing AST and invoking enabled rules.
+ */
+import { visitNode } from './visitor.js';
+import { VALIDATION_RULES } from './rules/index.js';
+// ============================================================
+// VALIDATION ORCHESTRATOR
+// ============================================================
+/**
+ * Validate script AST against all enabled rules.
+ * Traverses AST using visitor pattern, invoking enabled rules for matching nodes.
+ * Returns diagnostics sorted by line number, then column.
+ *
+ * @param ast - Parsed script AST to validate
+ * @param source - Original source text for context extraction
+ * @param config - Configuration determining which rules are active
+ * @returns Array of diagnostics sorted by location
+ */
+export function validateScript(ast, source, config) {
+    // Create validation context
+    const context = {
+        source,
+        ast,
+        config,
+        diagnostics: [],
+        variables: new Map(),
+    };
+    // Create visitor that invokes enabled rules
+    const visitor = {
+        enter(node, ctx) {
+            // For each enabled rule that applies to this node type
+            for (const rule of VALIDATION_RULES) {
+                // Skip if rule not enabled
+                if (!isRuleEnabled(rule.code, ctx.config)) {
+                    continue;
+                }
+                // Skip if rule doesn't apply to this node type
+                if (!rule.nodeTypes.includes(node.type)) {
+                    continue;
+                }
+                // Invoke rule validation and accumulate diagnostics
+                const ruleDiagnostics = rule.validate(node, ctx);
+                ctx.diagnostics.push(...ruleDiagnostics);
+            }
+            // Track variable captures AFTER rules check (for reassignment detection)
+            if (node.type === 'Capture') {
+                const captureNode = node;
+                if (!ctx.variables.has(captureNode.name)) {
+                    ctx.variables.set(captureNode.name, node.span.start);
+                }
+            }
+        },
+        exit(_node, _ctx) {
+            // No post-order validation needed currently
+        },
+    };
+    // Traverse AST with visitor
+    visitNode(ast, context, visitor);
+    // Sort diagnostics by location (line first, then column)
+    return sortDiagnostics(context.diagnostics);
+}
+// ============================================================
+// HELPERS
+// ============================================================
+/**
+ * Check if a rule is enabled based on configuration.
+ * Rules are enabled if state is 'on' or 'warn'.
+ */
+function isRuleEnabled(ruleCode, config) {
+    const state = config.rules[ruleCode];
+    return state === 'on' || state === 'warn';
+}
+/**
+ * Sort diagnostics by line number first, then column number.
+ * Stable sort preserves original order for diagnostics at same location.
+ */
+function sortDiagnostics(diagnostics) {
+    return [...diagnostics].sort((a, b) => {
+        // Sort by line first
+        if (a.location.line !== b.location.line) {
+            return a.location.line - b.location.line;
+        }
+        // Then by column
+        return a.location.column - b.location.column;
+    });
+}
+//# sourceMappingURL=validator.js.map

package/dist/check/validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/check/validator.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,SAAS,EAAoB,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,+DAA+D;AAC/D,0BAA0B;AAC1B,+DAA+D;AAE/D;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAC5B,GAAe,EACf,MAAc,EACd,MAAmB;IAEnB,4BAA4B;IAC5B,MAAM,OAAO,GAAsB;QACjC,MAAM;QACN,GAAG;QACH,MAAM;QACN,WAAW,EAAE,EAAE;QACf,SAAS,EAAE,IAAI,GAAG,EAAE;KACrB,CAAC;IAEF,4CAA4C;IAC5C,MAAM,OAAO,GAAgB;QAC3B,KAAK,CAAC,IAAa,EAAE,GAAsB;YACzC,uDAAuD;YACvD,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;gBACpC,2BAA2B;gBAC3B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC1C,SAAS;gBACX,CAAC;gBAED,+CAA+C;gBAC/C,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACxC,SAAS;gBACX,CAAC;gBAED,oDAAoD;gBACpD,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACjD,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC;YAC3C,CAAC;YAED,yEAAyE;YACzE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,WAAW,GAAG,IAAW,CAAC;gBAChC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;oBACzC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,KAAc,EAAE,IAAuB;YAC1C,4CAA4C;QAC9C,CAAC;KACF,CAAC;IAEF,4BAA4B;IAC5B,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAEjC,yDAAyD;IACzD,OAAO,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;AAC9C,CAAC;AAED,+DAA+D;AAC/D,UAAU;AACV,+DAA+D;AAE/D;;;GAGG;AACH,SAAS,aAAa,CAAC,QAAgB,EAAE,MAAmB;IAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACrC,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,MAAM,CAAC;AAC5C,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CAAC,WAAyB;IAChD,OAAO,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACpC,qBAAqB;QACrB,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YACxC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC3C,CAAC;QACD,iBAAiB;QACjB,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/check/visitor.d.ts

@@ -0,0 +1,33 @@
+/**
+ * AST Visitor
+ * Recursive traversal with enter/exit callbacks for validation rules.
+ */
+import type { ASTNode } from '../types.js';
+import type { ValidationContext } from './types.js';
+/**
+ * Visitor pattern interface for AST traversal.
+ * Provides enter/exit callbacks invoked before and after visiting children.
+ */
+export interface RuleVisitor {
+    /**
+     * Called before visiting node's children.
+     * Use for pre-order traversal validation.
+     */
+    enter(node: ASTNode, context: ValidationContext): void;
+    /**
+     * Called after visiting node's children.
+     * Use for post-order traversal validation.
+     */
+    exit(node: ASTNode, context: ValidationContext): void;
+}
+/**
+ * Recursively visit AST nodes with enter/exit callbacks.
+ * Handles all 46 node types from ASTNode union.
+ *
+ * Traversal order:
+ * 1. visitor.enter(node)
+ * 2. Recurse into children
+ * 3. visitor.exit(node)
+ */
+export declare function visitNode(node: ASTNode, context: ValidationContext, visitor: RuleVisitor): void;
+//# sourceMappingURL=visitor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"visitor.d.ts","sourceRoot":"","sources":["../../src/check/visitor.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAMpD;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B;;;OAGG;IACH,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAEvD;;;OAGG;IACH,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,GAAG,IAAI,CAAC;CACvD;AAMD;;;;;;;;GAQG;AACH,wBAAgB,SAAS,CACvB,IAAI,EAAE,OAAO,EACb,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,WAAW,GACnB,IAAI,CA+QN"}

package/dist/check/visitor.js

@@ -0,0 +1,243 @@
+/**
+ * AST Visitor
+ * Recursive traversal with enter/exit callbacks for validation rules.
+ */
+// ============================================================
+// VISITOR FUNCTION
+// ============================================================
+/**
+ * Recursively visit AST nodes with enter/exit callbacks.
+ * Handles all 46 node types from ASTNode union.
+ *
+ * Traversal order:
+ * 1. visitor.enter(node)
+ * 2. Recurse into children
+ * 3. visitor.exit(node)
+ */
+export function visitNode(node, context, visitor) {
+    // Enter callback before children
+    visitor.enter(node, context);
+    // Recurse based on node type
+    switch (node.type) {
+        case 'Script':
+            if (node.frontmatter) {
+                visitNode(node.frontmatter, context, visitor);
+            }
+            for (const stmt of node.statements) {
+                visitNode(stmt, context, visitor);
+            }
+            break;
+        case 'Frontmatter':
+            // Leaf node - no children
+            break;
+        case 'Statement':
+            visitNode(node.expression, context, visitor);
+            break;
+        case 'AnnotatedStatement':
+            for (const arg of node.annotations) {
+                visitNode(arg, context, visitor);
+            }
+            visitNode(node.statement, context, visitor);
+            break;
+        case 'NamedArg':
+            visitNode(node.value, context, visitor);
+            break;
+        case 'SpreadArg':
+            visitNode(node.expression, context, visitor);
+            break;
+        case 'PipeChain':
+            visitNode(node.head, context, visitor);
+            for (const pipe of node.pipes) {
+                visitNode(pipe, context, visitor);
+            }
+            if (node.terminator) {
+                visitNode(node.terminator, context, visitor);
+            }
+            break;
+        case 'PostfixExpr':
+            visitNode(node.primary, context, visitor);
+            for (const method of node.methods) {
+                visitNode(method, context, visitor);
+            }
+            break;
+        case 'BinaryExpr':
+            visitNode(node.left, context, visitor);
+            visitNode(node.right, context, visitor);
+            break;
+        case 'UnaryExpr':
+            visitNode(node.operand, context, visitor);
+            break;
+        case 'GroupedExpr':
+            visitNode(node.expression, context, visitor);
+            break;
+        case 'StringLiteral':
+            for (const part of node.parts) {
+                if (typeof part !== 'string') {
+                    visitNode(part, context, visitor);
+                }
+            }
+            break;
+        case 'Interpolation':
+            visitNode(node.expression, context, visitor);
+            break;
+        case 'NumberLiteral':
+        case 'BoolLiteral':
+            // Leaf nodes - no children
+            break;
+        case 'Tuple':
+            for (const element of node.elements) {
+                visitNode(element, context, visitor);
+            }
+            break;
+        case 'Dict':
+            for (const entry of node.entries) {
+                visitNode(entry, context, visitor);
+            }
+            break;
+        case 'DictEntry':
+            visitNode(node.value, context, visitor);
+            break;
+        case 'Closure':
+            for (const param of node.params) {
+                visitNode(param, context, visitor);
+            }
+            visitNode(node.body, context, visitor);
+            break;
+        case 'ClosureParam':
+            if (node.defaultValue) {
+                visitNode(node.defaultValue, context, visitor);
+            }
+            break;
+        case 'Variable':
+            if (node.defaultValue) {
+                visitNode(node.defaultValue, context, visitor);
+            }
+            break;
+        case 'HostCall':
+            for (const arg of node.args) {
+                visitNode(arg, context, visitor);
+            }
+            break;
+        case 'ClosureCall':
+            for (const arg of node.args) {
+                visitNode(arg, context, visitor);
+            }
+            break;
+        case 'MethodCall':
+            for (const arg of node.args) {
+                visitNode(arg, context, visitor);
+            }
+            break;
+        case 'Invoke':
+            for (const arg of node.args) {
+                visitNode(arg, context, visitor);
+            }
+            break;
+        case 'PipeInvoke':
+            for (const arg of node.args) {
+                visitNode(arg, context, visitor);
+            }
+            break;
+        case 'Conditional':
+            if (node.input) {
+                visitNode(node.input, context, visitor);
+            }
+            if (node.condition) {
+                visitNode(node.condition, context, visitor);
+            }
+            visitNode(node.thenBranch, context, visitor);
+            if (node.elseBranch) {
+                visitNode(node.elseBranch, context, visitor);
+            }
+            break;
+        case 'WhileLoop':
+            visitNode(node.condition, context, visitor);
+            visitNode(node.body, context, visitor);
+            break;
+        case 'DoWhileLoop':
+            if (node.input) {
+                visitNode(node.input, context, visitor);
+            }
+            visitNode(node.body, context, visitor);
+            visitNode(node.condition, context, visitor);
+            break;
+        case 'Block':
+            for (const stmt of node.statements) {
+                visitNode(stmt, context, visitor);
+            }
+            break;
+        case 'EachExpr':
+            visitNode(node.body, context, visitor);
+            if (node.accumulator) {
+                visitNode(node.accumulator, context, visitor);
+            }
+            break;
+        case 'MapExpr':
+            visitNode(node.body, context, visitor);
+            break;
+        case 'FoldExpr':
+            visitNode(node.body, context, visitor);
+            if (node.accumulator) {
+                visitNode(node.accumulator, context, visitor);
+            }
+            break;
+        case 'FilterExpr':
+            visitNode(node.body, context, visitor);
+            break;
+        case 'ClosureChain':
+            visitNode(node.target, context, visitor);
+            break;
+        case 'Destructure':
+            for (const element of node.elements) {
+                visitNode(element, context, visitor);
+            }
+            break;
+        case 'DestructPattern':
+            if (node.nested) {
+                visitNode(node.nested, context, visitor);
+            }
+            break;
+        case 'Slice':
+            if (node.start) {
+                visitNode(node.start, context, visitor);
+            }
+            if (node.stop) {
+                visitNode(node.stop, context, visitor);
+            }
+            if (node.step) {
+                visitNode(node.step, context, visitor);
+            }
+            break;
+        case 'Spread':
+            if (node.operand) {
+                visitNode(node.operand, context, visitor);
+            }
+            break;
+        case 'TypeAssertion':
+            if (node.operand) {
+                visitNode(node.operand, context, visitor);
+            }
+            break;
+        case 'TypeCheck':
+            if (node.operand) {
+                visitNode(node.operand, context, visitor);
+            }
+            break;
+        case 'Capture':
+        case 'Break':
+        case 'Return':
+            // Leaf nodes - no children
+            break;
+        case 'Error':
+            // Error recovery node - no children to visit
+            break;
+        default: {
+            // Exhaustive check: if we reach here, a node type is missing
+            const _exhaustive = node;
+            throw new Error(`Unhandled node type in visitor: ${_exhaustive.type}`);
+        }
+    }
+    // Exit callback after children
+    visitor.exit(node, context);
+}
+//# sourceMappingURL=visitor.js.map

package/dist/check/visitor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"visitor.js","sourceRoot":"","sources":["../../src/check/visitor.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA2BH,+DAA+D;AAC/D,mBAAmB;AACnB,+DAA+D;AAE/D;;;;;;;;GAQG;AACH,MAAM,UAAU,SAAS,CACvB,IAAa,EACb,OAA0B,EAC1B,OAAoB;IAEpB,iCAAiC;IACjC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE7B,6BAA6B;IAC7B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAChD,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACnC,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACpC,CAAC;YACD,MAAM;QAER,KAAK,aAAa;YAChB,0BAA0B;YAC1B,MAAM;QAER,KAAK,WAAW;YACd,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7C,MAAM;QAER,KAAK,oBAAoB;YACvB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACnC,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACnC,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC5C,MAAM;QAER,KAAK,UAAU;YACb,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACxC,MAAM;QAER,KAAK,WAAW;YACd,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7C,MAAM;QAER,KAAK,WAAW;YACd,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACpC,CAAC;YACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM;QAER,KAAK,aAAa;YAChB,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC1C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACtC,CAAC;YACD,MAAM;QAER,KAAK,YAAY;YACf,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACxC,MAAM;QAER,KAAK,WAAW;YACd,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC1C,MAAM;QAER,KAAK,aAAa;YAChB,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7C,MAAM;QAER,KAAK,eAAe;YAClB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC7B,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YACD,MAAM;QAER,KAAK,eAAe;YAClB,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7C,MAAM;QAER,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa;YAChB,2BAA2B;YAC3B,MAAM;QAER,KAAK,OAAO;YACV,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACpC,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvC,CAAC;YACD,MAAM;QAER,KAAK,MAAM;YACT,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACrC,CAAC;YACD,MAAM;QAER,KAAK,WAAW;YACd,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACxC,MAAM;QAER,KAAK,SAAS;YACZ,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACrC,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvC,MAAM;QAER,KAAK,cAAc;YACjB,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACjD,CAAC;YACD,MAAM;QAER,KAAK,UAAU;YACb,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACjD,CAAC;YACD,MAAM;QAER,KAAK,UAAU;YACb,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACnC,CAAC;YACD,MAAM;QAER,KAAK,aAAa;YAChB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACnC,CAAC;YACD,MAAM;QAER,KAAK,YAAY;YACf,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACnC,CAAC;YACD,MAAM;QAER,KAAK,QAAQ;YACX,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACnC,CAAC;YACD,MAAM;QAER,KAAK,YAAY;YACf,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACnC,CAAC;YACD,MAAM;QAER,KAAK,aAAa;YAChB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC1C,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC9C,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7C,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM;QAER,KAAK,WAAW;YACd,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC5C,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvC,MAAM;QAER,KAAK,aAAa;YAChB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC1C,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC5C,MAAM;QAER,KAAK,OAAO;YACV,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACnC,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACpC,CAAC;YACD,MAAM;QAER,KAAK,UAAU;YACb,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAChD,CAAC;YACD,MAAM;QAER,KAAK,SAAS;YACZ,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvC,MAAM;QAER,KAAK,UAAU;YACb,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAChD,CAAC;YACD,MAAM;QAER,KAAK,YAAY;YACf,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvC,MAAM;QAER,KAAK,cAAc;YACjB,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACzC,MAAM;QAER,KAAK,aAAa;YAChB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACpC,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvC,CAAC;YACD,MAAM;QAER,KAAK,iBAAiB;YACpB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC3C,CAAC;YACD,MAAM;QAER,KAAK,OAAO;YACV,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC1C,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACzC,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACzC,CAAC;YACD,MAAM;QAER,KAAK,QAAQ;YACX,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjB,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC5C,CAAC;YACD,MAAM;QAER,KAAK,eAAe;YAClB,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjB,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC5C,CAAC;YACD,MAAM;QAER,KAAK,WAAW;YACd,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjB,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC5C,CAAC;YACD,MAAM;QAER,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,2BAA2B;YAC3B,MAAM;QAER,KAAK,OAAO;YACV,6CAA6C;YAC7C,MAAM;QAER,OAAO,CAAC,CAAC,CAAC;YACR,6DAA6D;YAC7D,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,MAAM,IAAI,KAAK,CACb,mCAAoC,WAAuB,CAAC,IAAI,EAAE,CACnE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,+BAA+B;IAC/B,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC9B,CAAC"}

package/dist/cli-check.d.ts

@@ -0,0 +1,43 @@
+#!/usr/bin/env node
+/**
+ * CLI Check Entry Point
+ *
+ * Implements argument parsing for rill-check.
+ * Validates Rill source files against linting rules.
+ */
+import type { Diagnostic } from './check/index.js';
+/**
+ * Parsed command-line arguments for rill-check
+ */
+export type ParsedCheckArgs = {
+    mode: 'check';
+    file: string;
+    fix: boolean;
+    verbose: boolean;
+    format: 'text' | 'json';
+} | {
+    mode: 'help' | 'version';
+};
+/**
+ * Parse command-line arguments for rill-check
+ *
+ * @param argv - Raw command-line arguments (typically process.argv.slice(2))
+ * @returns Parsed command object
+ */
+export declare function parseCheckArgs(argv: string[]): ParsedCheckArgs;
+/**
+ * Format diagnostics for output
+ *
+ * Adapts pattern from cli-shared.ts formatError function.
+ * Text format: file:line:col: severity: message (code)
+ * JSON format: complete schema with errors array and summary
+ * Verbose mode: adds category field to diagnostics
+ *
+ * @param file - File path being checked
+ * @param diagnostics - Array of diagnostics to format
+ * @param format - Output format ('text' or 'json')
+ * @param verbose - Whether to include category and doc references
+ * @returns Formatted output string
+ */
+export declare function formatDiagnostics(file: string, diagnostics: Diagnostic[], format: 'text' | 'json', verbose: boolean): string;
+//# sourceMappingURL=cli-check.d.ts.map

package/dist/cli-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli-check.d.ts","sourceRoot":"","sources":["../src/cli-check.ts"],"names":[],"mappings":";AACA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAWnD;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB;IACE,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,OAAO,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;CACzB,GACD;IAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEjC;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,eAAe,CAmF9D;AAMD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,UAAU,EAAE,EACzB,MAAM,EAAE,MAAM,GAAG,MAAM,EACvB,OAAO,EAAE,OAAO,GACf,MAAM,CAKR"}