@sayoriqwq/effect-harness 0.0.4 → 0.1.1

package/dist/src/harness/verify/VerifyStage.js

@@ -1,85 +0,0 @@
-import { Data, Schema } from 'effect';
-const VerifyStageTagSchema = Schema.Literals([
-    'source-pins',
-    'harness-contract',
-    'tsgo-diagnostics',
-    'tests',
-    'lint',
-    'knip',
-]);
-const isVerifyStageTag = Schema.is(VerifyStageTagSchema);
-export const verifyStageSpecs = [
-    {
-        tag: 'source-pins',
-        title: 'Source Pins',
-        routes: ['harness/source.md'],
-        summary: 'Verify pinned GitHub subtree source entries.',
-        routeHint: 'Read the source-entry contract and fix Partita source pin drift.',
-    },
-    {
-        tag: 'harness-contract',
-        title: 'Harness Contract',
-        routes: ['harness/index.md', 'harness/offcial-migrate.md', 'harness/feedback-loop.md'],
-        summary: 'Verify the provider repository contract and current harness baseline.',
-        routeHint: 'Read the harness index, migrate notes, and feedback loop contract before changing verifier behavior.',
-    },
-    {
-        tag: 'tsgo-diagnostics',
-        title: 'Tsgo Diagnostics',
-        routes: ['harness/tsgo.md', 'harness/tsgo-routes.md'],
-        summary: 'Run tsgo --noEmit and enforce zero Effect diagnostics.',
-        routeHint: 'Use the tsgo diagnostic output first; read the tsgo policy and routes only when the diagnostic is not enough.',
-    },
-    {
-        tag: 'tests',
-        title: 'Tests',
-        routes: ['harness/effect-routes.md'],
-        summary: 'Run the Effect test suite.',
-        routeHint: 'Read the Effect testing route and fix behavior through @effect/vitest patterns.',
-    },
-    {
-        tag: 'lint',
-        title: 'Lint',
-        routes: ['harness/diagnostic-layers.md', 'AGENTS.md', 'eslint.config.mjs'],
-        summary: 'Run ESLint with zero warnings.',
-        routeHint: 'Read the diagnostic layering contract, agent rules, and lint config, then fix repository boundary violations without duplicating tsgo semantics.',
-    },
-    {
-        tag: 'knip',
-        title: 'Knip',
-        routes: ['package.json'],
-        summary: 'Run knip and keep the package surface minimal.',
-        routeHint: 'Read package.json and source imports/exports, then remove unused package surface.',
-    },
-];
-export const requiredFeedbackLoopKeywords = [
-    'BASELINE',
-    'ROUTE_TABLE',
-    'VERIFY_PIPELINE',
-    ...verifyStageSpecs.map(spec => stageKeyword(spec.tag)),
-    'DONE',
-];
-export class VerifyStageFailed extends Data.TaggedError('@sayoriqwq/effect-harness/harness/verify/VerifyStage/VerifyStageFailed') {
-    get message() {
-        return [
-            `verify failed at ${this.stageTag} (${this.stageTitle})`,
-            '',
-            'route:',
-            ...this.routes.map(route => `- ${route}`),
-            '',
-            'next:',
-            this.routeHint,
-            '',
-            'cause:',
-            this.causeMessage,
-        ].join('\n');
-    }
-}
-function stageKeyword(tag) {
-    return `STAGE_${tag.replaceAll('-', '_').toUpperCase()}`;
-}
-export function stageSpecByTag(tag) {
-    const verifiedTag = isVerifyStageTag(tag) ? tag : 'source-pins';
-    return verifyStageSpecs.find(spec => spec.tag === verifiedTag);
-}
-//# sourceMappingURL=VerifyStage.js.map

