@sayoriqwq/effect-harness 0.0.4 → 0.0.5

package/dist/bin/effect-harness.js

@@ -6,23 +6,12 @@ import * as NodeServices from '@effect/platform-node/NodeServices';
 import { Effect, Layer } from 'effect';
 import { runCli } from "../src/cli/Main.js";
 import { errorMessage } from "../src/harness/Errors.js";
-const harnessRoot = resolveHarnessRoot(fileURLToPath(import.meta.url));
+import { resolvePackageArtifactRoot } from "../src/harness/ProviderDiscovery.js";
+const harnessRoot = resolvePackageArtifactRoot(fileURLToPath(import.meta.url));
 NodeRuntime.runMain(runCli({
     harnessRoot,
     version: '0.0.0',
 }).pipe(withNodeServices));
-function resolveHarnessRoot(entrypoint) {
-    const marker = '/dist/bin/';
-    const index = entrypoint.indexOf(marker);
-    if (index >= 0) {
-        return entrypoint.slice(0, index);
-    }
-    const sourceBinIndex = entrypoint.lastIndexOf('/bin/');
-    if (sourceBinIndex >= 0) {
-        return entrypoint.slice(0, sourceBinIndex);
-    }
-    return process.cwd();
-}
 function withNodeServices(effect) {
     return Effect.scoped(Effect.gen(function* () {
         const context = yield* Layer.build(NodeServices.layer);

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

@@ -1 +1 @@
-{"version":3,"file":"effect-harness.js","sourceRoot":"","sources":["../../bin/effect-harness.ts"],"names":[],"mappings":";AAEA,OAAO,OAAO,MAAM,cAAc,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,KAAK,WAAW,MAAM,mCAAmC,CAAA;AAChE,OAAO,KAAK,YAAY,MAAM,oCAAoC,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACtC,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;AAEtE,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;IACzB,WAAW;IACX,OAAO,EAAE,OAAO;CACjB,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAA;AAE1B,SAAS,kBAAkB,CAAC,UAAkB;IAC5C,MAAM,MAAM,GAAG,YAAY,CAAA;IAC3B,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IACxC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;IACnC,CAAC;IACD,MAAM,cAAc,GAAG,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAA;IACtD,IAAI,cAAc,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IAC5C,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,EAAE,CAAA;AACtB,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAyD;IAEzD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACvC,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,IAAI,CAC3E,MAAM,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE,CAC9B,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EACpC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;QACtB,CAAC,CAAC,CACH,CAAC,CACL,CAAC,CAAC,CAAA;IACL,CAAC,CAAC,CAAC,CAAA;AACL,CAAC","sourcesContent":["#!/usr/bin/env node\n\nimport process from 'node:process'\nimport { fileURLToPath } from 'node:url'\nimport * as NodeRuntime from '@effect/platform-node/NodeRuntime'\nimport * as NodeServices from '@effect/platform-node/NodeServices'\nimport { Effect, Layer } from 'effect'\nimport { runCli } from '../src/cli/Main.ts'\nimport { errorMessage } from '../src/harness/Errors.ts'\n\nconst harnessRoot = resolveHarnessRoot(fileURLToPath(import.meta.url))\n\nNodeRuntime.runMain(runCli({\n  harnessRoot,\n  version: '0.0.0',\n}).pipe(withNodeServices))\n\nfunction resolveHarnessRoot(entrypoint: string) {\n  const marker = '/dist/bin/'\n  const index = entrypoint.indexOf(marker)\n  if (index >= 0) {\n    return entrypoint.slice(0, index)\n  }\n  const sourceBinIndex = entrypoint.lastIndexOf('/bin/')\n  if (sourceBinIndex >= 0) {\n    return entrypoint.slice(0, sourceBinIndex)\n  }\n  return process.cwd()\n}\n\nfunction withNodeServices<E>(\n  effect: Effect.Effect<void, E, NodeServices.NodeServices>,\n): Effect.Effect<void, never> {\n  return Effect.scoped(Effect.gen(function* () {\n    const context = yield* Layer.build(NodeServices.layer)\n    return yield* Effect.promise(() => Effect.runPromiseWith(context)(effect.pipe(\n      Effect.catch((error: unknown) =>\n        Effect.andThen(\n          Effect.logError(errorMessage(error)),\n          Effect.sync(() => {\n            process.exitCode = 1\n          }),\n        )),\n    )))\n  }))\n}\n"]}
+{"version":3,"file":"effect-harness.js","sourceRoot":"","sources":["../../bin/effect-harness.ts"],"names":[],"mappings":";AAEA,OAAO,OAAO,MAAM,cAAc,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,KAAK,WAAW,MAAM,mCAAmC,CAAA;AAChE,OAAO,KAAK,YAAY,MAAM,oCAAoC,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAA;AAEhF,MAAM,WAAW,GAAG,0BAA0B,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;AAE9E,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;IACzB,WAAW;IACX,OAAO,EAAE,OAAO;CACjB,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAA;AAE1B,SAAS,gBAAgB,CACvB,MAAyD;IAEzD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACvC,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,IAAI,CAC3E,MAAM,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE,CAC9B,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EACpC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;QACtB,CAAC,CAAC,CACH,CAAC,CACL,CAAC,CAAC,CAAA;IACL,CAAC,CAAC,CAAC,CAAA;AACL,CAAC","sourcesContent":["#!/usr/bin/env node\n\nimport process from 'node:process'\nimport { fileURLToPath } from 'node:url'\nimport * as NodeRuntime from '@effect/platform-node/NodeRuntime'\nimport * as NodeServices from '@effect/platform-node/NodeServices'\nimport { Effect, Layer } from 'effect'\nimport { runCli } from '../src/cli/Main.ts'\nimport { errorMessage } from '../src/harness/Errors.ts'\nimport { resolvePackageArtifactRoot } from '../src/harness/ProviderDiscovery.ts'\n\nconst harnessRoot = resolvePackageArtifactRoot(fileURLToPath(import.meta.url))\n\nNodeRuntime.runMain(runCli({\n  harnessRoot,\n  version: '0.0.0',\n}).pipe(withNodeServices))\n\nfunction withNodeServices<E>(\n  effect: Effect.Effect<void, E, NodeServices.NodeServices>,\n): Effect.Effect<void, never> {\n  return Effect.scoped(Effect.gen(function* () {\n    const context = yield* Layer.build(NodeServices.layer)\n    return yield* Effect.promise(() => Effect.runPromiseWith(context)(effect.pipe(\n      Effect.catch((error: unknown) =>\n        Effect.andThen(\n          Effect.logError(errorMessage(error)),\n          Effect.sync(() => {\n            process.exitCode = 1\n          }),\n        )),\n    )))\n  }))\n}\n"]}

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

@@ -15,11 +15,62 @@ interface ManagedFilesContribution {
     readonly targetBasePath: string;
     readonly files: ReadonlyArray<ManagedFileDeclaration>;
 }
+interface SemanticContributions {
+    readonly packageJson: JsonRecord;
+    readonly tsconfig: JsonRecord;
+    readonly editorPolicy: JsonRecord;
+    readonly lintGuardrails: JsonRecord;
+    readonly testPolicy: JsonRecord;
+    readonly verificationPolicy: JsonRecord;
+}
+interface ArtifactOnlyReferenceAuditEntry {
+    readonly id: string;
+    readonly path: string;
+    readonly sourceEntry: string;
+    readonly targetDelivery: string;
+    readonly available: true;
+}
+interface ArtifactOnlyReferenceAudit {
+    readonly mode: 'artifact-only-reference-audit';
+    readonly references: ReadonlyArray<ArtifactOnlyReferenceAuditEntry>;
+}
+interface NpmInvocationFailureClassification {
+    readonly classification: 'npm-invocation-failure';
+    readonly code: 'npm-command-failed' | 'npm-same-name-cwd-short-circuit';
+    readonly providerDiscoveryStarted: false;
+}
+interface ProviderDiscoveryFailureClassification {
+    readonly classification: 'provider-discovery-failure';
+    readonly code: 'provider-discovery-error';
+    readonly providerDiscoveryStarted: true;
+}
+export interface ProviderDiscoveryFailureInput {
+    readonly stderr: string;
+    readonly stdout?: string;
+    readonly cwdPackageName?: string;
+    readonly cwdPackageVersion?: string;
+    readonly requestedPackageName?: string;
+    readonly requestedPackageVersion?: string;
+}
+export type ProviderDiscoveryFailure = NpmInvocationFailureClassification | ProviderDiscoveryFailureClassification;
 export interface ProviderDiscovery {
     readonly schemaVersion: 1;
     readonly artifactRoot: string;
     readonly providerProfilePath: string;
     readonly providerProfileRelativePath: 'provider/effect-harness.provider.json';
+    readonly packageArtifactIdentity: {
+        readonly packageName: string;
+        readonly packageVersion: string;
+        readonly packageManager: string;
+        readonly artifactRoot: string;
+        readonly packageJsonPath: string;
+        readonly providerProfilePath: string;
+        readonly npmSelector: string;
+        readonly neutralDiscoveryCommand: string;
+        readonly invocationFailureClassification: {
+            readonly sameNameCwdShortCircuit: NpmInvocationFailureClassification;
+        };
+    };
     readonly packageLocator: {
         readonly packageName: string;
         readonly packageVersion: string;
@@ -46,19 +97,13 @@ export interface ProviderDiscovery {
         readonly providerArtifactReference: JsonRecord;
         readonly exportedHarness: JsonRecord;
     };
+    readonly semanticContributions: SemanticContributions;
     readonly targetManagedSurfaces: {
         readonly targetReceives: ReadonlyArray<string>;
         readonly targetDoesNotReceive: ReadonlyArray<string>;
         readonly documentationBundle: ManagedFilesContribution;
         readonly snippets: ManagedFilesContribution;
-        readonly contributions: {
-            readonly packageJson: JsonRecord;
-            readonly tsconfig: JsonRecord;
-            readonly editorPolicy: JsonRecord;
-            readonly lintGuardrails: JsonRecord;
-            readonly testPolicy: JsonRecord;
-            readonly verificationPolicy: JsonRecord;
-        };
+        readonly contributions: SemanticContributions;
     };
     readonly artifactOnlyReferences: {
         readonly mode: string;
@@ -66,6 +111,7 @@ export interface ProviderDiscovery {
         readonly packageSurface: ReadonlyArray<string>;
         readonly references: JsonRecord;
     };
+    readonly artifactOnlyReferenceAudit: ArtifactOnlyReferenceAudit;
     readonly sourceIdentities: {
         readonly defaultSourceEntry: string;
         readonly sourceEntries: ReadonlyArray<string>;
@@ -80,11 +126,30 @@ export interface ProviderDiscovery {
     };
     readonly internalHarnessSurfaces: JsonRecord;
 }
+export declare function resolvePackageArtifactRoot(entrypoint: string): string;
+export declare function classifyProviderDiscoveryFailure(input: ProviderDiscoveryFailureInput): ProviderDiscoveryFailure;
 export declare const discoverProvider: (harness: string) => Effect.Effect<{
     schemaVersion: 1;
     artifactRoot: string;
     providerProfilePath: string;
     providerProfileRelativePath: "provider/effect-harness.provider.json";
+    packageArtifactIdentity: {
+        packageName: string;
+        packageVersion: string;
+        packageManager: string;
+        artifactRoot: string;
+        packageJsonPath: string;
+        providerProfilePath: string;
+        npmSelector: string;
+        neutralDiscoveryCommand: string;
+        invocationFailureClassification: {
+            sameNameCwdShortCircuit: {
+                classification: "npm-invocation-failure";
+                code: "npm-same-name-cwd-short-circuit";
+                providerDiscoveryStarted: false;
+            };
+        };
+    };
     packageLocator: {
         packageName: string;
         packageVersion: string;
@@ -111,6 +176,14 @@ export declare const discoverProvider: (harness: string) => Effect.Effect<{
         providerArtifactReference: JsonRecord;
         exportedHarness: JsonRecord;
     };
+    semanticContributions: {
+        packageJson: JsonRecord;
+        tsconfig: JsonRecord;
+        editorPolicy: JsonRecord;
+        lintGuardrails: JsonRecord;
+        testPolicy: JsonRecord;
+        verificationPolicy: JsonRecord;
+    };
     targetManagedSurfaces: {
         targetReceives: string[];
         targetDoesNotReceive: string[];
@@ -155,6 +228,16 @@ export declare const discoverProvider: (harness: string) => Effect.Effect<{
         packageSurface: string[];
         references: JsonRecord;
     };
+    artifactOnlyReferenceAudit: {
+        mode: "artifact-only-reference-audit";
+        references: {
+            available: true;
+            id: string;
+            path: string;
+            sourceEntry: string;
+            targetDelivery: string;
+        }[];
+    };
     sourceIdentities: {
         defaultSourceEntry: string;
         sourceEntries: string[];

package/dist/src/harness/ProviderDiscovery.js

@@ -2,6 +2,39 @@ import { Effect, FileSystem, Path } from 'effect';
 import { readJson } from "../platform/Json.js";
 import { HarnessError } from "./Errors.js";
 import { isRecord } from "./verify/JsonFields.js";
+export function resolvePackageArtifactRoot(entrypoint) {
+    for (const marker of ['/dist/bin/', '/dist/src/', '/bin/', '/src/']) {
+        const index = entrypoint.indexOf(marker);
+        if (index >= 0) {
+            return entrypoint.slice(0, index);
+        }
+    }
+    return entrypoint;
+}
+export function classifyProviderDiscoveryFailure(input) {
+    const sameRequestedPackage = input.cwdPackageName === input.requestedPackageName
+        && input.cwdPackageVersion === input.requestedPackageVersion;
+    const commandNotFound = /(?:^|\n)(?:sh: )?effect-harness: command not found(?:\n|$)/u.test(input.stderr);
+    if (sameRequestedPackage && commandNotFound) {
+        return {
+            classification: 'npm-invocation-failure',
+            code: 'npm-same-name-cwd-short-circuit',
+            providerDiscoveryStarted: false,
+        };
+    }
+    if (commandNotFound || input.stderr.includes('Cannot find package') || input.stderr.includes('npm ERR!')) {
+        return {
+            classification: 'npm-invocation-failure',
+            code: 'npm-command-failed',
+            providerDiscoveryStarted: false,
+        };
+    }
+    return {
+        classification: 'provider-discovery-failure',
+        code: 'provider-discovery-error',
+        providerDiscoveryStarted: true,
+    };
+}
 function decodeJsonRecord(value, source) {
     return isRecord(value)
         ? Effect.succeed(value)
@@ -17,6 +50,9 @@ function expectString(value, source) {
         ? Effect.succeed(value)
         : Effect.fail(new HarnessError({ message: `${source} must be a string` }));
 }
+function optionalString(value, fallback) {
+    return typeof value === 'string' ? value : fallback;
+}
 function expectBoolean(value, source) {
     return typeof value === 'boolean'
         ? Effect.succeed(value)
@@ -79,13 +115,38 @@ const expectArtifactReferences = Effect.fnUntraced(function* (providerProfile) {
         references,
     };
 });
+const expectArtifactOnlyReferenceAudit = Effect.fnUntraced(function* (references, artifactRoot) {
+    const fs = yield* FileSystem.FileSystem;
+    const path = yield* Path.Path;
+    const entries = yield* Effect.forEach(Object.entries(references), ([id, value]) => Effect.gen(function* () {
+        const reference = yield* expectRecord(value, `provider profile.artifactReferences.references.${id}`);
+        const referencePath = yield* expectString(reference.path, `provider profile.artifactReferences.references.${id}.path`);
+        const absolutePath = path.join(artifactRoot, referencePath);
+        const available = yield* fs.exists(absolutePath);
+        if (!available) {
+            return yield* new HarnessError({ message: `artifact-only reference ${id} is missing from package artifact at ${referencePath}` });
+        }
+        return {
+            available: true,
+            id,
+            path: referencePath,
+            sourceEntry: yield* expectString(reference.sourceEntry, `provider profile.artifactReferences.references.${id}.sourceEntry`),
+            targetDelivery: yield* expectString(reference.targetDelivery, `provider profile.artifactReferences.references.${id}.targetDelivery`),
+        };
+    }));
+    return {
+        mode: 'artifact-only-reference-audit',
+        references: entries,
+    };
+});
 export const discoverProvider = Effect.fnUntraced(function* (harness) {
     const path = yield* Path.Path;
     const artifactRoot = path.resolve(harness);
     const providerProfileRelativePath = 'provider/effect-harness.provider.json';
     const providerProfilePath = path.join(artifactRoot, providerProfileRelativePath);
+    const packageJsonPath = path.join(artifactRoot, 'package.json');
     const providerProfile = yield* readJson(providerProfilePath, decodeJsonRecord);
-    const packageManifest = yield* readJson(path.join(artifactRoot, 'package.json'), decodeJsonRecord);
+    const packageManifest = yield* readJson(packageJsonPath, decodeJsonRecord);
     const provider = yield* expectNamedRecord(providerProfile, 'provider', 'provider profile');
     const profiles = yield* expectNamedRecord(providerProfile, 'profiles', 'provider profile');
     const defaultProfile = yield* expectString(provider.defaultProfile, 'provider profile.provider.defaultProfile');
@@ -97,14 +158,43 @@ export const discoverProvider = Effect.fnUntraced(function* (harness) {
     const packageBin = yield* expectNamedRecord(packageManifest, 'bin', 'package.json');
     const artifactOnlyReferences = yield* expectArtifactReferences(providerProfile);
     const deliveryModes = yield* expectDeliveryModes(providerProfile);
+    const packageName = yield* expectString(packageManifest.name, 'package.json.name');
+    const packageVersion = yield* expectString(packageManifest.version, 'package.json.version');
+    const packageManager = optionalString(packageManifest.packageManager, 'unknown');
+    const npmSelector = `${packageName}@${packageVersion}`;
+    const semanticContributions = {
+        packageJson: yield* expectNamedRecord(contributions, 'packageJson', `provider profile.profiles.${defaultProfile}.contributions`),
+        tsconfig: yield* expectNamedRecord(contributions, 'tsconfig', `provider profile.profiles.${defaultProfile}.contributions`),
+        editorPolicy: yield* expectNamedRecord(contributions, 'editorPolicy', `provider profile.profiles.${defaultProfile}.contributions`),
+        lintGuardrails: yield* expectNamedRecord(contributions, 'lintGuardrails', `provider profile.profiles.${defaultProfile}.contributions`),
+        testPolicy: yield* expectNamedRecord(contributions, 'testPolicy', `provider profile.profiles.${defaultProfile}.contributions`),
+        verificationPolicy: yield* expectNamedRecord(contributions, 'verificationPolicy', `provider profile.profiles.${defaultProfile}.contributions`),
+    };
     return {
         schemaVersion: 1,
         artifactRoot,
         providerProfilePath,
         providerProfileRelativePath,
+        packageArtifactIdentity: {
+            packageName,
+            packageVersion,
+            packageManager,
+            artifactRoot,
+            packageJsonPath,
+            providerProfilePath,
+            npmSelector,
+            neutralDiscoveryCommand: `npx --yes --package ${npmSelector} effect-harness provider-discover`,
+            invocationFailureClassification: {
+                sameNameCwdShortCircuit: {
+                    classification: 'npm-invocation-failure',
+                    code: 'npm-same-name-cwd-short-circuit',
+                    providerDiscoveryStarted: false,
+                },
+            },
+        },
         packageLocator: {
-            packageName: yield* expectString(packageManifest.name, 'package.json.name'),
-            packageVersion: yield* expectString(packageManifest.version, 'package.json.version'),
+            packageName,
+            packageVersion,
             binName: 'effect-harness',
             binPath: yield* expectString(packageBin['effect-harness'], 'package.json.bin.effect-harness'),
             discoveryCommand: 'npx --yes @sayoriqwq/effect-harness provider-discover',
@@ -124,21 +214,16 @@ export const discoverProvider = Effect.fnUntraced(function* (harness) {
             targetLifecycleOwner: yield* expectString(selfConformance.lifecycleOwner, 'provider profile.selfConformance.lifecycleOwner'),
         },
         deliveryModes,
+        semanticContributions,
         targetManagedSurfaces: {
             targetReceives: yield* expectStringArray(managedSurfaces.targetReceives, `provider profile.profiles.${defaultProfile}.managedSurfaces.targetReceives`),
             targetDoesNotReceive: yield* expectStringArray(managedSurfaces.targetDoesNotReceive, `provider profile.profiles.${defaultProfile}.managedSurfaces.targetDoesNotReceive`),
             documentationBundle: yield* expectManagedFilesContribution(contributions.documentationBundle, `provider profile.profiles.${defaultProfile}.contributions.documentationBundle`, artifactRoot),
             snippets: yield* expectManagedFilesContribution(contributions.snippets, `provider profile.profiles.${defaultProfile}.contributions.snippets`, artifactRoot),
-            contributions: {
-                packageJson: yield* expectNamedRecord(contributions, 'packageJson', `provider profile.profiles.${defaultProfile}.contributions`),
-                tsconfig: yield* expectNamedRecord(contributions, 'tsconfig', `provider profile.profiles.${defaultProfile}.contributions`),
-                editorPolicy: yield* expectNamedRecord(contributions, 'editorPolicy', `provider profile.profiles.${defaultProfile}.contributions`),
-                lintGuardrails: yield* expectNamedRecord(contributions, 'lintGuardrails', `provider profile.profiles.${defaultProfile}.contributions`),
-                testPolicy: yield* expectNamedRecord(contributions, 'testPolicy', `provider profile.profiles.${defaultProfile}.contributions`),
-                verificationPolicy: yield* expectNamedRecord(contributions, 'verificationPolicy', `provider profile.profiles.${defaultProfile}.contributions`),
-            },
+            contributions: semanticContributions,
         },
         artifactOnlyReferences,
+        artifactOnlyReferenceAudit: yield* expectArtifactOnlyReferenceAudit(artifactOnlyReferences.references, artifactRoot),
         sourceIdentities: {
             defaultSourceEntry: yield* expectString(selectedProfile.sourceEntry, `provider profile.profiles.${defaultProfile}.sourceEntry`),
             sourceEntries: yield* expectStringArray(selectedProfile.sourceEntries, `provider profile.profiles.${defaultProfile}.sourceEntries`),

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

@@ -1 +1 @@
-{"version":3,"file":"ProviderDiscovery.js","sourceRoot":"","sources":["../../../src/harness/ProviderDiscovery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AAsFjD,SAAS,gBAAgB,CAAC,KAAc,EAAE,MAAc;IACtD,OAAO,QAAQ,CAAC,KAAK,CAAC;QACpB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,wBAAwB,EAAE,CAAC,CAAC,CAAA;AACnF,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,MAAc;IAClD,OAAO,QAAQ,CAAC,KAAK,CAAC;QACpB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,wBAAwB,EAAE,CAAC,CAAC,CAAA;AACnF,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,MAAc;IAClD,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,mBAAmB,EAAE,CAAC,CAAC,CAAA;AAC9E,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,MAAc;IACnD,OAAO,OAAO,KAAK,KAAK,SAAS;QAC/B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,oBAAoB,EAAE,CAAC,CAAC,CAAA;AAC/E,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,MAAc;IACjD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,mBAAmB,EAAE,CAAC,CAAC,CAAA;AAC9E,CAAC;AAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,KAAc,EAAE,MAAc;IACnF,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC/C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,MAAM,IAAI,KAAK,GAAG,CAAC,CAAC,CAAA;AACnG,CAAC,CAAC,CAAA;AAEF,MAAM,4BAA4B,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,KAAc,EAAE,MAAc,EAAE,YAAoB;IACpH,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,MAAM,aAAa,CAAC,CAAA;IAC/E,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,KAAK,SAAS;QAChD,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,MAAM,cAAc,CAAC,CAAA;IAElE,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,MAAM,KAAK,CAAC;QAChD,UAAU;QACV,UAAU,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,MAAM,aAAa,CAAC;QACxE,WAAW,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,MAAM,cAAc,CAAC;QAC3E,OAAO,EAAE,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,MAAM,UAAU,CAAC;QAChE,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;QACtE,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;KACrB,CAAA;AACpC,CAAC,CAAC,CAAA;AAEF,MAAM,8BAA8B,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,KAAc,EAAE,MAAc,EAAE,YAAoB;IACtH,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACvD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,MAAM,QAAQ,CAAC,CAAA;IACvE,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,EAAE,GAAG,MAAM,OAAO,CAAC;QAC9D,cAAc,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,cAAc,EAAE,GAAG,MAAM,iBAAiB,CAAC;QAC5F,KAAK,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,EAAE,GAAG,MAAM,UAAU,KAAK,GAAG,EAAE,YAAY,CAAC,CAAC;KACjG,CAAA;AACtC,CAAC,CAAC,CAAA;AAEF,SAAS,iBAAiB,CAAC,MAAkB,EAAE,KAAa,EAAE,MAAc;IAC1E,OAAO,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,IAAI,KAAK,EAAE,CAAC,CAAA;AAC1D,CAAC;AAED,MAAM,mBAAmB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,eAA2B;IAClF,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,eAAe,EAAE,kBAAkB,CAAC,CAAA;IACpG,OAAO;QACL,eAAe,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,iBAAiB,EAAE,gCAAgC,CAAC;QAC7G,yBAAyB,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,2BAA2B,EAAE,gCAAgC,CAAC;QACjI,eAAe,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,iBAAiB,EAAE,gCAAgC,CAAC;KAC9G,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,wBAAwB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,eAA2B;IACvF,MAAM,kBAAkB,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,oBAAoB,EAAE,kBAAkB,CAAC,CAAA;IAC9G,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,kBAAkB,EAAE,YAAY,EAAE,qCAAqC,CAAC,CAAA;IACpH,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,kBAAkB,CAAC,IAAI,EAAE,0CAA0C,CAAC;QAC9F,cAAc,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,kBAAkB,CAAC,cAAc,EAAE,oDAAoD,CAAC;QAC5H,cAAc,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,kBAAkB,CAAC,cAAc,EAAE,oDAAoD,CAAC;QACjI,UAAU;KACX,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,OAAe;IAC1E,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IAC1C,MAAM,2BAA2B,GAAG,uCAAuC,CAAA;IAC3E,MAAM,mBAAmB,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,2BAA2B,CAAC,CAAA;IAEhF,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,CAAA;IAC9E,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,cAAc,CAAC,EAAE,gBAAgB,CAAC,CAAA;IAClG,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAA;IAC1F,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAA;IAC1F,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,cAAc,EAAE,0CAA0C,CAAC,CAAA;IAC/G,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,cAAc,EAAE,6BAA6B,cAAc,EAAE,CAAC,CAAA;IACzH,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,eAAe,EAAE,6BAA6B,cAAc,EAAE,CAAC,CAAA;IAC/H,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,iBAAiB,EAAE,6BAA6B,cAAc,EAAE,CAAC,CAAA;IACnI,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,gBAAgB,EAAE,6BAA6B,cAAc,EAAE,CAAC,CAAA;IACjI,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,CAAC,CAAA;IACxG,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,KAAK,EAAE,cAAc,CAAC,CAAA;IACnF,MAAM,sBAAsB,GAAG,KAAK,CAAC,CAAC,wBAAwB,CAAC,eAAe,CAAC,CAAA;IAC/E,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAA;IAEjE,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,YAAY;QACZ,mBAAmB;QACnB,2BAA2B;QAC3B,cAAc,EAAE;YACd,WAAW,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,IAAI,EAAE,mBAAmB,CAAC;YAC3E,cAAc,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,OAAO,EAAE,sBAAsB,CAAC;YACpF,OAAO,EAAE,gBAAgB;YACzB,OAAO,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,iCAAiC,CAAC;YAC7F,gBAAgB,EAAE,uDAAuD;YACzE,YAAY,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,KAAK,EAAE,oBAAoB,CAAC;SACpF;QACD,QAAQ,EAAE;YACR,EAAE,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,EAAE,8BAA8B,CAAC;YACpE,eAAe,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,eAAe,EAAE,2CAA2C,CAAC;YAC3G,eAAe,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,eAAe,EAAE,2CAA2C,CAAC;YAC3G,cAAc;SACf;QACD,eAAe,EAAE,cAAc;QAC/B,SAAS,EAAE;YACT,IAAI,EAAE,oBAAoB;YAC1B,QAAQ,EAAE,SAAS;YACnB,aAAa,EAAE,2BAA2B;YAC1C,oBAAoB,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,cAAc,EAAE,iDAAiD,CAAC;SAC7H;QACD,aAAa;QACb,qBAAqB,EAAE;YACrB,cAAc,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,cAAc,EAAE,6BAA6B,cAAc,iCAAiC,CAAC;YACtJ,oBAAoB,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,oBAAoB,EAAE,6BAA6B,cAAc,uCAAuC,CAAC;YACxK,mBAAmB,EAAE,KAAK,CAAC,CAAC,8BAA8B,CAAC,aAAa,CAAC,mBAAmB,EAAE,6BAA6B,cAAc,oCAAoC,EAAE,YAAY,CAAC;YAC5L,QAAQ,EAAE,KAAK,CAAC,CAAC,8BAA8B,CAAC,aAAa,CAAC,QAAQ,EAAE,6BAA6B,cAAc,yBAAyB,EAAE,YAAY,CAAC;YAC3J,aAAa,EAAE;gBACb,WAAW,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,aAAa,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;gBAChI,QAAQ,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,UAAU,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;gBAC1H,YAAY,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,cAAc,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;gBAClI,cAAc,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,gBAAgB,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;gBACtI,UAAU,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,YAAY,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;gBAC9H,kBAAkB,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,oBAAoB,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;aAC/I;SACF;QACD,sBAAsB;QACtB,gBAAgB,EAAE;YAChB,kBAAkB,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,WAAW,EAAE,6BAA6B,cAAc,cAAc,CAAC;YAC/H,aAAa,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,aAAa,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;YACnI,cAAc,EAAE;gBACd,oBAAoB,EAAE,KAAK,CAAC,CAAC,aAAa,CAAC,cAAc,CAAC,oBAAoB,EAAE,6BAA6B,cAAc,sCAAsC,CAAC;gBAClK,cAAc,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,cAAc,CAAC,cAAc,EAAE,6BAA6B,cAAc,gCAAgC,CAAC;gBAC/I,oBAAoB,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,cAAc,CAAC,oBAAoB,EAAE,6BAA6B,cAAc,sCAAsC,CAAC;gBACtK,2BAA2B,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,cAAc,CAAC,2BAA2B,EAAE,6BAA6B,cAAc,6CAA6C,CAAC;aAC5L;YACD,qBAAqB,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,eAAe,EAAE,kBAAkB,CAAC;YACrG,kBAAkB,EAAE,sBAAsB,CAAC,UAAU;SACtD;QACD,uBAAuB,EAAE,aAAa,CAAC,eAAe;KAC3B,CAAA;AAC/B,CAAC,CAAC,CAAA","sourcesContent":["import { Effect, FileSystem, Path } from 'effect'\nimport { readJson } from '../platform/Json.ts'\nimport { HarnessError } from './Errors.ts'\nimport { isRecord } from './verify/JsonFields.ts'\n\ntype JsonRecord = Record<string, unknown>\n\ninterface ManagedFileDeclaration {\n  readonly id: string\n  readonly sourcePath: string\n  readonly targetPath: string\n  readonly contentType: string\n  readonly managed: boolean\n  readonly content: string\n  readonly targetUsage?: string\n}\n\ninterface ManagedFilesContribution {\n  readonly mode: string\n  readonly targetBasePath: string\n  readonly files: ReadonlyArray<ManagedFileDeclaration>\n}\n\nexport interface ProviderDiscovery {\n  readonly schemaVersion: 1\n  readonly artifactRoot: string\n  readonly providerProfilePath: string\n  readonly providerProfileRelativePath: 'provider/effect-harness.provider.json'\n  readonly packageLocator: {\n    readonly packageName: string\n    readonly packageVersion: string\n    readonly binName: 'effect-harness'\n    readonly binPath: string\n    readonly discoveryCommand: string\n    readonly packageFiles: ReadonlyArray<string>\n  }\n  readonly provider: {\n    readonly id: string\n    readonly contractVersion: string\n    readonly providerVersion: string\n    readonly defaultProfile: string\n  }\n  readonly selectedProfile: string\n  readonly discovery: {\n    readonly mode: 'provider-discovery'\n    readonly consumer: 'prelude'\n    readonly profileSource: 'provider/effect-harness.provider.json'\n    readonly targetLifecycleOwner: string\n  }\n  readonly deliveryModes: {\n    readonly internalHarness: JsonRecord\n    readonly providerArtifactReference: JsonRecord\n    readonly exportedHarness: JsonRecord\n  }\n  readonly targetManagedSurfaces: {\n    readonly targetReceives: ReadonlyArray<string>\n    readonly targetDoesNotReceive: ReadonlyArray<string>\n    readonly documentationBundle: ManagedFilesContribution\n    readonly snippets: ManagedFilesContribution\n    readonly contributions: {\n      readonly packageJson: JsonRecord\n      readonly tsconfig: JsonRecord\n      readonly editorPolicy: JsonRecord\n      readonly lintGuardrails: JsonRecord\n      readonly testPolicy: JsonRecord\n      readonly verificationPolicy: JsonRecord\n    }\n  }\n  readonly artifactOnlyReferences: {\n    readonly mode: string\n    readonly targetDelivery: string\n    readonly packageSurface: ReadonlyArray<string>\n    readonly references: JsonRecord\n  }\n  readonly sourceIdentities: {\n    readonly defaultSourceEntry: string\n    readonly sourceEntries: ReadonlyArray<string>\n    readonly sourceBoundary: {\n      readonly providerRepoInternal: boolean\n      readonly targetDelivery: string\n      readonly targetMustNotReceive: ReadonlyArray<string>\n      readonly allowedTargetSourceIdentity: ReadonlyArray<string>\n    }\n    readonly providerSourceEntries: JsonRecord\n    readonly artifactReferences: JsonRecord\n  }\n  readonly internalHarnessSurfaces: JsonRecord\n}\n\nfunction decodeJsonRecord(value: unknown, source: string): Effect.Effect<JsonRecord, HarnessError> {\n  return isRecord(value)\n    ? Effect.succeed(value)\n    : Effect.fail(new HarnessError({ message: `${source} must be a JSON object` }))\n}\n\nfunction expectRecord(value: unknown, source: string): Effect.Effect<JsonRecord, HarnessError> {\n  return isRecord(value)\n    ? Effect.succeed(value)\n    : Effect.fail(new HarnessError({ message: `${source} must be a JSON object` }))\n}\n\nfunction expectString(value: unknown, source: string): Effect.Effect<string, HarnessError> {\n  return typeof value === 'string'\n    ? Effect.succeed(value)\n    : Effect.fail(new HarnessError({ message: `${source} must be a string` }))\n}\n\nfunction expectBoolean(value: unknown, source: string): Effect.Effect<boolean, HarnessError> {\n  return typeof value === 'boolean'\n    ? Effect.succeed(value)\n    : Effect.fail(new HarnessError({ message: `${source} must be a boolean` }))\n}\n\nfunction expectArray(value: unknown, source: string): Effect.Effect<ReadonlyArray<unknown>, HarnessError> {\n  return Array.isArray(value)\n    ? Effect.succeed(value)\n    : Effect.fail(new HarnessError({ message: `${source} must be an array` }))\n}\n\nconst expectStringArray = Effect.fnUntraced(function* (value: unknown, source: string) {\n  const array = yield* expectArray(value, source)\n  return yield* Effect.forEach(array, (entry, index) => expectString(entry, `${source}[${index}]`))\n})\n\nconst expectManagedFileDeclaration = Effect.fnUntraced(function* (value: unknown, source: string, artifactRoot: string) {\n  const file = yield* expectRecord(value, source)\n  const path = yield* Path.Path\n  const fs = yield* FileSystem.FileSystem\n  const sourcePath = yield* expectString(file.sourcePath, `${source}.sourcePath`)\n  const targetUsage = file.targetUsage === undefined\n    ? undefined\n    : yield* expectString(file.targetUsage, `${source}.targetUsage`)\n\n  return {\n    id: yield* expectString(file.id, `${source}.id`),\n    sourcePath,\n    targetPath: yield* expectString(file.targetPath, `${source}.targetPath`),\n    contentType: yield* expectString(file.contentType, `${source}.contentType`),\n    managed: yield* expectBoolean(file.managed, `${source}.managed`),\n    content: yield* fs.readFileString(path.join(artifactRoot, sourcePath)),\n    ...(targetUsage === undefined ? {} : { targetUsage }),\n  } satisfies ManagedFileDeclaration\n})\n\nconst expectManagedFilesContribution = Effect.fnUntraced(function* (value: unknown, source: string, artifactRoot: string) {\n  const contribution = yield* expectRecord(value, source)\n  const files = yield* expectArray(contribution.files, `${source}.files`)\n  return {\n    mode: yield* expectString(contribution.mode, `${source}.mode`),\n    targetBasePath: yield* expectString(contribution.targetBasePath, `${source}.targetBasePath`),\n    files: yield* Effect.forEach(files, (file, index) => expectManagedFileDeclaration(file, `${source}.files[${index}]`, artifactRoot)),\n  } satisfies ManagedFilesContribution\n})\n\nfunction expectNamedRecord(record: JsonRecord, field: string, source: string): Effect.Effect<JsonRecord, HarnessError> {\n  return expectRecord(record[field], `${source}.${field}`)\n}\n\nconst expectDeliveryModes = Effect.fnUntraced(function* (providerProfile: JsonRecord) {\n  const deliveryModes = yield* expectNamedRecord(providerProfile, 'deliveryModes', 'provider profile')\n  return {\n    internalHarness: yield* expectNamedRecord(deliveryModes, 'internalHarness', 'provider profile.deliveryModes'),\n    providerArtifactReference: yield* expectNamedRecord(deliveryModes, 'providerArtifactReference', 'provider profile.deliveryModes'),\n    exportedHarness: yield* expectNamedRecord(deliveryModes, 'exportedHarness', 'provider profile.deliveryModes'),\n  }\n})\n\nconst expectArtifactReferences = Effect.fnUntraced(function* (providerProfile: JsonRecord) {\n  const artifactReferences = yield* expectNamedRecord(providerProfile, 'artifactReferences', 'provider profile')\n  const references = yield* expectNamedRecord(artifactReferences, 'references', 'provider profile.artifactReferences')\n  return {\n    mode: yield* expectString(artifactReferences.mode, 'provider profile.artifactReferences.mode'),\n    targetDelivery: yield* expectString(artifactReferences.targetDelivery, 'provider profile.artifactReferences.targetDelivery'),\n    packageSurface: yield* expectStringArray(artifactReferences.packageSurface, 'provider profile.artifactReferences.packageSurface'),\n    references,\n  }\n})\n\nexport const discoverProvider = Effect.fnUntraced(function* (harness: string) {\n  const path = yield* Path.Path\n  const artifactRoot = path.resolve(harness)\n  const providerProfileRelativePath = 'provider/effect-harness.provider.json'\n  const providerProfilePath = path.join(artifactRoot, providerProfileRelativePath)\n\n  const providerProfile = yield* readJson(providerProfilePath, decodeJsonRecord)\n  const packageManifest = yield* readJson(path.join(artifactRoot, 'package.json'), decodeJsonRecord)\n  const provider = yield* expectNamedRecord(providerProfile, 'provider', 'provider profile')\n  const profiles = yield* expectNamedRecord(providerProfile, 'profiles', 'provider profile')\n  const defaultProfile = yield* expectString(provider.defaultProfile, 'provider profile.provider.defaultProfile')\n  const selectedProfile = yield* expectNamedRecord(profiles, defaultProfile, `provider profile.profiles.${defaultProfile}`)\n  const contributions = yield* expectNamedRecord(selectedProfile, 'contributions', `provider profile.profiles.${defaultProfile}`)\n  const managedSurfaces = yield* expectNamedRecord(selectedProfile, 'managedSurfaces', `provider profile.profiles.${defaultProfile}`)\n  const sourceBoundary = yield* expectNamedRecord(selectedProfile, 'sourceBoundary', `provider profile.profiles.${defaultProfile}`)\n  const selfConformance = yield* expectNamedRecord(providerProfile, 'selfConformance', 'provider profile')\n  const packageBin = yield* expectNamedRecord(packageManifest, 'bin', 'package.json')\n  const artifactOnlyReferences = yield* expectArtifactReferences(providerProfile)\n  const deliveryModes = yield* expectDeliveryModes(providerProfile)\n\n  return {\n    schemaVersion: 1,\n    artifactRoot,\n    providerProfilePath,\n    providerProfileRelativePath,\n    packageLocator: {\n      packageName: yield* expectString(packageManifest.name, 'package.json.name'),\n      packageVersion: yield* expectString(packageManifest.version, 'package.json.version'),\n      binName: 'effect-harness',\n      binPath: yield* expectString(packageBin['effect-harness'], 'package.json.bin.effect-harness'),\n      discoveryCommand: 'npx --yes @sayoriqwq/effect-harness provider-discover',\n      packageFiles: yield* expectStringArray(packageManifest.files, 'package.json.files'),\n    },\n    provider: {\n      id: yield* expectString(provider.id, 'provider profile.provider.id'),\n      contractVersion: yield* expectString(provider.contractVersion, 'provider profile.provider.contractVersion'),\n      providerVersion: yield* expectString(provider.providerVersion, 'provider profile.provider.providerVersion'),\n      defaultProfile,\n    },\n    selectedProfile: defaultProfile,\n    discovery: {\n      mode: 'provider-discovery',\n      consumer: 'prelude',\n      profileSource: providerProfileRelativePath,\n      targetLifecycleOwner: yield* expectString(selfConformance.lifecycleOwner, 'provider profile.selfConformance.lifecycleOwner'),\n    },\n    deliveryModes,\n    targetManagedSurfaces: {\n      targetReceives: yield* expectStringArray(managedSurfaces.targetReceives, `provider profile.profiles.${defaultProfile}.managedSurfaces.targetReceives`),\n      targetDoesNotReceive: yield* expectStringArray(managedSurfaces.targetDoesNotReceive, `provider profile.profiles.${defaultProfile}.managedSurfaces.targetDoesNotReceive`),\n      documentationBundle: yield* expectManagedFilesContribution(contributions.documentationBundle, `provider profile.profiles.${defaultProfile}.contributions.documentationBundle`, artifactRoot),\n      snippets: yield* expectManagedFilesContribution(contributions.snippets, `provider profile.profiles.${defaultProfile}.contributions.snippets`, artifactRoot),\n      contributions: {\n        packageJson: yield* expectNamedRecord(contributions, 'packageJson', `provider profile.profiles.${defaultProfile}.contributions`),\n        tsconfig: yield* expectNamedRecord(contributions, 'tsconfig', `provider profile.profiles.${defaultProfile}.contributions`),\n        editorPolicy: yield* expectNamedRecord(contributions, 'editorPolicy', `provider profile.profiles.${defaultProfile}.contributions`),\n        lintGuardrails: yield* expectNamedRecord(contributions, 'lintGuardrails', `provider profile.profiles.${defaultProfile}.contributions`),\n        testPolicy: yield* expectNamedRecord(contributions, 'testPolicy', `provider profile.profiles.${defaultProfile}.contributions`),\n        verificationPolicy: yield* expectNamedRecord(contributions, 'verificationPolicy', `provider profile.profiles.${defaultProfile}.contributions`),\n      },\n    },\n    artifactOnlyReferences,\n    sourceIdentities: {\n      defaultSourceEntry: yield* expectString(selectedProfile.sourceEntry, `provider profile.profiles.${defaultProfile}.sourceEntry`),\n      sourceEntries: yield* expectStringArray(selectedProfile.sourceEntries, `provider profile.profiles.${defaultProfile}.sourceEntries`),\n      sourceBoundary: {\n        providerRepoInternal: yield* expectBoolean(sourceBoundary.providerRepoInternal, `provider profile.profiles.${defaultProfile}.sourceBoundary.providerRepoInternal`),\n        targetDelivery: yield* expectString(sourceBoundary.targetDelivery, `provider profile.profiles.${defaultProfile}.sourceBoundary.targetDelivery`),\n        targetMustNotReceive: yield* expectStringArray(sourceBoundary.targetMustNotReceive, `provider profile.profiles.${defaultProfile}.sourceBoundary.targetMustNotReceive`),\n        allowedTargetSourceIdentity: yield* expectStringArray(sourceBoundary.allowedTargetSourceIdentity, `provider profile.profiles.${defaultProfile}.sourceBoundary.allowedTargetSourceIdentity`),\n      },\n      providerSourceEntries: yield* expectNamedRecord(providerProfile, 'sourceEntries', 'provider profile'),\n      artifactReferences: artifactOnlyReferences.references,\n    },\n    internalHarnessSurfaces: deliveryModes.internalHarness,\n  } satisfies ProviderDiscovery\n})\n"]}
+{"version":3,"file":"ProviderDiscovery.js","sourceRoot":"","sources":["../../../src/harness/ProviderDiscovery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AA6IjD,MAAM,UAAU,0BAA0B,CAAC,UAAkB;IAC3D,KAAK,MAAM,MAAM,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QACpE,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACxC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACf,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;QACnC,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAAoC;IACnF,MAAM,oBAAoB,GAAG,KAAK,CAAC,cAAc,KAAK,KAAK,CAAC,oBAAoB;WAC3E,KAAK,CAAC,iBAAiB,KAAK,KAAK,CAAC,uBAAuB,CAAA;IAC9D,MAAM,eAAe,GAAG,6DAA6D,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAExG,IAAI,oBAAoB,IAAI,eAAe,EAAE,CAAC;QAC5C,OAAO;YACL,cAAc,EAAE,wBAAwB;YACxC,IAAI,EAAE,iCAAiC;YACvC,wBAAwB,EAAE,KAAK;SAChC,CAAA;IACH,CAAC;IAED,IAAI,eAAe,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACzG,OAAO;YACL,cAAc,EAAE,wBAAwB;YACxC,IAAI,EAAE,oBAAoB;YAC1B,wBAAwB,EAAE,KAAK;SAChC,CAAA;IACH,CAAC;IAED,OAAO;QACL,cAAc,EAAE,4BAA4B;QAC5C,IAAI,EAAE,0BAA0B;QAChC,wBAAwB,EAAE,IAAI;KAC/B,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc,EAAE,MAAc;IACtD,OAAO,QAAQ,CAAC,KAAK,CAAC;QACpB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,wBAAwB,EAAE,CAAC,CAAC,CAAA;AACnF,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,MAAc;IAClD,OAAO,QAAQ,CAAC,KAAK,CAAC;QACpB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,wBAAwB,EAAE,CAAC,CAAC,CAAA;AACnF,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,MAAc;IAClD,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,mBAAmB,EAAE,CAAC,CAAC,CAAA;AAC9E,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,QAAgB;IACtD,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAA;AACrD,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,MAAc;IACnD,OAAO,OAAO,KAAK,KAAK,SAAS;QAC/B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,oBAAoB,EAAE,CAAC,CAAC,CAAA;AAC/E,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,MAAc;IACjD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,mBAAmB,EAAE,CAAC,CAAC,CAAA;AAC9E,CAAC;AAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,KAAc,EAAE,MAAc;IACnF,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC/C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,MAAM,IAAI,KAAK,GAAG,CAAC,CAAC,CAAA;AACnG,CAAC,CAAC,CAAA;AAEF,MAAM,4BAA4B,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,KAAc,EAAE,MAAc,EAAE,YAAoB;IACpH,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,MAAM,aAAa,CAAC,CAAA;IAC/E,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,KAAK,SAAS;QAChD,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,MAAM,cAAc,CAAC,CAAA;IAElE,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,MAAM,KAAK,CAAC;QAChD,UAAU;QACV,UAAU,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,MAAM,aAAa,CAAC;QACxE,WAAW,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,MAAM,cAAc,CAAC;QAC3E,OAAO,EAAE,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,MAAM,UAAU,CAAC;QAChE,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;QACtE,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;KACrB,CAAA;AACpC,CAAC,CAAC,CAAA;AAEF,MAAM,8BAA8B,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,KAAc,EAAE,MAAc,EAAE,YAAoB;IACtH,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACvD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,MAAM,QAAQ,CAAC,CAAA;IACvE,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,EAAE,GAAG,MAAM,OAAO,CAAC;QAC9D,cAAc,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,cAAc,EAAE,GAAG,MAAM,iBAAiB,CAAC;QAC5F,KAAK,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,EAAE,GAAG,MAAM,UAAU,KAAK,GAAG,EAAE,YAAY,CAAC,CAAC;KACjG,CAAA;AACtC,CAAC,CAAC,CAAA;AAEF,SAAS,iBAAiB,CAAC,MAAkB,EAAE,KAAa,EAAE,MAAc;IAC1E,OAAO,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,IAAI,KAAK,EAAE,CAAC,CAAA;AAC1D,CAAC;AAED,MAAM,mBAAmB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,eAA2B;IAClF,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,eAAe,EAAE,kBAAkB,CAAC,CAAA;IACpG,OAAO;QACL,eAAe,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,iBAAiB,EAAE,gCAAgC,CAAC;QAC7G,yBAAyB,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,2BAA2B,EAAE,gCAAgC,CAAC;QACjI,eAAe,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,iBAAiB,EAAE,gCAAgC,CAAC;KAC9G,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,wBAAwB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,eAA2B;IACvF,MAAM,kBAAkB,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,oBAAoB,EAAE,kBAAkB,CAAC,CAAA;IAC9G,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,kBAAkB,EAAE,YAAY,EAAE,qCAAqC,CAAC,CAAA;IACpH,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,kBAAkB,CAAC,IAAI,EAAE,0CAA0C,CAAC;QAC9F,cAAc,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,kBAAkB,CAAC,cAAc,EAAE,oDAAoD,CAAC;QAC5H,cAAc,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,kBAAkB,CAAC,cAAc,EAAE,oDAAoD,CAAC;QACjI,UAAU;KACX,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,gCAAgC,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,UAAsB,EAAE,YAAoB;IAChH,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACrG,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,kDAAkD,EAAE,EAAE,CAAC,CAAA;QACpG,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,kDAAkD,EAAE,OAAO,CAAC,CAAA;QACtH,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC,CAAA;QAC3D,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;QAChD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,wCAAwC,aAAa,EAAE,EAAE,CAAC,CAAA;QACnI,CAAC;QACD,OAAO;YACL,SAAS,EAAE,IAAI;YACf,EAAE;YACF,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,WAAW,EAAE,kDAAkD,EAAE,cAAc,CAAC;YAC3H,cAAc,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,cAAc,EAAE,kDAAkD,EAAE,iBAAiB,CAAC;SAC3F,CAAA;IAC7C,CAAC,CAAC,CAAC,CAAA;IAEH,OAAO;QACL,IAAI,EAAE,+BAA+B;QACrC,UAAU,EAAE,OAAO;KACiB,CAAA;AACxC,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,OAAe;IAC1E,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IAC1C,MAAM,2BAA2B,GAAG,uCAAuC,CAAA;IAC3E,MAAM,mBAAmB,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,2BAA2B,CAAC,CAAA;IAChF,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,cAAc,CAAC,CAAA;IAE/D,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,CAAA;IAC9E,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAA;IAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAA;IAC1F,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAA;IAC1F,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,cAAc,EAAE,0CAA0C,CAAC,CAAA;IAC/G,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,cAAc,EAAE,6BAA6B,cAAc,EAAE,CAAC,CAAA;IACzH,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,eAAe,EAAE,6BAA6B,cAAc,EAAE,CAAC,CAAA;IAC/H,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,iBAAiB,EAAE,6BAA6B,cAAc,EAAE,CAAC,CAAA;IACnI,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,gBAAgB,EAAE,6BAA6B,cAAc,EAAE,CAAC,CAAA;IACjI,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,CAAC,CAAA;IACxG,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,KAAK,EAAE,cAAc,CAAC,CAAA;IACnF,MAAM,sBAAsB,GAAG,KAAK,CAAC,CAAC,wBAAwB,CAAC,eAAe,CAAC,CAAA;IAC/E,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAA;IACjE,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAA;IAClF,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAA;IAC3F,MAAM,cAAc,GAAG,cAAc,CAAC,eAAe,CAAC,cAAc,EAAE,SAAS,CAAC,CAAA;IAChF,MAAM,WAAW,GAAG,GAAG,WAAW,IAAI,cAAc,EAAE,CAAA;IACtD,MAAM,qBAAqB,GAAG;QAC5B,WAAW,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,aAAa,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;QAChI,QAAQ,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,UAAU,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;QAC1H,YAAY,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,cAAc,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;QAClI,cAAc,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,gBAAgB,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;QACtI,UAAU,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,YAAY,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;QAC9H,kBAAkB,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,oBAAoB,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;KAC/G,CAAA;IAEjC,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,YAAY;QACZ,mBAAmB;QACnB,2BAA2B;QAC3B,uBAAuB,EAAE;YACvB,WAAW;YACX,cAAc;YACd,cAAc;YACd,YAAY;YACZ,eAAe;YACf,mBAAmB;YACnB,WAAW;YACX,uBAAuB,EAAE,uBAAuB,WAAW,mCAAmC;YAC9F,+BAA+B,EAAE;gBAC/B,uBAAuB,EAAE;oBACvB,cAAc,EAAE,wBAAwB;oBACxC,IAAI,EAAE,iCAAiC;oBACvC,wBAAwB,EAAE,KAAK;iBAChC;aACF;SACF;QACD,cAAc,EAAE;YACd,WAAW;YACX,cAAc;YACd,OAAO,EAAE,gBAAgB;YACzB,OAAO,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,iCAAiC,CAAC;YAC7F,gBAAgB,EAAE,uDAAuD;YACzE,YAAY,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,KAAK,EAAE,oBAAoB,CAAC;SACpF;QACD,QAAQ,EAAE;YACR,EAAE,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,EAAE,8BAA8B,CAAC;YACpE,eAAe,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,eAAe,EAAE,2CAA2C,CAAC;YAC3G,eAAe,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,eAAe,EAAE,2CAA2C,CAAC;YAC3G,cAAc;SACf;QACD,eAAe,EAAE,cAAc;QAC/B,SAAS,EAAE;YACT,IAAI,EAAE,oBAAoB;YAC1B,QAAQ,EAAE,SAAS;YACnB,aAAa,EAAE,2BAA2B;YAC1C,oBAAoB,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,cAAc,EAAE,iDAAiD,CAAC;SAC7H;QACD,aAAa;QACb,qBAAqB;QACrB,qBAAqB,EAAE;YACrB,cAAc,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,cAAc,EAAE,6BAA6B,cAAc,iCAAiC,CAAC;YACtJ,oBAAoB,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,oBAAoB,EAAE,6BAA6B,cAAc,uCAAuC,CAAC;YACxK,mBAAmB,EAAE,KAAK,CAAC,CAAC,8BAA8B,CAAC,aAAa,CAAC,mBAAmB,EAAE,6BAA6B,cAAc,oCAAoC,EAAE,YAAY,CAAC;YAC5L,QAAQ,EAAE,KAAK,CAAC,CAAC,8BAA8B,CAAC,aAAa,CAAC,QAAQ,EAAE,6BAA6B,cAAc,yBAAyB,EAAE,YAAY,CAAC;YAC3J,aAAa,EAAE,qBAAqB;SACrC;QACD,sBAAsB;QACtB,0BAA0B,EAAE,KAAK,CAAC,CAAC,gCAAgC,CAAC,sBAAsB,CAAC,UAAU,EAAE,YAAY,CAAC;QACpH,gBAAgB,EAAE;YAChB,kBAAkB,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,WAAW,EAAE,6BAA6B,cAAc,cAAc,CAAC;YAC/H,aAAa,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,aAAa,EAAE,6BAA6B,cAAc,gBAAgB,CAAC;YACnI,cAAc,EAAE;gBACd,oBAAoB,EAAE,KAAK,CAAC,CAAC,aAAa,CAAC,cAAc,CAAC,oBAAoB,EAAE,6BAA6B,cAAc,sCAAsC,CAAC;gBAClK,cAAc,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,cAAc,CAAC,cAAc,EAAE,6BAA6B,cAAc,gCAAgC,CAAC;gBAC/I,oBAAoB,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,cAAc,CAAC,oBAAoB,EAAE,6BAA6B,cAAc,sCAAsC,CAAC;gBACtK,2BAA2B,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,cAAc,CAAC,2BAA2B,EAAE,6BAA6B,cAAc,6CAA6C,CAAC;aAC5L;YACD,qBAAqB,EAAE,KAAK,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,eAAe,EAAE,kBAAkB,CAAC;YACrG,kBAAkB,EAAE,sBAAsB,CAAC,UAAU;SACtD;QACD,uBAAuB,EAAE,aAAa,CAAC,eAAe;KAC3B,CAAA;AAC/B,CAAC,CAAC,CAAA","sourcesContent":["import { Effect, FileSystem, Path } from 'effect'\nimport { readJson } from '../platform/Json.ts'\nimport { HarnessError } from './Errors.ts'\nimport { isRecord } from './verify/JsonFields.ts'\n\ntype JsonRecord = Record<string, unknown>\n\ninterface ManagedFileDeclaration {\n  readonly id: string\n  readonly sourcePath: string\n  readonly targetPath: string\n  readonly contentType: string\n  readonly managed: boolean\n  readonly content: string\n  readonly targetUsage?: string\n}\n\ninterface ManagedFilesContribution {\n  readonly mode: string\n  readonly targetBasePath: string\n  readonly files: ReadonlyArray<ManagedFileDeclaration>\n}\n\ninterface SemanticContributions {\n  readonly packageJson: JsonRecord\n  readonly tsconfig: JsonRecord\n  readonly editorPolicy: JsonRecord\n  readonly lintGuardrails: JsonRecord\n  readonly testPolicy: JsonRecord\n  readonly verificationPolicy: JsonRecord\n}\n\ninterface ArtifactOnlyReferenceAuditEntry {\n  readonly id: string\n  readonly path: string\n  readonly sourceEntry: string\n  readonly targetDelivery: string\n  readonly available: true\n}\n\ninterface ArtifactOnlyReferenceAudit {\n  readonly mode: 'artifact-only-reference-audit'\n  readonly references: ReadonlyArray<ArtifactOnlyReferenceAuditEntry>\n}\n\ninterface NpmInvocationFailureClassification {\n  readonly classification: 'npm-invocation-failure'\n  readonly code: 'npm-command-failed' | 'npm-same-name-cwd-short-circuit'\n  readonly providerDiscoveryStarted: false\n}\n\ninterface ProviderDiscoveryFailureClassification {\n  readonly classification: 'provider-discovery-failure'\n  readonly code: 'provider-discovery-error'\n  readonly providerDiscoveryStarted: true\n}\n\nexport interface ProviderDiscoveryFailureInput {\n  readonly stderr: string\n  readonly stdout?: string\n  readonly cwdPackageName?: string\n  readonly cwdPackageVersion?: string\n  readonly requestedPackageName?: string\n  readonly requestedPackageVersion?: string\n}\n\nexport type ProviderDiscoveryFailure\n  = | NpmInvocationFailureClassification\n    | ProviderDiscoveryFailureClassification\n\nexport interface ProviderDiscovery {\n  readonly schemaVersion: 1\n  readonly artifactRoot: string\n  readonly providerProfilePath: string\n  readonly providerProfileRelativePath: 'provider/effect-harness.provider.json'\n  readonly packageArtifactIdentity: {\n    readonly packageName: string\n    readonly packageVersion: string\n    readonly packageManager: string\n    readonly artifactRoot: string\n    readonly packageJsonPath: string\n    readonly providerProfilePath: string\n    readonly npmSelector: string\n    readonly neutralDiscoveryCommand: string\n    readonly invocationFailureClassification: {\n      readonly sameNameCwdShortCircuit: NpmInvocationFailureClassification\n    }\n  }\n  readonly packageLocator: {\n    readonly packageName: string\n    readonly packageVersion: string\n    readonly binName: 'effect-harness'\n    readonly binPath: string\n    readonly discoveryCommand: string\n    readonly packageFiles: ReadonlyArray<string>\n  }\n  readonly provider: {\n    readonly id: string\n    readonly contractVersion: string\n    readonly providerVersion: string\n    readonly defaultProfile: string\n  }\n  readonly selectedProfile: string\n  readonly discovery: {\n    readonly mode: 'provider-discovery'\n    readonly consumer: 'prelude'\n    readonly profileSource: 'provider/effect-harness.provider.json'\n    readonly targetLifecycleOwner: string\n  }\n  readonly deliveryModes: {\n    readonly internalHarness: JsonRecord\n    readonly providerArtifactReference: JsonRecord\n    readonly exportedHarness: JsonRecord\n  }\n  readonly semanticContributions: SemanticContributions\n  readonly targetManagedSurfaces: {\n    readonly targetReceives: ReadonlyArray<string>\n    readonly targetDoesNotReceive: ReadonlyArray<string>\n    readonly documentationBundle: ManagedFilesContribution\n    readonly snippets: ManagedFilesContribution\n    readonly contributions: SemanticContributions\n  }\n  readonly artifactOnlyReferences: {\n    readonly mode: string\n    readonly targetDelivery: string\n    readonly packageSurface: ReadonlyArray<string>\n    readonly references: JsonRecord\n  }\n  readonly artifactOnlyReferenceAudit: ArtifactOnlyReferenceAudit\n  readonly sourceIdentities: {\n    readonly defaultSourceEntry: string\n    readonly sourceEntries: ReadonlyArray<string>\n    readonly sourceBoundary: {\n      readonly providerRepoInternal: boolean\n      readonly targetDelivery: string\n      readonly targetMustNotReceive: ReadonlyArray<string>\n      readonly allowedTargetSourceIdentity: ReadonlyArray<string>\n    }\n    readonly providerSourceEntries: JsonRecord\n    readonly artifactReferences: JsonRecord\n  }\n  readonly internalHarnessSurfaces: JsonRecord\n}\n\nexport function resolvePackageArtifactRoot(entrypoint: string): string {\n  for (const marker of ['/dist/bin/', '/dist/src/', '/bin/', '/src/']) {\n    const index = entrypoint.indexOf(marker)\n    if (index >= 0) {\n      return entrypoint.slice(0, index)\n    }\n  }\n  return entrypoint\n}\n\nexport function classifyProviderDiscoveryFailure(input: ProviderDiscoveryFailureInput): ProviderDiscoveryFailure {\n  const sameRequestedPackage = input.cwdPackageName === input.requestedPackageName\n    && input.cwdPackageVersion === input.requestedPackageVersion\n  const commandNotFound = /(?:^|\\n)(?:sh: )?effect-harness: command not found(?:\\n|$)/u.test(input.stderr)\n\n  if (sameRequestedPackage && commandNotFound) {\n    return {\n      classification: 'npm-invocation-failure',\n      code: 'npm-same-name-cwd-short-circuit',\n      providerDiscoveryStarted: false,\n    }\n  }\n\n  if (commandNotFound || input.stderr.includes('Cannot find package') || input.stderr.includes('npm ERR!')) {\n    return {\n      classification: 'npm-invocation-failure',\n      code: 'npm-command-failed',\n      providerDiscoveryStarted: false,\n    }\n  }\n\n  return {\n    classification: 'provider-discovery-failure',\n    code: 'provider-discovery-error',\n    providerDiscoveryStarted: true,\n  }\n}\n\nfunction decodeJsonRecord(value: unknown, source: string): Effect.Effect<JsonRecord, HarnessError> {\n  return isRecord(value)\n    ? Effect.succeed(value)\n    : Effect.fail(new HarnessError({ message: `${source} must be a JSON object` }))\n}\n\nfunction expectRecord(value: unknown, source: string): Effect.Effect<JsonRecord, HarnessError> {\n  return isRecord(value)\n    ? Effect.succeed(value)\n    : Effect.fail(new HarnessError({ message: `${source} must be a JSON object` }))\n}\n\nfunction expectString(value: unknown, source: string): Effect.Effect<string, HarnessError> {\n  return typeof value === 'string'\n    ? Effect.succeed(value)\n    : Effect.fail(new HarnessError({ message: `${source} must be a string` }))\n}\n\nfunction optionalString(value: unknown, fallback: string): string {\n  return typeof value === 'string' ? value : fallback\n}\n\nfunction expectBoolean(value: unknown, source: string): Effect.Effect<boolean, HarnessError> {\n  return typeof value === 'boolean'\n    ? Effect.succeed(value)\n    : Effect.fail(new HarnessError({ message: `${source} must be a boolean` }))\n}\n\nfunction expectArray(value: unknown, source: string): Effect.Effect<ReadonlyArray<unknown>, HarnessError> {\n  return Array.isArray(value)\n    ? Effect.succeed(value)\n    : Effect.fail(new HarnessError({ message: `${source} must be an array` }))\n}\n\nconst expectStringArray = Effect.fnUntraced(function* (value: unknown, source: string) {\n  const array = yield* expectArray(value, source)\n  return yield* Effect.forEach(array, (entry, index) => expectString(entry, `${source}[${index}]`))\n})\n\nconst expectManagedFileDeclaration = Effect.fnUntraced(function* (value: unknown, source: string, artifactRoot: string) {\n  const file = yield* expectRecord(value, source)\n  const path = yield* Path.Path\n  const fs = yield* FileSystem.FileSystem\n  const sourcePath = yield* expectString(file.sourcePath, `${source}.sourcePath`)\n  const targetUsage = file.targetUsage === undefined\n    ? undefined\n    : yield* expectString(file.targetUsage, `${source}.targetUsage`)\n\n  return {\n    id: yield* expectString(file.id, `${source}.id`),\n    sourcePath,\n    targetPath: yield* expectString(file.targetPath, `${source}.targetPath`),\n    contentType: yield* expectString(file.contentType, `${source}.contentType`),\n    managed: yield* expectBoolean(file.managed, `${source}.managed`),\n    content: yield* fs.readFileString(path.join(artifactRoot, sourcePath)),\n    ...(targetUsage === undefined ? {} : { targetUsage }),\n  } satisfies ManagedFileDeclaration\n})\n\nconst expectManagedFilesContribution = Effect.fnUntraced(function* (value: unknown, source: string, artifactRoot: string) {\n  const contribution = yield* expectRecord(value, source)\n  const files = yield* expectArray(contribution.files, `${source}.files`)\n  return {\n    mode: yield* expectString(contribution.mode, `${source}.mode`),\n    targetBasePath: yield* expectString(contribution.targetBasePath, `${source}.targetBasePath`),\n    files: yield* Effect.forEach(files, (file, index) => expectManagedFileDeclaration(file, `${source}.files[${index}]`, artifactRoot)),\n  } satisfies ManagedFilesContribution\n})\n\nfunction expectNamedRecord(record: JsonRecord, field: string, source: string): Effect.Effect<JsonRecord, HarnessError> {\n  return expectRecord(record[field], `${source}.${field}`)\n}\n\nconst expectDeliveryModes = Effect.fnUntraced(function* (providerProfile: JsonRecord) {\n  const deliveryModes = yield* expectNamedRecord(providerProfile, 'deliveryModes', 'provider profile')\n  return {\n    internalHarness: yield* expectNamedRecord(deliveryModes, 'internalHarness', 'provider profile.deliveryModes'),\n    providerArtifactReference: yield* expectNamedRecord(deliveryModes, 'providerArtifactReference', 'provider profile.deliveryModes'),\n    exportedHarness: yield* expectNamedRecord(deliveryModes, 'exportedHarness', 'provider profile.deliveryModes'),\n  }\n})\n\nconst expectArtifactReferences = Effect.fnUntraced(function* (providerProfile: JsonRecord) {\n  const artifactReferences = yield* expectNamedRecord(providerProfile, 'artifactReferences', 'provider profile')\n  const references = yield* expectNamedRecord(artifactReferences, 'references', 'provider profile.artifactReferences')\n  return {\n    mode: yield* expectString(artifactReferences.mode, 'provider profile.artifactReferences.mode'),\n    targetDelivery: yield* expectString(artifactReferences.targetDelivery, 'provider profile.artifactReferences.targetDelivery'),\n    packageSurface: yield* expectStringArray(artifactReferences.packageSurface, 'provider profile.artifactReferences.packageSurface'),\n    references,\n  }\n})\n\nconst expectArtifactOnlyReferenceAudit = Effect.fnUntraced(function* (references: JsonRecord, artifactRoot: string) {\n  const fs = yield* FileSystem.FileSystem\n  const path = yield* Path.Path\n  const entries = yield* Effect.forEach(Object.entries(references), ([id, value]) => Effect.gen(function* () {\n    const reference = yield* expectRecord(value, `provider profile.artifactReferences.references.${id}`)\n    const referencePath = yield* expectString(reference.path, `provider profile.artifactReferences.references.${id}.path`)\n    const absolutePath = path.join(artifactRoot, referencePath)\n    const available = yield* fs.exists(absolutePath)\n    if (!available) {\n      return yield* new HarnessError({ message: `artifact-only reference ${id} is missing from package artifact at ${referencePath}` })\n    }\n    return {\n      available: true,\n      id,\n      path: referencePath,\n      sourceEntry: yield* expectString(reference.sourceEntry, `provider profile.artifactReferences.references.${id}.sourceEntry`),\n      targetDelivery: yield* expectString(reference.targetDelivery, `provider profile.artifactReferences.references.${id}.targetDelivery`),\n    } satisfies ArtifactOnlyReferenceAuditEntry\n  }))\n\n  return {\n    mode: 'artifact-only-reference-audit',\n    references: entries,\n  } satisfies ArtifactOnlyReferenceAudit\n})\n\nexport const discoverProvider = Effect.fnUntraced(function* (harness: string) {\n  const path = yield* Path.Path\n  const artifactRoot = path.resolve(harness)\n  const providerProfileRelativePath = 'provider/effect-harness.provider.json'\n  const providerProfilePath = path.join(artifactRoot, providerProfileRelativePath)\n  const packageJsonPath = path.join(artifactRoot, 'package.json')\n\n  const providerProfile = yield* readJson(providerProfilePath, decodeJsonRecord)\n  const packageManifest = yield* readJson(packageJsonPath, decodeJsonRecord)\n  const provider = yield* expectNamedRecord(providerProfile, 'provider', 'provider profile')\n  const profiles = yield* expectNamedRecord(providerProfile, 'profiles', 'provider profile')\n  const defaultProfile = yield* expectString(provider.defaultProfile, 'provider profile.provider.defaultProfile')\n  const selectedProfile = yield* expectNamedRecord(profiles, defaultProfile, `provider profile.profiles.${defaultProfile}`)\n  const contributions = yield* expectNamedRecord(selectedProfile, 'contributions', `provider profile.profiles.${defaultProfile}`)\n  const managedSurfaces = yield* expectNamedRecord(selectedProfile, 'managedSurfaces', `provider profile.profiles.${defaultProfile}`)\n  const sourceBoundary = yield* expectNamedRecord(selectedProfile, 'sourceBoundary', `provider profile.profiles.${defaultProfile}`)\n  const selfConformance = yield* expectNamedRecord(providerProfile, 'selfConformance', 'provider profile')\n  const packageBin = yield* expectNamedRecord(packageManifest, 'bin', 'package.json')\n  const artifactOnlyReferences = yield* expectArtifactReferences(providerProfile)\n  const deliveryModes = yield* expectDeliveryModes(providerProfile)\n  const packageName = yield* expectString(packageManifest.name, 'package.json.name')\n  const packageVersion = yield* expectString(packageManifest.version, 'package.json.version')\n  const packageManager = optionalString(packageManifest.packageManager, 'unknown')\n  const npmSelector = `${packageName}@${packageVersion}`\n  const semanticContributions = {\n    packageJson: yield* expectNamedRecord(contributions, 'packageJson', `provider profile.profiles.${defaultProfile}.contributions`),\n    tsconfig: yield* expectNamedRecord(contributions, 'tsconfig', `provider profile.profiles.${defaultProfile}.contributions`),\n    editorPolicy: yield* expectNamedRecord(contributions, 'editorPolicy', `provider profile.profiles.${defaultProfile}.contributions`),\n    lintGuardrails: yield* expectNamedRecord(contributions, 'lintGuardrails', `provider profile.profiles.${defaultProfile}.contributions`),\n    testPolicy: yield* expectNamedRecord(contributions, 'testPolicy', `provider profile.profiles.${defaultProfile}.contributions`),\n    verificationPolicy: yield* expectNamedRecord(contributions, 'verificationPolicy', `provider profile.profiles.${defaultProfile}.contributions`),\n  } satisfies SemanticContributions\n\n  return {\n    schemaVersion: 1,\n    artifactRoot,\n    providerProfilePath,\n    providerProfileRelativePath,\n    packageArtifactIdentity: {\n      packageName,\n      packageVersion,\n      packageManager,\n      artifactRoot,\n      packageJsonPath,\n      providerProfilePath,\n      npmSelector,\n      neutralDiscoveryCommand: `npx --yes --package ${npmSelector} effect-harness provider-discover`,\n      invocationFailureClassification: {\n        sameNameCwdShortCircuit: {\n          classification: 'npm-invocation-failure',\n          code: 'npm-same-name-cwd-short-circuit',\n          providerDiscoveryStarted: false,\n        },\n      },\n    },\n    packageLocator: {\n      packageName,\n      packageVersion,\n      binName: 'effect-harness',\n      binPath: yield* expectString(packageBin['effect-harness'], 'package.json.bin.effect-harness'),\n      discoveryCommand: 'npx --yes @sayoriqwq/effect-harness provider-discover',\n      packageFiles: yield* expectStringArray(packageManifest.files, 'package.json.files'),\n    },\n    provider: {\n      id: yield* expectString(provider.id, 'provider profile.provider.id'),\n      contractVersion: yield* expectString(provider.contractVersion, 'provider profile.provider.contractVersion'),\n      providerVersion: yield* expectString(provider.providerVersion, 'provider profile.provider.providerVersion'),\n      defaultProfile,\n    },\n    selectedProfile: defaultProfile,\n    discovery: {\n      mode: 'provider-discovery',\n      consumer: 'prelude',\n      profileSource: providerProfileRelativePath,\n      targetLifecycleOwner: yield* expectString(selfConformance.lifecycleOwner, 'provider profile.selfConformance.lifecycleOwner'),\n    },\n    deliveryModes,\n    semanticContributions,\n    targetManagedSurfaces: {\n      targetReceives: yield* expectStringArray(managedSurfaces.targetReceives, `provider profile.profiles.${defaultProfile}.managedSurfaces.targetReceives`),\n      targetDoesNotReceive: yield* expectStringArray(managedSurfaces.targetDoesNotReceive, `provider profile.profiles.${defaultProfile}.managedSurfaces.targetDoesNotReceive`),\n      documentationBundle: yield* expectManagedFilesContribution(contributions.documentationBundle, `provider profile.profiles.${defaultProfile}.contributions.documentationBundle`, artifactRoot),\n      snippets: yield* expectManagedFilesContribution(contributions.snippets, `provider profile.profiles.${defaultProfile}.contributions.snippets`, artifactRoot),\n      contributions: semanticContributions,\n    },\n    artifactOnlyReferences,\n    artifactOnlyReferenceAudit: yield* expectArtifactOnlyReferenceAudit(artifactOnlyReferences.references, artifactRoot),\n    sourceIdentities: {\n      defaultSourceEntry: yield* expectString(selectedProfile.sourceEntry, `provider profile.profiles.${defaultProfile}.sourceEntry`),\n      sourceEntries: yield* expectStringArray(selectedProfile.sourceEntries, `provider profile.profiles.${defaultProfile}.sourceEntries`),\n      sourceBoundary: {\n        providerRepoInternal: yield* expectBoolean(sourceBoundary.providerRepoInternal, `provider profile.profiles.${defaultProfile}.sourceBoundary.providerRepoInternal`),\n        targetDelivery: yield* expectString(sourceBoundary.targetDelivery, `provider profile.profiles.${defaultProfile}.sourceBoundary.targetDelivery`),\n        targetMustNotReceive: yield* expectStringArray(sourceBoundary.targetMustNotReceive, `provider profile.profiles.${defaultProfile}.sourceBoundary.targetMustNotReceive`),\n        allowedTargetSourceIdentity: yield* expectStringArray(sourceBoundary.allowedTargetSourceIdentity, `provider profile.profiles.${defaultProfile}.sourceBoundary.allowedTargetSourceIdentity`),\n      },\n      providerSourceEntries: yield* expectNamedRecord(providerProfile, 'sourceEntries', 'provider profile'),\n      artifactReferences: artifactOnlyReferences.references,\n    },\n    internalHarnessSurfaces: deliveryModes.internalHarness,\n  } satisfies ProviderDiscovery\n})\n"]}

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

@@ -465,12 +465,18 @@ function assertArtifactReference(errors, references, expected) {
     assertStringValue(errors, stringField(errors, reference, 'targetDelivery', `provider profile.artifactReferences.references.${expected.id}`), 'artifact-only', `provider profile.artifactReferences.references.${expected.id}.targetDelivery`);
 }
 function assertArtifactReferencesContract(errors, providerProfile, packageManifest) {
+    assertStringValue(errors, stringField(errors, packageManifest, 'main', 'package.json'), 'dist/src/index.js', 'package.json.main');
+    assertStringValue(errors, stringField(errors, packageManifest, 'types', 'package.json'), 'dist/src/index.d.ts', 'package.json.types');
+    const packageExports = recordField(errors, packageManifest, 'exports', 'package.json');
+    const rootExport = recordField(errors, packageExports, '.', 'package.json.exports');
+    assertStringValue(errors, stringField(errors, rootExport, 'import', 'package.json.exports["."]'), './dist/src/index.js', 'package.json.exports["."].import');
+    assertStringValue(errors, stringField(errors, rootExport, 'types', 'package.json.exports["."]'), './dist/src/index.d.ts', 'package.json.exports["."].types');
     const artifactReferences = recordField(errors, providerProfile, 'artifactReferences', 'provider profile');
     assertStringValue(errors, stringField(errors, artifactReferences, 'mode', 'provider profile.artifactReferences'), 'provider-artifact-reference', 'provider profile.artifactReferences.mode');
     assertStringValue(errors, stringField(errors, artifactReferences, 'targetDelivery', 'provider profile.artifactReferences'), 'identity-only', 'provider profile.artifactReferences.targetDelivery');
     const packageFiles = arrayField(errors, packageManifest, 'files', 'package.json');
     const packageSurface = arrayField(errors, artifactReferences, 'packageSurface', 'provider profile.artifactReferences');
-    for (const path of ['provider', 'harness', 'repos', 'repos/effect.subtree.json', 'repos/tsgo.subtree.json']) {
+    for (const path of ['dist', 'provider', 'harness', 'repos', 'repos/effect.subtree.json', 'repos/tsgo.subtree.json']) {
         assertArrayContainsString(errors, packageFiles, path, 'package.json.files');
         assertArrayContainsString(errors, packageSurface, path, 'provider profile.artifactReferences.packageSurface');
     }
@@ -539,14 +545,14 @@ export const verifyProviderProfileContract = Effect.fnUntraced(function* (errors
     assertProviderSourceEntry(errors, sourceEntries, {
         contractPath: 'repos/effect.subtree.json',
         id: 'effect-official-source',
-        updateCommand: 'partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run',
-        verifyCommand: 'partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect',
+        updateCommand: 'npx --yes @sayoriqwq/partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run',
+        verifyCommand: 'npx --yes @sayoriqwq/partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect',
     });
     assertProviderSourceEntry(errors, sourceEntries, {
         contractPath: 'repos/tsgo.subtree.json',
         id: 'tsgo-official-source',
-        updateCommand: 'partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run',
-        verifyCommand: 'partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo',
+        updateCommand: 'npx --yes @sayoriqwq/partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run',
+        verifyCommand: 'npx --yes @sayoriqwq/partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo',
     });
     assertPartitaSubtreeContract(errors, effectContract, {
         anchor: 'repos/effect/LLMS.md',
@@ -556,8 +562,8 @@ export const verifyProviderProfileContract = Effect.fnUntraced(function* (errors
         prefix: 'repos/effect',
         repository: 'https://github.com/Effect-TS/effect-smol',
         route: 'harness/effect-routes.md',
-        updateCommand: 'partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run',
-        verifyCommand: 'partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect',
+        updateCommand: 'npx --yes @sayoriqwq/partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run',
+        verifyCommand: 'npx --yes @sayoriqwq/partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect',
     });
     assertPartitaSubtreeContract(errors, tsgoContract, {
         anchor: 'repos/tsgo/README.md',
@@ -567,8 +573,8 @@ export const verifyProviderProfileContract = Effect.fnUntraced(function* (errors
         prefix: 'repos/tsgo',
         repository: 'https://github.com/Effect-TS/tsgo',
         route: 'harness/tsgo-routes.md',
-        updateCommand: 'partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run',
-        verifyCommand: 'partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo',
+        updateCommand: 'npx --yes @sayoriqwq/partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run',
+        verifyCommand: 'npx --yes @sayoriqwq/partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo',
     });
     const providerRecord = recordField(errors, providerProfile, 'providerRecord', 'provider profile');
     const sourceDelivery = recordField(errors, providerRecord, 'sourceDelivery', 'provider profile.providerRecord');
@@ -641,7 +647,7 @@ export const verifyProviderProfileContract = Effect.fnUntraced(function* (errors
         },
         {
             id: 'discovery',
-            requiredKeywords: ['Provider Discovery', 'provider-discover', 'Prelude', 'target-managed surfaces', 'artifact-only', 'internal harness'],
+            requiredKeywords: ['Provider Discovery', 'provider-discover', 'Prelude', 'target-managed surfaces', 'artifact-only', 'internal harness', 'npm selects the artifact', 'effect-harness owns desired semantics', 'Prelude projects the artifact', 'Prelude lifecycle commands', 'npm same-name cwd short-circuit'],
             sourcePath: 'provider/docs/discovery.md',
             targetPath: 'discovery.md',
         },