@sayoriqwq/effect-harness 0.0.1

package/dist/src/harness/Errors.js

@@ -0,0 +1,26 @@
+import * as Data from 'effect/Data';
+export class HarnessError extends Data.TaggedError('HarnessError') {
+}
+export class ProcessError extends Data.TaggedError('ProcessError') {
+}
+export function errorMessage(error) {
+    if (typeof error === 'object' && error !== null && '_tag' in error && error._tag === 'ProcessError') {
+        const processError = error;
+        const lines = [processError.message];
+        if (processError.stderr.trim().length > 0) {
+            lines.push(`stderr:\n${processError.stderr.trim()}`);
+        }
+        if (processError.stdout.trim().length > 0) {
+            lines.push(`stdout:\n${processError.stdout.trim()}`);
+        }
+        return lines.join('\n');
+    }
+    if (typeof error === 'object' && error !== null && 'message' in error) {
+        const message = error.message;
+        if (typeof message === 'string') {
+            return message;
+        }
+    }
+    return String(error);
+}
+//# sourceMappingURL=Errors.js.map

package/dist/src/harness/Errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Errors.js","sourceRoot":"","sources":["../../../src/harness/Errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AAEnC,MAAM,OAAO,YAAa,SAAQ,IAAI,CAAC,WAAW,CAAC,cAAc,CAG/D;CAAG;AAEL,MAAM,OAAO,YAAa,SAAQ,IAAI,CAAC,WAAW,CAAC,cAAc,CAS/D;CAAG;AAEL,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACpG,MAAM,YAAY,GAAG,KAAqB,CAAA;QAC1C,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;QACpC,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,YAAY,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QACtD,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,YAAY,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QACtD,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,SAAS,IAAI,KAAK,EAAE,CAAC;QACtE,MAAM,OAAO,GAAI,KAAwC,CAAC,OAAO,CAAA;QACjE,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,OAAO,OAAO,CAAA;QAChB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;AACtB,CAAC","sourcesContent":["import * as Data from 'effect/Data'\n\nexport class HarnessError extends Data.TaggedError('HarnessError')<{\n  readonly message: string\n  readonly cause?: unknown\n}> {}\n\nexport class ProcessError extends Data.TaggedError('ProcessError')<{\n  readonly args: ReadonlyArray<string>\n  readonly command: string\n  readonly exitCode?: number\n  readonly message: string\n  readonly stderr: string\n  readonly stdout: string\n  readonly cause?: unknown\n  readonly cwd?: string\n}> {}\n\nexport function errorMessage(error: unknown): string {\n  if (typeof error === 'object' && error !== null && '_tag' in error && error._tag === 'ProcessError') {\n    const processError = error as ProcessError\n    const lines = [processError.message]\n    if (processError.stderr.trim().length > 0) {\n      lines.push(`stderr:\\n${processError.stderr.trim()}`)\n    }\n    if (processError.stdout.trim().length > 0) {\n      lines.push(`stdout:\\n${processError.stdout.trim()}`)\n    }\n    return lines.join('\\n')\n  }\n\n  if (typeof error === 'object' && error !== null && 'message' in error) {\n    const message = (error as { readonly message?: unknown }).message\n    if (typeof message === 'string') {\n      return message\n    }\n  }\n  return String(error)\n}\n"]}

package/dist/src/harness/GuardrailRules.d.ts

@@ -0,0 +1,6 @@
+export interface GuardrailViolation {
+    readonly file: string;
+    readonly line: number;
+    readonly message: string;
+}
+export declare function analyzeGuardrailFile(file: string, text: string): ReadonlyArray<GuardrailViolation>;

package/dist/src/harness/GuardrailRules.js