package/dist/src/harness/verify/VerifyStage.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"VerifyStage.js","sourceRoot":"","sources":["../../../../src/harness/verify/VerifyStage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAUrC,MAAM,oBAAoB,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3C,aAAa;IACb,kBAAkB;IAClB,kBAAkB;IAClB,OAAO;IACP,MAAM;IACN,MAAM;CACE,CAAC,CAAA;AAGX,MAAM,gBAAgB,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAA;AAExD,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B;QACE,GAAG,EAAE,aAAa;QAClB,KAAK,EAAE,aAAa;QACpB,MAAM,EAAE,CAAC,mBAAmB,CAAC;QAC7B,OAAO,EAAE,8CAA8C;QACvD,SAAS,EAAE,kEAAkE;KAC9E;IACD;QACE,GAAG,EAAE,kBAAkB;QACvB,KAAK,EAAE,kBAAkB;QACzB,MAAM,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,EAAE,0BAA0B,CAAC;QACtF,OAAO,EAAE,uEAAuE;QAChF,SAAS,EAAE,sGAAsG;KAClH;IACD;QACE,GAAG,EAAE,kBAAkB;QACvB,KAAK,EAAE,kBAAkB;QACzB,MAAM,EAAE,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;QACrD,OAAO,EAAE,wDAAwD;QACjE,SAAS,EAAE,+GAA+G;KAC3H;IACD;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,OAAO;QACd,MAAM,EAAE,CAAC,0BAA0B,CAAC;QACpC,OAAO,EAAE,4BAA4B;QACrC,SAAS,EAAE,iFAAiF;KAC7F;IACD;QACE,GAAG,EAAE,MAAM;QACX,KAAK,EAAE,MAAM;QACb,MAAM,EAAE,CAAC,8BAA8B,EAAE,WAAW,EAAE,mBAAmB,CAAC;QAC1E,OAAO,EAAE,gCAAgC;QACzC,SAAS,EAAE,kJAAkJ;KAC9J;IACD;QACE,GAAG,EAAE,MAAM;QACX,KAAK,EAAE,MAAM;QACb,MAAM,EAAE,CAAC,cAAc,CAAC;QACxB,OAAO,EAAE,gDAAgD;QACzD,SAAS,EAAE,mFAAmF;KAC/F;CACgD,CAAA;AAEnD,MAAM,CAAC,MAAM,4BAA4B,GAAG;IAC1C,UAAU;IACV,aAAa;IACb,iBAAiB;IACjB,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvD,MAAM;CACE,CAAA;AAEV,MAAM,OAAO,iBAAkB,SAAQ,IAAI,CAAC,WAAW,CAAC,wEAAwE,CAM9H;IACA,IAAa,OAAO;QAClB,OAAO;YACL,oBAAoB,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,UAAU,GAAG;YACxD,EAAE;YACF,QAAQ;YACR,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC;YACzC,EAAE;YACF,OAAO;YACP,IAAI,CAAC,SAAS;YACd,EAAE;YACF,QAAQ;YACR,IAAI,CAAC,YAAY;SAClB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACd,CAAC;CACF;AAED,SAAS,YAAY,CAAC,GAAmB;IACvC,OAAO,SAAS,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAA;AAC1D,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,GAAmB;IAChD,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAA;IAC/D,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,WAAW,CAAE,CAAA;AACjE,CAAC","sourcesContent":["import { Data, Schema } from 'effect'\n\nexport interface VerifyStageSpec {\n  readonly tag: VerifyStageTag\n  readonly title: string\n  readonly routes: ReadonlyArray<string>\n  readonly summary: string\n  readonly routeHint: string\n}\n\nconst VerifyStageTagSchema = Schema.Literals([\n  'source-pins',\n  'harness-contract',\n  'tsgo-diagnostics',\n  'tests',\n  'lint',\n  'knip',\n] as const)\n\nexport type VerifyStageTag = typeof VerifyStageTagSchema.Type\nconst isVerifyStageTag = Schema.is(VerifyStageTagSchema)\n\nexport const verifyStageSpecs = [\n  {\n    tag: 'source-pins',\n    title: 'Source Pins',\n    routes: ['harness/source.md'],\n    summary: 'Verify pinned GitHub subtree source entries.',\n    routeHint: 'Read the source-entry contract and fix Partita source pin drift.',\n  },\n  {\n    tag: 'harness-contract',\n    title: 'Harness Contract',\n    routes: ['harness/index.md', 'harness/offcial-migrate.md', 'harness/feedback-loop.md'],\n    summary: 'Verify the provider repository contract and current harness baseline.',\n    routeHint: 'Read the harness index, migrate notes, and feedback loop contract before changing verifier behavior.',\n  },\n  {\n    tag: 'tsgo-diagnostics',\n    title: 'Tsgo Diagnostics',\n    routes: ['harness/tsgo.md', 'harness/tsgo-routes.md'],\n    summary: 'Run tsgo --noEmit and enforce zero Effect diagnostics.',\n    routeHint: 'Use the tsgo diagnostic output first; read the tsgo policy and routes only when the diagnostic is not enough.',\n  },\n  {\n    tag: 'tests',\n    title: 'Tests',\n    routes: ['harness/effect-routes.md'],\n    summary: 'Run the Effect test suite.',\n    routeHint: 'Read the Effect testing route and fix behavior through @effect/vitest patterns.',\n  },\n  {\n    tag: 'lint',\n    title: 'Lint',\n    routes: ['harness/diagnostic-layers.md', 'AGENTS.md', 'eslint.config.mjs'],\n    summary: 'Run ESLint with zero warnings.',\n    routeHint: 'Read the diagnostic layering contract, agent rules, and lint config, then fix repository boundary violations without duplicating tsgo semantics.',\n  },\n  {\n    tag: 'knip',\n    title: 'Knip',\n    routes: ['package.json'],\n    summary: 'Run knip and keep the package surface minimal.',\n    routeHint: 'Read package.json and source imports/exports, then remove unused package surface.',\n  },\n] as const satisfies ReadonlyArray<VerifyStageSpec>\n\nexport const requiredFeedbackLoopKeywords = [\n  'BASELINE',\n  'ROUTE_TABLE',\n  'VERIFY_PIPELINE',\n  ...verifyStageSpecs.map(spec => stageKeyword(spec.tag)),\n  'DONE',\n] as const\n\nexport class VerifyStageFailed extends Data.TaggedError('@sayoriqwq/effect-harness/harness/verify/VerifyStage/VerifyStageFailed')<{\n  readonly causeMessage: string\n  readonly routeHint: string\n  readonly routes: ReadonlyArray<string>\n  readonly stageTag: VerifyStageTag\n  readonly stageTitle: string\n}> {\n  override get message(): string {\n    return [\n      `verify failed at ${this.stageTag} (${this.stageTitle})`,\n      '',\n      'route:',\n      ...this.routes.map(route => `- ${route}`),\n      '',\n      'next:',\n      this.routeHint,\n      '',\n      'cause:',\n      this.causeMessage,\n    ].join('\\n')\n  }\n}\n\nfunction stageKeyword(tag: VerifyStageTag): string {\n  return `STAGE_${tag.replaceAll('-', '_').toUpperCase()}`\n}\n\nexport function stageSpecByTag(tag: VerifyStageTag): VerifyStageSpec {\n  const verifiedTag = isVerifyStageTag(tag) ? tag : 'source-pins'\n  return verifyStageSpecs.find(spec => spec.tag === verifiedTag)!\n}\n"]}

package/dist/src/platform/Json.d.ts

