@sayoriqwq/effect-harness 0.0.5 → 0.1.1

package/README.md

@@ -1,83 +1,15 @@
 # Effect Harness
 
-`effect-harness` 是 Effect v4 beta 的 provider profile、源入口路线包与 target-facing 模板包。
+Effect Harness publishes a Prelude Harness Module for Effect v4 beta targets.
 
-当前设计分成两层：
-
-1. Harness 层：描述 `effect-harness` 本仓自己怎么运转。
-2. Provider 层：描述任意 target 接入 effect-harness 时应该接收的受管能力。
-
-本仓是自身 provider contract 的第一个 conforming repository。`pnpm verify` 证明
-self-conformance，但本仓不会 self-materialize Prelude target surface。
-
-通用外部仓库 pin 流程由 Partita 负责；本仓只承载 Effect/tsgo 源入口实例、Effect 基线、
-strict tsgo policy、读取路线、provider profile、docs bundle 和 snippets。
-
-## Harness 层
-
-这一层只服务 `effect-harness` 自身的维护：
-
-- `harness/offcial-guide.md`：仓内 guide 唯一真源。
-- `harness/offcial-migrate.md`：官方 source access 与 LSP/tsgo 阶段的本仓实现说明。
-- `harness/feedback-loop.md`：第二阶段 Codex feedback loop 和统一 verify pipeline。
-- `harness/diagnostic-layers.md`：tsgo diagnostics、ESLint 和 harness guardrails 的分层职责。
-- `repos/effect/`：已 pin 的官方 Effect 源码，只供 agent 读取参考。
-- `repos/effect.subtree.json`：Partita 管理的 GitHub subtree pin 契约，是 Effect 源入口唯一真源。
-- `harness/effect-routes.md`：agent 读取 `repos/effect/` 的路线表。
-- `repos/tsgo/`：已 pin 的 `Effect-TS/tsgo` 源码，只供 agent 读取参考。
-- `repos/tsgo.subtree.json`：Partita 管理的 GitHub subtree pin 契约，是 tsgo 源入口真源。
-- `harness/tsgo.md`：strict tsgo ADR、policy、rule map 和 upgrade loop。
-- `harness/tsgo-routes.md`：agent 读取 `repos/tsgo/` 的路线表。
-- `src/`：本仓最小验证器，只验证 provider 仓自身边界。
-
-## Provider 层
-
-这一层不是本仓直接散落脚本来维护目标项目，而是提供结构化 provider profile 和 target-facing
-模板：
-
-- delivery modes：区分 internal harness、provider artifact reference 和 exported harness。
-- self-conformance：声明本仓只验证自己符合 exported harness，不生成 `.prelude/**`。
-- provider contract：`provider/effect-harness.provider.json` 声明 package/config contributions、
-  docs bundle、snippets、source identity 和 self-conformance。
-- provider profile：声明 target 应该接收的 managed surfaces。
-- provider record：记录接入的 `effect-harness` profile、artifact 与 source identity。
-- provider discovery：通过 `effect-harness provider-discover` 输出 machine-readable provider envelope。
-- package 基线：维护 `effect`、`@effect/platform-node`、`@effect/tsgo`、
-  `@effect/language-service` 等版本约束。
-- `tsconfig.json` 指针：维护 strict `@effect/language-service` 插件。
-- 诊断路径：目标项目以 `tsgo --noEmit` 作为主要 Effect 诊断路径，warning 和 suggestion 也参与
-  hard gate。
-- docs bundle：维护 target 可读的 Effect 编码、诊断和 source identity 文档。
-- snippets：维护 target 可引用的 agent instruction snippet。
-
-目标项目不接收 `repos/effect/`、`repos/tsgo/`、subtree contracts、`.codex/skills`、目标 runtime
-模板、反馈入口、`.effect-harness.json` 或 effect-harness 管理的 `AGENTS.md` 管理块。
-
-`effect-harness` 本仓也不接收 `.prelude/**`。这些路径只属于 Prelude 在真实 target 中的
-materialization 和 maintain lifecycle。
-
-## 职责边界
-
-- Partita：通用外部源入口 pin/status/update/verify。
-- effect-harness：Effect/tsgo 源入口实例、路线表、baseline、provider profile、受管模板、本仓验证。
-- Prelude：消费 provider profile，并维护 target lifecycle、provider record、目标项目落地生成、
-  drift/verify/maintain。
-
-## 验证命令
-
-```bash
-pnpm install
-pnpm verify
+```ts
+import effectHarnessEslintConfig from '@sayoriqwq/effect-harness/eslint'
+import { harnessModule } from '@sayoriqwq/effect-harness/prelude'
 ```
 
-完成态只认 `pnpm verify`。该命令由 Effect pipeline 组织，按 `source-pins`、
-`harness-contract`、`tsgo-diagnostics`、`tests`、`lint`、`knip` 顺序 fail-fast 执行。
+`harnessModule` plans a complete `effect/managed/**` documentation tree, a
+bounded root agent-routing block, TypeScript/editor configuration, direct
+package requirements, checks, and target-state Issues. Planning is read-only.
 
-写 Effect 程序逻辑，或修改 source route、tsgo policy、provider profile、verify pipeline、
-harness 边界或 provider 边界前，先读
-[harness/feedback-loop.md](./harness/feedback-loop.md)。更新 source entries 前先读
-[harness/source.md](./harness/source.md)。agent 需要读取 pinned Effect 源码时先读
-[harness/effect-routes.md](./harness/effect-routes.md)。agent 需要调整 strict tsgo policy 或读取
-tsgo source 时，先读 [harness/tsgo.md](./harness/tsgo.md) 和
-[harness/tsgo-routes.md](./harness/tsgo-routes.md)。修改 provider contribution、docs bundle 或
-snippets 前先读 [provider/index.md](./provider/index.md)。
+`effect/feedback/**` is target-owned. Pinned Effect and tsgo sources are
+Artifact-internal diagnostics and are not normal target assets.

package/diagnostics/effect-routes.md

@@ -0,0 +1,6 @@
+# Effect source route
+
+For an exceptional Effect API diagnosis, read `../repos/effect/LLMS.md` first,
+then inspect the relevant package under `../repos/effect/packages/`. These
+files are Artifact-internal references; normal target code imports installed
+packages instead.

package/diagnostics/index.md

@@ -0,0 +1,10 @@
+# Artifact-internal source diagnostics
+
+This directory routes exceptional diagnosis into the pinned Effect and tsgo
+source trees shipped inside this npm Artifact. It is not part of the normal
+`effect/managed/**` Target bundle.
+
+- [Effect source route](./effect-routes.md)
+- [tsgo source route](./tsgo-routes.md)
+- `../repos/effect.subtree.json` and `../repos/tsgo.subtree.json` identify
+  the exact pinned source entries.

package/diagnostics/tsgo-routes.md

@@ -0,0 +1,5 @@
+# tsgo source route
+
+For an exceptional diagnostic backend question, read `../repos/tsgo/README.md`
+and inspect `../repos/tsgo/_packages/tsgo/`. The source tree is shipped only
+for Artifact diagnosis and is never a normal target projection.

package/dist/src/eslint.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Composable Effect guardrails for a target-owned ESLint flat config.
+ *
+ * Targets import this value from `@sayoriqwq/effect-harness/eslint`; Prelude
+ * intentionally never rewrites executable config files.
+ */
+declare const effectHarnessEslintConfig: readonly [{
+    readonly name: "effect-harness/guardrails";
+    readonly rules: {
+        readonly 'no-restricted-imports': readonly ["error", {
+            readonly paths: readonly [{
+                readonly name: "node:test";
+                readonly message: "Use @effect/vitest for Effect test entries.";
+            }, {
+                readonly name: "@effect/cli";
+                readonly message: "Use effect/unstable/cli for Effect v4 beta.";
+            }];
+            readonly patterns: readonly [{
+                readonly group: readonly ["@effect/cli/*"];
+                readonly message: "Use effect/unstable/cli for Effect v4 beta.";
+            }, {
+                readonly group: readonly ["repos/effect/**", "**/repos/effect/**"];
+                readonly message: "Import installed packages, never pinned source trees.";
+            }, {
+                readonly group: readonly ["repos/tsgo/**", "**/repos/tsgo/**"];
+                readonly message: "Use tsgo through its installed package.";
+            }];
+        }];
+        readonly 'no-restricted-syntax': readonly ["error", {
+            readonly selector: "MemberExpression[object.name=\"Context\"][property.name=\"Tag\"]";
+            readonly message: "Use Context.Service for Effect v4 services.";
+        }, {
+            readonly selector: "MemberExpression[object.name=\"Effect\"][property.name=/^(catchAllCause|ignore|serviceOption)$/]";
+            readonly message: "Use the Effect-native safer pattern.";
+        }];
+    };
+}, {
+    readonly name: "effect-harness/tests";
+    readonly files: readonly ["tests/**/*.test.{js,mjs,ts}"];
+    readonly rules: {
+        readonly 'no-restricted-imports': readonly ["error", {
+            readonly paths: readonly [{
+                readonly name: "node:test";
+                readonly message: "Use @effect/vitest.";
+            }, {
+                readonly name: "vitest";
+                readonly importNames: readonly ["describe", "it", "test"];
+                readonly message: "Use @effect/vitest Effect entries.";
+            }];
+        }];
+        readonly 'no-restricted-syntax': readonly ["error", {
+            readonly selector: "CallExpression[callee.name=\"it\"]";
+            readonly message: "Use it.effect, it.live, or layer from @effect/vitest.";
+        }];
+    };
+}];
+export default effectHarnessEslintConfig;

