@sayoriqwq/effect-harness 0.0.4 → 0.0.5

package/dist/src/index.js

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

package/dist/src/index.js.map

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

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@sayoriqwq/effect-harness",
   "type": "module",
-  "version": "0.0.4",
+  "version": "0.0.5",
   "private": false,
   "publishConfig": {
     "access": "public",
@@ -13,7 +13,14 @@
     "type": "git",
     "url": "https://github.com/sayoriqwq/effect-harness"
   },
-  "main": "dist/bin/effect-harness.js",
+  "exports": {
+    ".": {
+      "types": "./dist/src/index.d.ts",
+      "import": "./dist/src/index.js"
+    }
+  },
+  "main": "dist/src/index.js",
+  "types": "dist/src/index.d.ts",
   "bin": {
     "effect-harness": "dist/bin/effect-harness.js"
   },

package/provider/docs/discovery.md

@@ -19,6 +19,8 @@ updated: 2026-07-02
 Prelude SHOULD 通过 package artifact 执行 discovery，而不是复制
 `provider/effect-harness.provider.json` 到 Prelude 源码中维护。
 
+边界口径是：npm selects the artifact，effect-harness owns desired semantics，Prelude projects the artifact，target repositories are mutated only by Prelude lifecycle commands。
+
 稳定入口是：
 
 ```bash
@@ -31,9 +33,29 @@ npx --yes @sayoriqwq/effect-harness provider-discover
 node bin/effect-harness.ts provider-discover --harness .
 ```
 
+public programmatic API 暴露同一套 discovery contract：
+
+```ts
+import { discoverProviderArtifact } from '@sayoriqwq/effect-harness'
+
+const discovery = await discoverProviderArtifact()
+```
+
 discovery 输出是 machine-readable JSON。它从 provider profile 和 package manifest 派生，不是第二份
 profile 真源。
 
+## Failure Classification
+
+`provider-discover` 启动后产生的 profile、docs、snippets 或 artifact-only reference 错误属于
+provider discovery failure。
+
+npm、npx 或 shell 在启动 `effect-harness` binary 前失败，属于 npm invocation failure。
+
+已知特殊情况：在 effect-harness provider repository 根目录下运行同名同版本
+`npx @sayoriqwq/effect-harness@... provider-discover`，可能因为 npm same-name cwd short-circuit 报
+`sh: effect-harness: command not found`。这不是 provider discovery failure；应从 neutral working
+directory 执行，或使用 `--package`/`--prefix` 让 npm 明确选择 package artifact。
+
 ## Shape
 
 discovery envelope MUST 暴露 provider identity：
@@ -52,6 +74,8 @@ discovery envelope MUST 暴露 package locator：
 - provider profile path
 - package files
 - discovery command
+- package artifact identity
+- npm invocation failure classification
 
 discovery envelope MUST 暴露 target-managed surfaces：
 
@@ -76,6 +100,8 @@ discovery envelope MUST 暴露 artifact-only references：
 - tsgo anchor doc identity
 - tsgo route doc identity
 
+discovery envelope MUST audit artifact-only references against the selected package artifact root。
+
 discovery envelope MUST 暴露 internal harness surfaces，使 Prelude 能明确这些内容只服务
 effect-harness 本仓维护和 self-conformance。
 

package/provider/effect-harness.provider.json

@@ -44,6 +44,7 @@
     "mode": "provider-artifact-reference",
     "targetDelivery": "identity-only",
     "packageSurface": [
+      "dist",
       "provider",
       "harness",
       "repos",
@@ -120,8 +121,8 @@
         "format": "github-subtree"
       },
       "commands": {
-        "update": "partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run",
-        "verify": "partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect"
+        "update": "npx --yes @sayoriqwq/partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run",
+        "verify": "npx --yes @sayoriqwq/partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect"
       },
       "importBoundary": {
         "applicationImportsForbidden": true,
@@ -140,8 +141,8 @@
         "format": "github-subtree"
       },
       "commands": {
-        "update": "partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run",
-        "verify": "partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo"
+        "update": "npx --yes @sayoriqwq/partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run",
+        "verify": "npx --yes @sayoriqwq/partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo"
       },
       "importBoundary": {
         "applicationImportsForbidden": true,

package/provider/index.md

@@ -149,6 +149,10 @@ maintain 规则处理。
 Prelude SHOULD 通过 `npx --yes @sayoriqwq/effect-harness provider-discover` 读取 provider discovery
 envelope。
 
+package-backed discovery 的职责边界是：npm selects the artifact，effect-harness owns desired
+semantics，Prelude projects the artifact，target repositories are mutated only by Prelude lifecycle
+commands。
+
 discovery envelope 暴露 provider identity、artifact root、package locator、target-managed surfaces、
 artifact-only references、source identity 和 internal harness surfaces。
 

package/repos/effect.subtree.json

@@ -18,8 +18,8 @@
     "llmDocument": "repos/effect/LLMS.md"
   },
   "commands": {
-    "update": "partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run",
-    "verify": "partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect"
+    "update": "npx --yes @sayoriqwq/partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run",
+    "verify": "npx --yes @sayoriqwq/partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect"
   },
   "agent": {
     "route": "harness/effect-routes.md"

package/repos/tsgo.subtree.json

@@ -18,8 +18,8 @@
     "llmDocument": "repos/tsgo/README.md"
   },
   "commands": {
-    "update": "partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run",
-    "verify": "partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo"
+    "update": "npx --yes @sayoriqwq/partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run",
+    "verify": "npx --yes @sayoriqwq/partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo"
   },
   "agent": {
     "route": "harness/tsgo-routes.md"