@@ -1,4 +0,0 @@
-import type { PlatformError } from 'effect';
-import { Effect, FileSystem } from 'effect';
-import { HarnessError } from '../harness/Errors.ts';
-export declare function readJson<A>(source: string, decode: (value: unknown, source: string) => Effect.Effect<A, HarnessError>): Effect.Effect<A, HarnessError | PlatformError.PlatformError, FileSystem.FileSystem>;

package/dist/src/platform/Json.js

@@ -1,16 +0,0 @@
-import { Effect, FileSystem, Schema } from 'effect';
-import { errorMessage, HarnessError } from "../harness/Errors.js";
-function parseJson(text, source, decode) {
-    return Effect.gen(function* () {
-        const value = yield* Schema.decodeUnknownEffect(Schema.UnknownFromJsonString)(text).pipe(Effect.mapError(error => new HarnessError({ cause: error, message: `Cannot parse JSON at ${source}: ${errorMessage(error)}` })));
-        return yield* decode(value, source);
-    });
-}
-export function readJson(source, decode) {
-    return Effect.gen(function* () {
-        const fs = yield* FileSystem.FileSystem;
-        const text = yield* fs.readFileString(source);
-        return yield* parseJson(text, source, decode);
-    });
-}
-//# sourceMappingURL=Json.js.map

package/dist/src/platform/Json.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Json.js","sourceRoot":"","sources":["../../../src/platform/Json.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACnD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AAEjE,SAAS,SAAS,CAAI,IAAY,EAAE,MAAc,EAAE,MAA0E;IAC5H,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CACtF,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,wBAAwB,MAAM,KAAK,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAChI,CAAA;QACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACrC,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,MAAc,EACd,MAA0E;IAE1E,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,CAAA;QAC7C,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/C,CAAC,CAAC,CAAA;AACJ,CAAC","sourcesContent":["import type { PlatformError } from 'effect'\nimport { Effect, FileSystem, Schema } from 'effect'\nimport { errorMessage, HarnessError } from '../harness/Errors.ts'\n\nfunction parseJson<A>(text: string, source: string, decode: (value: unknown, source: string) => Effect.Effect<A, HarnessError>): Effect.Effect<A, HarnessError> {\n  return Effect.gen(function* () {\n    const value = yield* Schema.decodeUnknownEffect(Schema.UnknownFromJsonString)(text).pipe(\n      Effect.mapError(error => new HarnessError({ cause: error, message: `Cannot parse JSON at ${source}: ${errorMessage(error)}` })),\n    )\n    return yield* decode(value, source)\n  })\n}\n\nexport function readJson<A>(\n  source: string,\n  decode: (value: unknown, source: string) => Effect.Effect<A, HarnessError>,\n): Effect.Effect<A, HarnessError | PlatformError.PlatformError, FileSystem.FileSystem> {\n  return Effect.gen(function* () {\n    const fs = yield* FileSystem.FileSystem\n    const text = yield* fs.readFileString(source)\n    return yield* parseJson(text, source, decode)\n  })\n}\n"]}

package/dist/src/platform/Process.d.ts

@@ -1,6 +0,0 @@
-import { Effect } from 'effect';
-import { ChildProcess, ChildProcessSpawner } from 'effect/unstable/process';
-import { ProcessError } from '../harness/Errors.ts';
-export declare const commandExitCode: (command: string, args: readonly string[], options?: ChildProcess.CommandOptions | undefined) => Effect.Effect<ChildProcessSpawner.ExitCode, import("effect/PlatformError").PlatformError, ChildProcessSpawner.ChildProcessSpawner>;
-export declare const commandString: (command: string, args: readonly string[], options?: ChildProcess.CommandOptions | undefined) => Effect.Effect<string, ProcessError | import("effect/PlatformError").PlatformError, ChildProcessSpawner.ChildProcessSpawner>;
-export declare const commandLines: (command: string, args: readonly string[], options?: ChildProcess.CommandOptions | undefined) => Effect.Effect<string[], ProcessError | import("effect/PlatformError").PlatformError, ChildProcessSpawner.ChildProcessSpawner>;

package/dist/src/platform/Process.js

@@ -1,35 +0,0 @@
-import { Effect, String as Str, Stream } from 'effect';
-import { ChildProcess, ChildProcessSpawner } from 'effect/unstable/process';
-import { ProcessError } from "../harness/Errors.js";
-export const commandExitCode = Effect.fnUntraced(function* (command, args, options) {
-    const spawner = yield* ChildProcessSpawner.ChildProcessSpawner;
-    return yield* spawner.exitCode(ChildProcess.make(command, args, options));
-});
-export const commandString = Effect.fnUntraced(function* (command, args, options) {
-    const spawner = yield* ChildProcessSpawner.ChildProcessSpawner;
-    return yield* Effect.scoped(Effect.gen(function* () {
-        const handle = yield* spawner.spawn(ChildProcess.make(command, args, options));
-        const [stdout, stderr] = yield* Effect.all([
-            Stream.mkString(Stream.decodeText(handle.stdout)),
-            Stream.mkString(Stream.decodeText(handle.stderr)),
-        ]);
-        const exitCode = yield* handle.exitCode;
-        if (exitCode !== ChildProcessSpawner.ExitCode(0)) {
-            return yield* new ProcessError({
-                args,
-                command,
-                ...(options?.cwd !== undefined ? { cwd: options.cwd } : {}),
-                exitCode: Number(exitCode),
-                message: `${command} ${args.join(' ')} failed with exit code ${exitCode}`,
-                stderr,
-                stdout,
-            });
-        }
-        return Str.trim(stdout);
-    }));
-});
-export const commandLines = Effect.fnUntraced(function* (command, args, options) {
-    const output = yield* commandString(command, args, options);
-    return output.length === 0 ? [] : output.split('\n');
-});
-//# sourceMappingURL=Process.js.map

