@sayoriqwq/effect-harness 0.0.4 → 0.1.1

package/dist/src/harness/ModuleSources.js

@@ -1,47 +0,0 @@
-import * as ts from 'typescript';
-function scriptKind(file) {
-    if (file.endsWith('.tsx')) {
-        return ts.ScriptKind.TSX;
-    }
-    if (file.endsWith('.jsx')) {
-        return ts.ScriptKind.JSX;
-    }
-    return ts.ScriptKind.TS;
-}
-function lineOf(sourceFile, node) {
-    return sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile)).line + 1;
-}
-function stringLiteralValue(node) {
-    return node !== undefined && ts.isStringLiteral(node) ? node.text : undefined;
-}
-function addSource(sourceFile, node, sources) {
-    const source = stringLiteralValue(node);
-    if (source === undefined || node === undefined) {
-        return;
-    }
-    sources.push({
-        line: lineOf(sourceFile, node),
-        source,
-    });
-}
-function walk(sourceFile, node, sources) {
-    if (ts.isImportDeclaration(node) || ts.isExportDeclaration(node)) {
-        addSource(sourceFile, node.moduleSpecifier, sources);
-    }
-    else if (ts.isCallExpression(node)) {
-        if (node.expression.kind === ts.SyntaxKind.ImportKeyword) {
-            addSource(sourceFile, node.arguments[0], sources);
-        }
-        else if (ts.isIdentifier(node.expression) && node.expression.text === 'require') {
-            addSource(sourceFile, node.arguments[0], sources);
-        }
-    }
-    ts.forEachChild(node, child => walk(sourceFile, child, sources));
-}
-export function moduleSources(file, text) {
-    const sourceFile = ts.createSourceFile(file, text, ts.ScriptTarget.Latest, true, scriptKind(file));
-    const sources = [];
-    walk(sourceFile, sourceFile, sources);
-    return sources;
-}
-//# sourceMappingURL=ModuleSources.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"ModuleSources.js","sourceRoot":"","sources":["../../../src/harness/ModuleSources.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAA;AAOhC,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAA;IAC1B,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAA;IAC1B,CAAC;IACD,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,CAAA;AACzB,CAAC;AAED,SAAS,MAAM,CAAC,UAAyB,EAAE,IAAa;IACtD,OAAO,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAA;AACrF,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAyB;IACnD,OAAO,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;AAC/E,CAAC;AAED,SAAS,SAAS,CAChB,UAAyB,EACzB,IAAyB,EACzB,OAA4B;IAE5B,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAA;IACvC,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/C,OAAM;IACR,CAAC;IAED,OAAO,CAAC,IAAI,CAAC;QACX,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC;QAC9B,MAAM;KACP,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,UAAyB,EAAE,IAAa,EAAE,OAA4B;IAClF,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjE,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,eAAe,EAAE,OAAO,CAAC,CAAA;IACtD,CAAC;SACI,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;YACzD,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;QACnD,CAAC;aACI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChF,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;QACnD,CAAC;IACH,CAAC;IAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;AAClE,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,IAAY;IACtD,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;IAClG,MAAM,OAAO,GAAwB,EAAE,CAAA;IACvC,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACrC,OAAO,OAAO,CAAA;AAChB,CAAC","sourcesContent":["import * as ts from 'typescript'\n\nexport interface ModuleSource {\n  readonly line: number\n  readonly source: string\n}\n\nfunction scriptKind(file: string): ts.ScriptKind {\n  if (file.endsWith('.tsx')) {\n    return ts.ScriptKind.TSX\n  }\n  if (file.endsWith('.jsx')) {\n    return ts.ScriptKind.JSX\n  }\n  return ts.ScriptKind.TS\n}\n\nfunction lineOf(sourceFile: ts.SourceFile, node: ts.Node): number {\n  return sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile)).line + 1\n}\n\nfunction stringLiteralValue(node: ts.Node | undefined): string | undefined {\n  return node !== undefined && ts.isStringLiteral(node) ? node.text : undefined\n}\n\nfunction addSource(\n  sourceFile: ts.SourceFile,\n  node: ts.Node | undefined,\n  sources: Array<ModuleSource>,\n): void {\n  const source = stringLiteralValue(node)\n  if (source === undefined || node === undefined) {\n    return\n  }\n\n  sources.push({\n    line: lineOf(sourceFile, node),\n    source,\n  })\n}\n\nfunction walk(sourceFile: ts.SourceFile, node: ts.Node, sources: Array<ModuleSource>): void {\n  if (ts.isImportDeclaration(node) || ts.isExportDeclaration(node)) {\n    addSource(sourceFile, node.moduleSpecifier, sources)\n  }\n  else if (ts.isCallExpression(node)) {\n    if (node.expression.kind === ts.SyntaxKind.ImportKeyword) {\n      addSource(sourceFile, node.arguments[0], sources)\n    }\n    else if (ts.isIdentifier(node.expression) && node.expression.text === 'require') {\n      addSource(sourceFile, node.arguments[0], sources)\n    }\n  }\n\n  ts.forEachChild(node, child => walk(sourceFile, child, sources))\n}\n\nexport function moduleSources(file: string, text: string): ReadonlyArray<ModuleSource> {\n  const sourceFile = ts.createSourceFile(file, text, ts.ScriptTarget.Latest, true, scriptKind(file))\n  const sources: Array<ModuleSource> = []\n  walk(sourceFile, sourceFile, sources)\n  return sources\n}\n"]}

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