package/dist/src/eslint.js

@@ -0,0 +1,42 @@
+/**
+ * Composable Effect guardrails for a target-owned ESLint flat config.
+ *
+ * Targets import this value from `@sayoriqwq/effect-harness/eslint`; Prelude
+ * intentionally never rewrites executable config files.
+ */
+const effectHarnessEslintConfig = [
+    {
+        name: 'effect-harness/guardrails',
+        rules: {
+            'no-restricted-imports': [
+                'error',
+                {
+                    paths: [
+                        { name: 'node:test', message: 'Use @effect/vitest for Effect test entries.' },
+                        { name: '@effect/cli', message: 'Use effect/unstable/cli for Effect v4 beta.' },
+                    ],
+                    patterns: [
+                        { group: ['@effect/cli/*'], message: 'Use effect/unstable/cli for Effect v4 beta.' },
+                        { group: ['repos/effect/**', '**/repos/effect/**'], message: 'Import installed packages, never pinned source trees.' },
+                        { group: ['repos/tsgo/**', '**/repos/tsgo/**'], message: 'Use tsgo through its installed package.' },
+                    ],
+                },
+            ],
+            'no-restricted-syntax': [
+                'error',
+                { selector: 'MemberExpression[object.name="Context"][property.name="Tag"]', message: 'Use Context.Service for Effect v4 services.' },
+                { selector: 'MemberExpression[object.name="Effect"][property.name=/^(catchAllCause|ignore|serviceOption)$/]', message: 'Use the Effect-native safer pattern.' },
+            ],
+        },
+    },
+    {
+        name: 'effect-harness/tests',
+        files: ['tests/**/*.test.{js,mjs,ts}'],
+        rules: {
+            'no-restricted-imports': ['error', { paths: [{ name: 'node:test', message: 'Use @effect/vitest.' }, { name: 'vitest', importNames: ['describe', 'it', 'test'], message: 'Use @effect/vitest Effect entries.' }] }],
+            'no-restricted-syntax': ['error', { selector: 'CallExpression[callee.name="it"]', message: 'Use it.effect, it.live, or layer from @effect/vitest.' }],
+        },
+    },
+];
+export default effectHarnessEslintConfig;
+//# sourceMappingURL=eslint.js.map