package/dist/src/platform/Process.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Process.js","sourceRoot":"","sources":["../../../src/platform/Process.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,GAAG,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtD,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AAInD,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACxD,OAAe,EACf,IAA2B,EAC3B,OAAwB;IAExB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,mBAAmB,CAAA;IAC9D,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAA;AAC3E,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACtD,OAAe,EACf,IAA2B,EAC3B,OAAwB;IAExB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,mBAAmB,CAAA;IAC9D,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAA;QAC9E,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACzC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACjD,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;SAClD,CAAC,CAAA;QACF,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAA;QACvC,IAAI,QAAQ,KAAK,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACjD,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC;gBAC7B,IAAI;gBACJ,OAAO;gBACP,GAAG,CAAC,OAAO,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3D,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC;gBAC1B,OAAO,EAAE,GAAG,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,0BAA0B,QAAQ,EAAE;gBACzE,MAAM;gBACN,MAAM;aACP,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACzB,CAAC,CAAC,CAAC,CAAA;AACL,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACrD,OAAe,EACf,IAA2B,EAC3B,OAAwB;IAExB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IAC3D,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;AACtD,CAAC,CAAC,CAAA","sourcesContent":["import { Effect, String as Str, Stream } from 'effect'\nimport { ChildProcess, ChildProcessSpawner } from 'effect/unstable/process'\nimport { ProcessError } from '../harness/Errors.ts'\n\ntype CommandOptions = ChildProcess.CommandOptions\n\nexport const commandExitCode = Effect.fnUntraced(function* (\n  command: string,\n  args: ReadonlyArray<string>,\n  options?: CommandOptions,\n) {\n  const spawner = yield* ChildProcessSpawner.ChildProcessSpawner\n  return yield* spawner.exitCode(ChildProcess.make(command, args, options))\n})\n\nexport const commandString = Effect.fnUntraced(function* (\n  command: string,\n  args: ReadonlyArray<string>,\n  options?: CommandOptions,\n) {\n  const spawner = yield* ChildProcessSpawner.ChildProcessSpawner\n  return yield* Effect.scoped(Effect.gen(function* () {\n    const handle = yield* spawner.spawn(ChildProcess.make(command, args, options))\n    const [stdout, stderr] = yield* Effect.all([\n      Stream.mkString(Stream.decodeText(handle.stdout)),\n      Stream.mkString(Stream.decodeText(handle.stderr)),\n    ])\n    const exitCode = yield* handle.exitCode\n    if (exitCode !== ChildProcessSpawner.ExitCode(0)) {\n      return yield* new ProcessError({\n        args,\n        command,\n        ...(options?.cwd !== undefined ? { cwd: options.cwd } : {}),\n        exitCode: Number(exitCode),\n        message: `${command} ${args.join(' ')} failed with exit code ${exitCode}`,\n        stderr,\n        stdout,\n      })\n    }\n    return Str.trim(stdout)\n  }))\n})\n\nexport const commandLines = Effect.fnUntraced(function* (\n  command: string,\n  args: ReadonlyArray<string>,\n  options?: CommandOptions,\n) {\n  const output = yield* commandString(command, args, options)\n  return output.length === 0 ? [] : output.split('\\n')\n})\n"]}

package/harness/code.md

@@ -1,83 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 说明 effect-harness 仓内 TypeScript 代码的职责和非职责。
-status: active
-sources:
-  - src/cli/Main.ts
-  - src/harness/SourcePin.ts
-  - src/harness/verify/Pipeline.ts
-  - src/harness/verify/ProviderProfile.ts
-  - src/harness/verify/ProviderRepository.ts
-  - src/harness/verify/Tsgo.ts
-  - tests/effect-provider-profile.test.ts
-  - tests/effect-source-subtree.test.ts
-updated: 2026-07-02
----
-
-# Code Surface
-
-## Boundary
-
-`src/` 和 `bin/` 不是 target runtime，也不是业务 Effect application。
-
-这些代码服务 effect-harness 本仓验证、provider profile hard gate、source pin hard gate 和 CLI
-package entrypoint。
-
-## CLI
-
-`bin/effect-harness.ts` 是 npm package 的 executable entry。
-
-`src/cli/Main.ts` 暴露三个命令：
-
-| Command | Purpose |
-| --- | --- |
-| `verify --harness <path>` | 运行完整 provider repository verify pipeline。 |
-| `provider-verify --harness <path>` | 验证 provider repository contract 和 source pin。 |
-| `source-verify --harness <path>` | 验证 Effect/tsgo source pin contract。 |
-
-CLI 使用 `effect/unstable/cli`，不使用旧 `@effect/cli`。
-
-## Verify
-
-`src/harness/verify/Pipeline.ts` 定义 `pnpm verify` 的 stage 顺序。
-
-`src/harness/verify/VerifyStage.ts` 定义 stage metadata、route 和 failure message。`harness/feedback-loop.md`
-必须跟它保持一致。
-
-`src/harness/verify/ProviderRepository.ts` 验证当前仓库没有恢复 legacy provider surface，并把 provider
-profile、tsgo policy、source pin 和 import boundary 串起来。
-
-`src/harness/verify/ProviderProfile.ts` 验证 provider profile 的 contract，包括 package baseline、
-source identity、managed surfaces、docs bundle 和 snippets。
-
-## Source
-
-`src/harness/SourcePin.ts` 验证 `repos/effect.subtree.json` 和 `repos/tsgo.subtree.json`：
-
-- source prefix 必须存在。
-- source prefix 必须是 committed Git tree entry。
-- Git history 必须包含匹配 split 的 subtree trailer。
-- anchor 和 route 必须存在。
-- 应用代码和测试代码不能 import provider-internal source tree。
-- package baseline 不能和 provider profile 漂移。
-
-## Tsgo
-
-`src/harness/verify/Tsgo.ts`、`TsgoPolicy.ts`、`TsgoMetadata.ts` 和 `TsgoSuppressions.ts` 维护 strict
-tsgo policy：
-
-- `tsconfig.json` 与 provider profile 的 `@effect/language-service` plugin 必须一致。
-- metadata 派生出的 v4 rule map 必须和本仓 strict policy 一致。
-- 普通源码不能使用 Effect diagnostic suppress 注释绕过 gate。
-- `effect-tsgo --version` 和 `tsgo --version` 必须匹配当前 baseline。
-
-## Tests
-
-`tests/effect-provider-profile.test.ts` 约束 provider profile shape。
-
-`tests/effect-source-subtree.test.ts` 约束 source pin verifier 的 failure cases。
-
-这些测试是 harness contract regression tests，不是 target 项目的模板测试。