@@ -0,0 +1,303 @@
+import * as ts from 'typescript';
+const contextTagMessage = 'Use Context.Service for v4 beta service definitions.';
+const silentCatchMessage = 'Do not silently swallow Effect errors with Effect.void or Effect.unit.';
+const assertionFallbackMessage = 'Do not silence @effect/tsgo fallback diagnostics with assertions; type the fallback return or use a named result helper.';
+const assertionSucceedMessage = 'Do not wrap asserted values in Effect.succeed to silence @effect/tsgo; declare the type boundary before lifting into Effect.';
+const assertionDiscriminantMessage = 'Do not force result discriminants with `as const`; use a named union boundary or typed helper.';
+const bannedEffectMembers = new Map([
+    ['asVoid', 'Avoid Effect.asVoid; return void or map to an explicit value.'],
+    ['catchAllCause', 'Do not catch all causes in normal runtime paths.'],
+    ['ignore', 'Do not ignore Effect failures silently.'],
+    ['serviceOption', 'Required services should be present in the layer graph.'],
+]);
+function scriptKind(file) {
+    if (file.endsWith('.tsx')) {
+        return ts.ScriptKind.TSX;
+    }
+    if (file.endsWith('.jsx')) {
+        return ts.ScriptKind.JSX;
+    }
+    if (file.endsWith('.json')) {
+        return ts.ScriptKind.JSON;
+    }
+    return ts.ScriptKind.TS;
+}
+function lineOf(sourceFile, node) {
+    return sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile)).line + 1;
+}
+function addViolation(sourceFile, node, message, violations) {
+    violations.push({
+        file: sourceFile.fileName,
+        line: lineOf(sourceFile, node),
+        message,
+    });
+}
+function stringLiteralValue(node) {
+    return node !== undefined && ts.isStringLiteral(node) ? node.text : undefined;
+}
+function isAssertionExpression(node) {
+    return node !== undefined && (ts.isAsExpression(node) || ts.isTypeAssertionExpression(node));
+}
+function containsAssertionExpression(node) {
+    if (node === undefined) {
+        return false;
+    }
+    if (isAssertionExpression(node)) {
+        return true;
+    }
+    let found = false;
+    ts.forEachChild(node, (child) => {
+        if (!found && containsAssertionExpression(child)) {
+            found = true;
+        }
+    });
+    return found;
+}
+function importedName(element) {
+    return element.propertyName?.text ?? element.name.text;
+}
+function expressionPath(expression) {
+    if (ts.isIdentifier(expression)) {
+        return [expression.text];
+    }
+    if (ts.isPropertyAccessExpression(expression)) {
+        const prefix = expressionPath(expression.expression);
+        return prefix === undefined ? undefined : [...prefix, expression.name.text];
+    }
+    if (ts.isElementAccessExpression(expression)) {
+        const prefix = expressionPath(expression.expression);
+        const argument = stringLiteralValue(expression.argumentExpression);
+        return prefix === undefined || argument === undefined ? undefined : [...prefix, argument];
+    }
+    return undefined;
+}
+function isEffectMember(path, bindings, member) {
+    if (path === undefined) {
+        return false;
+    }
+    return (path.length === 2 && bindings.effectModules.has(path[0]) && path[1] === member)
+        || (path.length === 3 && bindings.effectNamespaces.has(path[0]) && path[1] === 'Effect' && path[2] === member);
+}
+function isContextTag(path, bindings) {
+    if (path === undefined) {
+        return false;
+    }
+    return (path.length === 2 && bindings.contextModules.has(path[0]) && path[1] === 'Tag')
+        || (path.length === 3 && bindings.effectNamespaces.has(path[0]) && path[1] === 'Context' && path[2] === 'Tag');
+}
+function isEffectVoidExpression(expression, bindings) {
+    const path = expressionPath(expression);
+    return isEffectMember(path, bindings, 'void') || isEffectMember(path, bindings, 'unit');
+}
+function isVoidReturningHandler(node, bindings) {
+    if (node === undefined) {
+        return false;
+    }
+    if (ts.isArrowFunction(node)) {
+        if (!ts.isBlock(node.body)) {
+            return isEffectVoidExpression(node.body, bindings);
+        }
+        return node.body.statements.some(statement => ts.isReturnStatement(statement)
+            && statement.expression !== undefined
+            && isEffectVoidExpression(statement.expression, bindings));
+    }
+    if (ts.isFunctionExpression(node)) {
+        return node.body.statements.some(statement => ts.isReturnStatement(statement)
+            && statement.expression !== undefined
+            && isEffectVoidExpression(statement.expression, bindings));
+    }
+    return false;
+}
+function functionContainsAssertionReturn(node) {
+    if (node === undefined) {
+        return false;
+    }
+    if (ts.isArrowFunction(node)) {
+        if (!ts.isBlock(node.body)) {
+            return containsAssertionExpression(node.body);
+        }
+        return node.body.statements.some(statement => ts.isReturnStatement(statement) && containsAssertionExpression(statement.expression));
+    }
+    if (ts.isFunctionExpression(node)) {
+        return node.body.statements.some(statement => ts.isReturnStatement(statement) && containsAssertionExpression(statement.expression));
+    }
+    return false;
+}
+function isOkPropertyName(name) {
+    return (ts.isIdentifier(name) && name.text === 'ok')
+        || (ts.isStringLiteral(name) && name.text === 'ok');
+}
+function isBooleanLiteralExpression(expression) {
+    return expression.kind === ts.SyntaxKind.TrueKeyword || expression.kind === ts.SyntaxKind.FalseKeyword;
+}
+function isBooleanAsConst(sourceFile, expression) {
+    return ts.isAsExpression(expression)
+        && isBooleanLiteralExpression(expression.expression)
+        && expression.type.getText(sourceFile) === 'const';
+}
+function collectModuleSourceViolation(sourceFile, node, source, violations) {
+    if (source === '@effect/cli' || source.startsWith('@effect/cli/')) {
+        addViolation(sourceFile, node, 'Use effect/unstable/cli for Effect v4 beta; @effect/cli is not supported for this baseline.', violations);
+    }
+    if (source.includes('repos/effect')) {
+        addViolation(sourceFile, node, 'Do not import from repos/effect; it is read-only reference material.', violations);
+    }
+}
+function collectImportBindings(sourceFile, violations) {
+    const bindings = {
+        contextModules: new Set(),
+        effectModules: new Set(),
+        effectNamespaces: new Set(),
+    };
+    for (const statement of sourceFile.statements) {
+        if (!ts.isImportDeclaration(statement)) {
+            if (ts.isExportDeclaration(statement)) {
+                const source = stringLiteralValue(statement.moduleSpecifier);
+                if (source !== undefined) {
+                    collectModuleSourceViolation(sourceFile, statement.moduleSpecifier, source, violations);
+                }
+            }
+            continue;
+        }
+        const source = stringLiteralValue(statement.moduleSpecifier);
+        if (source === undefined) {
+            continue;
+        }
+        collectModuleSourceViolation(sourceFile, statement.moduleSpecifier, source, violations);
+        const namedBindings = statement.importClause?.namedBindings;
+        if (namedBindings === undefined) {
+            continue;
+        }
+        if (ts.isNamespaceImport(namedBindings)) {
+            const local = namedBindings.name.text;
+            if (source === 'effect') {
+                bindings.effectNamespaces.add(local);
+            }
+            else if (source === 'effect/Context') {
+                bindings.contextModules.add(local);
+            }
+            else if (source === 'effect/Effect') {
+                bindings.effectModules.add(local);
+            }
+            continue;
+        }
+        for (const element of namedBindings.elements) {
+            const imported = importedName(element);
+            const local = element.name.text;
+            if (source === 'effect' && imported === 'Context') {
+                bindings.contextModules.add(local);
+            }
+            else if (source === 'effect' && imported === 'Effect') {
+                bindings.effectModules.add(local);
+            }
+            else if (source === 'effect/Context' && imported === 'Tag') {
+                addViolation(sourceFile, element, contextTagMessage, violations);
+            }
+            else if (source === 'effect/Effect' && bannedEffectMembers.has(imported)) {
+                const message = bannedEffectMembers.get(imported);
+                addViolation(sourceFile, element, message, violations);
+            }
+        }
+    }
+    return bindings;
+}
+function collectDynamicImportViolation(sourceFile, node, violations) {
+    if (node.expression.kind === ts.SyntaxKind.ImportKeyword) {
+        const source = stringLiteralValue(node.arguments[0]);
+        if (source !== undefined) {
+            collectModuleSourceViolation(sourceFile, node.arguments[0], source, violations);
+        }
+        return;
+    }
+    if (ts.isIdentifier(node.expression) && node.expression.text === 'require') {
+        const source = stringLiteralValue(node.arguments[0]);
+        if (source !== undefined) {
+            collectModuleSourceViolation(sourceFile, node.arguments[0], source, violations);
+        }
+    }
+}
+function collectSilentCatchViolation(sourceFile, node, bindings, violations) {
+    const path = expressionPath(node.expression);
+    const isCatchAll = isEffectMember(path, bindings, 'catchAll');
+    const isCatchTag = isEffectMember(path, bindings, 'catchTag');
+    const isCatchTags = isEffectMember(path, bindings, 'catchTags');
+    if (isCatchAll) {
+        for (const handler of [node.arguments[0], node.arguments[1]]) {
+            if (isVoidReturningHandler(handler, bindings)) {
+                addViolation(sourceFile, handler, silentCatchMessage, violations);
+            }
+        }
+    }
+    else if (isCatchTag) {
+        for (const handler of [node.arguments[1], node.arguments[2]]) {
+            if (isVoidReturningHandler(handler, bindings)) {
+                addViolation(sourceFile, handler, silentCatchMessage, violations);
+            }
+        }
+    }
+    else if (isCatchTags) {
+        for (const handlers of [node.arguments[0], node.arguments[1]]) {
+            if (handlers !== undefined && ts.isObjectLiteralExpression(handlers)) {
+                for (const property of handlers.properties) {
+                    if (ts.isPropertyAssignment(property) && isVoidReturningHandler(property.initializer, bindings)) {
+                        addViolation(sourceFile, property.initializer, silentCatchMessage, violations);
+                    }
+                }
+            }
+        }
+    }
+}
+function collectAssertionSilencingViolation(sourceFile, node, bindings, violations) {
+    const path = expressionPath(node.expression);
+    if (isEffectMember(path, bindings, 'orElseSucceed')) {
+        for (const argument of node.arguments) {
+            if (functionContainsAssertionReturn(argument)) {
+                addViolation(sourceFile, argument, assertionFallbackMessage, violations);
+            }
+        }
+        return;
+    }
+    if (isEffectMember(path, bindings, 'succeed') && isAssertionExpression(node.arguments[0])) {
+        addViolation(sourceFile, node.arguments[0], assertionSucceedMessage, violations);
+    }
+}
+function collectAssertionDiscriminantViolation(sourceFile, node, violations) {
+    if (isOkPropertyName(node.name) && isBooleanAsConst(sourceFile, node.initializer)) {
+        addViolation(sourceFile, node.initializer, assertionDiscriminantMessage, violations);
+    }
+}
+function collectMemberViolation(sourceFile, node, bindings, violations) {
+    const path = expressionPath(node);
+    if (isContextTag(path, bindings)) {
+        addViolation(sourceFile, node, contextTagMessage, violations);
+        return;
+    }
+    for (const [member, message] of bannedEffectMembers) {
+        if (isEffectMember(path, bindings, member)) {
+            addViolation(sourceFile, node, message, violations);
+            return;
+        }
+    }
+}
+function walk(sourceFile, node, bindings, violations) {
+    if (ts.isCallExpression(node)) {
+        collectDynamicImportViolation(sourceFile, node, violations);
+        collectSilentCatchViolation(sourceFile, node, bindings, violations);
+        collectAssertionSilencingViolation(sourceFile, node, bindings, violations);
+    }
+    if (ts.isPropertyAccessExpression(node)) {
+        collectMemberViolation(sourceFile, node, bindings, violations);
+    }
+    if (ts.isPropertyAssignment(node)) {
+        collectAssertionDiscriminantViolation(sourceFile, node, violations);
+    }
+    ts.forEachChild(node, child => walk(sourceFile, child, bindings, violations));
+}
+export function analyzeGuardrailFile(file, text) {
+    const sourceFile = ts.createSourceFile(file, text, ts.ScriptTarget.Latest, true, scriptKind(file));
+    const violations = [];
+    const bindings = collectImportBindings(sourceFile, violations);
+    walk(sourceFile, sourceFile, bindings, violations);
+    return violations;
+}
+//# sourceMappingURL=GuardrailRules.js.map