package/dist/src/eslint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eslint.js","sourceRoot":"","sources":["../../src/eslint.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,yBAAyB,GAAG;IAChC;QACE,IAAI,EAAE,2BAA2B;QACjC,KAAK,EAAE;YACL,uBAAuB,EAAE;gBACvB,OAAO;gBACP;oBACE,KAAK,EAAE;wBACL,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,6CAA6C,EAAE;wBAC7E,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,6CAA6C,EAAE;qBAChF;oBACD,QAAQ,EAAE;wBACR,EAAE,KAAK,EAAE,CAAC,eAAe,CAAC,EAAE,OAAO,EAAE,6CAA6C,EAAE;wBACpF,EAAE,KAAK,EAAE,CAAC,iBAAiB,EAAE,oBAAoB,CAAC,EAAE,OAAO,EAAE,uDAAuD,EAAE;wBACtH,EAAE,KAAK,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC,EAAE,OAAO,EAAE,yCAAyC,EAAE;qBACrG;iBACF;aACF;YACD,sBAAsB,EAAE;gBACtB,OAAO;gBACP,EAAE,QAAQ,EAAE,8DAA8D,EAAE,OAAO,EAAE,6CAA6C,EAAE;gBACpI,EAAE,QAAQ,EAAE,gGAAgG,EAAE,OAAO,EAAE,sCAAsC,EAAE;aAChK;SACF;KACF;IACD;QACE,IAAI,EAAE,sBAAsB;QAC5B,KAAK,EAAE,CAAC,6BAA6B,CAAC;QACtC,KAAK,EAAE;YACL,uBAAuB,EAAE,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,qBAAqB,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,oCAAoC,EAAE,CAAC,EAAE,CAAC;YAClN,sBAAsB,EAAE,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,kCAAkC,EAAE,OAAO,EAAE,uDAAuD,EAAE,CAAC;SACtJ;KACF;CACO,CAAA;AAEV,eAAe,yBAAyB,CAAA","sourcesContent":["/**\n * Composable Effect guardrails for a target-owned ESLint flat config.\n *\n * Targets import this value from `@sayoriqwq/effect-harness/eslint`; Prelude\n * intentionally never rewrites executable config files.\n */\nconst effectHarnessEslintConfig = [\n  {\n    name: 'effect-harness/guardrails',\n    rules: {\n      'no-restricted-imports': [\n        'error',\n        {\n          paths: [\n            { name: 'node:test', message: 'Use @effect/vitest for Effect test entries.' },\n            { name: '@effect/cli', message: 'Use effect/unstable/cli for Effect v4 beta.' },\n          ],\n          patterns: [\n            { group: ['@effect/cli/*'], message: 'Use effect/unstable/cli for Effect v4 beta.' },\n            { group: ['repos/effect/**', '**/repos/effect/**'], message: 'Import installed packages, never pinned source trees.' },\n            { group: ['repos/tsgo/**', '**/repos/tsgo/**'], message: 'Use tsgo through its installed package.' },\n          ],\n        },\n      ],\n      'no-restricted-syntax': [\n        'error',\n        { selector: 'MemberExpression[object.name=\"Context\"][property.name=\"Tag\"]', message: 'Use Context.Service for Effect v4 services.' },\n        { selector: 'MemberExpression[object.name=\"Effect\"][property.name=/^(catchAllCause|ignore|serviceOption)$/]', message: 'Use the Effect-native safer pattern.' },\n      ],\n    },\n  },\n  {\n    name: 'effect-harness/tests',\n    files: ['tests/**/*.test.{js,mjs,ts}'],\n    rules: {\n      'no-restricted-imports': ['error', { paths: [{ name: 'node:test', message: 'Use @effect/vitest.' }, { name: 'vitest', importNames: ['describe', 'it', 'test'], message: 'Use @effect/vitest Effect entries.' }] }],\n      'no-restricted-syntax': ['error', { selector: 'CallExpression[callee.name=\"it\"]', message: 'Use it.effect, it.live, or layer from @effect/vitest.' }],\n    },\n  },\n] as const\n\nexport default effectHarnessEslintConfig\n"]}

package/dist/src/index.d.ts

@@ -1,8 +1,2 @@
-import type { ProviderDiscovery, ProviderDiscoveryFailure, ProviderDiscoveryFailureInput } from './harness/ProviderDiscovery.ts';
-import { classifyProviderDiscoveryFailure, discoverProvider, resolvePackageArtifactRoot } from './harness/ProviderDiscovery.ts';
-export type { ProviderDiscovery, ProviderDiscoveryFailure, ProviderDiscoveryFailureInput, };
-export { classifyProviderDiscoveryFailure, discoverProvider, resolvePackageArtifactRoot, };
-export interface DiscoverProviderArtifactOptions {
-    readonly artifactRoot?: string;
-}
-export declare function discoverProviderArtifact(options?: DiscoverProviderArtifactOptions): Promise<ProviderDiscovery>;
+/** The Harness Module is deliberately available only through `./prelude`. */
+export {};

package/dist/src/index.js

@@ -1,16 +1,3 @@
-import { fileURLToPath } from 'node:url';
-import * as NodeServices from '@effect/platform-node/NodeServices';
-import { Effect, Layer } from 'effect';
-import { classifyProviderDiscoveryFailure, discoverProvider, resolvePackageArtifactRoot, } from "./harness/ProviderDiscovery.js";
-export { classifyProviderDiscoveryFailure, discoverProvider, resolvePackageArtifactRoot, };
-export function discoverProviderArtifact(options = {}) {
-    const artifactRoot = options.artifactRoot ?? resolvePackageArtifactRoot(fileURLToPath(import.meta.url));
-    return runWithNodeServices(discoverProvider(artifactRoot));
-}
-function runWithNodeServices(effect) {
-    return Effect.runPromise(Effect.scoped(Effect.gen(function* () {
-        const context = yield* Layer.build(NodeServices.layer);
-        return yield* Effect.promise(() => Effect.runPromiseWith(context)(effect));
-    })));
-}
+/** The Harness Module is deliberately available only through `./prelude`. */
+export {};
 //# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,KAAK,YAAY,MAAM,oCAAoC,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EACL,gCAAgC,EAChC,gBAAgB,EAChB,0BAA0B,GAC3B,MAAM,gCAAgC,CAAA;AAQvC,OAAO,EACL,gCAAgC,EAChC,gBAAgB,EAChB,0BAA0B,GAC3B,CAAA;AAMD,MAAM,UAAU,wBAAwB,CACtC,UAA2C,EAAE;IAE7C,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,0BAA0B,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;IACvG,OAAO,mBAAmB,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAA;AAC5D,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAAsD;IAEtD,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;QACtD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;IAC5E,CAAC,CAAC,CAAC,CAAC,CAAA;AACN,CAAC","sourcesContent":["import type {\n  ProviderDiscovery,\n  ProviderDiscoveryFailure,\n  ProviderDiscoveryFailureInput,\n} from './harness/ProviderDiscovery.ts'\nimport { fileURLToPath } from 'node:url'\nimport * as NodeServices from '@effect/platform-node/NodeServices'\nimport { Effect, Layer } from 'effect'\nimport {\n  classifyProviderDiscoveryFailure,\n  discoverProvider,\n  resolvePackageArtifactRoot,\n} from './harness/ProviderDiscovery.ts'\n\nexport type {\n  ProviderDiscovery,\n  ProviderDiscoveryFailure,\n  ProviderDiscoveryFailureInput,\n}\n\nexport {\n  classifyProviderDiscoveryFailure,\n  discoverProvider,\n  resolvePackageArtifactRoot,\n}\n\nexport interface DiscoverProviderArtifactOptions {\n  readonly artifactRoot?: string\n}\n\nexport function discoverProviderArtifact(\n  options: DiscoverProviderArtifactOptions = {},\n): Promise<ProviderDiscovery> {\n  const artifactRoot = options.artifactRoot ?? resolvePackageArtifactRoot(fileURLToPath(import.meta.url))\n  return runWithNodeServices(discoverProvider(artifactRoot))\n}\n\nfunction runWithNodeServices<A, E>(\n  effect: Effect.Effect<A, E, NodeServices.NodeServices>,\n): Promise<A> {\n  return Effect.runPromise(Effect.scoped(Effect.gen(function* () {\n    const context = yield* Layer.build(NodeServices.layer)\n    return yield* Effect.promise(() => Effect.runPromiseWith(context)(effect))\n  })))\n}\n"]}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,OAAO,EAAE,CAAA","sourcesContent":["/** The Harness Module is deliberately available only through `./prelude`. */\nexport {}\n"]}

