@sayoriqwq/effect-harness 0.0.1

package/HARNESS.md

@@ -0,0 +1,34 @@
+# Effect Harness Route
+
+这是 `effect-harness` 的根 route。它只负责告诉读者去哪里；详细 contract 放在 `harness/`。
+
+## Layers
+
+| Layer | Audience | Role |
+| --- | --- | --- |
+| `guide/` | humans | 解释 setup、默认补充能力和 feedback flow。 |
+| `harness/` | agents | 定义 contracts、runtime、source policy、feedback 和 verification。 |
+| `src/` | maintainers | 实现 CLI、verifier、guardrails 和 publish flow。 |
+| `repos/effect/` | humans and agents | Pinned official Effect source。 |
+| `.codex/skills/` | repo-local agents | 只维护本仓库；不投递给 targets。 |
+
+`guide/` 可以解释为什么。`harness/` 必须明确 agent 读什么、改什么、避免什么、验证什么。
+
+## Entry Points
+
+- Human setup guide: `guide/setup.md`
+- Agent contract index: `harness/index.md`
+- Target setup contract: `harness/target-agent-contract.md`
+- Official Effect guide: `repos/effect/LLMS.md`
+- Source pin policy: `harness/source.md`
+
+## Target Repos
+
+Target repos 不复制 `HARNESS.md`。它们只接收：
+
+- `AGENTS.md` route fragment
+- `.effect-harness.json`
+- 从 `harness/runtime/codex/` 复制出的 `.codex/skills/` 和 `.codex/agents/`
+- `.codex/effect-feedback/`，用于 local feedback evidence
+
+authoritative harness route 留在本仓库。

package/README.md

@@ -0,0 +1,113 @@
+# Effect Harness
+
+`effect-harness` 是给 TypeScript / Effect v4 beta 项目使用的本地 CLI harness。
+
+它维护目标项目共享的工程合约：
+
+- pinned official Effect source
+- package baseline
+- `effect-harness init` 投递的 target runtime
+- guardrails 和 verifier
+- 可以提升为通用 harness contract 的 practice feedback
+
+它不提供业务 runtime API、产品示例、目标项目形态或 release ritual。
+
+## Current Baseline
+
+当前 Effect package baseline 以 [repos/effect.subtree.json](./repos/effect.subtree.json) 为准。
+
+应用代码和测试代码必须从安装依赖 import Effect API，不能从 `repos/effect/` import。
+
+## Routes
+
+- [HARNESS.md](./HARNESS.md)：仓库层级总 route。
+- [guide/](./guide/)：给人读的 setup 和 feedback guide。
+- [harness/](./harness/)：给 agent 读的 contract、runtime、source policy、feedback 和 target setup rules。
+- [repos/effect/LLMS.md](./repos/effect/LLMS.md)：pinned official Effect coding guide。
+- [repos/effect.subtree.json](./repos/effect.subtree.json)：source pin 和 package baseline manifest。
+
+## Target Setup
+
+本地先 build 并 link CLI：
+
+```bash
+pnpm build
+pnpm link --global
+```
+
+然后在目标仓库运行：
+
+```bash
+effect-harness init
+pnpm install
+pnpm effect:status
+pnpm effect:verify
+pnpm verify
+```
+
+`effect-harness init` 会写入 target-local scripts、`.effect-harness.json`、`tsconfig.json`
+plugin、`AGENTS.md` route block，以及来自 `harness/runtime/codex/` 的 Codex runtime。
+
+人类 setup 说明读 [guide/setup.md](./guide/setup.md)。agent setup 和审查规则读
+[harness/target-agent-contract.md](./harness/target-agent-contract.md)。
+
+## Commands
+
+```bash
+pnpm install
+pnpm effect:status
+pnpm effect:verify
+pnpm craft-skills:check
+pnpm verify
+```
+
+`pnpm effect:status` 报告 official npm/source drift；上游发布新 beta 不会让日常 verify
+自动失败。
+
+`pnpm effect:verify` 检查 committed Effect source pin、harness guardrails 和 managed Craft
+skill projections。
+
+`pnpm verify` 运行 self-verify、typecheck、tests、lint 和 knip。
+
+Craft 拥有 managed skills 的 source semantics。本仓库只保存 checked projections under
+`.codex/skills/`；目标仓库只接收 `harness/runtime/codex/`。
+
+## Source Pin
+
+official source pin 在 `repos/effect/`。完整更新规则见 [harness/source.md](./harness/source.md)。
+
+检查当前状态：
+
+```bash
+pnpm effect:status
+```
+
+更新 source pin 时按 [harness/source.md](./harness/source.md) 执行。
+
+## Publish
+
+`pnpm publish:npm` 运行 `effect-harness publish`。这是本仓库自己的 npm 发包流程，用于
+分发 `effect-harness` CLI；它不定义、不投递 target repo 的 publish 或 release ritual。
+
+发布流程会验证仓库，以 Effect finalizer 保护的临时 package version 生成 tarball，然后调用
+npm publish。dry-run 也必须恢复 `package.json`，不能留下临时 version。
+
+常用参数：
+
+- `--version`
+- `--tag` / `--npm-tag`
+- `--dry-run`
+- `--provenance`
+
+GitHub workflow 是 `.github/workflows/publish-npm.yml`，只支持 manual `workflow_dispatch`。
+真实发布需要配置其中一种 npm authentication：
+
+- GitHub secret `NPM_TOKEN`
+- npm Trusted Publisher：owner `sayoriqwq`，repo `effect-harness`，workflow filename
+  `publish-npm.yml`，allowed action `npm publish`
+
+npm 包名是 `@sayoriqwq/effect-harness`，bin name 保持 `effect-harness`。tarball 会包含
+`repos/effect/`；这是有意的 package exposure，用于随 CLI 分发 pinned official Effect
+source/reference、`repos/effect/LLMS.md` route 和 `repos/effect.subtree.json` baseline，而不是
+无意打包上游工作树。target repo 仍然只通过 `effect-harness init` 接收 target runtime，
+不接收本仓 publish 流程。

package/dist/bin/effect-harness.d.ts

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+export {};

package/dist/bin/effect-harness.js