package/dist/src/harness/GuardrailRules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GuardrailRules.js","sourceRoot":"","sources":["../../../src/harness/GuardrailRules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAA;AAEhC,MAAM,iBAAiB,GAAG,sDAAsD,CAAA;AAChF,MAAM,kBAAkB,GAAG,wEAAwE,CAAA;AACnG,MAAM,wBAAwB,GAC1B,0HAA0H,CAAA;AAC9H,MAAM,uBAAuB,GACzB,8HAA8H,CAAA;AAClI,MAAM,4BAA4B,GAC9B,gGAAgG,CAAA;AAEpG,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAiB;IAClD,CAAC,QAAQ,EAAE,+DAA+D,CAAC;IAC3E,CAAC,eAAe,EAAE,kDAAkD,CAAC;IACrE,CAAC,QAAQ,EAAE,yCAAyC,CAAC;IACrD,CAAC,eAAe,EAAE,yDAAyD,CAAC;CAC7E,CAAC,CAAA;AAcF,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAA;IAC1B,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAA;IAC1B,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,CAAC,UAAU,CAAC,IAAI,CAAA;IAC3B,CAAC;IACD,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,CAAA;AACzB,CAAC;AAED,SAAS,MAAM,CAAC,UAAyB,EAAE,IAAa;IACtD,OAAO,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAA;AACrF,CAAC;AAED,SAAS,YAAY,CACnB,UAAyB,EACzB,IAAa,EACb,OAAe,EACf,UAAqC;IAErC,UAAU,CAAC,IAAI,CAAC;QACd,IAAI,EAAE,UAAU,CAAC,QAAQ;QACzB,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC;QAC9B,OAAO;KACR,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAyB;IACnD,OAAO,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;AAC/E,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAyB;IACtD,OAAO,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAA;AAC9F,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAyB;IAC5D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,IAAI,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,CAAA;IACb,CAAC;IAED,IAAI,KAAK,GAAG,KAAK,CAAA;IACjB,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;QAC9B,IAAI,CAAC,KAAK,IAAI,2BAA2B,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,KAAK,GAAG,IAAI,CAAA;QACd,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,YAAY,CAAC,OAA2B;IAC/C,OAAO,OAAO,CAAC,YAAY,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAA;AACxD,CAAC;AAED,SAAS,cAAc,CAAC,UAAyB;IAC/C,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;IAC1B,CAAC;IAED,IAAI,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;QACpD,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC7E,CAAC;IAED,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;QACpD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAA;QAClE,OAAO,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,QAAQ,CAAC,CAAA;IAC3F,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,SAAS,cAAc,CACrB,IAAuC,EACvC,QAAwB,EACxB,MAAc;IAEd,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC;WACnF,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAA;AACnH,CAAC;AAED,SAAS,YAAY,CAAC,IAAuC,EAAE,QAAwB;IACrF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC;WACnF,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAA;AACnH,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAyB,EAAE,QAAwB;IACjF,MAAM,IAAI,GAAG,cAAc,CAAC,UAAU,CAAC,CAAA;IACvC,OAAO,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;AACzF,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAyB,EAAE,QAAwB;IACjF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;QACpD,CAAC;QAED,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAC3C,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;eAC5B,SAAS,CAAC,UAAU,KAAK,SAAS;eAClC,sBAAsB,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAC1D,CAAA;IACH,CAAC;IAED,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAC3C,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;eAC5B,SAAS,CAAC,UAAU,KAAK,SAAS;eAClC,sBAAsB,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,CAC1D,CAAA;IACH,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,+BAA+B,CAAC,IAAyB;IAChE,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC/C,CAAC;QAED,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAC3C,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,2BAA2B,CAAC,SAAS,CAAC,UAAU,CAAC,CACrF,CAAA;IACH,CAAC;IAED,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAC3C,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,2BAA2B,CAAC,SAAS,CAAC,UAAU,CAAC,CACrF,CAAA;IACH,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAqB;IAC7C,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;WAC/C,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;AACvD,CAAC;AAED,SAAS,0BAA0B,CAAC,UAAyB;IAC3D,OAAO,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAA;AACxG,CAAC;AAED,SAAS,gBAAgB,CAAC,UAAyB,EAAE,UAAyB;IAC5E,OAAO,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC;WAC/B,0BAA0B,CAAC,UAAU,CAAC,UAAU,CAAC;WACjD,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,OAAO,CAAA;AACtD,CAAC;AAED,SAAS,4BAA4B,CACnC,UAAyB,EACzB,IAAa,EACb,MAAc,EACd,UAAqC;IAErC,IAAI,MAAM,KAAK,aAAa,IAAI,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAClE,YAAY,CAAC,UAAU,EAAE,IAAI,EAAE,6FAA6F,EAAE,UAAU,CAAC,CAAA;IAC3I,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QACpC,YAAY,CAAC,UAAU,EAAE,IAAI,EAAE,sEAAsE,EAAE,UAAU,CAAC,CAAA;IACpH,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,UAAyB,EACzB,UAAqC;IAErC,MAAM,QAAQ,GAAmB;QAC/B,cAAc,EAAE,IAAI,GAAG,EAAU;QACjC,aAAa,EAAE,IAAI,GAAG,EAAU;QAChC,gBAAgB,EAAE,IAAI,GAAG,EAAU;KACpC,CAAA;IAED,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACvC,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;gBACtC,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,CAAC,eAAe,CAAC,CAAA;gBAC5D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,4BAA4B,CAAC,UAAU,EAAE,SAAS,CAAC,eAAgB,EAAE,MAAM,EAAE,UAAU,CAAC,CAAA;gBAC1F,CAAC;YACH,CAAC;YACD,SAAQ;QACV,CAAC;QAED,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,CAAC,eAAe,CAAC,CAAA;QAC5D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAQ;QACV,CAAC;QAED,4BAA4B,CAAC,UAAU,EAAE,SAAS,CAAC,eAAe,EAAE,MAAM,EAAE,UAAU,CAAC,CAAA;QAEvF,MAAM,aAAa,GAAG,SAAS,CAAC,YAAY,EAAE,aAAa,CAAA;QAC3D,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,SAAQ;QACV,CAAC;QAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,aAAa,CAAC,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAA;YACrC,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACxB,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YACtC,CAAC;iBACI,IAAI,MAAM,KAAK,gBAAgB,EAAE,CAAC;gBACrC,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YACpC,CAAC;iBACI,IAAI,MAAM,KAAK,eAAe,EAAE,CAAC;gBACpC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YACnC,CAAC;YACD,SAAQ;QACV,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,QAAQ,EAAE,CAAC;YAC7C,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,CAAA;YACtC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAA;YAE/B,IAAI,MAAM,KAAK,QAAQ,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAClD,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YACpC,CAAC;iBACI,IAAI,MAAM,KAAK,QAAQ,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACtD,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YACnC,CAAC;iBACI,IAAI,MAAM,KAAK,gBAAgB,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;gBAC3D,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,iBAAiB,EAAE,UAAU,CAAC,CAAA;YAClE,CAAC;iBACI,IAAI,MAAM,KAAK,eAAe,IAAI,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzE,MAAM,OAAO,GAAG,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAA;gBAClD,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;YACxD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,6BAA6B,CACpC,UAAyB,EACzB,IAAuB,EACvB,UAAqC;IAErC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QACzD,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;QACpD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,4BAA4B,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,UAAU,CAAC,CAAA;QAClF,CAAC;QACD,OAAM;IACR,CAAC;IAED,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3E,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;QACpD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,4BAA4B,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,UAAU,CAAC,CAAA;QAClF,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,UAAyB,EACzB,IAAuB,EACvB,QAAwB,EACxB,UAAqC;IAErC,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IAC5C,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAA;IAC7D,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAA;IAC7D,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IAE/D,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,MAAM,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,IAAI,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAC9C,YAAY,CAAC,UAAU,EAAE,OAAQ,EAAE,kBAAkB,EAAE,UAAU,CAAC,CAAA;YACpE,CAAC;QACH,CAAC;IACH,CAAC;SACI,IAAI,UAAU,EAAE,CAAC;QACpB,KAAK,MAAM,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,IAAI,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAC9C,YAAY,CAAC,UAAU,EAAE,OAAQ,EAAE,kBAAkB,EAAE,UAAU,CAAC,CAAA;YACpE,CAAC;QACH,CAAC;IACH,CAAC;SACI,IAAI,WAAW,EAAE,CAAC;QACrB,KAAK,MAAM,QAAQ,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,IAAI,QAAQ,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrE,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;oBAC3C,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,sBAAsB,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,CAAC;wBAChG,YAAY,CAAC,UAAU,EAAE,QAAQ,CAAC,WAAW,EAAE,kBAAkB,EAAE,UAAU,CAAC,CAAA;oBAChF,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kCAAkC,CACzC,UAAyB,EACzB,IAAuB,EACvB,QAAwB,EACxB,UAAqC;IAErC,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IAE5C,IAAI,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,EAAE,CAAC;QACpD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACtC,IAAI,+BAA+B,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC9C,YAAY,CAAC,UAAU,EAAE,QAAQ,EAAE,wBAAwB,EAAE,UAAU,CAAC,CAAA;YAC1E,CAAC;QACH,CAAC;QACD,OAAM;IACR,CAAC;IAED,IAAI,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,IAAI,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1F,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,uBAAuB,EAAE,UAAU,CAAC,CAAA;IACnF,CAAC;AACH,CAAC;AAED,SAAS,qCAAqC,CAC5C,UAAyB,EACzB,IAA2B,EAC3B,UAAqC;IAErC,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,UAAU,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAClF,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,WAAW,EAAE,4BAA4B,EAAE,UAAU,CAAC,CAAA;IACtF,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAyB,EACzB,IAAiC,EACjC,QAAwB,EACxB,UAAqC;IAErC,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAA;IAEjC,IAAI,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACjC,YAAY,CAAC,UAAU,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,CAAC,CAAA;QAC7D,OAAM;IACR,CAAC;IAED,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,mBAAmB,EAAE,CAAC;QACpD,IAAI,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;YAC3C,YAAY,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;YACnD,OAAM;QACR,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,IAAI,CACX,UAAyB,EACzB,IAAa,EACb,QAAwB,EACxB,UAAqC;IAErC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,6BAA6B,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,CAAA;QAC3D,2BAA2B,CAAC,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAA;QACnE,kCAAkC,CAAC,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAA;IAC5E,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,sBAAsB,CAAC,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAA;IAChE,CAAC;IACD,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,qCAAqC,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,CAAA;IACrE,CAAC;IAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAA;AAC/E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,IAAY;IAC7D,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;IAClG,MAAM,UAAU,GAA8B,EAAE,CAAA;IAChD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAA;IAE9D,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAA;IAElD,OAAO,UAAU,CAAA;AACnB,CAAC","sourcesContent":["import * as ts from 'typescript'\n\nconst contextTagMessage = 'Use Context.Service for v4 beta service definitions.'\nconst silentCatchMessage = 'Do not silently swallow Effect errors with Effect.void or Effect.unit.'\nconst assertionFallbackMessage\n  = 'Do not silence @effect/tsgo fallback diagnostics with assertions; type the fallback return or use a named result helper.'\nconst assertionSucceedMessage\n  = 'Do not wrap asserted values in Effect.succeed to silence @effect/tsgo; declare the type boundary before lifting into Effect.'\nconst assertionDiscriminantMessage\n  = 'Do not force result discriminants with `as const`; use a named union boundary or typed helper.'\n\nconst bannedEffectMembers = new Map<string, string>([\n  ['asVoid', 'Avoid Effect.asVoid; return void or map to an explicit value.'],\n  ['catchAllCause', 'Do not catch all causes in normal runtime paths.'],\n  ['ignore', 'Do not ignore Effect failures silently.'],\n  ['serviceOption', 'Required services should be present in the layer graph.'],\n])\n\nexport interface GuardrailViolation {\n  readonly file: string\n  readonly line: number\n  readonly message: string\n}\n\ninterface ImportBindings {\n  readonly effectModules: Set<string>\n  readonly effectNamespaces: Set<string>\n  readonly contextModules: Set<string>\n}\n\nfunction scriptKind(file: string): ts.ScriptKind {\n  if (file.endsWith('.tsx')) {\n    return ts.ScriptKind.TSX\n  }\n  if (file.endsWith('.jsx')) {\n    return ts.ScriptKind.JSX\n  }\n  if (file.endsWith('.json')) {\n    return ts.ScriptKind.JSON\n  }\n  return ts.ScriptKind.TS\n}\n\nfunction lineOf(sourceFile: ts.SourceFile, node: ts.Node): number {\n  return sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile)).line + 1\n}\n\nfunction addViolation(\n  sourceFile: ts.SourceFile,\n  node: ts.Node,\n  message: string,\n  violations: Array<GuardrailViolation>,\n): void {\n  violations.push({\n    file: sourceFile.fileName,\n    line: lineOf(sourceFile, node),\n    message,\n  })\n}\n\nfunction stringLiteralValue(node: ts.Node | undefined): string | undefined {\n  return node !== undefined && ts.isStringLiteral(node) ? node.text : undefined\n}\n\nfunction isAssertionExpression(node: ts.Node | undefined): node is ts.AsExpression | ts.TypeAssertion {\n  return node !== undefined && (ts.isAsExpression(node) || ts.isTypeAssertionExpression(node))\n}\n\nfunction containsAssertionExpression(node: ts.Node | undefined): boolean {\n  if (node === undefined) {\n    return false\n  }\n\n  if (isAssertionExpression(node)) {\n    return true\n  }\n\n  let found = false\n  ts.forEachChild(node, (child) => {\n    if (!found && containsAssertionExpression(child)) {\n      found = true\n    }\n  })\n\n  return found\n}\n\nfunction importedName(element: ts.ImportSpecifier): string {\n  return element.propertyName?.text ?? element.name.text\n}\n\nfunction expressionPath(expression: ts.Expression): ReadonlyArray<string> | undefined {\n  if (ts.isIdentifier(expression)) {\n    return [expression.text]\n  }\n\n  if (ts.isPropertyAccessExpression(expression)) {\n    const prefix = expressionPath(expression.expression)\n    return prefix === undefined ? undefined : [...prefix, expression.name.text]\n  }\n\n  if (ts.isElementAccessExpression(expression)) {\n    const prefix = expressionPath(expression.expression)\n    const argument = stringLiteralValue(expression.argumentExpression)\n    return prefix === undefined || argument === undefined ? undefined : [...prefix, argument]\n  }\n\n  return undefined\n}\n\nfunction isEffectMember(\n  path: ReadonlyArray<string> | undefined,\n  bindings: ImportBindings,\n  member: string,\n): boolean {\n  if (path === undefined) {\n    return false\n  }\n\n  return (path.length === 2 && bindings.effectModules.has(path[0]!) && path[1] === member)\n    || (path.length === 3 && bindings.effectNamespaces.has(path[0]!) && path[1] === 'Effect' && path[2] === member)\n}\n\nfunction isContextTag(path: ReadonlyArray<string> | undefined, bindings: ImportBindings): boolean {\n  if (path === undefined) {\n    return false\n  }\n\n  return (path.length === 2 && bindings.contextModules.has(path[0]!) && path[1] === 'Tag')\n    || (path.length === 3 && bindings.effectNamespaces.has(path[0]!) && path[1] === 'Context' && path[2] === 'Tag')\n}\n\nfunction isEffectVoidExpression(expression: ts.Expression, bindings: ImportBindings): boolean {\n  const path = expressionPath(expression)\n  return isEffectMember(path, bindings, 'void') || isEffectMember(path, bindings, 'unit')\n}\n\nfunction isVoidReturningHandler(node: ts.Node | undefined, bindings: ImportBindings): boolean {\n  if (node === undefined) {\n    return false\n  }\n\n  if (ts.isArrowFunction(node)) {\n    if (!ts.isBlock(node.body)) {\n      return isEffectVoidExpression(node.body, bindings)\n    }\n\n    return node.body.statements.some(statement =>\n      ts.isReturnStatement(statement)\n      && statement.expression !== undefined\n      && isEffectVoidExpression(statement.expression, bindings),\n    )\n  }\n\n  if (ts.isFunctionExpression(node)) {\n    return node.body.statements.some(statement =>\n      ts.isReturnStatement(statement)\n      && statement.expression !== undefined\n      && isEffectVoidExpression(statement.expression, bindings),\n    )\n  }\n\n  return false\n}\n\nfunction functionContainsAssertionReturn(node: ts.Node | undefined): boolean {\n  if (node === undefined) {\n    return false\n  }\n\n  if (ts.isArrowFunction(node)) {\n    if (!ts.isBlock(node.body)) {\n      return containsAssertionExpression(node.body)\n    }\n\n    return node.body.statements.some(statement =>\n      ts.isReturnStatement(statement) && containsAssertionExpression(statement.expression),\n    )\n  }\n\n  if (ts.isFunctionExpression(node)) {\n    return node.body.statements.some(statement =>\n      ts.isReturnStatement(statement) && containsAssertionExpression(statement.expression),\n    )\n  }\n\n  return false\n}\n\nfunction isOkPropertyName(name: ts.PropertyName): boolean {\n  return (ts.isIdentifier(name) && name.text === 'ok')\n    || (ts.isStringLiteral(name) && name.text === 'ok')\n}\n\nfunction isBooleanLiteralExpression(expression: ts.Expression): boolean {\n  return expression.kind === ts.SyntaxKind.TrueKeyword || expression.kind === ts.SyntaxKind.FalseKeyword\n}\n\nfunction isBooleanAsConst(sourceFile: ts.SourceFile, expression: ts.Expression): boolean {\n  return ts.isAsExpression(expression)\n    && isBooleanLiteralExpression(expression.expression)\n    && expression.type.getText(sourceFile) === 'const'\n}\n\nfunction collectModuleSourceViolation(\n  sourceFile: ts.SourceFile,\n  node: ts.Node,\n  source: string,\n  violations: Array<GuardrailViolation>,\n): void {\n  if (source === '@effect/cli' || source.startsWith('@effect/cli/')) {\n    addViolation(sourceFile, node, 'Use effect/unstable/cli for Effect v4 beta; @effect/cli is not supported for this baseline.', violations)\n  }\n\n  if (source.includes('repos/effect')) {\n    addViolation(sourceFile, node, 'Do not import from repos/effect; it is read-only reference material.', violations)\n  }\n}\n\nfunction collectImportBindings(\n  sourceFile: ts.SourceFile,\n  violations: Array<GuardrailViolation>,\n): ImportBindings {\n  const bindings: ImportBindings = {\n    contextModules: new Set<string>(),\n    effectModules: new Set<string>(),\n    effectNamespaces: new Set<string>(),\n  }\n\n  for (const statement of sourceFile.statements) {\n    if (!ts.isImportDeclaration(statement)) {\n      if (ts.isExportDeclaration(statement)) {\n        const source = stringLiteralValue(statement.moduleSpecifier)\n        if (source !== undefined) {\n          collectModuleSourceViolation(sourceFile, statement.moduleSpecifier!, source, violations)\n        }\n      }\n      continue\n    }\n\n    const source = stringLiteralValue(statement.moduleSpecifier)\n    if (source === undefined) {\n      continue\n    }\n\n    collectModuleSourceViolation(sourceFile, statement.moduleSpecifier, source, violations)\n\n    const namedBindings = statement.importClause?.namedBindings\n    if (namedBindings === undefined) {\n      continue\n    }\n\n    if (ts.isNamespaceImport(namedBindings)) {\n      const local = namedBindings.name.text\n      if (source === 'effect') {\n        bindings.effectNamespaces.add(local)\n      }\n      else if (source === 'effect/Context') {\n        bindings.contextModules.add(local)\n      }\n      else if (source === 'effect/Effect') {\n        bindings.effectModules.add(local)\n      }\n      continue\n    }\n\n    for (const element of namedBindings.elements) {\n      const imported = importedName(element)\n      const local = element.name.text\n\n      if (source === 'effect' && imported === 'Context') {\n        bindings.contextModules.add(local)\n      }\n      else if (source === 'effect' && imported === 'Effect') {\n        bindings.effectModules.add(local)\n      }\n      else if (source === 'effect/Context' && imported === 'Tag') {\n        addViolation(sourceFile, element, contextTagMessage, violations)\n      }\n      else if (source === 'effect/Effect' && bannedEffectMembers.has(imported)) {\n        const message = bannedEffectMembers.get(imported)!\n        addViolation(sourceFile, element, message, violations)\n      }\n    }\n  }\n\n  return bindings\n}\n\nfunction collectDynamicImportViolation(\n  sourceFile: ts.SourceFile,\n  node: ts.CallExpression,\n  violations: Array<GuardrailViolation>,\n): void {\n  if (node.expression.kind === ts.SyntaxKind.ImportKeyword) {\n    const source = stringLiteralValue(node.arguments[0])\n    if (source !== undefined) {\n      collectModuleSourceViolation(sourceFile, node.arguments[0]!, source, violations)\n    }\n    return\n  }\n\n  if (ts.isIdentifier(node.expression) && node.expression.text === 'require') {\n    const source = stringLiteralValue(node.arguments[0])\n    if (source !== undefined) {\n      collectModuleSourceViolation(sourceFile, node.arguments[0]!, source, violations)\n    }\n  }\n}\n\nfunction collectSilentCatchViolation(\n  sourceFile: ts.SourceFile,\n  node: ts.CallExpression,\n  bindings: ImportBindings,\n  violations: Array<GuardrailViolation>,\n): void {\n  const path = expressionPath(node.expression)\n  const isCatchAll = isEffectMember(path, bindings, 'catchAll')\n  const isCatchTag = isEffectMember(path, bindings, 'catchTag')\n  const isCatchTags = isEffectMember(path, bindings, 'catchTags')\n\n  if (isCatchAll) {\n    for (const handler of [node.arguments[0], node.arguments[1]]) {\n      if (isVoidReturningHandler(handler, bindings)) {\n        addViolation(sourceFile, handler!, silentCatchMessage, violations)\n      }\n    }\n  }\n  else if (isCatchTag) {\n    for (const handler of [node.arguments[1], node.arguments[2]]) {\n      if (isVoidReturningHandler(handler, bindings)) {\n        addViolation(sourceFile, handler!, silentCatchMessage, violations)\n      }\n    }\n  }\n  else if (isCatchTags) {\n    for (const handlers of [node.arguments[0], node.arguments[1]]) {\n      if (handlers !== undefined && ts.isObjectLiteralExpression(handlers)) {\n        for (const property of handlers.properties) {\n          if (ts.isPropertyAssignment(property) && isVoidReturningHandler(property.initializer, bindings)) {\n            addViolation(sourceFile, property.initializer, silentCatchMessage, violations)\n          }\n        }\n      }\n    }\n  }\n}\n\nfunction collectAssertionSilencingViolation(\n  sourceFile: ts.SourceFile,\n  node: ts.CallExpression,\n  bindings: ImportBindings,\n  violations: Array<GuardrailViolation>,\n): void {\n  const path = expressionPath(node.expression)\n\n  if (isEffectMember(path, bindings, 'orElseSucceed')) {\n    for (const argument of node.arguments) {\n      if (functionContainsAssertionReturn(argument)) {\n        addViolation(sourceFile, argument, assertionFallbackMessage, violations)\n      }\n    }\n    return\n  }\n\n  if (isEffectMember(path, bindings, 'succeed') && isAssertionExpression(node.arguments[0])) {\n    addViolation(sourceFile, node.arguments[0]!, assertionSucceedMessage, violations)\n  }\n}\n\nfunction collectAssertionDiscriminantViolation(\n  sourceFile: ts.SourceFile,\n  node: ts.PropertyAssignment,\n  violations: Array<GuardrailViolation>,\n): void {\n  if (isOkPropertyName(node.name) && isBooleanAsConst(sourceFile, node.initializer)) {\n    addViolation(sourceFile, node.initializer, assertionDiscriminantMessage, violations)\n  }\n}\n\nfunction collectMemberViolation(\n  sourceFile: ts.SourceFile,\n  node: ts.PropertyAccessExpression,\n  bindings: ImportBindings,\n  violations: Array<GuardrailViolation>,\n): void {\n  const path = expressionPath(node)\n\n  if (isContextTag(path, bindings)) {\n    addViolation(sourceFile, node, contextTagMessage, violations)\n    return\n  }\n\n  for (const [member, message] of bannedEffectMembers) {\n    if (isEffectMember(path, bindings, member)) {\n      addViolation(sourceFile, node, message, violations)\n      return\n    }\n  }\n}\n\nfunction walk(\n  sourceFile: ts.SourceFile,\n  node: ts.Node,\n  bindings: ImportBindings,\n  violations: Array<GuardrailViolation>,\n): void {\n  if (ts.isCallExpression(node)) {\n    collectDynamicImportViolation(sourceFile, node, violations)\n    collectSilentCatchViolation(sourceFile, node, bindings, violations)\n    collectAssertionSilencingViolation(sourceFile, node, bindings, violations)\n  }\n  if (ts.isPropertyAccessExpression(node)) {\n    collectMemberViolation(sourceFile, node, bindings, violations)\n  }\n  if (ts.isPropertyAssignment(node)) {\n    collectAssertionDiscriminantViolation(sourceFile, node, violations)\n  }\n\n  ts.forEachChild(node, child => walk(sourceFile, child, bindings, violations))\n}\n\nexport function analyzeGuardrailFile(file: string, text: string): ReadonlyArray<GuardrailViolation> {\n  const sourceFile = ts.createSourceFile(file, text, ts.ScriptTarget.Latest, true, scriptKind(file))\n  const violations: Array<GuardrailViolation> = []\n  const bindings = collectImportBindings(sourceFile, violations)\n\n  walk(sourceFile, sourceFile, bindings, violations)\n\n  return violations\n}\n"]}