package/harness/diagnostic-layers.md

@@ -1,94 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 定义 tsgo diagnostics、ESLint 和 harness guardrails 的分层职责。
-status: active
-sources:
-  - harness/feedback-loop.md
-  - harness/tsgo.md
-  - harness/tsgo-routes.md
-  - src/harness/verify/Pipeline.ts
-  - src/harness/verify/VerifyStage.ts
-  - src/harness/verify/TsgoPolicy.ts
-  - src/harness/Guardrails.ts
-  - eslint.config.mjs
-updated: 2026-07-01
----
-
-# Diagnostic Layers
-
-## CONTRACT
-
-`pnpm verify` 的分层真源是 `src/harness/verify/Pipeline.ts`。pipeline 按
-`source-pins`、`harness-contract`、`tsgo-diagnostics`、`tests`、`lint`、`knip`
-顺序 fail-fast 执行。
-
-分层原则是每一层只负责自己的事情：
-
-- `tsgo-diagnostics` 负责 TypeScript + Effect 语义诊断。
-- `tests` 负责行为回归。
-- `lint` 负责仓库边界、导入制度、测试入口和本地 syntax-level guardrails。
-- `knip` 负责 package surface 最小化。
-
-如果 `tsgo-diagnostics` 和 `lint` 对同一段 Effect 写法给出冲突要求，MUST 服从 tsgo，并收窄
-ESLint。ESLint 不应该禁止 tsgo quickfix 或 suggestion 推荐的 Effect API。
-
-## TSGO_OWNS
-
-`tsgo --noEmit` 是 Effect 语义 feedback 的主入口。本仓 strict profile 覆盖 pinned
-`repos/tsgo/_packages/tsgo/src/metadata.json` 中所有支持 v4 的 rule，并让 error、warning、
-suggestion 都参与 exit-code hard gate。
-
-tsgo owns：
-
-- Effect error/context/layer channels，例如 missing error、missing context、missing layer。
-- Effect generator、`yield*`、`Effect.fn`、`Effect.gen` 和 pipe 语义。
-- Effect-native API 偏好，例如 Clock、Random、Config、HttpClient、Schema JSON、typed errors。
-- Schema class、Schema number、Schema tagged shape 和 constructor 语义。
-- v4 API drift、deterministic keys、service/error/custom key policy。
-- type-aware Effect unsafe assertions and leaking requirements。
-
-这些规则不要在 ESLint 中重新实现。需要改变 Effect 语义约束时，先更新 `harness/tsgo.md`、
-`src/harness/verify/TsgoPolicy.ts` 和 provider profile。
-
-## ESLINT_OWNS
-
-ESLint 是 lint stage 的入口。它只负责不需要 tsgo 类型语义、但必须快速阻断的仓库制度：
-
-- import boundary：应用代码和测试代码不能从 `repos/effect` 或 `repos/tsgo` import。
-- package baseline：不使用 `@effect/cli`，CLI 代码使用 `effect/unstable/cli`。
-- test entry：本仓测试使用 `@effect/vitest`，不使用 `node:test` 或从 `vitest` 导入普通测试入口。
-- harness baseline：当前 service definition baseline 不新增 `Context.Tag` service definition。
-- syntax-level bans：只有当 tsgo 没有对应 rule，且规则是本仓制度时才放进 ESLint。例如
-  `{ disableValidation: true }` 禁令属于 lint 层。
-
-ESLint MUST NOT own general Effect idioms that tsgo already owns。尤其不要禁止 `Effect.asVoid`：
-当前 tsgo 的 `effectMapVoid` rule 会建议使用该 API。
-
-## GUARDRAILS_OWN
-
-`harness-contract` stage 里的 guardrails 是最后的仓库契约检查，不替代 ESLint。
-
-Guardrails owns：
-
-- provider-internal source pins 不能进入应用或测试 import。
-- legacy provider surfaces 不能恢复。
-- provider profile、source identity、package baseline 和 strict tsgo policy 不能漂移。
-- 普通源码不能用 Effect diagnostic suppressions 关闭 strict policy。
-
-当某个规则既需要编辑器即时反馈、又属于仓库硬边界时，可以同时存在于 ESLint 和
-`harness-contract`。这种重复只用于提高反馈速度，不用于重新解释 Effect 语义。
-
-## UPDATE_LOOP
-
-新增或调整规则时按以下判断：
-
-1. 如果规则依赖 Effect 类型、error/context/layer channel、Schema 语义或 Effect-native API，
-   放进 tsgo policy，不放进 ESLint。
-2. 如果规则是 import、文件、测试入口、package baseline 或 provider boundary，放进 ESLint 或
-   harness guardrails。
-3. 如果规则是 package surface，放进 knip stage。
-4. 如果发现 ESLint 与 tsgo 冲突，删除或收窄 ESLint 规则。
-5. 更新 `src/harness/verify/VerifyStage.ts` 的 route 后，同步更新 `harness/feedback-loop.md`。