@@ -1,172 +0,0 @@
-import { Effect, FileSystem, Path } from 'effect';
-import { HarnessError } from './Errors.ts';
-type JsonRecord = Record<string, unknown>;
-interface ManagedFileDeclaration {
-    readonly id: string;
-    readonly sourcePath: string;
-    readonly targetPath: string;
-    readonly contentType: string;
-    readonly managed: boolean;
-    readonly content: string;
-    readonly targetUsage?: string;
-}
-interface ManagedFilesContribution {
-    readonly mode: string;
-    readonly targetBasePath: string;
-    readonly files: ReadonlyArray<ManagedFileDeclaration>;
-}
-export interface ProviderDiscovery {
-    readonly schemaVersion: 1;
-    readonly artifactRoot: string;
-    readonly providerProfilePath: string;
-    readonly providerProfileRelativePath: 'provider/effect-harness.provider.json';
-    readonly packageLocator: {
-        readonly packageName: string;
-        readonly packageVersion: string;
-        readonly binName: 'effect-harness';
-        readonly binPath: string;
-        readonly discoveryCommand: string;
-        readonly packageFiles: ReadonlyArray<string>;
-    };
-    readonly provider: {
-        readonly id: string;
-        readonly contractVersion: string;
-        readonly providerVersion: string;
-        readonly defaultProfile: string;
-    };
-    readonly selectedProfile: string;
-    readonly discovery: {
-        readonly mode: 'provider-discovery';
-        readonly consumer: 'prelude';
-        readonly profileSource: 'provider/effect-harness.provider.json';
-        readonly targetLifecycleOwner: string;
-    };
-    readonly deliveryModes: {
-        readonly internalHarness: JsonRecord;
-        readonly providerArtifactReference: JsonRecord;
-        readonly exportedHarness: JsonRecord;
-    };
-    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 artifactOnlyReferences: {
-        readonly mode: string;
-        readonly targetDelivery: string;
-        readonly packageSurface: ReadonlyArray<string>;
-        readonly references: JsonRecord;
-    };
-    readonly sourceIdentities: {
-        readonly defaultSourceEntry: string;
-        readonly sourceEntries: ReadonlyArray<string>;
-        readonly sourceBoundary: {
-            readonly providerRepoInternal: boolean;
-            readonly targetDelivery: string;
-            readonly targetMustNotReceive: ReadonlyArray<string>;
-            readonly allowedTargetSourceIdentity: ReadonlyArray<string>;
-        };
-        readonly providerSourceEntries: JsonRecord;
-        readonly artifactReferences: JsonRecord;
-    };
-    readonly internalHarnessSurfaces: JsonRecord;
-}
-export declare const discoverProvider: (harness: string) => Effect.Effect<{
-    schemaVersion: 1;
-    artifactRoot: string;
-    providerProfilePath: string;
-    providerProfileRelativePath: "provider/effect-harness.provider.json";
-    packageLocator: {
-        packageName: string;
-        packageVersion: string;
-        binName: "effect-harness";
-        binPath: string;
-        discoveryCommand: string;
-        packageFiles: string[];
-    };
-    provider: {
-        id: string;
-        contractVersion: string;
-        providerVersion: string;
-        defaultProfile: string;
-    };
-    selectedProfile: string;
-    discovery: {
-        mode: "provider-discovery";
-        consumer: "prelude";
-        profileSource: "provider/effect-harness.provider.json";
-        targetLifecycleOwner: string;
-    };
-    deliveryModes: {
-        internalHarness: JsonRecord;
-        providerArtifactReference: JsonRecord;
-        exportedHarness: JsonRecord;
-    };
-    targetManagedSurfaces: {
-        targetReceives: string[];
-        targetDoesNotReceive: string[];
-        documentationBundle: {
-            mode: string;
-            targetBasePath: string;
-            files: {
-                targetUsage?: string;
-                id: string;
-                sourcePath: string;
-                targetPath: string;
-                contentType: string;
-                managed: boolean;
-                content: string;
-            }[];
-        };
-        snippets: {
-            mode: string;
-            targetBasePath: string;
-            files: {
-                targetUsage?: string;
-                id: string;
-                sourcePath: string;
-                targetPath: string;
-                contentType: string;
-                managed: boolean;
-                content: string;
-            }[];
-        };
-        contributions: {
-            packageJson: JsonRecord;
-            tsconfig: JsonRecord;
-            editorPolicy: JsonRecord;
-            lintGuardrails: JsonRecord;
-            testPolicy: JsonRecord;
-            verificationPolicy: JsonRecord;
-        };
-    };
-    artifactOnlyReferences: {
-        mode: string;
-        targetDelivery: string;
-        packageSurface: string[];
-        references: JsonRecord;
-    };
-    sourceIdentities: {
-        defaultSourceEntry: string;
-        sourceEntries: string[];
-        sourceBoundary: {
-            providerRepoInternal: boolean;
-            targetDelivery: string;
-            targetMustNotReceive: string[];
-            allowedTargetSourceIdentity: string[];
-        };
-        providerSourceEntries: JsonRecord;
-        artifactReferences: JsonRecord;
-    };
-    internalHarnessSurfaces: JsonRecord;
-}, HarnessError | import("effect/PlatformError").PlatformError, FileSystem.FileSystem | Path.Path>;
-export {};