package/dist/src/harness/Guardrails.d.ts

@@ -0,0 +1,10 @@
+import * as Effect from 'effect/Effect';
+import * as FileSystem from 'effect/FileSystem';
+import { HarnessError } from './Errors.ts';
+export declare const targetGuardrailIncludes: readonly ["src", "tests", "scripts", "apps", "libs", "packages"];
+export interface GuardrailOptions {
+    readonly root: string;
+    readonly includes: ReadonlyArray<string>;
+    readonly excludes?: ReadonlySet<string>;
+}
+export declare const verifyGuardrails: (options: GuardrailOptions) => Effect.Effect<undefined, HarnessError | import("effect/PlatformError").PlatformError, FileSystem.FileSystem>;

package/dist/src/harness/Guardrails.js

@@ -0,0 +1,69 @@
+import * as Console from 'effect/Console';
+import * as Effect from 'effect/Effect';
+import * as FileSystem from 'effect/FileSystem';
+import { HarnessError } from "./Errors.js";
+import { analyzeGuardrailFile } from "./GuardrailRules.js";
+const sourceExtensions = new Set(['.js', '.jsx', '.mjs', '.cjs', '.ts', '.tsx', '.mts', '.cts']);
+const defaultExcludes = new Set(['.git', '.turbo', 'dist', 'node_modules', 'repos', 'docs']);
+export const targetGuardrailIncludes = ['src', 'tests', 'scripts', 'apps', 'libs', 'packages'];
+function extensionOf(file) {
+    const match = file.match(/\.[^.]+$/u);
+    return match?.[0] ?? '';
+}
+function shouldSkip(file, excludes) {
+    return file
+        .split(/[\\/]/u)
+        .some(segment => excludes.has(segment));
+}
+function shouldSkipGuardrailSource(file) {
+    return file.endsWith('/src/harness/GuardrailRules.ts')
+        || file.endsWith('/tests/effect-guardrails.test.ts');
+}
+const collectFiles = Effect.fnUntraced(function* (options) {
+    const fs = yield* FileSystem.FileSystem;
+    const excludes = options.excludes ?? defaultExcludes;
+    const files = [];
+    for (const include of options.includes) {
+        const source = `${options.root}/${include}`;
+        const exists = yield* fs.exists(source);
+        if (!exists || shouldSkip(source, excludes) || shouldSkipGuardrailSource(source)) {
+            continue;
+        }
+        const stat = yield* fs.stat(source);
+        if (stat.type === 'Directory') {
+            const entries = yield* fs.readDirectory(source, { recursive: true });
+            for (const entry of entries) {
+                const file = `${source}/${entry}`;
+                if (shouldSkip(file, excludes) || shouldSkipGuardrailSource(file)) {
+                    continue;
+                }
+                const fileStat = yield* fs.stat(file);
+                if (fileStat.type !== 'Directory' && sourceExtensions.has(extensionOf(file))) {
+                    files.push(file);
+                }
+            }
+        }
+        else if (sourceExtensions.has(extensionOf(source))) {
+            files.push(source);
+        }
+    }
+    return files;
+});
+export const verifyGuardrails = Effect.fnUntraced(function* (options) {
+    const fs = yield* FileSystem.FileSystem;
+    const files = yield* collectFiles(options);
+    const violations = [];
+    for (const file of files) {
+        const text = yield* fs.readFileString(file);
+        violations.push(...analyzeGuardrailFile(file, text));
+    }
+    if (violations.length > 0) {
+        yield* Console.error('Effect harness guardrails failed:');
+        for (const violation of violations) {
+            yield* Console.error(`- ${violation.file}:${violation.line}: ${violation.message}`);
+        }
+        return yield* new HarnessError({ message: 'Effect guardrails failed.' });
+    }
+    yield* Console.log(`Effect harness guardrails passed for ${files.length} files.`);
+});
+//# sourceMappingURL=Guardrails.js.map