package/harness/effect-routes.md

@@ -1,50 +0,0 @@
-# Effect 源码读取路线
-
-本文件是 agent 读取 `repos/effect/` 的路线表。它不是通用 pin contract；通用外部真源接入由
-Partita 负责。本仓只维护已经 pin 进来的 Effect 源入口实例，并把它整理成可读取、可核对、
-可验证的参考入口。
-
-## 读取边界
-
-- `repos/effect/` 是 provider 仓内部只读参考源，目标仓库不接收这棵目录。
-- 业务代码和测试代码只能从已安装 package import，禁止从 `repos/effect` import。
-- `repos/effect/LLMS.md` 是上游 LLM guide，总是优先于零散猜测和 `node_modules`。
-- GitHub subtree status/update/verify 借用 Partita CLI：`pnpm source:status`、
-  `pnpm source:update`、`pnpm source:verify`。
-- Partita package CLI 已发布为 `@sayoriqwq/partita@0.1.0`；本仓 `source:*` scripts 通过
-  `npx --yes @sayoriqwq/partita pin ...` 执行，不依赖兄弟目录。
-
-## 路线表
-
-| Agent 意图 | 先读 | 深入核对 | 适用输出 | 注意 |
-| --- | --- | --- | --- | --- |
-| 判断当前源入口 pin 和 package 基线 | `repos/effect.subtree.json`、`provider/effect-harness.provider.json` | `pnpm-workspace.yaml` | 基线审计、provider drift 判断 | 本文档不声明最新状态；需要更新时走 Partita GitHub subtree 流程 |
-| 理解本仓如何接入 Effect source | `harness/source.md` | `provider/index.md`、`harness/offcial-guide.md` | source-entry 维护、更新计划 | 这里是 Effect 实例，不是 Partita 通用 pin |
-| 开始写 Effect 程序逻辑 | `repos/effect/LLMS.md` | `repos/effect/ai-docs/src/index.md`、`repos/effect/.patterns/effect.md` | 代码方案、重构方案 | 先按上游 guide 建模，再查具体 API |
-| 查公开 API surface | `repos/effect/packages/effect/package.json` | `repos/effect/packages/effect/src/index.ts`、对应 `src/<Module>.ts` | import 建议、API 使用 | 不要建议 import `internal/*` 或 `*/index` 禁止项 |
-| 查核心 Effect 写法 | `repos/effect/ai-docs/src/01_effect/01_basics/` | `repos/effect/packages/effect/src/Effect.ts`、`repos/effect/packages/effect/test/Effect.test.ts` | `Effect.gen`、`Effect.fn` 代码 | 失败/中断的 terminal effect 使用 `return yield*` |
-| 设计服务和 Layer | `repos/effect/ai-docs/src/01_effect/02_services/` | `repos/effect/packages/effect/src/Context.ts`、`Layer.ts`、`LayerMap.ts` | service contract、Layer 组合 | 当前 baseline 使用 `Context.Service`，不要新增 `Context.Tag` 服务定义 |
-| 处理错误 | `repos/effect/ai-docs/src/01_effect/03_errors/` | `repos/effect/packages/effect/src/Schema.ts`、`Cause.ts`、`Effect.ts` | typed error、recovery 逻辑 | 优先 `Schema.TaggedErrorClass` 和 `Effect.catch*` |
-| 管理资源和 Scope | `repos/effect/ai-docs/src/01_effect/04_resources/` | `repos/effect/packages/effect/src/Scope.ts`、`Resource.ts`、`Layer.ts` | acquire/release、background layer | 不要用 ad hoc try/finally 代替 Effect resource model |
-| 写 Node 入口 | `repos/effect/ai-docs/src/01_effect/05_running/10_run-main.ts` | `repos/effect/packages/platform-node/src/NodeRuntime.ts`、`NodeServices.ts` | CLI/server entrypoint | Node 目标项目使用 `NodeRuntime.runMain` |
-| 写 CLI | `repos/effect/ai-docs/src/70_cli/10_basics.ts` | `repos/effect/packages/effect/src/unstable/cli/Command.ts`、`Flag.ts`、`Argument.ts`、`Param.ts` | command/flag/argument 设计 | 使用 `effect/unstable/cli`，不要依赖 `@effect/cli` |
-| 写 Effect 测试 | `repos/effect/ai-docs/src/09_testing/` | `repos/effect/packages/vitest/src/`、`repos/effect/.patterns/testing.md`、相关 `packages/*/test/` | `@effect/vitest` 测试 | 用 `it.effect` 和 `assert`，不要用 `Effect.runSync` 测 Effect 程序 |
-| 查模块行为细节 | 对应 `repos/effect/packages/effect/test/<Module>.test.ts` | `repos/effect/packages/effect/typetest/` | 行为断言、类型边界 | 测试是行为参考，不是目标代码的 import 来源 |
-| 写 Stream / Sink / Channel | `repos/effect/ai-docs/src/02_stream/` | `repos/effect/packages/effect/src/Stream.ts`、`Sink.ts`、`Channel.ts` 及测试 | stream pipeline | 先看 ai-docs，再按源码核对 operator 类型 |
-| 写 Schedule / DateTime / 时间逻辑 | `repos/effect/ai-docs/src/06_schedule/`、`07_datetime/` | `Schedule.ts`、`Cron.ts`、`DateTime.ts`、对应测试 | retry/repeat、时间处理 | 时间相关测试使用 TestClock |
-| 写 Schema / JSON / encoding | `repos/effect/packages/effect/src/Schema.ts` | `SchemaParser.ts`、`JsonSchema.ts`、`unstable/encoding/`、schema tests | schema、codec、JSON schema | 复杂 schema 先查测试和 representation 目录 |
-| 写 HTTP client/server | `repos/effect/ai-docs/src/50_http-client/`、`51_http-server/` | `repos/effect/packages/effect/src/unstable/http/`、`unstable/httpapi/`、`repos/effect/packages/platform-node/test/` | HttpClient、HttpApi、server layer | Node server 结合 `@effect/platform-node` 路由 |
-| 写 Node 平台集成 | `repos/effect/packages/platform-node/src/index.ts` | `NodeFileSystem.ts`、`NodeHttpClient.ts`、`NodeHttpServer.ts`、`NodeStream.ts`、对应 tests | filesystem/http/stream/socket 集成 | import 来自 `@effect/platform-node` package，不来自 pinned source |
-| 写 observability | `repos/effect/ai-docs/src/08_observability/` | `repos/effect/packages/effect/src/unstable/observability/`、`repos/effect/packages/opentelemetry/` | logging、metrics、tracing | 新项目优先看 Otlp 示例；已有 OTel 集成再看 opentelemetry package |
-| 写 child process | `repos/effect/ai-docs/src/60_child-process/` | `repos/effect/packages/effect/src/unstable/process/`、`repos/effect/packages/platform-node/src/NodeChildProcessSpawner.ts` | 子进程、pipeline | 需要 Node implementation 时提供 `NodeServices.layer` |
-| 写 AI 功能 | `repos/effect/ai-docs/src/71_ai/` | `repos/effect/packages/effect/src/unstable/ai/`、`repos/effect/packages/ai/*/src/` | LanguageModel、Tool、Chat | 区分 core unstable AI API 和 provider package |
-| 写 Cluster / RPC / Workflow | `repos/effect/ai-docs/src/80_cluster/` | `unstable/cluster/`、`unstable/rpc/`、`unstable/workflow/`、相关 tests | entity、RPC、workflow 设计 | 高级模块先按上游测试核对生命周期和 storage 需求 |
-| 写 SQL / persistence | `repos/effect/packages/effect/src/unstable/sql/`、`unstable/persistence/` | `repos/effect/packages/sql/*/README.md`、`package.json`、tests | SQL client、migrator、persistence | 需要具体 driver 时读对应 `@effect/sql-*` package |
-| 参考上游仓开发约束 | `repos/effect/AGENTS.md` | `repos/effect/.patterns/`、`repos/effect/ai-docs/README.md` | 修改 pinned upstream 或评审上游风格 | 这些约束服务上游 repo 语境；不能覆盖本仓 provider 边界 |
-
-## 目标项目接收边界
-
-接入 effect-harness 的目标项目应得到 Effect v4 beta 基线、`tsgo --noEmit` 诊断路径、
-`@effect/language-service` floatingEffect 约束、provider record 中的 source identity、provider
-docs bundle 和 snippets。目标项目不应该得到 `repos/effect/` 本体、仓内 Codex skills、runtime
-模板、反馈入口、`.effect-harness.json` 或 effect-harness 管理的 `AGENTS.md` 管理块。