@@ -0,0 +1,39 @@
+#!/usr/bin/env node
+import { existsSync, readFileSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+import process from 'node:process';
+import { fileURLToPath } from 'node:url';
+import * as NodeRuntime from '@effect/platform-node/NodeRuntime';
+import * as Effect from 'effect/Effect';
+import { runCli } from "../src/cli/Main.js";
+import { errorMessage } from "../src/harness/Errors.js";
+const harnessRoot = resolveHarnessRoot(fileURLToPath(import.meta.url));
+const packageVersion = readPackageVersion(join(harnessRoot, 'package.json'));
+runCli({
+    harnessRoot,
+    version: packageVersion,
+}).pipe(Effect.catchTag(['HarnessError', 'ProcessError'], error => Effect.sync(() => {
+    console.error(errorMessage(error));
+    process.exitCode = 1;
+})), NodeRuntime.runMain);
+function resolveHarnessRoot(entrypoint) {
+    const candidate = dirname(dirname(entrypoint));
+    if (existsSync(join(candidate, 'repos/effect.subtree.json'))) {
+        return candidate;
+    }
+    const packageRoot = dirname(candidate);
+    if (existsSync(join(packageRoot, 'repos/effect.subtree.json'))) {
+        return packageRoot;
+    }
+    return candidate;
+}
+function readPackageVersion(packageJsonPath) {
+    try {
+        const packageJson = JSON.parse(readFileSync(packageJsonPath, 'utf8'));
+        return packageJson.version ?? '0.0.0';
+    }
+    catch {
+        return '0.0.0';
+    }
+}
+//# sourceMappingURL=effect-harness.js.map

package/dist/bin/effect-harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-harness.js","sourceRoot":"","sources":["../../bin/effect-harness.ts"],"names":[],"mappings":";AAEA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAClD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,OAAO,MAAM,cAAc,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,KAAK,WAAW,MAAM,mCAAmC,CAAA;AAChE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAEvD,MAAM,WAAW,GAAG,kBAAkB,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;AACtE,MAAM,cAAc,GAAG,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,CAAA;AAE5E,MAAM,CAAC;IACL,WAAW;IACX,OAAO,EAAE,cAAc;CACxB,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CAAC,CAAC,cAAc,EAAE,cAAc,CAAC,EAAE,KAAK,CAAC,EAAE,CACxD,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;IACf,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;IAClC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;AACtB,CAAC,CAAC,CAAC,EACL,WAAW,CAAC,OAAO,CACpB,CAAA;AAED,SAAS,kBAAkB,CAAC,UAAkB;IAC5C,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAA;IAC9C,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,2BAA2B,CAAC,CAAC,EAAE,CAAC;QAC7D,OAAO,SAAS,CAAA;IAClB,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;IACtC,IAAI,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,2BAA2B,CAAC,CAAC,EAAE,CAAC;QAC/D,OAAO,WAAW,CAAA;IACpB,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,SAAS,kBAAkB,CAAC,eAAuB;IACjD,IAAI,CAAC;QACH,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAA;QACrE,OAAO,WAAW,CAAC,OAAO,IAAI,OAAO,CAAA;IACvC,CAAC;IACD,MAAM,CAAC;QACL,OAAO,OAAO,CAAA;IAChB,CAAC;AACH,CAAC","sourcesContent":["#!/usr/bin/env node\n\nimport { existsSync, readFileSync } from 'node:fs'\nimport { dirname, join } from 'node:path'\nimport process from 'node:process'\nimport { fileURLToPath } from 'node:url'\nimport * as NodeRuntime from '@effect/platform-node/NodeRuntime'\nimport * as Effect from 'effect/Effect'\nimport { runCli } from '../src/cli/Main.ts'\nimport { errorMessage } from '../src/harness/Errors.ts'\n\nconst harnessRoot = resolveHarnessRoot(fileURLToPath(import.meta.url))\nconst packageVersion = readPackageVersion(join(harnessRoot, 'package.json'))\n\nrunCli({\n  harnessRoot,\n  version: packageVersion,\n}).pipe(\n  Effect.catchTag(['HarnessError', 'ProcessError'], error =>\n    Effect.sync(() => {\n      console.error(errorMessage(error))\n      process.exitCode = 1\n    })),\n  NodeRuntime.runMain,\n)\n\nfunction resolveHarnessRoot(entrypoint: string) {\n  const candidate = dirname(dirname(entrypoint))\n  if (existsSync(join(candidate, 'repos/effect.subtree.json'))) {\n    return candidate\n  }\n\n  const packageRoot = dirname(candidate)\n  if (existsSync(join(packageRoot, 'repos/effect.subtree.json'))) {\n    return packageRoot\n  }\n\n  return candidate\n}\n\nfunction readPackageVersion(packageJsonPath: string) {\n  try {\n    const packageJson = JSON.parse(readFileSync(packageJsonPath, 'utf8'))\n    return packageJson.version ?? '0.0.0'\n  }\n  catch {\n    return '0.0.0'\n  }\n}\n"]}

package/dist/src/cli/Main.d.ts

@@ -0,0 +1,6 @@
+import * as Effect from 'effect/Effect';
+export interface CliConfig {
+    readonly harnessRoot: string;
+    readonly version: string;
+}
+export declare function runCli(config: CliConfig): Effect.Effect<void, import("../harness/Errors.ts").HarnessError | Error | import("../harness/Errors.ts").ProcessError | import("effect/PlatformError").PlatformError | import("effect/unstable/cli/CliError").CliError, never>;

package/dist/src/cli/Main.js

@@ -0,0 +1,141 @@
+import process from 'node:process';
+import * as NodeServices from '@effect/platform-node/NodeServices';
+import * as Effect from 'effect/Effect';
+import * as Option from 'effect/Option';
+import * as Path from 'effect/Path';
+import * as Command from 'effect/unstable/cli/Command';
+import * as Flag from 'effect/unstable/cli/Flag';
+import { syncCraftSkills, verifyCraftSkills } from "../harness/CraftSkills.js";
+import { targetGuardrailIncludes, verifyGuardrails } from "../harness/Guardrails.js";
+import { initializeTarget } from "../harness/Init.js";
+import { publishPackage } from "../harness/Publish.js";
+import { verifyHarness } from "../harness/SelfVerify.js";
+import { updateSourcePin, verifySourcePin } from "../harness/SourcePin.js";
+import { showStatus } from "../harness/Status.js";
+import { verifyTarget } from "../harness/TargetVerify.js";
+const resolveFromCwd = Effect.fnUntraced(function* (value) {
+    const path = yield* Path.Path;
+    return path.resolve(process.cwd(), value);
+});
+function harnessFlag(defaultRoot) {
+    return Flag.path('harness').pipe(Flag.withDescription('Effect harness repository root'), Flag.withDefault(defaultRoot), Flag.mapEffect(resolveFromCwd));
+}
+const targetFlag = Flag.path('target').pipe(Flag.withDescription('Target repository root'), Flag.withDefault(process.cwd()), Flag.mapEffect(resolveFromCwd));
+const dryRunFlag = Flag.boolean('dry-run').pipe(Flag.withDescription('Preview writes without changing files'));
+const jsonFlag = Flag.boolean('json').pipe(Flag.withDescription('Print machine-readable JSON'));
+const failOnOutdatedFlag = Flag.boolean('fail-on-outdated').pipe(Flag.withDescription('Exit non-zero when official Effect sources are newer than the pin'));
+const versionFlag = Flag.string('version').pipe(Flag.withDescription('Publish version, supports 0.1.0 or v0.1.0'), Flag.optional);
+const tagFlag = Flag.string('tag').pipe(Flag.withDescription('NPM dist-tag for publish'), Flag.optional);
+const npmTagFlag = Flag.string('npm-tag').pipe(Flag.withDescription('Alias for --tag'), Flag.optional);
+const packDestinationFlag = Flag.string('pack-destination').pipe(Flag.withDescription('Directory for pnpm pack artifacts'), Flag.optional);
+const publishDryRunFlag = Flag.boolean('dry-run').pipe(Flag.withDescription('Prepare publish without uploading to npm'), Flag.optional);
+const provenanceFlag = Flag.boolean('provenance').pipe(Flag.withDescription('Enable npm provenance metadata'), Flag.optional);
+const craftFlag = Flag.path('craft').pipe(Flag.withDescription('Craft repository root for managed skill source lookup'), Flag.optional, Flag.mapEffect(option => Option.match(option, {
+    onNone: () => Effect.sync(() => undefined),
+    onSome: resolveFromCwd,
+})));
+const sourceRefFlag = Flag.string('source-ref').pipe(Flag.withDescription('Craft git ref to project; defaults to the Craft checkout HEAD'), Flag.optional);
+const snapshotFlag = Flag.file('snapshot').pipe(Flag.withDescription('Use a JSON snapshot instead of network package/source lookups'), Flag.optional, Flag.mapEffect(option => Option.match(option, {
+    onNone: () => Effect.sync(() => undefined),
+    onSome: resolveFromCwd,
+})));
+function makeCli(config) {
+    const harness = harnessFlag(config.harnessRoot);
+    const init = Command.make('init', {
+        dryRun: dryRunFlag,
+        harness,
+        target: targetFlag,
+    }, Effect.fnUntraced(function* ({ dryRun, harness, target }) {
+        yield* initializeTarget({ dryRun, harness, target });
+    })).pipe(Command.withDescription('Install the Effect harness route and target runtime into a repository'));
+    const status = Command.make('status', {
+        failOnOutdated: failOnOutdatedFlag,
+        harness,
+        json: jsonFlag,
+        snapshot: snapshotFlag,
+    }, Effect.fnUntraced(function* ({ failOnOutdated, harness, json, snapshot }) {
+        yield* showStatus({ failOnOutdated, harness, json, snapshot });
+    })).pipe(Command.withDescription('Compare the pinned Effect source and package baseline with official sources'));
+    const verify = Command.make('verify', {
+        harness,
+        target: targetFlag,
+    }, Effect.fnUntraced(function* ({ harness, target }) {
+        yield* verifyTarget({ harness, target });
+    })).pipe(Command.withDescription('Check a target repository against this harness contract'));
+    const selfVerify = Command.make('self-verify', {
+        harness,
+    }, Effect.fnUntraced(function* ({ harness }) {
+        yield* verifyHarness(harness);
+    })).pipe(Command.withDescription('Check this harness repository without generating a target project'));
+    const sourceVerify = Command.make('source-verify', {
+        harness,
+    }, Effect.fnUntraced(function* ({ harness }) {
+        yield* verifySourcePin(harness);
+    })).pipe(Command.withDescription('Check the pinned official Effect source subtree'));
+    const guardrails = Command.make('guardrails', {
+        target: targetFlag,
+    }, Effect.fnUntraced(function* ({ target }) {
+        yield* verifyGuardrails({
+            root: target,
+            includes: targetGuardrailIncludes,
+        });
+    })).pipe(Command.withDescription('Scan target source for Effect harness guardrail violations'));
+    const updatePin = Command.make('update-pin', {
+        dryRun: dryRunFlag,
+        harness,
+        snapshot: snapshotFlag,
+    }, Effect.fnUntraced(function* ({ dryRun, harness, snapshot }) {
+        yield* updateSourcePin({
+            dryRun,
+            harness,
+            snapshot,
+        });
+    })).pipe(Command.withDescription('Update the pinned official Effect source, manifest, workspace, and baseline docs'));
+    const craftSkillsCheck = Command.make('check', {
+        craft: craftFlag,
+        harness,
+    }, Effect.fnUntraced(function* ({ craft, harness }) {
+        yield* verifyCraftSkills({
+            craft,
+            harness,
+        });
+    })).pipe(Command.withDescription('Check effect-harness managed Craft skill projections for drift'));
+    const craftSkillsSync = Command.make('sync', {
+        craft: craftFlag,
+        dryRun: dryRunFlag,
+        harness,
+        sourceRef: sourceRefFlag,
+    }, Effect.fnUntraced(function* ({ craft, dryRun, harness, sourceRef }) {
+        yield* syncCraftSkills({
+            craft,
+            dryRun,
+            harness,
+            sourceRef: Option.getOrUndefined(sourceRef),
+        });
+    })).pipe(Command.withDescription('Sync effect-harness managed Craft skill projections from the Craft source repo'));
+    const craftSkills = Command.make('craft-skills').pipe(Command.withDescription('Maintain managed Craft skill projections inside effect-harness'), Command.withSubcommands([craftSkillsCheck, craftSkillsSync]));
+    const publish = Command.make('publish', {
+        harness,
+        version: versionFlag,
+        tag: tagFlag,
+        npmTag: npmTagFlag,
+        dryRun: publishDryRunFlag,
+        provenance: provenanceFlag,
+        packDestination: packDestinationFlag,
+    }, Effect.fnUntraced(function* ({ harness, version, tag, npmTag, dryRun, provenance, packDestination }) {
+        const resolvedTag = Option.getOrElse(npmTag, () => Option.getOrUndefined(tag) ?? 'latest');
+        yield* publishPackage({
+            harness,
+            version: Option.getOrUndefined(version),
+            npmTag: resolvedTag,
+            dryRun: Option.getOrUndefined(dryRun),
+            provenance: Option.getOrUndefined(provenance),
+            packDestination: Option.getOrUndefined(packDestination),
+        });
+    })).pipe(Command.withDescription('Publish effect-harness as an npm package'));
+    return Command.make('effect-harness').pipe(Command.withDescription('Effect v4 beta harness CLI'), Command.withSubcommands([init, status, verify, selfVerify, sourceVerify, guardrails, updatePin, craftSkills, publish]));
+}
+export function runCli(config) {
+    return makeCli(config).pipe(Command.run({ version: config.version }), Effect.provide(NodeServices.layer));
+}
+//# sourceMappingURL=Main.js.map

package/dist/src/cli/Main.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Main.js","sourceRoot":"","sources":["../../../src/cli/Main.ts"],"names":[],"mappings":"AAAA,OAAO,OAAO,MAAM,cAAc,CAAA;AAClC,OAAO,KAAK,YAAY,MAAM,oCAAoC,CAAA;AAClE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,OAAO,MAAM,6BAA6B,CAAA;AACtD,OAAO,KAAK,IAAI,MAAM,0BAA0B,CAAA;AAChD,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC9E,OAAO,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AACpF,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAOzD,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,KAAa;IAC/D,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,CAAA;AAC3C,CAAC,CAAC,CAAA;AAEF,SAAS,WAAW,CAAC,WAAmB;IACtC,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAC9B,IAAI,CAAC,eAAe,CAAC,gCAAgC,CAAC,EACtD,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,EAC7B,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAC/B,CAAA;AACH,CAAC;AAED,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CACzC,IAAI,CAAC,eAAe,CAAC,wBAAwB,CAAC,EAC9C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,EAC/B,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAC/B,CAAA;AAED,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAC7C,IAAI,CAAC,eAAe,CAAC,uCAAuC,CAAC,CAC9D,CAAA;AAED,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CACxC,IAAI,CAAC,eAAe,CAAC,6BAA6B,CAAC,CACpD,CAAA;AAED,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAC9D,IAAI,CAAC,eAAe,CAAC,mEAAmE,CAAC,CAC1F,CAAA;AAED,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAC7C,IAAI,CAAC,eAAe,CAAC,2CAA2C,CAAC,EACjE,IAAI,CAAC,QAAQ,CACd,CAAA;AAED,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CACrC,IAAI,CAAC,eAAe,CAAC,0BAA0B,CAAC,EAChD,IAAI,CAAC,QAAQ,CACd,CAAA;AAED,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAC5C,IAAI,CAAC,eAAe,CAAC,iBAAiB,CAAC,EACvC,IAAI,CAAC,QAAQ,CACd,CAAA;AAED,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAC9D,IAAI,CAAC,eAAe,CAAC,mCAAmC,CAAC,EACzD,IAAI,CAAC,QAAQ,CACd,CAAA;AAED,MAAM,iBAAiB,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CACpD,IAAI,CAAC,eAAe,CAAC,0CAA0C,CAAC,EAChE,IAAI,CAAC,QAAQ,CACd,CAAA;AAED,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,IAAI,CACpD,IAAI,CAAC,eAAe,CAAC,gCAAgC,CAAC,EACtD,IAAI,CAAC,QAAQ,CACd,CAAA;AAED,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CACvC,IAAI,CAAC,eAAe,CAAC,uDAAuD,CAAC,EAC7E,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE;IAC5C,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAuB,EAAE,CAAC,SAAS,CAAC;IAC9D,MAAM,EAAE,cAAc;CACvB,CAAC,CAAC,CACJ,CAAA;AAED,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAClD,IAAI,CAAC,eAAe,CAAC,+DAA+D,CAAC,EACrF,IAAI,CAAC,QAAQ,CACd,CAAA;AAED,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAC7C,IAAI,CAAC,eAAe,CAAC,+DAA+D,CAAC,EACrF,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE;IAC5C,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAuB,EAAE,CAAC,SAAS,CAAC;IAC9D,MAAM,EAAE,cAAc;CACvB,CAAC,CAAC,CACJ,CAAA;AAED,SAAS,OAAO,CAAC,MAAiB;IAChC,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;IAE/C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE;QAChC,MAAM,EAAE,UAAU;QAClB,OAAO;QACP,MAAM,EAAE,UAAU;KACnB,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE;QACzD,KAAK,CAAC,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAA;IACtD,CAAC,CAAC,CAAC,CAAC,IAAI,CACN,OAAO,CAAC,eAAe,CAAC,uEAAuE,CAAC,CACjG,CAAA;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE;QACpC,cAAc,EAAE,kBAAkB;QAClC,OAAO;QACP,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,YAAY;KACvB,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE;QACzE,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;IAChE,CAAC,CAAC,CAAC,CAAC,IAAI,CACN,OAAO,CAAC,eAAe,CAAC,6EAA6E,CAAC,CACvG,CAAA;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE;QACpC,OAAO;QACP,MAAM,EAAE,UAAU;KACnB,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE;QACjD,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAA;IAC1C,CAAC,CAAC,CAAC,CAAC,IAAI,CACN,OAAO,CAAC,eAAe,CAAC,yDAAyD,CAAC,CACnF,CAAA;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE;QAC7C,OAAO;KACR,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE;QACzC,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAA;IAC/B,CAAC,CAAC,CAAC,CAAC,IAAI,CACN,OAAO,CAAC,eAAe,CAAC,mEAAmE,CAAC,CAC7F,CAAA;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,eAAe,EAAE;QACjD,OAAO;KACR,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE;QACzC,KAAK,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAA;IACjC,CAAC,CAAC,CAAC,CAAC,IAAI,CACN,OAAO,CAAC,eAAe,CAAC,iDAAiD,CAAC,CAC3E,CAAA;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE;QAC5C,MAAM,EAAE,UAAU;KACnB,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE;QACxC,KAAK,CAAC,CAAC,gBAAgB,CAAC;YACtB,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,uBAAuB;SAClC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAC,CAAC,IAAI,CACN,OAAO,CAAC,eAAe,CAAC,4DAA4D,CAAC,CACtF,CAAA;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE;QAC3C,MAAM,EAAE,UAAU;QAClB,OAAO;QACP,QAAQ,EAAE,YAAY;KACvB,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE;QAC3D,KAAK,CAAC,CAAC,eAAe,CAAC;YACrB,MAAM;YACN,OAAO;YACP,QAAQ;SACT,CAAC,CAAA;IACJ,CAAC,CAAC,CAAC,CAAC,IAAI,CACN,OAAO,CAAC,eAAe,CAAC,kFAAkF,CAAC,CAC5G,CAAA;IAED,MAAM,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE;QAC7C,KAAK,EAAE,SAAS;QAChB,OAAO;KACR,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;QAChD,KAAK,CAAC,CAAC,iBAAiB,CAAC;YACvB,KAAK;YACL,OAAO;SACR,CAAC,CAAA;IACJ,CAAC,CAAC,CAAC,CAAC,IAAI,CACN,OAAO,CAAC,eAAe,CAAC,gEAAgE,CAAC,CAC1F,CAAA;IAED,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE;QAC3C,KAAK,EAAE,SAAS;QAChB,MAAM,EAAE,UAAU;QAClB,OAAO;QACP,SAAS,EAAE,aAAa;KACzB,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE;QACnE,KAAK,CAAC,CAAC,eAAe,CAAC;YACrB,KAAK;YACL,MAAM;YACN,OAAO;YACP,SAAS,EAAE,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC;SAC5C,CAAC,CAAA;IACJ,CAAC,CAAC,CAAC,CAAC,IAAI,CACN,OAAO,CAAC,eAAe,CAAC,gFAAgF,CAAC,CAC1G,CAAA;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CACnD,OAAO,CAAC,eAAe,CAAC,gEAAgE,CAAC,EACzF,OAAO,CAAC,eAAe,CAAC,CAAC,gBAAgB,EAAE,eAAe,CAAC,CAAC,CAC7D,CAAA;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE;QACtC,OAAO;QACP,OAAO,EAAE,WAAW;QACpB,GAAG,EAAE,OAAO;QACZ,MAAM,EAAE,UAAU;QAClB,MAAM,EAAE,iBAAiB;QACzB,UAAU,EAAE,cAAc;QAC1B,eAAe,EAAE,mBAAmB;KACrC,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE;QACpG,MAAM,WAAW,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAA;QAC1F,KAAK,CAAC,CAAC,cAAc,CAAC;YACpB,OAAO;YACP,OAAO,EAAE,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC;YACvC,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC;YACrC,UAAU,EAAE,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC;YAC7C,eAAe,EAAE,MAAM,CAAC,cAAc,CAAC,eAAe,CAAC;SACxD,CAAC,CAAA;IACJ,CAAC,CAAC,CAAC,CAAC,IAAI,CACN,OAAO,CAAC,eAAe,CAAC,0CAA0C,CAAC,CACpE,CAAA;IAED,OAAO,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,IAAI,CACxC,OAAO,CAAC,eAAe,CAAC,4BAA4B,CAAC,EACrD,OAAO,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CACvH,CAAA;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,MAAiB;IACtC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CACzB,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,EACxC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CACnC,CAAA;AACH,CAAC","sourcesContent":["import process from 'node:process'\nimport * as NodeServices from '@effect/platform-node/NodeServices'\nimport * as Effect from 'effect/Effect'\nimport * as Option from 'effect/Option'\nimport * as Path from 'effect/Path'\nimport * as Command from 'effect/unstable/cli/Command'\nimport * as Flag from 'effect/unstable/cli/Flag'\nimport { syncCraftSkills, verifyCraftSkills } from '../harness/CraftSkills.ts'\nimport { targetGuardrailIncludes, verifyGuardrails } from '../harness/Guardrails.ts'\nimport { initializeTarget } from '../harness/Init.ts'\nimport { publishPackage } from '../harness/Publish.ts'\nimport { verifyHarness } from '../harness/SelfVerify.ts'\nimport { updateSourcePin, verifySourcePin } from '../harness/SourcePin.ts'\nimport { showStatus } from '../harness/Status.ts'\nimport { verifyTarget } from '../harness/TargetVerify.ts'\n\nexport interface CliConfig {\n  readonly harnessRoot: string\n  readonly version: string\n}\n\nconst resolveFromCwd = Effect.fnUntraced(function* (value: string) {\n  const path = yield* Path.Path\n  return path.resolve(process.cwd(), value)\n})\n\nfunction harnessFlag(defaultRoot: string) {\n  return Flag.path('harness').pipe(\n    Flag.withDescription('Effect harness repository root'),\n    Flag.withDefault(defaultRoot),\n    Flag.mapEffect(resolveFromCwd),\n  )\n}\n\nconst targetFlag = Flag.path('target').pipe(\n  Flag.withDescription('Target repository root'),\n  Flag.withDefault(process.cwd()),\n  Flag.mapEffect(resolveFromCwd),\n)\n\nconst dryRunFlag = Flag.boolean('dry-run').pipe(\n  Flag.withDescription('Preview writes without changing files'),\n)\n\nconst jsonFlag = Flag.boolean('json').pipe(\n  Flag.withDescription('Print machine-readable JSON'),\n)\n\nconst failOnOutdatedFlag = Flag.boolean('fail-on-outdated').pipe(\n  Flag.withDescription('Exit non-zero when official Effect sources are newer than the pin'),\n)\n\nconst versionFlag = Flag.string('version').pipe(\n  Flag.withDescription('Publish version, supports 0.1.0 or v0.1.0'),\n  Flag.optional,\n)\n\nconst tagFlag = Flag.string('tag').pipe(\n  Flag.withDescription('NPM dist-tag for publish'),\n  Flag.optional,\n)\n\nconst npmTagFlag = Flag.string('npm-tag').pipe(\n  Flag.withDescription('Alias for --tag'),\n  Flag.optional,\n)\n\nconst packDestinationFlag = Flag.string('pack-destination').pipe(\n  Flag.withDescription('Directory for pnpm pack artifacts'),\n  Flag.optional,\n)\n\nconst publishDryRunFlag = Flag.boolean('dry-run').pipe(\n  Flag.withDescription('Prepare publish without uploading to npm'),\n  Flag.optional,\n)\n\nconst provenanceFlag = Flag.boolean('provenance').pipe(\n  Flag.withDescription('Enable npm provenance metadata'),\n  Flag.optional,\n)\n\nconst craftFlag = Flag.path('craft').pipe(\n  Flag.withDescription('Craft repository root for managed skill source lookup'),\n  Flag.optional,\n  Flag.mapEffect(option => Option.match(option, {\n    onNone: () => Effect.sync((): string | undefined => undefined),\n    onSome: resolveFromCwd,\n  })),\n)\n\nconst sourceRefFlag = Flag.string('source-ref').pipe(\n  Flag.withDescription('Craft git ref to project; defaults to the Craft checkout HEAD'),\n  Flag.optional,\n)\n\nconst snapshotFlag = Flag.file('snapshot').pipe(\n  Flag.withDescription('Use a JSON snapshot instead of network package/source lookups'),\n  Flag.optional,\n  Flag.mapEffect(option => Option.match(option, {\n    onNone: () => Effect.sync((): string | undefined => undefined),\n    onSome: resolveFromCwd,\n  })),\n)\n\nfunction makeCli(config: CliConfig) {\n  const harness = harnessFlag(config.harnessRoot)\n\n  const init = Command.make('init', {\n    dryRun: dryRunFlag,\n    harness,\n    target: targetFlag,\n  }, Effect.fnUntraced(function* ({ dryRun, harness, target }) {\n    yield* initializeTarget({ dryRun, harness, target })\n  })).pipe(\n    Command.withDescription('Install the Effect harness route and target runtime into a repository'),\n  )\n\n  const status = Command.make('status', {\n    failOnOutdated: failOnOutdatedFlag,\n    harness,\n    json: jsonFlag,\n    snapshot: snapshotFlag,\n  }, Effect.fnUntraced(function* ({ failOnOutdated, harness, json, snapshot }) {\n    yield* showStatus({ failOnOutdated, harness, json, snapshot })\n  })).pipe(\n    Command.withDescription('Compare the pinned Effect source and package baseline with official sources'),\n  )\n\n  const verify = Command.make('verify', {\n    harness,\n    target: targetFlag,\n  }, Effect.fnUntraced(function* ({ harness, target }) {\n    yield* verifyTarget({ harness, target })\n  })).pipe(\n    Command.withDescription('Check a target repository against this harness contract'),\n  )\n\n  const selfVerify = Command.make('self-verify', {\n    harness,\n  }, Effect.fnUntraced(function* ({ harness }) {\n    yield* verifyHarness(harness)\n  })).pipe(\n    Command.withDescription('Check this harness repository without generating a target project'),\n  )\n\n  const sourceVerify = Command.make('source-verify', {\n    harness,\n  }, Effect.fnUntraced(function* ({ harness }) {\n    yield* verifySourcePin(harness)\n  })).pipe(\n    Command.withDescription('Check the pinned official Effect source subtree'),\n  )\n\n  const guardrails = Command.make('guardrails', {\n    target: targetFlag,\n  }, Effect.fnUntraced(function* ({ target }) {\n    yield* verifyGuardrails({\n      root: target,\n      includes: targetGuardrailIncludes,\n    })\n  })).pipe(\n    Command.withDescription('Scan target source for Effect harness guardrail violations'),\n  )\n\n  const updatePin = Command.make('update-pin', {\n    dryRun: dryRunFlag,\n    harness,\n    snapshot: snapshotFlag,\n  }, Effect.fnUntraced(function* ({ dryRun, harness, snapshot }) {\n    yield* updateSourcePin({\n      dryRun,\n      harness,\n      snapshot,\n    })\n  })).pipe(\n    Command.withDescription('Update the pinned official Effect source, manifest, workspace, and baseline docs'),\n  )\n\n  const craftSkillsCheck = Command.make('check', {\n    craft: craftFlag,\n    harness,\n  }, Effect.fnUntraced(function* ({ craft, harness }) {\n    yield* verifyCraftSkills({\n      craft,\n      harness,\n    })\n  })).pipe(\n    Command.withDescription('Check effect-harness managed Craft skill projections for drift'),\n  )\n\n  const craftSkillsSync = Command.make('sync', {\n    craft: craftFlag,\n    dryRun: dryRunFlag,\n    harness,\n    sourceRef: sourceRefFlag,\n  }, Effect.fnUntraced(function* ({ craft, dryRun, harness, sourceRef }) {\n    yield* syncCraftSkills({\n      craft,\n      dryRun,\n      harness,\n      sourceRef: Option.getOrUndefined(sourceRef),\n    })\n  })).pipe(\n    Command.withDescription('Sync effect-harness managed Craft skill projections from the Craft source repo'),\n  )\n\n  const craftSkills = Command.make('craft-skills').pipe(\n    Command.withDescription('Maintain managed Craft skill projections inside effect-harness'),\n    Command.withSubcommands([craftSkillsCheck, craftSkillsSync]),\n  )\n\n  const publish = Command.make('publish', {\n    harness,\n    version: versionFlag,\n    tag: tagFlag,\n    npmTag: npmTagFlag,\n    dryRun: publishDryRunFlag,\n    provenance: provenanceFlag,\n    packDestination: packDestinationFlag,\n  }, Effect.fnUntraced(function* ({ harness, version, tag, npmTag, dryRun, provenance, packDestination }) {\n    const resolvedTag = Option.getOrElse(npmTag, () => Option.getOrUndefined(tag) ?? 'latest')\n    yield* publishPackage({\n      harness,\n      version: Option.getOrUndefined(version),\n      npmTag: resolvedTag,\n      dryRun: Option.getOrUndefined(dryRun),\n      provenance: Option.getOrUndefined(provenance),\n      packDestination: Option.getOrUndefined(packDestination),\n    })\n  })).pipe(\n    Command.withDescription('Publish effect-harness as an npm package'),\n  )\n\n  return Command.make('effect-harness').pipe(\n    Command.withDescription('Effect v4 beta harness CLI'),\n    Command.withSubcommands([init, status, verify, selfVerify, sourceVerify, guardrails, updatePin, craftSkills, publish]),\n  )\n}\n\nexport function runCli(config: CliConfig) {\n  return makeCli(config).pipe(\n    Command.run({ version: config.version }),\n    Effect.provide(NodeServices.layer),\n  )\n}\n"]}

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

@@ -0,0 +1,14 @@
+import * as Effect from 'effect/Effect';
+import * as FileSystem from 'effect/FileSystem';
+import * as Path from 'effect/Path';
+import { HarnessError } from './Errors.ts';
+export interface CraftSkillsOptions {
+    readonly harness: string;
+    readonly craft?: string | undefined;
+}
+export interface SyncCraftSkillsOptions extends CraftSkillsOptions {
+    readonly dryRun: boolean;
+    readonly sourceRef?: string | undefined;
+}
+export declare const syncCraftSkills: (options: SyncCraftSkillsOptions) => Effect.Effect<undefined, HarnessError | import("./Errors.ts").ProcessError | import("effect/PlatformError").PlatformError, FileSystem.FileSystem | Path.Path | import("effect/unstable/process/ChildProcessSpawner").ChildProcessSpawner>;
+export declare const verifyCraftSkills: (options: CraftSkillsOptions) => Effect.Effect<undefined, HarnessError | import("./Errors.ts").ProcessError | import("effect/PlatformError").PlatformError, FileSystem.FileSystem | Path.Path | import("effect/unstable/process/ChildProcessSpawner").ChildProcessSpawner>;

package/dist/src/harness/CraftSkills.js

@@ -0,0 +1,164 @@
+import { createHash } from 'node:crypto';
+import * as Console from 'effect/Console';
+import * as Effect from 'effect/Effect';
+import * as FileSystem from 'effect/FileSystem';
+import * as Path from 'effect/Path';
+import { formatJson, readJson } from "../platform/Json.js";
+import { writeManagedFile } from "../platform/ManagedFiles.js";
+import { commandOutput, commandString } from "../platform/Process.js";
+import { HarnessError } from "./Errors.js";
+const manifestRelativePath = 'repos/craft-skills.manifest.json';
+function isRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function stringField(record, key, source) {
+    const value = record[key];
+    return typeof value === 'string'
+        ? Effect.succeed(value)
+        : Effect.fail(new HarnessError({ message: `${source} must contain string field: ${key}` }));
+}
+function decodeProjection(value, source) {
+    return Effect.gen(function* () {
+        if (!isRecord(value)) {
+            return yield* new HarnessError({ message: `${source} must be a JSON object` });
+        }
+        return {
+            skill: yield* stringField(value, 'skill', source),
+            sourceFile: yield* stringField(value, 'sourceFile', source),
+            targetFile: yield* stringField(value, 'targetFile', source),
+            sha256: yield* stringField(value, 'sha256', source),
+        };
+    });
+}
+function decodeCraftSkillsManifest(value, source) {
+    return Effect.gen(function* () {
+        if (!isRecord(value)) {
+            return yield* new HarnessError({ message: `${source} must be a JSON object` });
+        }
+        const sourceValue = value.source;
+        if (!isRecord(sourceValue)) {
+            return yield* new HarnessError({ message: `${source} must contain object field: source` });
+        }
+        const mechanismValue = value.mechanism;
+        if (!isRecord(mechanismValue)) {
+            return yield* new HarnessError({ message: `${source} must contain object field: mechanism` });
+        }
+        const projectionsValue = value.projections;
+        if (!Array.isArray(projectionsValue)) {
+            return yield* new HarnessError({ message: `${source} must contain array field: projections` });
+        }
+        const projections = [];
+        for (const [index, projection] of projectionsValue.entries()) {
+            projections.push(yield* decodeProjection(projection, `${source}.projections[${index}]`));
+        }
+        return {
+            name: yield* stringField(value, 'name', source),
+            source: {
+                owner: yield* stringField(sourceValue, 'owner', `${source}.source`),
+                repository: yield* stringField(sourceValue, 'repository', `${source}.source`),
+                repoPath: yield* stringField(sourceValue, 'repoPath', `${source}.source`),
+                ref: yield* stringField(sourceValue, 'ref', `${source}.source`),
+            },
+            mechanism: {
+                syncCommand: yield* stringField(mechanismValue, 'syncCommand', `${source}.mechanism`),
+                verifyCommand: yield* stringField(mechanismValue, 'verifyCommand', `${source}.mechanism`),
+                check: yield* stringField(mechanismValue, 'check', `${source}.mechanism`),
+            },
+            projections,
+        };
+    });
+}
+function sha256(text) {
+    return createHash('sha256').update(text).digest('hex');
+}
+const readManifest = Effect.fnUntraced(function* (harness) {
+    const path = yield* Path.Path;
+    return yield* readJson(path.join(harness, manifestRelativePath), decodeCraftSkillsManifest);
+});
+const resolveCraftRepo = Effect.fnUntraced(function* (harness, manifest, override) {
+    const path = yield* Path.Path;
+    return path.resolve(harness, override ?? manifest.source.repoPath);
+});
+const readCraftBlob = Effect.fnUntraced(function* (craftRepo, sourceRef, sourceFile) {
+    return yield* commandOutput('git', ['show', `${sourceRef}:${sourceFile}`], { cwd: craftRepo });
+});
+const currentCraftHead = Effect.fnUntraced(function* (craftRepo) {
+    return yield* commandString('git', ['rev-parse', 'HEAD'], { cwd: craftRepo });
+});
+function assertSafeProjection(errors, projection) {
+    if (projection.sourceFile.startsWith('/') || projection.targetFile.startsWith('/')) {
+        errors.push(`${projection.skill} projection paths must be relative.`);
+    }
+    if (!projection.sourceFile.endsWith('/SKILL.md') || !projection.targetFile.endsWith('/SKILL.md')) {
+        errors.push(`${projection.skill} projection must map a Craft SKILL.md to a managed SKILL.md.`);
+    }
+    if (!projection.targetFile.startsWith('.codex/skills/')) {
+        errors.push(`${projection.skill} target projection must stay under .codex/skills/.`);
+    }
+}
+export const syncCraftSkills = Effect.fnUntraced(function* (options) {
+    const path = yield* Path.Path;
+    const manifest = yield* readManifest(options.harness);
+    const craftRepo = yield* resolveCraftRepo(options.harness, manifest, options.craft);
+    const sourceRef = options.sourceRef ?? (yield* currentCraftHead(craftRepo));
+    const changes = [];
+    const safetyErrors = [];
+    for (const projection of manifest.projections) {
+        assertSafeProjection(safetyErrors, projection);
+    }
+    if (safetyErrors.length > 0) {
+        return yield* new HarnessError({ message: `Invalid Craft skills manifest:\n- ${safetyErrors.join('\n- ')}` });
+    }
+    for (const projection of manifest.projections) {
+        const content = yield* readCraftBlob(craftRepo, sourceRef, projection.sourceFile);
+        projection.sha256 = sha256(content);
+        yield* writeManagedFile(path.join(options.harness, projection.targetFile), content, { dryRun: options.dryRun }, changes);
+    }
+    manifest.source.ref = sourceRef;
+    yield* writeManagedFile(path.join(options.harness, manifestRelativePath), formatJson(manifest), { dryRun: options.dryRun }, changes);
+    if (changes.length === 0) {
+        yield* Console.log(`Craft skill projections already synced from ${manifest.source.repoPath} @ ${sourceRef}.`);
+        return;
+    }
+    for (const change of changes) {
+        yield* Console.log(`${options.dryRun ? 'Would ' : ''}${change}`);
+    }
+    yield* Console.log(`${options.dryRun ? 'Dry run complete' : 'Craft skill projections synced'}: ${manifest.projections.length} files from ${manifest.source.repoPath} @ ${sourceRef}`);
+});
+export const verifyCraftSkills = Effect.fnUntraced(function* (options) {
+    const fs = yield* FileSystem.FileSystem;
+    const path = yield* Path.Path;
+    const manifest = yield* readManifest(options.harness);
+    const craftRepo = yield* resolveCraftRepo(options.harness, manifest, options.craft);
+    const errors = [];
+    for (const projection of manifest.projections) {
+        assertSafeProjection(errors, projection);
+    }
+    if (errors.length === 0) {
+        for (const projection of manifest.projections) {
+            const expected = yield* readCraftBlob(craftRepo, manifest.source.ref, projection.sourceFile);
+            const expectedHash = sha256(expected);
+            const targetPath = path.join(options.harness, projection.targetFile);
+            if (projection.sha256 !== expectedHash) {
+                errors.push(`${projection.skill} manifest sha256 is ${projection.sha256 || 'missing'}; expected ${expectedHash}. Run ${manifest.mechanism.syncCommand}.`);
+            }
+            if (!(yield* fs.exists(targetPath))) {
+                errors.push(`Missing Craft skill projection: ${projection.targetFile}. Run ${manifest.mechanism.syncCommand}.`);
+                continue;
+            }
+            const actual = yield* fs.readFileString(targetPath);
+            if (actual !== expected) {
+                errors.push(`${projection.targetFile} does not match Craft source ${projection.sourceFile} at ${manifest.source.ref}. Run ${manifest.mechanism.syncCommand}.`);
+            }
+        }
+    }
+    if (errors.length > 0) {
+        yield* Console.error('Craft skill projection verification failed:');
+        for (const error of errors) {
+            yield* Console.error(`- ${error}`);
+        }
+        return yield* new HarnessError({ message: 'Craft skill projection verification failed.' });
+    }
+    yield* Console.log(`Craft skill projections verified: ${manifest.projections.length} files from ${manifest.source.repoPath} @ ${manifest.source.ref}`);
+});
+//# sourceMappingURL=CraftSkills.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"CraftSkills.js","sourceRoot":"","sources":["../../../src/harness/CraftSkills.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAE1C,MAAM,oBAAoB,GAAG,kCAAkC,CAAA;AAmC/D,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC7E,CAAC;AAED,SAAS,WAAW,CAAC,MAA+B,EAAE,GAAW,EAAE,MAAc;IAC/E,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;IACzB,OAAO,OAAO,KAAK,KAAK,QAAQ;QAC9B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,+BAA+B,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;AAC/F,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc,EAAE,MAAc;IACtD,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,wBAAwB,EAAE,CAAC,CAAA;QAChF,CAAC;QAED,OAAO;YACL,KAAK,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC;YACjD,UAAU,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,YAAY,EAAE,MAAM,CAAC;YAC3D,UAAU,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,YAAY,EAAE,MAAM,CAAC;YAC3D,MAAM,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC;SACpD,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAc,EAAE,MAAc;IAC/D,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,wBAAwB,EAAE,CAAC,CAAA;QAChF,CAAC;QAED,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAA;QAChC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAC3B,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,oCAAoC,EAAE,CAAC,CAAA;QAC5F,CAAC;QAED,MAAM,cAAc,GAAG,KAAK,CAAC,SAAS,CAAA;QACtC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;YAC9B,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,uCAAuC,EAAE,CAAC,CAAA;QAC/F,CAAC;QAED,MAAM,gBAAgB,GAAG,KAAK,CAAC,WAAW,CAAA;QAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACrC,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,wCAAwC,EAAE,CAAC,CAAA;QAChG,CAAC;QAED,MAAM,WAAW,GAAgC,EAAE,CAAA;QACnD,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,gBAAgB,CAAC,OAAO,EAAE,EAAE,CAAC;YAC7D,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,gBAAgB,CAAC,UAAU,EAAE,GAAG,MAAM,gBAAgB,KAAK,GAAG,CAAC,CAAC,CAAA;QAC1F,CAAC;QAED,OAAO;YACL,IAAI,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC;YAC/C,MAAM,EAAE;gBACN,KAAK,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,WAAW,EAAE,OAAO,EAAE,GAAG,MAAM,SAAS,CAAC;gBACnE,UAAU,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,WAAW,EAAE,YAAY,EAAE,GAAG,MAAM,SAAS,CAAC;gBAC7E,QAAQ,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,MAAM,SAAS,CAAC;gBACzE,GAAG,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,GAAG,MAAM,SAAS,CAAC;aAChE;YACD,SAAS,EAAE;gBACT,WAAW,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,cAAc,EAAE,aAAa,EAAE,GAAG,MAAM,YAAY,CAAC;gBACrF,aAAa,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,cAAc,EAAE,eAAe,EAAE,GAAG,MAAM,YAAY,CAAC;gBACzF,KAAK,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,cAAc,EAAE,OAAO,EAAE,GAAG,MAAM,YAAY,CAAC;aAC1E;YACD,WAAW;SACZ,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AACxD,CAAC;AAED,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,OAAe;IAC/D,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,oBAAoB,CAAC,EAAE,yBAAyB,CAAC,CAAA;AAC7F,CAAC,CAAC,CAAA;AAEF,MAAM,gBAAgB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAClD,OAAe,EACf,QAA6B,EAC7B,QAA4B;IAE5B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,IAAI,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;AACpE,CAAC,CAAC,CAAA;AAEF,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC/C,SAAiB,EACjB,SAAiB,EACjB,UAAkB;IAElB,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,GAAG,SAAS,IAAI,UAAU,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAA;AAChG,CAAC,CAAC,CAAA;AAEF,MAAM,gBAAgB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,SAAiB;IACrE,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAA;AAC/E,CAAC,CAAC,CAAA;AAEF,SAAS,oBAAoB,CAAC,MAAqB,EAAE,UAAgC;IACnF,IAAI,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACnF,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,qCAAqC,CAAC,CAAA;IACvE,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACjG,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,8DAA8D,CAAC,CAAA;IAChG,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACxD,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,oDAAoD,CAAC,CAAA;IACtF,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,OAA+B;IACzF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IACrD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IACnF,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAA;IAC3E,MAAM,OAAO,GAAkB,EAAE,CAAA;IACjC,MAAM,YAAY,GAAkB,EAAE,CAAA;IAEtC,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC9C,oBAAoB,CAAC,YAAY,EAAE,UAAU,CAAC,CAAA;IAChD,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,qCAAqC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAA;IAC/G,CAAC;IAED,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,UAAU,CAAC,CAAA;QACjF,UAAU,CAAC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;QACnC,KAAK,CAAC,CAAC,gBAAgB,CACrB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC,EACjD,OAAO,EACP,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,EAC1B,OAAO,CACR,CAAA;IACH,CAAC;IAED,QAAQ,CAAC,MAAM,CAAC,GAAG,GAAG,SAAS,CAAA;IAC/B,KAAK,CAAC,CAAC,gBAAgB,CACrB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,oBAAoB,CAAC,EAChD,UAAU,CAAC,QAAQ,CAAC,EACpB,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,EAC1B,OAAO,CACR,CAAA;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,+CAA+C,QAAQ,CAAC,MAAM,CAAC,QAAQ,MAAM,SAAS,GAAG,CAAC,CAAA;QAC7G,OAAM;IACR,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAA;IAClE,CAAC;IACD,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,gCAAgC,KAAK,QAAQ,CAAC,WAAW,CAAC,MAAM,eAAe,QAAQ,CAAC,MAAM,CAAC,QAAQ,MAAM,SAAS,EAAE,CAAC,CAAA;AACvL,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,OAA2B;IACvF,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IACrD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IACnF,MAAM,MAAM,GAAkB,EAAE,CAAA;IAEhC,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC9C,oBAAoB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IAC1C,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;YAC9C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,UAAU,CAAC,CAAA;YAC5F,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;YACrC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC,CAAA;YAEpE,IAAI,UAAU,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;gBACvC,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,uBAAuB,UAAU,CAAC,MAAM,IAAI,SAAS,cAAc,YAAY,SAAS,QAAQ,CAAC,SAAS,CAAC,WAAW,GAAG,CAAC,CAAA;YAC3J,CAAC;YACD,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC,mCAAmC,UAAU,CAAC,UAAU,SAAS,QAAQ,CAAC,SAAS,CAAC,WAAW,GAAG,CAAC,CAAA;gBAC/G,SAAQ;YACV,CAAC;YAED,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,CAAA;YACnD,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,UAAU,gCAAgC,UAAU,CAAC,UAAU,OAAO,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,QAAQ,CAAC,SAAS,CAAC,WAAW,GAAG,CAAC,CAAA;YAChK,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAA;QACnE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,EAAE,CAAC,CAAA;QACpC,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC,CAAA;IAC5F,CAAC;IAED,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,qCAAqC,QAAQ,CAAC,WAAW,CAAC,MAAM,eAAe,QAAQ,CAAC,MAAM,CAAC,QAAQ,MAAM,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAA;AACxJ,CAAC,CAAC,CAAA","sourcesContent":["import { createHash } from 'node:crypto'\nimport * as Console from 'effect/Console'\nimport * as Effect from 'effect/Effect'\nimport * as FileSystem from 'effect/FileSystem'\nimport * as Path from 'effect/Path'\nimport { formatJson, readJson } from '../platform/Json.ts'\nimport { writeManagedFile } from '../platform/ManagedFiles.ts'\nimport { commandOutput, commandString } from '../platform/Process.ts'\nimport { HarnessError } from './Errors.ts'\n\nconst manifestRelativePath = 'repos/craft-skills.manifest.json'\n\ninterface CraftSkillsManifest {\n  readonly name: string\n  source: {\n    readonly owner: string\n    readonly repository: string\n    readonly repoPath: string\n    ref: string\n  }\n  readonly mechanism: {\n    readonly syncCommand: string\n    readonly verifyCommand: string\n    readonly check: string\n  }\n  projections: Array<CraftSkillProjection>\n}\n\ninterface CraftSkillProjection {\n  readonly skill: string\n  readonly sourceFile: string\n  readonly targetFile: string\n  sha256: string\n}\n\nexport interface CraftSkillsOptions {\n  readonly harness: string\n  readonly craft?: string | undefined\n}\n\nexport interface SyncCraftSkillsOptions extends CraftSkillsOptions {\n  readonly dryRun: boolean\n  readonly sourceRef?: string | undefined\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value)\n}\n\nfunction stringField(record: Record<string, unknown>, key: string, source: string): Effect.Effect<string, HarnessError> {\n  const value = record[key]\n  return typeof value === 'string'\n    ? Effect.succeed(value)\n    : Effect.fail(new HarnessError({ message: `${source} must contain string field: ${key}` }))\n}\n\nfunction decodeProjection(value: unknown, source: string): Effect.Effect<CraftSkillProjection, HarnessError> {\n  return Effect.gen(function* () {\n    if (!isRecord(value)) {\n      return yield* new HarnessError({ message: `${source} must be a JSON object` })\n    }\n\n    return {\n      skill: yield* stringField(value, 'skill', source),\n      sourceFile: yield* stringField(value, 'sourceFile', source),\n      targetFile: yield* stringField(value, 'targetFile', source),\n      sha256: yield* stringField(value, 'sha256', source),\n    }\n  })\n}\n\nfunction decodeCraftSkillsManifest(value: unknown, source: string): Effect.Effect<CraftSkillsManifest, HarnessError> {\n  return Effect.gen(function* () {\n    if (!isRecord(value)) {\n      return yield* new HarnessError({ message: `${source} must be a JSON object` })\n    }\n\n    const sourceValue = value.source\n    if (!isRecord(sourceValue)) {\n      return yield* new HarnessError({ message: `${source} must contain object field: source` })\n    }\n\n    const mechanismValue = value.mechanism\n    if (!isRecord(mechanismValue)) {\n      return yield* new HarnessError({ message: `${source} must contain object field: mechanism` })\n    }\n\n    const projectionsValue = value.projections\n    if (!Array.isArray(projectionsValue)) {\n      return yield* new HarnessError({ message: `${source} must contain array field: projections` })\n    }\n\n    const projections: Array<CraftSkillProjection> = []\n    for (const [index, projection] of projectionsValue.entries()) {\n      projections.push(yield* decodeProjection(projection, `${source}.projections[${index}]`))\n    }\n\n    return {\n      name: yield* stringField(value, 'name', source),\n      source: {\n        owner: yield* stringField(sourceValue, 'owner', `${source}.source`),\n        repository: yield* stringField(sourceValue, 'repository', `${source}.source`),\n        repoPath: yield* stringField(sourceValue, 'repoPath', `${source}.source`),\n        ref: yield* stringField(sourceValue, 'ref', `${source}.source`),\n      },\n      mechanism: {\n        syncCommand: yield* stringField(mechanismValue, 'syncCommand', `${source}.mechanism`),\n        verifyCommand: yield* stringField(mechanismValue, 'verifyCommand', `${source}.mechanism`),\n        check: yield* stringField(mechanismValue, 'check', `${source}.mechanism`),\n      },\n      projections,\n    }\n  })\n}\n\nfunction sha256(text: string): string {\n  return createHash('sha256').update(text).digest('hex')\n}\n\nconst readManifest = Effect.fnUntraced(function* (harness: string) {\n  const path = yield* Path.Path\n  return yield* readJson(path.join(harness, manifestRelativePath), decodeCraftSkillsManifest)\n})\n\nconst resolveCraftRepo = Effect.fnUntraced(function* (\n  harness: string,\n  manifest: CraftSkillsManifest,\n  override: string | undefined,\n) {\n  const path = yield* Path.Path\n  return path.resolve(harness, override ?? manifest.source.repoPath)\n})\n\nconst readCraftBlob = Effect.fnUntraced(function* (\n  craftRepo: string,\n  sourceRef: string,\n  sourceFile: string,\n) {\n  return yield* commandOutput('git', ['show', `${sourceRef}:${sourceFile}`], { cwd: craftRepo })\n})\n\nconst currentCraftHead = Effect.fnUntraced(function* (craftRepo: string) {\n  return yield* commandString('git', ['rev-parse', 'HEAD'], { cwd: craftRepo })\n})\n\nfunction assertSafeProjection(errors: Array<string>, projection: CraftSkillProjection): void {\n  if (projection.sourceFile.startsWith('/') || projection.targetFile.startsWith('/')) {\n    errors.push(`${projection.skill} projection paths must be relative.`)\n  }\n  if (!projection.sourceFile.endsWith('/SKILL.md') || !projection.targetFile.endsWith('/SKILL.md')) {\n    errors.push(`${projection.skill} projection must map a Craft SKILL.md to a managed SKILL.md.`)\n  }\n  if (!projection.targetFile.startsWith('.codex/skills/')) {\n    errors.push(`${projection.skill} target projection must stay under .codex/skills/.`)\n  }\n}\n\nexport const syncCraftSkills = Effect.fnUntraced(function* (options: SyncCraftSkillsOptions) {\n  const path = yield* Path.Path\n  const manifest = yield* readManifest(options.harness)\n  const craftRepo = yield* resolveCraftRepo(options.harness, manifest, options.craft)\n  const sourceRef = options.sourceRef ?? (yield* currentCraftHead(craftRepo))\n  const changes: Array<string> = []\n  const safetyErrors: Array<string> = []\n\n  for (const projection of manifest.projections) {\n    assertSafeProjection(safetyErrors, projection)\n  }\n  if (safetyErrors.length > 0) {\n    return yield* new HarnessError({ message: `Invalid Craft skills manifest:\\n- ${safetyErrors.join('\\n- ')}` })\n  }\n\n  for (const projection of manifest.projections) {\n    const content = yield* readCraftBlob(craftRepo, sourceRef, projection.sourceFile)\n    projection.sha256 = sha256(content)\n    yield* writeManagedFile(\n      path.join(options.harness, projection.targetFile),\n      content,\n      { dryRun: options.dryRun },\n      changes,\n    )\n  }\n\n  manifest.source.ref = sourceRef\n  yield* writeManagedFile(\n    path.join(options.harness, manifestRelativePath),\n    formatJson(manifest),\n    { dryRun: options.dryRun },\n    changes,\n  )\n\n  if (changes.length === 0) {\n    yield* Console.log(`Craft skill projections already synced from ${manifest.source.repoPath} @ ${sourceRef}.`)\n    return\n  }\n\n  for (const change of changes) {\n    yield* Console.log(`${options.dryRun ? 'Would ' : ''}${change}`)\n  }\n  yield* Console.log(`${options.dryRun ? 'Dry run complete' : 'Craft skill projections synced'}: ${manifest.projections.length} files from ${manifest.source.repoPath} @ ${sourceRef}`)\n})\n\nexport const verifyCraftSkills = Effect.fnUntraced(function* (options: CraftSkillsOptions) {\n  const fs = yield* FileSystem.FileSystem\n  const path = yield* Path.Path\n  const manifest = yield* readManifest(options.harness)\n  const craftRepo = yield* resolveCraftRepo(options.harness, manifest, options.craft)\n  const errors: Array<string> = []\n\n  for (const projection of manifest.projections) {\n    assertSafeProjection(errors, projection)\n  }\n\n  if (errors.length === 0) {\n    for (const projection of manifest.projections) {\n      const expected = yield* readCraftBlob(craftRepo, manifest.source.ref, projection.sourceFile)\n      const expectedHash = sha256(expected)\n      const targetPath = path.join(options.harness, projection.targetFile)\n\n      if (projection.sha256 !== expectedHash) {\n        errors.push(`${projection.skill} manifest sha256 is ${projection.sha256 || 'missing'}; expected ${expectedHash}. Run ${manifest.mechanism.syncCommand}.`)\n      }\n      if (!(yield* fs.exists(targetPath))) {\n        errors.push(`Missing Craft skill projection: ${projection.targetFile}. Run ${manifest.mechanism.syncCommand}.`)\n        continue\n      }\n\n      const actual = yield* fs.readFileString(targetPath)\n      if (actual !== expected) {\n        errors.push(`${projection.targetFile} does not match Craft source ${projection.sourceFile} at ${manifest.source.ref}. Run ${manifest.mechanism.syncCommand}.`)\n      }\n    }\n  }\n\n  if (errors.length > 0) {\n    yield* Console.error('Craft skill projection verification failed:')\n    for (const error of errors) {\n      yield* Console.error(`- ${error}`)\n    }\n    return yield* new HarnessError({ message: 'Craft skill projection verification failed.' })\n  }\n\n  yield* Console.log(`Craft skill projections verified: ${manifest.projections.length} files from ${manifest.source.repoPath} @ ${manifest.source.ref}`)\n})\n"]}

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

@@ -0,0 +1,24 @@
+declare const HarnessError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "HarnessError";
+} & Readonly<A>;
+export declare class HarnessError extends HarnessError_base<{
+    readonly message: string;
+    readonly cause?: unknown;
+}> {
+}
+declare const ProcessError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "ProcessError";
+} & Readonly<A>;
+export declare class ProcessError extends ProcessError_base<{
+    readonly args: ReadonlyArray<string>;
+    readonly command: string;
+    readonly exitCode?: number;
+    readonly message: string;
+    readonly stderr: string;
+    readonly stdout: string;
+    readonly cause?: unknown;
+    readonly cwd?: string;
+}> {
+}
+export declare function errorMessage(error: unknown): string;
+export {};