package/dist/src/harness/Guardrails.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Guardrails.js","sourceRoot":"","sources":["../../../src/harness/Guardrails.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC1C,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAA;AAE1D,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;AAChG,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAA;AAC5F,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,CAAU,CAAA;AAQvG,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;IACrC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;AACzB,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,QAA6B;IAC7D,OAAO,IAAI;SACR,KAAK,CAAC,QAAQ,CAAC;SACf,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;AAC3C,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAY;IAC7C,OAAO,IAAI,CAAC,QAAQ,CAAC,gCAAgC,CAAC;WACjD,IAAI,CAAC,QAAQ,CAAC,kCAAkC,CAAC,CAAA;AACxD,CAAC;AAED,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,OAAyB;IACzE,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAA;IACpD,MAAM,KAAK,GAAkB,EAAE,CAAA;IAE/B,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,IAAI,OAAO,EAAE,CAAA;QAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QACvC,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjF,SAAQ;QACV,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACnC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;YACpE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,GAAG,MAAM,IAAI,KAAK,EAAE,CAAA;gBACjC,IAAI,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClE,SAAQ;gBACV,CAAC;gBACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACrC,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;oBAC7E,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAClB,CAAC;YACH,CAAC;QACH,CAAC;aACI,IAAI,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACpB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,OAAyB;IACpF,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;IAC1C,MAAM,UAAU,GAAG,EAAE,CAAA;IAErB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAA;QAC3C,UAAU,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;IACtD,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAA;QACzD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC,CAAA;QACrF,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAA;IAC1E,CAAC;IAED,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,wCAAwC,KAAK,CAAC,MAAM,SAAS,CAAC,CAAA;AACnF,CAAC,CAAC,CAAA","sourcesContent":["import * as Console from 'effect/Console'\nimport * as Effect from 'effect/Effect'\nimport * as FileSystem from 'effect/FileSystem'\nimport { HarnessError } from './Errors.ts'\nimport { analyzeGuardrailFile } from './GuardrailRules.ts'\n\nconst sourceExtensions = new Set(['.js', '.jsx', '.mjs', '.cjs', '.ts', '.tsx', '.mts', '.cts'])\nconst defaultExcludes = new Set(['.git', '.turbo', 'dist', 'node_modules', 'repos', 'docs'])\nexport const targetGuardrailIncludes = ['src', 'tests', 'scripts', 'apps', 'libs', 'packages'] as const\n\nexport interface GuardrailOptions {\n  readonly root: string\n  readonly includes: ReadonlyArray<string>\n  readonly excludes?: ReadonlySet<string>\n}\n\nfunction extensionOf(file: string): string {\n  const match = file.match(/\\.[^.]+$/u)\n  return match?.[0] ?? ''\n}\n\nfunction shouldSkip(file: string, excludes: ReadonlySet<string>): boolean {\n  return file\n    .split(/[\\\\/]/u)\n    .some(segment => excludes.has(segment))\n}\n\nfunction shouldSkipGuardrailSource(file: string): boolean {\n  return file.endsWith('/src/harness/GuardrailRules.ts')\n    || file.endsWith('/tests/effect-guardrails.test.ts')\n}\n\nconst collectFiles = Effect.fnUntraced(function* (options: GuardrailOptions) {\n  const fs = yield* FileSystem.FileSystem\n  const excludes = options.excludes ?? defaultExcludes\n  const files: Array<string> = []\n\n  for (const include of options.includes) {\n    const source = `${options.root}/${include}`\n    const exists = yield* fs.exists(source)\n    if (!exists || shouldSkip(source, excludes) || shouldSkipGuardrailSource(source)) {\n      continue\n    }\n\n    const stat = yield* fs.stat(source)\n    if (stat.type === 'Directory') {\n      const entries = yield* fs.readDirectory(source, { recursive: true })\n      for (const entry of entries) {\n        const file = `${source}/${entry}`\n        if (shouldSkip(file, excludes) || shouldSkipGuardrailSource(file)) {\n          continue\n        }\n        const fileStat = yield* fs.stat(file)\n        if (fileStat.type !== 'Directory' && sourceExtensions.has(extensionOf(file))) {\n          files.push(file)\n        }\n      }\n    }\n    else if (sourceExtensions.has(extensionOf(source))) {\n      files.push(source)\n    }\n  }\n\n  return files\n})\n\nexport const verifyGuardrails = Effect.fnUntraced(function* (options: GuardrailOptions) {\n  const fs = yield* FileSystem.FileSystem\n  const files = yield* collectFiles(options)\n  const violations = []\n\n  for (const file of files) {\n    const text = yield* fs.readFileString(file)\n    violations.push(...analyzeGuardrailFile(file, text))\n  }\n\n  if (violations.length > 0) {\n    yield* Console.error('Effect harness guardrails failed:')\n    for (const violation of violations) {\n      yield* Console.error(`- ${violation.file}:${violation.line}: ${violation.message}`)\n    }\n    return yield* new HarnessError({ message: 'Effect guardrails failed.' })\n  }\n\n  yield* Console.log(`Effect harness guardrails passed for ${files.length} files.`)\n})\n"]}

package/dist/src/harness/Init.d.ts

@@ -0,0 +1,9 @@
+import * as Effect from 'effect/Effect';
+import * as FileSystem from 'effect/FileSystem';
+import * as Path from 'effect/Path';
+export interface InitOptions {
+    readonly target: string;
+    readonly harness: string;
+    readonly dryRun: boolean;
+}
+export declare const initializeTarget: (options: InitOptions) => Effect.Effect<undefined, Error | import("effect/PlatformError").PlatformError, FileSystem.FileSystem | Path.Path>;