package/harness/feedback-loop.md

@@ -1,156 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 定义 effect-harness 第二阶段的 Codex feedback loop 和统一 verify pipeline。
-status: active
-sources:
-  - AGENTS.md
-  - HARNESS.md
-  - harness/index.md
-  - harness/offcial-guide.md
-  - harness/offcial-migrate.md
-  - harness/source.md
-  - harness/effect-routes.md
-  - harness/tsgo.md
-  - harness/tsgo-routes.md
-  - harness/diagnostic-layers.md
-  - src/harness/verify/Pipeline.ts
-  - src/harness/verify/VerifyStage.ts
-  - https://developers.openai.com/codex/learn/best-practices
-  - https://developers.openai.com/codex/prompting
-  - https://developers.openai.com/codex/guides/agents-md
-updated: 2026-07-02
----
-
-# Feedback Loop
-
-## BASELINE
-
-进入第二阶段 loop 前，当前仓库 MUST 已经满足干净基线。
-
-```bash
-pnpm verify
-```
-
-如果基线不为 0，MUST 先修复当前失败，再开始新的代码或文档修改。
-
-`pnpm verify` 是唯一完成命令。`source:verify`、`effect:verify`、`typecheck`、`test`、`lint`
-和 `knip` 只作为局部排错入口，不作为完成态替代命令。
-
-`pnpm verify` 同时是 self-conformance gate。它证明 provider repository 符合自己的 exported
-harness contract，但不生成 `.prelude/**` 或 Prelude target lifecycle state。
-
-## ROUTE_TABLE
-
-Codex 在本仓写 Effect 程序逻辑，或修改 source route、tsgo policy、provider profile、
-verify pipeline、harness 边界时，MUST 按以下闭环执行：
-
-1. 明确任务意图和涉及模块。
-2. 从 `harness/index.md` 找到对应路线。
-3. 按 `harness/effect-routes.md` 或 `harness/tsgo-routes.md` 读取 pinned source。
-4. 做一轮最小修改。
-5. 运行 `pnpm verify`。
-6. 如果失败，按失败 stage 的 route 回到对应文档和 source 修复。
-7. 重复到 `pnpm verify` 为 0。
-8. review diff，确认没有绕过 strict policy。
-
-MUST NOT 通过 suppress、override、恢复旧口径或从 `repos/**` import 来让 loop 变绿。
-
-agent 默认从 `harness/index.md` 和 route tables 选择读取路径。这里不维护额外 task intake
-分类，也不把任务强行归入单选 kind。
-
-如果修改前判断和失败后的 stage route 冲突，MUST 服从 failed stage route。
-
-## VERIFY_PIPELINE
-
-`pnpm verify` 由 Effect pipeline 组织，入口是 `effect-harness verify --harness .`。
-
-pipeline 采用 fail-fast。stage 按重要性排序，越接近真源和 harness contract 的检查越靠前。
-失败输出 MUST 包含 code-defined stage tag、title、route、routeHint 和底层工具原始输出。
-
-stage 真源是 `src/harness/verify/VerifyStage.ts`。本节只是 agent-readable projection。
-
-| Stage | Route | Summary | Route Hint |
-| --- | --- | --- | --- |
-| `source-pins` | `harness/source.md` | Verify pinned GitHub subtree source entries. | Read the source-entry contract and fix Partita source pin drift. |
-| `harness-contract` | `harness/index.md`、`harness/offcial-migrate.md`、`harness/feedback-loop.md` | Verify the provider repository contract and current harness baseline. | Read the harness index, migrate notes, and feedback loop contract before changing verifier behavior. |
-| `tsgo-diagnostics` | `harness/tsgo.md`、`harness/tsgo-routes.md` | Run tsgo --noEmit and enforce zero Effect diagnostics. | Use the tsgo diagnostic output first; read the tsgo policy and routes only when the diagnostic is not enough. |
-| `tests` | `harness/effect-routes.md` | Run the Effect test suite. | Read the Effect testing route and fix behavior through @effect/vitest patterns. |
-| `lint` | `harness/diagnostic-layers.md`、`AGENTS.md`、`eslint.config.mjs` | Run ESLint with zero warnings. | Read the diagnostic layering contract, agent rules, and lint config, then fix repository boundary violations without duplicating tsgo semantics. |
-| `knip` | `package.json` | Run knip and keep the package surface minimal. | Read package.json and source imports/exports, then remove unused package surface. |
-
-## STAGE_SOURCE_PINS
-
-失败时先读 `harness/source.md`。
-
-这一 stage 验证 provider-internal source entries 仍然由 Partita GitHub subtree pin 管理。
-
-常见修复方向：
-
-- contract 中的 `github.ref`、`subtree.split` 和 git history trailer 必须一致。
-- `repos/effect/` 和 `repos/tsgo/` 必须是 committed Git tree entries。
-- anchor 和 agent route 必须存在。
-- source prefix 不能变成 submodule 或 nested Git repository。
-
-## STAGE_HARNESS_CONTRACT
-
-失败时先读 `harness/index.md`、`harness/offcial-migrate.md` 和 `harness/feedback-loop.md`。
-
-这一 stage 验证当前仓库仍处于新基线。
-
-常见修复方向：
-
-- provider profile 必须保留当前 package baseline、source identities 和 strict tsgo policy。
-- provider repository 必须保持 self-conformance，不得 materialize `.prelude/**` 或 target
-  provider namespace。
-- legacy surfaces 不能恢复。
-- 应用代码和测试代码不能 import `repos/effect` 或 `repos/tsgo`。
-- CLI 必须使用 `effect/unstable/cli`，不能恢复 `@effect/cli`。
-- 当前 service definition baseline 是 `Context.Service`。
-
-## STAGE_TSGO_DIAGNOSTICS
-
-失败时先读 `harness/tsgo.md` 和 `harness/tsgo-routes.md`。
-
-这一 stage 是 Effect 语义 feedback 的主入口。
-
-修复时 SHOULD 先用 diagnostic name 定位 `repos/tsgo/_packages/tsgo/src/metadata.json`，再按
-`harness/tsgo-routes.md` 查具体 rule、fixture 或 quickfix 行为。
-
-MUST 修复代码或 policy。MUST NOT 用普通源码 suppressions、local override 或放宽 rule map
-绕过失败。
-
-## STAGE_TESTS
-
-失败时先读 `harness/effect-routes.md` 中 testing 路线。
-
-本仓测试使用 `@effect/vitest`。Effect 程序测试 SHOULD 使用 `it.effect`、`it.live` 或 `layer`
-组织，不用普通 `vitest` 入口替代。
-
-## STAGE_LINT
-
-失败时先读 `harness/diagnostic-layers.md`、`AGENTS.md` 和 `eslint.config.mjs`。
-
-lint stage 要求 0 error 和 0 warning。
-
-lint 规则用于补 tsgo 未覆盖的仓库边界，例如 import boundary、CLI baseline、测试入口和
-harness syntax-level guardrails。Effect 类型语义、Schema 语义、Layer 语义和 Effect-native
-API 偏好由 `tsgo-diagnostics` stage 负责。
-
-## STAGE_KNIP
-
-失败时先读 `package.json` 和相关 source exports/imports。
-
-knip stage 用于保持 provider package surface 最小。修复时 SHOULD 优先删除不需要的 exports、
-imports 或 package fields，而不是为了 silence knip 添加无意义引用。
-
-## DONE
-
-一次 loop 只有在以下条件同时满足时才完成：
-
-- `pnpm verify` 通过。
-- 失败过的 stage 已按对应 route 修复。
-- 没有新增 suppress、override、legacy surface 或 `repos/**` import。
-- diff 已 review，确认没有把第二阶段扩展成 Prelude target lifecycle 实现或 repo skill/hook/rules 建设。