package/dist/src/harness/ProviderDiscovery.js

@@ -1,157 +0,0 @@
-import { Effect, FileSystem, Path } from 'effect';
-import { readJson } from "../platform/Json.js";
-import { HarnessError } from "./Errors.js";
-import { isRecord } from "./verify/JsonFields.js";
-function decodeJsonRecord(value, source) {
-    return isRecord(value)
-        ? Effect.succeed(value)
-        : Effect.fail(new HarnessError({ message: `${source} must be a JSON object` }));
-}
-function expectRecord(value, source) {
-    return isRecord(value)
-        ? Effect.succeed(value)
-        : Effect.fail(new HarnessError({ message: `${source} must be a JSON object` }));
-}
-function expectString(value, source) {
-    return typeof value === 'string'
-        ? Effect.succeed(value)
-        : Effect.fail(new HarnessError({ message: `${source} must be a string` }));
-}
-function expectBoolean(value, source) {
-    return typeof value === 'boolean'
-        ? Effect.succeed(value)
-        : Effect.fail(new HarnessError({ message: `${source} must be a boolean` }));
-}
-function expectArray(value, source) {
-    return Array.isArray(value)
-        ? Effect.succeed(value)
-        : Effect.fail(new HarnessError({ message: `${source} must be an array` }));
-}
-const expectStringArray = Effect.fnUntraced(function* (value, source) {
-    const array = yield* expectArray(value, source);
-    return yield* Effect.forEach(array, (entry, index) => expectString(entry, `${source}[${index}]`));
-});
-const expectManagedFileDeclaration = Effect.fnUntraced(function* (value, source, artifactRoot) {
-    const file = yield* expectRecord(value, source);
-    const path = yield* Path.Path;
-    const fs = yield* FileSystem.FileSystem;
-    const sourcePath = yield* expectString(file.sourcePath, `${source}.sourcePath`);
-    const targetUsage = file.targetUsage === undefined
-        ? undefined
-        : yield* expectString(file.targetUsage, `${source}.targetUsage`);
-    return {
-        id: yield* expectString(file.id, `${source}.id`),
-        sourcePath,
-        targetPath: yield* expectString(file.targetPath, `${source}.targetPath`),
-        contentType: yield* expectString(file.contentType, `${source}.contentType`),
-        managed: yield* expectBoolean(file.managed, `${source}.managed`),
-        content: yield* fs.readFileString(path.join(artifactRoot, sourcePath)),
-        ...(targetUsage === undefined ? {} : { targetUsage }),
-    };
-});
-const expectManagedFilesContribution = Effect.fnUntraced(function* (value, source, artifactRoot) {
-    const contribution = yield* expectRecord(value, source);
-    const files = yield* expectArray(contribution.files, `${source}.files`);
-    return {
-        mode: yield* expectString(contribution.mode, `${source}.mode`),
-        targetBasePath: yield* expectString(contribution.targetBasePath, `${source}.targetBasePath`),
-        files: yield* Effect.forEach(files, (file, index) => expectManagedFileDeclaration(file, `${source}.files[${index}]`, artifactRoot)),
-    };
-});
-function expectNamedRecord(record, field, source) {
-    return expectRecord(record[field], `${source}.${field}`);
-}
-const expectDeliveryModes = Effect.fnUntraced(function* (providerProfile) {
-    const deliveryModes = yield* expectNamedRecord(providerProfile, 'deliveryModes', 'provider profile');
-    return {
-        internalHarness: yield* expectNamedRecord(deliveryModes, 'internalHarness', 'provider profile.deliveryModes'),
-        providerArtifactReference: yield* expectNamedRecord(deliveryModes, 'providerArtifactReference', 'provider profile.deliveryModes'),
-        exportedHarness: yield* expectNamedRecord(deliveryModes, 'exportedHarness', 'provider profile.deliveryModes'),
-    };
-});
-const expectArtifactReferences = Effect.fnUntraced(function* (providerProfile) {
-    const artifactReferences = yield* expectNamedRecord(providerProfile, 'artifactReferences', 'provider profile');
-    const references = yield* expectNamedRecord(artifactReferences, 'references', 'provider profile.artifactReferences');
-    return {
-        mode: yield* expectString(artifactReferences.mode, 'provider profile.artifactReferences.mode'),
-        targetDelivery: yield* expectString(artifactReferences.targetDelivery, 'provider profile.artifactReferences.targetDelivery'),
-        packageSurface: yield* expectStringArray(artifactReferences.packageSurface, 'provider profile.artifactReferences.packageSurface'),
-        references,
-    };
-});
-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 providerProfile = yield* readJson(providerProfilePath, decodeJsonRecord);
-    const packageManifest = yield* readJson(path.join(artifactRoot, 'package.json'), 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');
-    const selectedProfile = yield* expectNamedRecord(profiles, defaultProfile, `provider profile.profiles.${defaultProfile}`);
-    const contributions = yield* expectNamedRecord(selectedProfile, 'contributions', `provider profile.profiles.${defaultProfile}`);
-    const managedSurfaces = yield* expectNamedRecord(selectedProfile, 'managedSurfaces', `provider profile.profiles.${defaultProfile}`);
-    const sourceBoundary = yield* expectNamedRecord(selectedProfile, 'sourceBoundary', `provider profile.profiles.${defaultProfile}`);
-    const selfConformance = yield* expectNamedRecord(providerProfile, 'selfConformance', 'provider profile');
-    const packageBin = yield* expectNamedRecord(packageManifest, 'bin', 'package.json');
-    const artifactOnlyReferences = yield* expectArtifactReferences(providerProfile);
-    const deliveryModes = yield* expectDeliveryModes(providerProfile);
-    return {
-        schemaVersion: 1,
-        artifactRoot,
-        providerProfilePath,
-        providerProfileRelativePath,
-        packageLocator: {
-            packageName: yield* expectString(packageManifest.name, 'package.json.name'),
-            packageVersion: yield* expectString(packageManifest.version, 'package.json.version'),
-            binName: 'effect-harness',
-            binPath: yield* expectString(packageBin['effect-harness'], 'package.json.bin.effect-harness'),
-            discoveryCommand: 'npx --yes @sayoriqwq/effect-harness provider-discover',
-            packageFiles: yield* expectStringArray(packageManifest.files, 'package.json.files'),
-        },
-        provider: {
-            id: yield* expectString(provider.id, 'provider profile.provider.id'),
-            contractVersion: yield* expectString(provider.contractVersion, 'provider profile.provider.contractVersion'),
-            providerVersion: yield* expectString(provider.providerVersion, 'provider profile.provider.providerVersion'),
-            defaultProfile,
-        },
-        selectedProfile: defaultProfile,
-        discovery: {
-            mode: 'provider-discovery',
-            consumer: 'prelude',
-            profileSource: providerProfileRelativePath,
-            targetLifecycleOwner: yield* expectString(selfConformance.lifecycleOwner, 'provider profile.selfConformance.lifecycleOwner'),
-        },
-        deliveryModes,
-        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`),
-            },
-        },
-        artifactOnlyReferences,
-        sourceIdentities: {
-            defaultSourceEntry: yield* expectString(selectedProfile.sourceEntry, `provider profile.profiles.${defaultProfile}.sourceEntry`),
-            sourceEntries: yield* expectStringArray(selectedProfile.sourceEntries, `provider profile.profiles.${defaultProfile}.sourceEntries`),
-            sourceBoundary: {
-                providerRepoInternal: yield* expectBoolean(sourceBoundary.providerRepoInternal, `provider profile.profiles.${defaultProfile}.sourceBoundary.providerRepoInternal`),
-                targetDelivery: yield* expectString(sourceBoundary.targetDelivery, `provider profile.profiles.${defaultProfile}.sourceBoundary.targetDelivery`),
-                targetMustNotReceive: yield* expectStringArray(sourceBoundary.targetMustNotReceive, `provider profile.profiles.${defaultProfile}.sourceBoundary.targetMustNotReceive`),
-                allowedTargetSourceIdentity: yield* expectStringArray(sourceBoundary.allowedTargetSourceIdentity, `provider profile.profiles.${defaultProfile}.sourceBoundary.allowedTargetSourceIdentity`),
-            },
-            providerSourceEntries: yield* expectNamedRecord(providerProfile, 'sourceEntries', 'provider profile'),
-            artifactReferences: artifactOnlyReferences.references,
-        },
-        internalHarnessSurfaces: deliveryModes.internalHarness,
-    };
-});
-//# sourceMappingURL=ProviderDiscovery.js.map

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

@@ -1 +0,0 @@
-{"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"]}

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

@@ -1,4 +0,0 @@
-import { Effect, FileSystem } from 'effect';
-import { ChildProcessSpawner } from 'effect/unstable/process';
-import { HarnessError } from './Errors.ts';
-export declare const verifySourcePin: (root: string) => Effect.Effect<undefined, HarnessError | import("./Errors.ts").ProcessError | import("effect/PlatformError").PlatformError, FileSystem.FileSystem | ChildProcessSpawner.ChildProcessSpawner>;