package/dist/src/prelude.d.ts

@@ -0,0 +1,6 @@
+export declare const harnessModule: import("@sayoriqwq/prelude-contract").HarnessModule<import("effect/Schema").Struct.ReadonlySide<{
+    readonly _tag: import("effect/Schema").tag<"ObservationError">;
+    readonly operation: import("effect/Schema").Literals<readonly ["readBytes", "readText", "readDirectory", "readPackageManifest"]>;
+    readonly path: import("effect/Schema").String;
+    readonly message: import("effect/Schema").String;
+}, "Type">>;

package/dist/src/prelude.js

@@ -0,0 +1,161 @@
+import { defineHarnessModule, MODULE_PROTOCOL_V1, PRELUDE_V1_SUPPORTED_FEATURES, } from '@sayoriqwq/prelude-contract';
+import { Effect } from 'effect';
+import * as TypeScript from 'typescript';
+const effectLanguageServicePlugin = {
+    name: '@effect/language-service',
+    diagnostics: true,
+    includeSuggestionsInTsc: true,
+    ignoreEffectSuggestionsInTscExitCode: false,
+    ignoreEffectWarningsInTscExitCode: false,
+    ignoreEffectErrorsInTscExitCode: false,
+};
+const routingBlock = `## Effect Harness\n\nFor Effect application, test, package, TypeScript, editor, or lint changes, read \`effect/managed/docs/index.md\` first. For ESLint or package-config repair, read \`effect/managed/docs/package-config.md\`; Antfu v9 integrations use its \`antfu().append(...effectHarness)\` form. Keep \`effect/feedback/**\` target-owned. Use installed Effect packages; never import pinned source diagnostics.\n`;
+function eslintIntegrationIssue(content) {
+    if (typeof content === 'string') {
+        if (hasEffectHarnessEslintComposition(content)) {
+            return [];
+        }
+    }
+    return [{
+            id: 'effect.eslint.integration',
+            summary: 'Target ESLint config does not compose Effect Harness guardrails',
+            detail: 'The target-owned eslint.config.mjs must import and include @sayoriqwq/effect-harness/eslint.',
+            evidence: content === undefined ? 'eslint.config.mjs is absent.' : 'eslint.config.mjs does not reference the stable Effect Harness ESLint export.',
+            guidance: 'prelude-assets/guidance/eslint.md',
+        }];
+}
+function hasEffectHarnessEslintComposition(content) {
+    const source = TypeScript.createSourceFile('eslint.config.mjs', content, TypeScript.ScriptTarget.Latest, false, TypeScript.ScriptKind.JS);
+    let antfuBinding = '';
+    for (const statement of source.statements) {
+        if (TypeScript.isImportDeclaration(statement)
+            && TypeScript.isStringLiteral(statement.moduleSpecifier)
+            && statement.moduleSpecifier.text === '@antfu/eslint-config') {
+            antfuBinding = statement.importClause?.name?.text ?? '';
+        }
+    }
+    for (const statement of source.statements) {
+        if (!TypeScript.isImportDeclaration(statement)
+            || !TypeScript.isStringLiteral(statement.moduleSpecifier)
+            || statement.moduleSpecifier.text !== '@sayoriqwq/effect-harness/eslint') {
+            continue;
+        }
+        const binding = statement.importClause?.name?.text ?? '';
+        if (binding.length > 0 && composesEslintBinding(source, binding, antfuBinding)) {
+            return true;
+        }
+    }
+    return false;
+}
+function composesEslintBinding(source, binding, antfuBinding) {
+    return source.statements.some((statement) => {
+        if (TypeScript.isExportAssignment(statement) === false)
+            return false;
+        if (statement.isExportEquals === true)
+            return false;
+        if (TypeScript.isArrayLiteralExpression(statement.expression)) {
+            const spreadsEffectConfig = statement.expression.elements.some(element => TypeScript.isSpreadElement(element)
+                && TypeScript.isIdentifier(element.expression)
+                && element.expression.text === binding);
+            return spreadsEffectConfig && !spreadsAntfuCall(statement.expression, antfuBinding);
+        }
+        return appendsEffectConfigToAntfu(statement.expression, binding, antfuBinding);
+    });
+}
+function spreadsAntfuCall(expression, antfuBinding) {
+    return antfuBinding.length > 0 && expression.elements.some(element => TypeScript.isSpreadElement(element)
+        && TypeScript.isCallExpression(element.expression)
+        && TypeScript.isIdentifier(element.expression.expression)
+        && element.expression.expression.text === antfuBinding);
+}
+function appendsEffectConfigToAntfu(expression, effectBinding, antfuBinding) {
+    if (antfuBinding.length === 0 || !TypeScript.isCallExpression(expression))
+        return false;
+    const append = expression.expression;
+    if (!TypeScript.isPropertyAccessExpression(append) || append.name.text !== 'append')
+        return false;
+    if (!TypeScript.isCallExpression(append.expression)
+        || !TypeScript.isIdentifier(append.expression.expression)
+        || append.expression.expression.text !== antfuBinding) {
+        return false;
+    }
+    return expression.arguments.some(argument => TypeScript.isSpreadElement(argument)
+        && TypeScript.isIdentifier(argument.expression)
+        && argument.expression.text === effectBinding);
+}
+export const harnessModule = defineHarnessModule({
+    descriptor: {
+        harnessId: 'effect-harness',
+        protocolVersion: MODULE_PROTOCOL_V1,
+        requiredFeatures: PRELUDE_V1_SUPPORTED_FEATURES,
+    },
+    plan: context => Effect.gen(function* () {
+        const eslintConfig = yield* context.target.readText('eslint.config.mjs');
+        return {
+            outputs: [
+                {
+                    kind: 'ManagedTree',
+                    id: 'effect.managed',
+                    sourceRoot: 'prelude-assets/effect/managed',
+                    targetRoot: 'effect/managed',
+                },
+                {
+                    kind: 'ManagedBlock',
+                    id: 'effect.agent-routing',
+                    path: 'AGENTS.md',
+                    blockId: 'effect-harness-routing',
+                    content: routingBlock,
+                },
+                {
+                    kind: 'JsonKeyedItem',
+                    id: 'effect.tsconfig.language-service',
+                    path: 'tsconfig.json',
+                    collectionPointer: '/compilerOptions/plugins',
+                    keyField: 'name',
+                    keyValue: '@effect/language-service',
+                    item: effectLanguageServicePlugin,
+                },
+                {
+                    kind: 'JsonValue',
+                    id: 'effect.vscode.auto-import-exclude',
+                    path: '.vscode/settings.json',
+                    pointer: '/typescript.preferences.autoImportFileExcludePatterns',
+                    value: ['repos/**'],
+                },
+                {
+                    kind: 'JsonValue',
+                    id: 'effect.vscode.javascript-auto-import-exclude',
+                    path: '.vscode/settings.json',
+                    pointer: '/javascript.preferences.autoImportFileExcludePatterns',
+                    value: ['repos/**'],
+                },
+                {
+                    kind: 'JsonValue',
+                    id: 'effect.zed.auto-import-exclude',
+                    path: '.zed/settings.json',
+                    pointer: '/lsp/typescript-language-server/initialization_options/preferences/autoImportFileExcludePatterns',
+                    value: ['repos/**'],
+                },
+            ],
+            requirements: [
+                { id: 'effect.runtime', packageRoot: context.integration.packageRoot, packageName: 'effect', range: '4.0.0-beta.92', section: 'dependencies' },
+                { id: 'effect.platform-node', packageRoot: context.integration.packageRoot, packageName: '@effect/platform-node', range: '4.0.0-beta.92', section: 'dependencies' },
+                { id: 'effect.vitest', packageRoot: context.integration.packageRoot, packageName: '@effect/vitest', range: '4.0.0-beta.92', section: 'devDependencies' },
+                { id: 'effect.tsgo', packageRoot: context.integration.packageRoot, packageName: '@effect/tsgo', range: '0.15.0', section: 'devDependencies' },
+                { id: 'effect.language-service', packageRoot: context.integration.packageRoot, packageName: '@effect/language-service', range: '0.86.2', section: 'devDependencies' },
+                { id: 'effect.native-typescript', packageRoot: context.integration.packageRoot, packageName: '@typescript/native-preview', range: '7.0.0-dev.20260630.1', section: 'devDependencies' },
+                { id: 'effect.eslint', packageRoot: context.integration.packageRoot, packageName: 'eslint', range: '^10.3.0', section: 'devDependencies' },
+                { id: 'effect.antfu-eslint-config', packageRoot: context.integration.packageRoot, packageName: '@antfu/eslint-config', range: '^9.0.0', section: 'devDependencies' },
+                { id: 'effect.vitest-runner', packageRoot: context.integration.packageRoot, packageName: 'vitest', range: '^4.1.8', section: 'devDependencies' },
+                { id: 'effect.typescript', packageRoot: context.integration.packageRoot, packageName: 'typescript', range: '^6.0.3', section: 'devDependencies' },
+            ],
+            checks: [
+                { id: 'effect.typecheck', summary: 'Run strict Effect diagnostics', packageRoot: context.integration.packageRoot, argv: ['pnpm', 'typecheck'] },
+                { id: 'effect.lint', summary: 'Run Effect lint guardrails', packageRoot: context.integration.packageRoot, argv: ['pnpm', 'lint', '--max-warnings', '0'] },
+                { id: 'effect.verify', summary: 'Run Effect domain verification', packageRoot: context.integration.packageRoot, argv: ['pnpm', 'verify'] },
+            ],
+            issues: eslintIntegrationIssue(eslintConfig),
+        };
+    }),
+});
+//# sourceMappingURL=prelude.js.map

package/dist/src/prelude.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prelude.js","sourceRoot":"","sources":["../../src/prelude.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,kBAAkB,EAClB,6BAA6B,GAC9B,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,UAAU,MAAM,YAAY,CAAA;AAExC,MAAM,2BAA2B,GAAG;IAClC,IAAI,EAAE,0BAA0B;IAChC,WAAW,EAAE,IAAI;IACjB,uBAAuB,EAAE,IAAI;IAC7B,oCAAoC,EAAE,KAAK;IAC3C,iCAAiC,EAAE,KAAK;IACxC,+BAA+B,EAAE,KAAK;CACvC,CAAA;AAED,MAAM,YAAY,GAAG,gaAAga,CAAA;AAErb,SAAS,sBAAsB,CAAC,OAA2B;IACzD,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,IAAI,iCAAiC,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/C,OAAO,EAAE,CAAA;QACX,CAAC;IACH,CAAC;IAED,OAAO,CAAC;YACN,EAAE,EAAE,2BAA2B;YAC/B,OAAO,EAAE,iEAAiE;YAC1E,MAAM,EAAE,8FAA8F;YACtG,QAAQ,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC,+EAA+E;YAClJ,QAAQ,EAAE,mCAAmC;SAC9C,CAAU,CAAA;AACb,CAAC;AAED,SAAS,iCAAiC,CAAC,OAAe;IACxD,MAAM,MAAM,GAAG,UAAU,CAAC,gBAAgB,CACxC,mBAAmB,EACnB,OAAO,EACP,UAAU,CAAC,YAAY,CAAC,MAAM,EAC9B,KAAK,EACL,UAAU,CAAC,UAAU,CAAC,EAAE,CACzB,CAAA;IAED,IAAI,YAAY,GAAG,EAAE,CAAA;IACrB,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IACE,UAAU,CAAC,mBAAmB,CAAC,SAAS,CAAC;eACtC,UAAU,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC;eACrD,SAAS,CAAC,eAAe,CAAC,IAAI,KAAK,sBAAsB,EAC5D,CAAC;YACD,YAAY,GAAG,SAAS,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,CAAA;QACzD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IACE,CAAC,UAAU,CAAC,mBAAmB,CAAC,SAAS,CAAC;eACvC,CAAC,UAAU,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC;eACtD,SAAS,CAAC,eAAe,CAAC,IAAI,KAAK,kCAAkC,EACxE,CAAC;YACD,SAAQ;QACV,CAAC;QAED,MAAM,OAAO,GAAG,SAAS,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,CAAA;QACxD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,qBAAqB,CAAC,MAAM,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;YAC/E,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAA6B,EAC7B,OAAe,EACf,YAAoB;IAEpB,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;QAC1C,IAAI,UAAU,CAAC,kBAAkB,CAAC,SAAS,CAAC,KAAK,KAAK;YACpD,OAAO,KAAK,CAAA;QAEd,IAAI,SAAS,CAAC,cAAc,KAAK,IAAI;YACnC,OAAO,KAAK,CAAA;QAEd,IAAI,UAAU,CAAC,wBAAwB,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9D,MAAM,mBAAmB,GAAG,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CACvE,UAAU,CAAC,eAAe,CAAC,OAAO,CAAC;mBAChC,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC;mBAC3C,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC,CAAA;YACzC,OAAO,mBAAmB,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,EAAE,YAAY,CAAC,CAAA;QACrF,CAAC;QAED,OAAO,0BAA0B,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,YAAY,CAAC,CAAA;IAChF,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,UAA6C,EAAE,YAAoB;IAC3F,OAAO,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CACnE,UAAU,CAAC,eAAe,CAAC,OAAO,CAAC;WAChC,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,UAAU,CAAC;WAC/C,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;WACtD,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAA;AAC3D,CAAC;AAED,SAAS,0BAA0B,CACjC,UAAiC,EACjC,aAAqB,EACrB,YAAoB;IAEpB,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,UAAU,CAAC;QACvE,OAAO,KAAK,CAAA;IAEd,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAA;IACpC,IAAI,CAAC,UAAU,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACjF,OAAO,KAAK,CAAA;IAEd,IACE,CAAC,UAAU,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC;WAC5C,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC;WACtD,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,EACrD,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAED,OAAO,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAC1C,UAAU,CAAC,eAAe,CAAC,QAAQ,CAAC;WACjC,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC;WAC5C,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAA;AAClD,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,mBAAmB,CAAC;IAC/C,UAAU,EAAE;QACV,SAAS,EAAE,gBAAgB;QAC3B,eAAe,EAAE,kBAAkB;QACnC,gBAAgB,EAAE,6BAA6B;KAChD;IACD,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnC,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAA;QACxE,OAAO;YACL,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,aAAsB;oBAC5B,EAAE,EAAE,gBAAgB;oBACpB,UAAU,EAAE,+BAA+B;oBAC3C,UAAU,EAAE,gBAAgB;iBAC7B;gBACD;oBACE,IAAI,EAAE,cAAuB;oBAC7B,EAAE,EAAE,sBAAsB;oBAC1B,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,wBAAwB;oBACjC,OAAO,EAAE,YAAY;iBACtB;gBACD;oBACE,IAAI,EAAE,eAAwB;oBAC9B,EAAE,EAAE,kCAAkC;oBACtC,IAAI,EAAE,eAAe;oBACrB,iBAAiB,EAAE,0BAA0B;oBAC7C,QAAQ,EAAE,MAAM;oBAChB,QAAQ,EAAE,0BAA0B;oBACpC,IAAI,EAAE,2BAA2B;iBAClC;gBACD;oBACE,IAAI,EAAE,WAAoB;oBAC1B,EAAE,EAAE,mCAAmC;oBACvC,IAAI,EAAE,uBAAuB;oBAC7B,OAAO,EAAE,uDAAuD;oBAChE,KAAK,EAAE,CAAC,UAAU,CAAC;iBACpB;gBACD;oBACE,IAAI,EAAE,WAAoB;oBAC1B,EAAE,EAAE,8CAA8C;oBAClD,IAAI,EAAE,uBAAuB;oBAC7B,OAAO,EAAE,uDAAuD;oBAChE,KAAK,EAAE,CAAC,UAAU,CAAC;iBACpB;gBACD;oBACE,IAAI,EAAE,WAAoB;oBAC1B,EAAE,EAAE,gCAAgC;oBACpC,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,kGAAkG;oBAC3G,KAAK,EAAE,CAAC,UAAU,CAAC;iBACpB;aACF;YACD,YAAY,EAAE;gBACZ,EAAE,EAAE,EAAE,gBAAgB,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,cAAuB,EAAE;gBACvJ,EAAE,EAAE,EAAE,sBAAsB,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,WAAW,EAAE,uBAAuB,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,cAAuB,EAAE;gBAC5K,EAAE,EAAE,EAAE,eAAe,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,iBAA0B,EAAE;gBACjK,EAAE,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,iBAA0B,EAAE;gBACtJ,EAAE,EAAE,EAAE,yBAAyB,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,WAAW,EAAE,0BAA0B,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,iBAA0B,EAAE;gBAC9K,EAAE,EAAE,EAAE,0BAA0B,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,WAAW,EAAE,4BAA4B,EAAE,KAAK,EAAE,sBAAsB,EAAE,OAAO,EAAE,iBAA0B,EAAE;gBAC/L,EAAE,EAAE,EAAE,eAAe,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,iBAA0B,EAAE;gBACnJ,EAAE,EAAE,EAAE,4BAA4B,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,WAAW,EAAE,sBAAsB,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,iBAA0B,EAAE;gBAC7K,EAAE,EAAE,EAAE,sBAAsB,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,iBAA0B,EAAE;gBACzJ,EAAE,EAAE,EAAE,mBAAmB,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,iBAA0B,EAAE;aAC3J;YACD,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,kBAAkB,EAAE,OAAO,EAAE,+BAA+B,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE;gBAC/I,EAAE,EAAE,EAAE,aAAa,EAAE,OAAO,EAAE,4BAA4B,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,GAAG,CAAC,EAAE;gBACzJ,EAAE,EAAE,EAAE,eAAe,EAAE,OAAO,EAAE,gCAAgC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE;aAC3I;YACD,MAAM,EAAE,sBAAsB,CAAC,YAAY,CAAC;SAC7C,CAAA;IACH,CAAC,CAAC;CACH,CAAC,CAAA","sourcesContent":["import {\n  defineHarnessModule,\n  MODULE_PROTOCOL_V1,\n  PRELUDE_V1_SUPPORTED_FEATURES,\n} from '@sayoriqwq/prelude-contract'\nimport { Effect } from 'effect'\nimport * as TypeScript from 'typescript'\n\nconst effectLanguageServicePlugin = {\n  name: '@effect/language-service',\n  diagnostics: true,\n  includeSuggestionsInTsc: true,\n  ignoreEffectSuggestionsInTscExitCode: false,\n  ignoreEffectWarningsInTscExitCode: false,\n  ignoreEffectErrorsInTscExitCode: false,\n}\n\nconst routingBlock = `## Effect Harness\\n\\nFor Effect application, test, package, TypeScript, editor, or lint changes, read \\`effect/managed/docs/index.md\\` first. For ESLint or package-config repair, read \\`effect/managed/docs/package-config.md\\`; Antfu v9 integrations use its \\`antfu().append(...effectHarness)\\` form. Keep \\`effect/feedback/**\\` target-owned. Use installed Effect packages; never import pinned source diagnostics.\\n`\n\nfunction eslintIntegrationIssue(content: string | undefined) {\n  if (typeof content === 'string') {\n    if (hasEffectHarnessEslintComposition(content)) {\n      return []\n    }\n  }\n\n  return [{\n    id: 'effect.eslint.integration',\n    summary: 'Target ESLint config does not compose Effect Harness guardrails',\n    detail: 'The target-owned eslint.config.mjs must import and include @sayoriqwq/effect-harness/eslint.',\n    evidence: content === undefined ? 'eslint.config.mjs is absent.' : 'eslint.config.mjs does not reference the stable Effect Harness ESLint export.',\n    guidance: 'prelude-assets/guidance/eslint.md',\n  }] as const\n}\n\nfunction hasEffectHarnessEslintComposition(content: string): boolean {\n  const source = TypeScript.createSourceFile(\n    'eslint.config.mjs',\n    content,\n    TypeScript.ScriptTarget.Latest,\n    false,\n    TypeScript.ScriptKind.JS,\n  )\n\n  let antfuBinding = ''\n  for (const statement of source.statements) {\n    if (\n      TypeScript.isImportDeclaration(statement)\n      && TypeScript.isStringLiteral(statement.moduleSpecifier)\n      && statement.moduleSpecifier.text === '@antfu/eslint-config'\n    ) {\n      antfuBinding = statement.importClause?.name?.text ?? ''\n    }\n  }\n\n  for (const statement of source.statements) {\n    if (\n      !TypeScript.isImportDeclaration(statement)\n      || !TypeScript.isStringLiteral(statement.moduleSpecifier)\n      || statement.moduleSpecifier.text !== '@sayoriqwq/effect-harness/eslint'\n    ) {\n      continue\n    }\n\n    const binding = statement.importClause?.name?.text ?? ''\n    if (binding.length > 0 && composesEslintBinding(source, binding, antfuBinding)) {\n      return true\n    }\n  }\n\n  return false\n}\n\nfunction composesEslintBinding(\n  source: TypeScript.SourceFile,\n  binding: string,\n  antfuBinding: string,\n): boolean {\n  return source.statements.some((statement) => {\n    if (TypeScript.isExportAssignment(statement) === false)\n      return false\n\n    if (statement.isExportEquals === true)\n      return false\n\n    if (TypeScript.isArrayLiteralExpression(statement.expression)) {\n      const spreadsEffectConfig = statement.expression.elements.some(element =>\n        TypeScript.isSpreadElement(element)\n        && TypeScript.isIdentifier(element.expression)\n        && element.expression.text === binding)\n      return spreadsEffectConfig && !spreadsAntfuCall(statement.expression, antfuBinding)\n    }\n\n    return appendsEffectConfigToAntfu(statement.expression, binding, antfuBinding)\n  })\n}\n\nfunction spreadsAntfuCall(expression: TypeScript.ArrayLiteralExpression, antfuBinding: string): boolean {\n  return antfuBinding.length > 0 && expression.elements.some(element =>\n    TypeScript.isSpreadElement(element)\n    && TypeScript.isCallExpression(element.expression)\n    && TypeScript.isIdentifier(element.expression.expression)\n    && element.expression.expression.text === antfuBinding)\n}\n\nfunction appendsEffectConfigToAntfu(\n  expression: TypeScript.Expression,\n  effectBinding: string,\n  antfuBinding: string,\n): boolean {\n  if (antfuBinding.length === 0 || !TypeScript.isCallExpression(expression))\n    return false\n\n  const append = expression.expression\n  if (!TypeScript.isPropertyAccessExpression(append) || append.name.text !== 'append')\n    return false\n\n  if (\n    !TypeScript.isCallExpression(append.expression)\n    || !TypeScript.isIdentifier(append.expression.expression)\n    || append.expression.expression.text !== antfuBinding\n  ) {\n    return false\n  }\n\n  return expression.arguments.some(argument =>\n    TypeScript.isSpreadElement(argument)\n    && TypeScript.isIdentifier(argument.expression)\n    && argument.expression.text === effectBinding)\n}\n\nexport const harnessModule = defineHarnessModule({\n  descriptor: {\n    harnessId: 'effect-harness',\n    protocolVersion: MODULE_PROTOCOL_V1,\n    requiredFeatures: PRELUDE_V1_SUPPORTED_FEATURES,\n  },\n  plan: context => Effect.gen(function* () {\n    const eslintConfig = yield* context.target.readText('eslint.config.mjs')\n    return {\n      outputs: [\n        {\n          kind: 'ManagedTree' as const,\n          id: 'effect.managed',\n          sourceRoot: 'prelude-assets/effect/managed',\n          targetRoot: 'effect/managed',\n        },\n        {\n          kind: 'ManagedBlock' as const,\n          id: 'effect.agent-routing',\n          path: 'AGENTS.md',\n          blockId: 'effect-harness-routing',\n          content: routingBlock,\n        },\n        {\n          kind: 'JsonKeyedItem' as const,\n          id: 'effect.tsconfig.language-service',\n          path: 'tsconfig.json',\n          collectionPointer: '/compilerOptions/plugins',\n          keyField: 'name',\n          keyValue: '@effect/language-service',\n          item: effectLanguageServicePlugin,\n        },\n        {\n          kind: 'JsonValue' as const,\n          id: 'effect.vscode.auto-import-exclude',\n          path: '.vscode/settings.json',\n          pointer: '/typescript.preferences.autoImportFileExcludePatterns',\n          value: ['repos/**'],\n        },\n        {\n          kind: 'JsonValue' as const,\n          id: 'effect.vscode.javascript-auto-import-exclude',\n          path: '.vscode/settings.json',\n          pointer: '/javascript.preferences.autoImportFileExcludePatterns',\n          value: ['repos/**'],\n        },\n        {\n          kind: 'JsonValue' as const,\n          id: 'effect.zed.auto-import-exclude',\n          path: '.zed/settings.json',\n          pointer: '/lsp/typescript-language-server/initialization_options/preferences/autoImportFileExcludePatterns',\n          value: ['repos/**'],\n        },\n      ],\n      requirements: [\n        { id: 'effect.runtime', packageRoot: context.integration.packageRoot, packageName: 'effect', range: '4.0.0-beta.92', section: 'dependencies' as const },\n        { id: 'effect.platform-node', packageRoot: context.integration.packageRoot, packageName: '@effect/platform-node', range: '4.0.0-beta.92', section: 'dependencies' as const },\n        { id: 'effect.vitest', packageRoot: context.integration.packageRoot, packageName: '@effect/vitest', range: '4.0.0-beta.92', section: 'devDependencies' as const },\n        { id: 'effect.tsgo', packageRoot: context.integration.packageRoot, packageName: '@effect/tsgo', range: '0.15.0', section: 'devDependencies' as const },\n        { id: 'effect.language-service', packageRoot: context.integration.packageRoot, packageName: '@effect/language-service', range: '0.86.2', section: 'devDependencies' as const },\n        { id: 'effect.native-typescript', packageRoot: context.integration.packageRoot, packageName: '@typescript/native-preview', range: '7.0.0-dev.20260630.1', section: 'devDependencies' as const },\n        { id: 'effect.eslint', packageRoot: context.integration.packageRoot, packageName: 'eslint', range: '^10.3.0', section: 'devDependencies' as const },\n        { id: 'effect.antfu-eslint-config', packageRoot: context.integration.packageRoot, packageName: '@antfu/eslint-config', range: '^9.0.0', section: 'devDependencies' as const },\n        { id: 'effect.vitest-runner', packageRoot: context.integration.packageRoot, packageName: 'vitest', range: '^4.1.8', section: 'devDependencies' as const },\n        { id: 'effect.typescript', packageRoot: context.integration.packageRoot, packageName: 'typescript', range: '^6.0.3', section: 'devDependencies' as const },\n      ],\n      checks: [\n        { id: 'effect.typecheck', summary: 'Run strict Effect diagnostics', packageRoot: context.integration.packageRoot, argv: ['pnpm', 'typecheck'] },\n        { id: 'effect.lint', summary: 'Run Effect lint guardrails', packageRoot: context.integration.packageRoot, argv: ['pnpm', 'lint', '--max-warnings', '0'] },\n        { id: 'effect.verify', summary: 'Run Effect domain verification', packageRoot: context.integration.packageRoot, argv: ['pnpm', 'verify'] },\n      ],\n      issues: eslintIntegrationIssue(eslintConfig),\n    }\n  }),\n})\n"]}

package/package.json

@@ -1,13 +1,13 @@
 {
   "name": "@sayoriqwq/effect-harness",
   "type": "module",
-  "version": "0.0.5",
+  "version": "0.1.1",
   "private": false,
   "publishConfig": {
     "access": "public",
     "registry": "https://registry.npmjs.org/"
   },
-  "description": "Effect v4 beta provider profile and source route package.",
+  "description": "Effect v4 beta Prelude Harness Module.",
   "license": "MIT",
   "repository": {
     "type": "git",
@@ -17,21 +17,25 @@
     ".": {
       "types": "./dist/src/index.d.ts",
       "import": "./dist/src/index.js"
+    },
+    "./prelude": {
+      "types": "./dist/src/prelude.d.ts",
+      "import": "./dist/src/prelude.js"
+    },
+    "./eslint": {
+      "types": "./dist/src/eslint.d.ts",
+      "import": "./dist/src/eslint.js"
     }
   },
   "main": "dist/src/index.js",
   "types": "dist/src/index.d.ts",
-  "bin": {
-    "effect-harness": "dist/bin/effect-harness.js"
-  },
   "files": [
-    "HARNESS.md",
-    "README.md",
+    "diagnostics",
     "dist",
-    "harness",
-    "provider",
-    "repos",
+    "prelude-assets",
+    "repos/effect",
     "repos/effect.subtree.json",
+    "repos/tsgo",
     "repos/tsgo.subtree.json"
   ],
   "engines": {
@@ -39,6 +43,7 @@
   },
   "dependencies": {
     "@effect/platform-node": "4.0.0-beta.92",
+    "@sayoriqwq/prelude-contract": "0.1.0",
     "effect": "4.0.0-beta.92",
     "typescript": "^6.0.3"
   },
@@ -55,17 +60,13 @@
   },
   "scripts": {
     "build": "tsc --project tsconfig.build.json",
-    "dev": "pnpm build && node dist/bin/effect-harness.js --help",
-    "effect:verify": "node bin/effect-harness.ts provider-verify --harness .",
+    "dev": "pnpm build",
     "knip": "knip",
     "lint": "eslint",
     "lint:fix": "eslint --fix",
-    "source:status": "npx --yes @sayoriqwq/partita pin status --root . --contract repos/effect.subtree.json --name effect --prefix repos/effect && npx --yes @sayoriqwq/partita pin status --root . --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo",
-    "source:update": "npx --yes @sayoriqwq/partita pin update --root . --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run && npx --yes @sayoriqwq/partita pin update --root . --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run",
-    "source:verify": "npx --yes @sayoriqwq/partita pin verify --root . --contract repos/effect.subtree.json --name effect --prefix repos/effect && npx --yes @sayoriqwq/partita pin verify --root . --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo",
-    "test": "vitest run tests/*.test.ts",
+    "test": "pnpm build && vitest run tests/*.test.ts",
     "typecheck": "tsgo --noEmit",
     "typecheck:tsc": "tsc --noEmit",
-    "verify": "node bin/effect-harness.ts verify --harness ."
+    "verify": "pnpm typecheck && pnpm test && pnpm lint && pnpm knip"
   }
 }

package/prelude-assets/effect/managed/docs/diagnostics.md

@@ -0,0 +1,6 @@
+# Diagnostics
+
+Run `effect-tsgo patch` to prepare the backend and `tsgo --noEmit` for primary
+Effect diagnostics. The language-service plugin treats errors, warnings,
+suggestions, and messages as a zero-tolerance gate. Do not suppress or weaken
+the configured policy to evade diagnostics.

package/prelude-assets/effect/managed/docs/editor-policy.md

@@ -0,0 +1,5 @@
+# Editor policy
+
+The declared VS Code and Zed values exclude `repos/**` from TypeScript and
+JavaScript auto-imports. They protect Artifact-internal source diagnostics and
+do not create target source trees.

package/prelude-assets/effect/managed/docs/effect-code.md

@@ -0,0 +1,5 @@
+# Effect code baseline
+
+Use installed `effect`, `@effect/platform-node`, and `@effect/vitest` packages.
+Do not import pinned source diagnostics. Prefer Effect v4 APIs, `Context.Service`,
+and Effect-aware test entries.

package/prelude-assets/effect/managed/docs/index.md

@@ -0,0 +1,14 @@
+# Effect managed guidance
+
+This directory is the complete Effect Harness managed documentation bundle.
+It is directly maintained by the Artifact and does not require a sibling
+source checkout.
+
+- Read [effect-code.md](./effect-code.md) before changing Effect code or tests.
+- Read [diagnostics.md](./diagnostics.md) before changing packages or TypeScript.
+- Read [editor-policy.md](./editor-policy.md) before changing editor settings.
+- Read [package-config.md](./package-config.md) before configuration work.
+- Read [quality-policy.md](./quality-policy.md) before verification work.
+
+Pinned Effect and tsgo repositories are Artifact-internal source diagnostics.
+They are never projected here. `effect/feedback/**` is target-owned.

package/prelude-assets/effect/managed/docs/managed-surfaces.md

@@ -0,0 +1,5 @@
+# Managed surfaces
+
+Effect Harness owns the complete `effect/managed/**` tree and one bounded root
+routing block. `effect/feedback/**` remains target-owned through plan, apply,
+and upgrade.

package/prelude-assets/effect/managed/docs/package-config.md

@@ -0,0 +1,20 @@
+# Package and TypeScript configuration
+
+Direct requirements cover the Effect runtime, Node platform, Effect Vitest,
+tsgo, language service, native TypeScript backend, ESLint, Antfu config, and
+Vitest. The named language-service plugin is structurally merged by its name.
+
+## Antfu v9 ESLint composition
+
+`@antfu/eslint-config` v9 returns a `FlatConfigComposer`, not an iterable
+array. Compose the stable Effect Harness export through `append`:
+
+```js
+import antfu from '@antfu/eslint-config'
+import effectHarness from '@sayoriqwq/effect-harness/eslint'
+
+export default antfu().append(...effectHarness)
+```
+
+Do not use `export default [...antfu(), ...effectHarness]`; it fails before
+ESLint can lint because the Antfu composer is not iterable.