@sayoriqwq/effect-harness 0.0.4 → 0.1.1

package/dist/src/harness/SourcePin.js

@@ -1,214 +0,0 @@
-import { Console, Effect, FileSystem } from 'effect';
-import { ChildProcessSpawner } from 'effect/unstable/process';
-import { readJson } from "../platform/Json.js";
-import { commandExitCode, commandLines, commandString } from "../platform/Process.js";
-import { HarnessError } from "./Errors.js";
-import { decodeManifest, decodePackageJson, decodeProviderPackageBaseline } from "./Model.js";
-import { moduleSources } from "./ModuleSources.js";
-const providerProfilePath = 'provider/effect-harness.provider.json';
-const expectedSourcePins = [
-    {
-        name: 'effect',
-        contractPath: 'repos/effect.subtree.json',
-        repository: 'https://github.com/Effect-TS/effect-smol',
-        prefix: 'repos/effect',
-        anchor: 'repos/effect/LLMS.md',
-        route: 'harness/effect-routes.md',
-        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',
-        filesExclude: 'enabled',
-    },
-    {
-        name: 'tsgo',
-        contractPath: 'repos/tsgo.subtree.json',
-        repository: 'https://github.com/Effect-TS/tsgo',
-        prefix: 'repos/tsgo',
-        anchor: 'repos/tsgo/README.md',
-        route: 'harness/tsgo-routes.md',
-        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',
-        filesExclude: 'disabled',
-    },
-];
-function hasVendoredImport(file, text, manifest) {
-    return moduleSources(file, text).some(({ source }) => source.includes(manifest.local.prefix));
-}
-function isApplicationSource(file, manifest) {
-    const sourceRoot = file.startsWith('bin/')
-        || file.startsWith('src/')
-        || file.startsWith('tests/');
-    const sourceExtension = ['.js', '.jsx', '.mjs', '.cjs', '.ts', '.tsx', '.mts', '.cts']
-        .some(extension => file.endsWith(extension));
-    return sourceRoot && sourceExtension && !file.startsWith(`${manifest.local.prefix}/`);
-}
-const hasGitHead = Effect.fnUntraced(function* (root) {
-    const exitCode = yield* commandExitCode('git', ['rev-parse', '--verify', 'HEAD'], { cwd: root });
-    return exitCode === ChildProcessSpawner.ExitCode(0);
-});
-const latestSubtreeSplit = Effect.fnUntraced(function* (root, prefix) {
-    const output = yield* commandString('git', [
-        'log',
-        '--format=%B%x1e',
-        `--grep=git-subtree-dir: ${prefix}`,
-    ], { cwd: root });
-    for (const entry of output.split('\x1E')) {
-        if (!entry.includes(`git-subtree-dir: ${prefix}`)) {
-            continue;
-        }
-        const match = entry.match(/git-subtree-split:\s*([0-9a-f]{40})/u);
-        if (match !== null) {
-            return match[1];
-        }
-    }
-    return undefined;
-});
-const trackedFiles = Effect.fnUntraced(function* (root) {
-    if (!(yield* hasGitHead(root))) {
-        return [];
-    }
-    return yield* commandLines('git', ['ls-files'], { cwd: root });
-});
-const assertNoVendoredImports = Effect.fnUntraced(function* (errors, root, manifest) {
-    const fs = yield* FileSystem.FileSystem;
-    const files = (yield* trackedFiles(root)).filter(file => isApplicationSource(file, manifest));
-    for (const file of files) {
-        const filePath = `${root}/${file}`;
-        if (!(yield* fs.exists(filePath))) {
-            continue;
-        }
-        const text = yield* fs.readFileString(filePath);
-        if (hasVendoredImport(file, text, manifest)) {
-            errors.push(`${file} imports from ${manifest.local.prefix}; use package dependencies instead.`);
-        }
-    }
-});
-const verifyPackageBaseline = Effect.fnUntraced(function* (errors, root, packageBaseline) {
-    const fs = yield* FileSystem.FileSystem;
-    const packagePath = `${root}/package.json`;
-    if (!(yield* fs.exists(packagePath))) {
-        return;
-    }
-    const packageJson = yield* readJson(packagePath, decodePackageJson);
-    const workspacePath = `${root}/pnpm-workspace.yaml`;
-    const workspaceText = (yield* fs.exists(workspacePath)) ? yield* fs.readFileString(workspacePath) : '';
-    for (const [name, version] of Object.entries(packageBaseline)) {
-        const directVersion = packageJson.dependencies?.[name] ?? packageJson.devDependencies?.[name];
-        if (directVersion !== undefined && directVersion.length > 0 && directVersion !== version && directVersion !== 'catalog:') {
-            errors.push(`${name} is ${directVersion} in package.json; expected ${version} or catalog:.`);
-        }
-        if (workspaceText.includes(`${name}:`) && !workspaceText.includes(`${name}: ${version}`)) {
-            errors.push(`${name} catalog version does not match provider profile baseline ${version}.`);
-        }
-    }
-});
-const treeEntry = Effect.fnUntraced(function* (root, file) {
-    if (!(yield* hasGitHead(root))) {
-        return undefined;
-    }
-    return yield* commandString('git', ['ls-tree', 'HEAD', file], { cwd: root });
-});
-function assertStringValue(errors, actual, expected, source) {
-    if (actual !== expected) {
-        errors.push(`${source} is ${actual}; expected ${expected}.`);
-    }
-}
-function assertBooleanValue(errors, actual, expected, source) {
-    if (actual !== expected) {
-        errors.push(`${source} is ${String(actual)}; expected ${String(expected)}.`);
-    }
-}
-function assertGitHubSubtreeContract(errors, manifest, expected) {
-    assertStringValue(errors, manifest.name, expected.name, `${expected.contractPath}.name`);
-    assertStringValue(errors, manifest.github.repository, expected.repository, `${expected.contractPath}.github.repository`);
-    assertStringValue(errors, manifest.github.branch, 'main', `${expected.contractPath}.github.branch`);
-    assertStringValue(errors, manifest.local.prefix, expected.prefix, `${expected.contractPath}.local.prefix`);
-    assertStringValue(errors, manifest.mechanism, 'git-subtree', `${expected.contractPath}.mechanism`);
-    assertStringValue(errors, manifest.anchor.llmDocument, expected.anchor, `${expected.contractPath}.anchor.llmDocument`);
-    assertStringValue(errors, manifest.agent.route, expected.route, `${expected.contractPath}.agent.route`);
-    assertStringValue(errors, manifest.commands.update, expected.updateCommand, `${expected.contractPath}.commands.update`);
-    assertStringValue(errors, manifest.commands.verify, expected.verifyCommand, `${expected.contractPath}.commands.verify`);
-    assertStringValue(errors, manifest.editorPolicy.autoImportExclude, 'block', `${expected.contractPath}.editorPolicy.autoImportExclude`);
-    assertStringValue(errors, manifest.editorPolicy.watcherExclude, 'recommended', `${expected.contractPath}.editorPolicy.watcherExclude`);
-    assertStringValue(errors, manifest.editorPolicy.searchExclude, 'recommended', `${expected.contractPath}.editorPolicy.searchExclude`);
-    assertStringValue(errors, manifest.editorPolicy.filesExclude, expected.filesExclude, `${expected.contractPath}.editorPolicy.filesExclude`);
-    assertStringValue(errors, manifest.ownership.mode, 'provider', `${expected.contractPath}.ownership.mode`);
-    assertBooleanValue(errors, manifest.boundaries.readOnly, true, `${expected.contractPath}.boundaries.readOnly`);
-    assertBooleanValue(errors, manifest.boundaries.importBlock, true, `${expected.contractPath}.boundaries.importBlock`);
-    assertStringValue(errors, manifest.subtree.split, manifest.github.ref, `${expected.contractPath}.subtree.split`);
-    assertStringValue(errors, manifest.subtree.trailer, `git-subtree-split: ${manifest.subtree.split}`, `${expected.contractPath}.subtree.trailer`);
-    if (!/^[0-9a-f]{40}$/u.test(manifest.subtree.split)) {
-        errors.push(`${expected.contractPath}.subtree.split must be a 40-character lowercase git commit SHA.`);
-    }
-    if (!manifest.github.repository.startsWith('https://github.com/')) {
-        errors.push(`${expected.contractPath}.github.repository must be a GitHub HTTPS URL.`);
-    }
-}
-const verifyOneSourcePin = Effect.fnUntraced(function* (errors, root, expected) {
-    const fs = yield* FileSystem.FileSystem;
-    const manifest = yield* readJson(`${root}/${expected.contractPath}`, decodeManifest);
-    const sourcePath = `${root}/${manifest.local.prefix}`;
-    assertGitHubSubtreeContract(errors, manifest, expected);
-    if (!(yield* fs.exists(sourcePath))) {
-        errors.push(`Missing pinned source directory: ${manifest.local.prefix}`);
-    }
-    else {
-        const sourceStat = yield* fs.stat(sourcePath);
-        if (sourceStat.type !== 'Directory') {
-            errors.push(`${manifest.local.prefix} exists but is not a directory.`);
-        }
-    }
-    const entry = yield* treeEntry(root, manifest.local.prefix);
-    if (entry !== undefined && entry.startsWith('160000 ')) {
-        errors.push(`${manifest.local.prefix} is a gitlink submodule; expected a git subtree directory.`);
-    }
-    else if (entry !== undefined && entry.length > 0 && !entry.startsWith('040000 tree ')) {
-        errors.push(`${manifest.local.prefix} is not recorded as a Git tree entry.`);
-    }
-    else if (entry === undefined || entry.length === 0) {
-        errors.push(`${manifest.local.prefix} is not recorded in HEAD; source pins must be committed Git tree entries.`);
-    }
-    if (!(yield* fs.exists(`${root}/${manifest.anchor.llmDocument}`))) {
-        errors.push(`Missing source-entry LLM anchor: ${manifest.anchor.llmDocument}`);
-    }
-    if (!(yield* fs.exists(`${root}/${manifest.agent.route}`))) {
-        errors.push(`Missing source-entry agent route: ${manifest.agent.route}`);
-    }
-    if (yield* hasGitHead(root)) {
-        const split = yield* latestSubtreeSplit(root, manifest.local.prefix);
-        if (split === undefined) {
-            errors.push(`Missing git subtree split for ${manifest.local.prefix}; contract-only source pins are not accepted.`);
-        }
-        else if (split !== manifest.subtree.split) {
-            errors.push(`Subtree split mismatch for ${manifest.local.prefix}: contract expects ${manifest.subtree.split}, git history has ${split}`);
-        }
-    }
-    else {
-        errors.push('Missing Git HEAD; source pins must be verified from committed history.');
-    }
-    const gitmodules = `${root}/.gitmodules`;
-    if ((yield* fs.exists(gitmodules)) && (yield* fs.readFileString(gitmodules)).includes(manifest.local.prefix)) {
-        errors.push(`${manifest.local.prefix} must be a git subtree, not a git submodule.`);
-    }
-    yield* assertNoVendoredImports(errors, root, manifest);
-});
-export const verifySourcePin = Effect.fnUntraced(function* (root) {
-    const errors = [];
-    const pins = expectedSourcePins;
-    for (const expected of pins) {
-        yield* verifyOneSourcePin(errors, root, expected);
-    }
-    const packageBaseline = yield* readJson(`${root}/${providerProfilePath}`, decodeProviderPackageBaseline);
-    yield* verifyPackageBaseline(errors, root, packageBaseline);
-    if (errors.length > 0) {
-        yield* Console.error('Source subtree verification failed:');
-        for (const error of errors) {
-            yield* Console.error(`- ${error}`);
-        }
-        return yield* new HarnessError({ message: 'Source subtree verification failed.' });
-    }
-    for (const expected of pins) {
-        const manifest = yield* readJson(`${root}/${expected.contractPath}`, decodeManifest);
-        yield* Console.log(`Source entry verified: ${manifest.local.prefix} @ git-subtree-split ${manifest.subtree.split}`);
-    }
-});
-//# sourceMappingURL=SourcePin.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"SourcePin.js","sourceRoot":"","sources":["../../../src/harness/SourcePin.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAA;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9C,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AACrF,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC1C,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,6BAA6B,EAAE,MAAM,YAAY,CAAA;AAC7F,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAclD,MAAM,mBAAmB,GAAG,uCAAuC,CAAA;AAEnE,MAAM,kBAAkB,GAAqC;IAC3D;QACE,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,2BAA2B;QACzC,UAAU,EAAE,0CAA0C;QACtD,MAAM,EAAE,cAAc;QACtB,MAAM,EAAE,sBAAsB;QAC9B,KAAK,EAAE,0BAA0B;QACjC,aAAa,EAAE,4HAA4H;QAC3I,aAAa,EAAE,kHAAkH;QACjI,YAAY,EAAE,SAAS;KACxB;IACD;QACE,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,yBAAyB;QACvC,UAAU,EAAE,mCAAmC;QAC/C,MAAM,EAAE,YAAY;QACpB,MAAM,EAAE,sBAAsB;QAC9B,KAAK,EAAE,wBAAwB;QAC/B,aAAa,EAAE,sHAAsH;QACrI,aAAa,EAAE,4GAA4G;QAC3H,YAAY,EAAE,UAAU;KACzB;CACF,CAAA;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,IAAY,EAAE,QAA+B;IACpF,OAAO,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;AAC/F,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,QAA+B;IACxE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;WACrC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;WACvB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;IAC9B,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;SACnF,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAA;IAE9C,OAAO,UAAU,IAAI,eAAe,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAA;AACvF,CAAC;AAED,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,IAAY;IAC1D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAA;IAChG,OAAO,QAAQ,KAAK,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;AACrD,CAAC,CAAC,CAAA;AAEF,MAAM,kBAAkB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,IAAY,EAAE,MAAc;IAClF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE;QACzC,KAAK;QACL,iBAAiB;QACjB,2BAA2B,MAAM,EAAE;KACpC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAA;IAEjB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,oBAAoB,MAAM,EAAE,CAAC,EAAE,CAAC;YAClD,SAAQ;QACV,CAAC;QAED,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAA;QACjE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,KAAK,CAAC,CAAC,CAAE,CAAA;QAClB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC,CAAC,CAAA;AAEF,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,IAAY;IAC5D,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,CAAA;IACX,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAA;AAChE,CAAC,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACzD,MAAqB,EACrB,IAAY,EACZ,QAA+B;IAE/B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAA;IAE7F,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,GAAG,IAAI,IAAI,IAAI,EAAE,CAAA;QAClC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAClC,SAAQ;QACV,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAA;QAC/C,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC5C,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,QAAQ,CAAC,KAAK,CAAC,MAAM,qCAAqC,CAAC,CAAA;QACjG,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,qBAAqB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACvD,MAAqB,EACrB,IAAY,EACZ,eAAiD;IAEjD,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,WAAW,GAAG,GAAG,IAAI,eAAe,CAAA;IAC1C,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;QACrC,OAAM;IACR,CAAC;IAED,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAA;IACnE,MAAM,aAAa,GAAG,GAAG,IAAI,sBAAsB,CAAA;IACnD,MAAM,aAAa,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAEtG,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;QAC9D,MAAM,aAAa,GAAG,WAAW,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,CAAA;QAC7F,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,KAAK,OAAO,IAAI,aAAa,KAAK,UAAU,EAAE,CAAC;YACzH,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,OAAO,aAAa,8BAA8B,OAAO,eAAe,CAAC,CAAA;QAC9F,CAAC;QAED,IAAI,aAAa,CAAC,QAAQ,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,GAAG,IAAI,KAAK,OAAO,EAAE,CAAC,EAAE,CAAC;YACzF,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,6DAA6D,OAAO,GAAG,CAAC,CAAA;QAC7F,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,IAAY,EAAE,IAAY;IACvE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAA;AAC9E,CAAC,CAAC,CAAA;AAEF,SAAS,iBAAiB,CAAC,MAAqB,EAAE,MAAc,EAAE,QAAgB,EAAE,MAAc;IAChG,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,MAAM,cAAc,QAAQ,GAAG,CAAC,CAAA;IAC9D,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAqB,EAAE,MAAe,EAAE,QAAiB,EAAE,MAAc;IACnG,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,MAAM,CAAC,MAAM,CAAC,cAAc,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;IAC9E,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,MAAqB,EACrB,QAA+B,EAC/B,QAA2B;IAE3B,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,QAAQ,CAAC,YAAY,OAAO,CAAC,CAAA;IACxF,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,GAAG,QAAQ,CAAC,YAAY,oBAAoB,CAAC,CAAA;IACxH,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC,YAAY,gBAAgB,CAAC,CAAA;IACnG,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,YAAY,eAAe,CAAC,CAAA;IAC1G,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,EAAE,aAAa,EAAE,GAAG,QAAQ,CAAC,YAAY,YAAY,CAAC,CAAA;IAClG,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,YAAY,qBAAqB,CAAC,CAAA;IACtH,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,YAAY,cAAc,CAAC,CAAA;IACvG,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,aAAa,EAAE,GAAG,QAAQ,CAAC,YAAY,kBAAkB,CAAC,CAAA;IACvH,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,aAAa,EAAE,GAAG,QAAQ,CAAC,YAAY,kBAAkB,CAAC,CAAA;IACvH,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC,iBAAiB,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC,YAAY,iCAAiC,CAAC,CAAA;IACtI,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC,cAAc,EAAE,aAAa,EAAE,GAAG,QAAQ,CAAC,YAAY,8BAA8B,CAAC,CAAA;IACtI,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC,aAAa,EAAE,aAAa,EAAE,GAAG,QAAQ,CAAC,YAAY,6BAA6B,CAAC,CAAA;IACpI,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC,YAAY,EAAE,QAAQ,CAAC,YAAY,EAAE,GAAG,QAAQ,CAAC,YAAY,4BAA4B,CAAC,CAAA;IAC1I,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,QAAQ,CAAC,YAAY,iBAAiB,CAAC,CAAA;IACzG,kBAAkB,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,YAAY,sBAAsB,CAAC,CAAA;IAC9G,kBAAkB,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,YAAY,yBAAyB,CAAC,CAAA;IACpH,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,QAAQ,CAAC,YAAY,gBAAgB,CAAC,CAAA;IAChH,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,sBAAsB,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,QAAQ,CAAC,YAAY,kBAAkB,CAAC,CAAA;IAE/I,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,YAAY,iEAAiE,CAAC,CAAA;IACxG,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,CAAC;QAClE,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,YAAY,gDAAgD,CAAC,CAAA;IACvF,CAAC;AACH,CAAC;AAED,MAAM,kBAAkB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACpD,MAAqB,EACrB,IAAY,EACZ,QAA2B;IAE3B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,IAAI,QAAQ,CAAC,YAAY,EAAE,EAAE,cAAc,CAAC,CAAA;IACpF,MAAM,UAAU,GAAG,GAAG,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAA;IACrD,2BAA2B,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAEvD,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC,oCAAoC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;IAC1E,CAAC;SACI,CAAC;QACJ,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAC7C,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,iCAAiC,CAAC,CAAA;QACxE,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC3D,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,4DAA4D,CAAC,CAAA;IACnG,CAAC;SACI,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QACtF,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,uCAAuC,CAAC,CAAA;IAC9E,CAAC;SACI,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,2EAA2E,CAAC,CAAA;IAClH,CAAC;IAED,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC;QAClE,MAAM,CAAC,IAAI,CAAC,oCAAoC,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAA;IAChF,CAAC;IAED,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC,qCAAqC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAA;IAC1E,CAAC;IAED,IAAI,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QACpE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,iCAAiC,QAAQ,CAAC,KAAK,CAAC,MAAM,+CAA+C,CAAC,CAAA;QACpH,CAAC;aACI,IAAI,KAAK,KAAK,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YAC1C,MAAM,CAAC,IAAI,CAAC,8BAA8B,QAAQ,CAAC,KAAK,CAAC,MAAM,sBAAsB,QAAQ,CAAC,OAAO,CAAC,KAAK,qBAAqB,KAAK,EAAE,CAAC,CAAA;QAC1I,CAAC;IACH,CAAC;SACI,CAAC;QACJ,MAAM,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAA;IACvF,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,IAAI,cAAc,CAAA;IACxC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7G,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,8CAA8C,CAAC,CAAA;IACrF,CAAC;IAED,KAAK,CAAC,CAAC,uBAAuB,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAA;AACxD,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,IAAY;IACtE,MAAM,MAAM,GAAkB,EAAE,CAAA;IAChC,MAAM,IAAI,GAAG,kBAAkB,CAAA;IAE/B,KAAK,MAAM,QAAQ,IAAI,IAAI,EAAE,CAAC;QAC5B,KAAK,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAA;IACnD,CAAC;IAED,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,IAAI,mBAAmB,EAAE,EAAE,6BAA6B,CAAC,CAAA;IACxG,KAAK,CAAC,CAAC,qBAAqB,CAAC,MAAM,EAAE,IAAI,EAAE,eAAe,CAAC,CAAA;IAE3D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAA;QAC3D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,EAAE,CAAC,CAAA;QACpC,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,qCAAqC,EAAE,CAAC,CAAA;IACpF,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,IAAI,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,IAAI,QAAQ,CAAC,YAAY,EAAE,EAAE,cAAc,CAAC,CAAA;QACpF,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,0BAA0B,QAAQ,CAAC,KAAK,CAAC,MAAM,wBAAwB,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAA;IACrH,CAAC;AACH,CAAC,CAAC,CAAA","sourcesContent":["import type { EffectSubtreeManifest } from './Model.ts'\nimport { Console, Effect, FileSystem } from 'effect'\nimport { ChildProcessSpawner } from 'effect/unstable/process'\nimport { readJson } from '../platform/Json.ts'\nimport { commandExitCode, commandLines, commandString } from '../platform/Process.ts'\nimport { HarnessError } from './Errors.ts'\nimport { decodeManifest, decodePackageJson, decodeProviderPackageBaseline } from './Model.ts'\nimport { moduleSources } from './ModuleSources.ts'\n\ninterface ExpectedSourcePin {\n  readonly name: string\n  readonly contractPath: string\n  readonly repository: string\n  readonly prefix: string\n  readonly anchor: string\n  readonly route: string\n  readonly updateCommand: string\n  readonly verifyCommand: string\n  readonly filesExclude: string\n}\n\nconst providerProfilePath = 'provider/effect-harness.provider.json'\n\nconst expectedSourcePins: ReadonlyArray<ExpectedSourcePin> = [\n  {\n    name: 'effect',\n    contractPath: 'repos/effect.subtree.json',\n    repository: 'https://github.com/Effect-TS/effect-smol',\n    prefix: 'repos/effect',\n    anchor: 'repos/effect/LLMS.md',\n    route: 'harness/effect-routes.md',\n    updateCommand: 'npx --yes @sayoriqwq/partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run',\n    verifyCommand: 'npx --yes @sayoriqwq/partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect',\n    filesExclude: 'enabled',\n  },\n  {\n    name: 'tsgo',\n    contractPath: 'repos/tsgo.subtree.json',\n    repository: 'https://github.com/Effect-TS/tsgo',\n    prefix: 'repos/tsgo',\n    anchor: 'repos/tsgo/README.md',\n    route: 'harness/tsgo-routes.md',\n    updateCommand: 'npx --yes @sayoriqwq/partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run',\n    verifyCommand: 'npx --yes @sayoriqwq/partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo',\n    filesExclude: 'disabled',\n  },\n]\n\nfunction hasVendoredImport(file: string, text: string, manifest: EffectSubtreeManifest): boolean {\n  return moduleSources(file, text).some(({ source }) => source.includes(manifest.local.prefix))\n}\n\nfunction isApplicationSource(file: string, manifest: EffectSubtreeManifest): boolean {\n  const sourceRoot = file.startsWith('bin/')\n    || file.startsWith('src/')\n    || file.startsWith('tests/')\n  const sourceExtension = ['.js', '.jsx', '.mjs', '.cjs', '.ts', '.tsx', '.mts', '.cts']\n    .some(extension => file.endsWith(extension))\n\n  return sourceRoot && sourceExtension && !file.startsWith(`${manifest.local.prefix}/`)\n}\n\nconst hasGitHead = Effect.fnUntraced(function* (root: string) {\n  const exitCode = yield* commandExitCode('git', ['rev-parse', '--verify', 'HEAD'], { cwd: root })\n  return exitCode === ChildProcessSpawner.ExitCode(0)\n})\n\nconst latestSubtreeSplit = Effect.fnUntraced(function* (root: string, prefix: string) {\n  const output = yield* commandString('git', [\n    'log',\n    '--format=%B%x1e',\n    `--grep=git-subtree-dir: ${prefix}`,\n  ], { cwd: root })\n\n  for (const entry of output.split('\\x1E')) {\n    if (!entry.includes(`git-subtree-dir: ${prefix}`)) {\n      continue\n    }\n\n    const match = entry.match(/git-subtree-split:\\s*([0-9a-f]{40})/u)\n    if (match !== null) {\n      return match[1]!\n    }\n  }\n\n  return undefined\n})\n\nconst trackedFiles = Effect.fnUntraced(function* (root: string) {\n  if (!(yield* hasGitHead(root))) {\n    return []\n  }\n  return yield* commandLines('git', ['ls-files'], { cwd: root })\n})\n\nconst assertNoVendoredImports = Effect.fnUntraced(function* (\n  errors: Array<string>,\n  root: string,\n  manifest: EffectSubtreeManifest,\n) {\n  const fs = yield* FileSystem.FileSystem\n  const files = (yield* trackedFiles(root)).filter(file => isApplicationSource(file, manifest))\n\n  for (const file of files) {\n    const filePath = `${root}/${file}`\n    if (!(yield* fs.exists(filePath))) {\n      continue\n    }\n\n    const text = yield* fs.readFileString(filePath)\n    if (hasVendoredImport(file, text, manifest)) {\n      errors.push(`${file} imports from ${manifest.local.prefix}; use package dependencies instead.`)\n    }\n  }\n})\n\nconst verifyPackageBaseline = Effect.fnUntraced(function* (\n  errors: Array<string>,\n  root: string,\n  packageBaseline: Readonly<Record<string, string>>,\n) {\n  const fs = yield* FileSystem.FileSystem\n  const packagePath = `${root}/package.json`\n  if (!(yield* fs.exists(packagePath))) {\n    return\n  }\n\n  const packageJson = yield* readJson(packagePath, decodePackageJson)\n  const workspacePath = `${root}/pnpm-workspace.yaml`\n  const workspaceText = (yield* fs.exists(workspacePath)) ? yield* fs.readFileString(workspacePath) : ''\n\n  for (const [name, version] of Object.entries(packageBaseline)) {\n    const directVersion = packageJson.dependencies?.[name] ?? packageJson.devDependencies?.[name]\n    if (directVersion !== undefined && directVersion.length > 0 && directVersion !== version && directVersion !== 'catalog:') {\n      errors.push(`${name} is ${directVersion} in package.json; expected ${version} or catalog:.`)\n    }\n\n    if (workspaceText.includes(`${name}:`) && !workspaceText.includes(`${name}: ${version}`)) {\n      errors.push(`${name} catalog version does not match provider profile baseline ${version}.`)\n    }\n  }\n})\n\nconst treeEntry = Effect.fnUntraced(function* (root: string, file: string) {\n  if (!(yield* hasGitHead(root))) {\n    return undefined\n  }\n  return yield* commandString('git', ['ls-tree', 'HEAD', file], { cwd: root })\n})\n\nfunction assertStringValue(errors: Array<string>, actual: string, expected: string, source: string): void {\n  if (actual !== expected) {\n    errors.push(`${source} is ${actual}; expected ${expected}.`)\n  }\n}\n\nfunction assertBooleanValue(errors: Array<string>, actual: boolean, expected: boolean, source: string): void {\n  if (actual !== expected) {\n    errors.push(`${source} is ${String(actual)}; expected ${String(expected)}.`)\n  }\n}\n\nfunction assertGitHubSubtreeContract(\n  errors: Array<string>,\n  manifest: EffectSubtreeManifest,\n  expected: ExpectedSourcePin,\n): void {\n  assertStringValue(errors, manifest.name, expected.name, `${expected.contractPath}.name`)\n  assertStringValue(errors, manifest.github.repository, expected.repository, `${expected.contractPath}.github.repository`)\n  assertStringValue(errors, manifest.github.branch, 'main', `${expected.contractPath}.github.branch`)\n  assertStringValue(errors, manifest.local.prefix, expected.prefix, `${expected.contractPath}.local.prefix`)\n  assertStringValue(errors, manifest.mechanism, 'git-subtree', `${expected.contractPath}.mechanism`)\n  assertStringValue(errors, manifest.anchor.llmDocument, expected.anchor, `${expected.contractPath}.anchor.llmDocument`)\n  assertStringValue(errors, manifest.agent.route, expected.route, `${expected.contractPath}.agent.route`)\n  assertStringValue(errors, manifest.commands.update, expected.updateCommand, `${expected.contractPath}.commands.update`)\n  assertStringValue(errors, manifest.commands.verify, expected.verifyCommand, `${expected.contractPath}.commands.verify`)\n  assertStringValue(errors, manifest.editorPolicy.autoImportExclude, 'block', `${expected.contractPath}.editorPolicy.autoImportExclude`)\n  assertStringValue(errors, manifest.editorPolicy.watcherExclude, 'recommended', `${expected.contractPath}.editorPolicy.watcherExclude`)\n  assertStringValue(errors, manifest.editorPolicy.searchExclude, 'recommended', `${expected.contractPath}.editorPolicy.searchExclude`)\n  assertStringValue(errors, manifest.editorPolicy.filesExclude, expected.filesExclude, `${expected.contractPath}.editorPolicy.filesExclude`)\n  assertStringValue(errors, manifest.ownership.mode, 'provider', `${expected.contractPath}.ownership.mode`)\n  assertBooleanValue(errors, manifest.boundaries.readOnly, true, `${expected.contractPath}.boundaries.readOnly`)\n  assertBooleanValue(errors, manifest.boundaries.importBlock, true, `${expected.contractPath}.boundaries.importBlock`)\n  assertStringValue(errors, manifest.subtree.split, manifest.github.ref, `${expected.contractPath}.subtree.split`)\n  assertStringValue(errors, manifest.subtree.trailer, `git-subtree-split: ${manifest.subtree.split}`, `${expected.contractPath}.subtree.trailer`)\n\n  if (!/^[0-9a-f]{40}$/u.test(manifest.subtree.split)) {\n    errors.push(`${expected.contractPath}.subtree.split must be a 40-character lowercase git commit SHA.`)\n  }\n\n  if (!manifest.github.repository.startsWith('https://github.com/')) {\n    errors.push(`${expected.contractPath}.github.repository must be a GitHub HTTPS URL.`)\n  }\n}\n\nconst verifyOneSourcePin = Effect.fnUntraced(function* (\n  errors: Array<string>,\n  root: string,\n  expected: ExpectedSourcePin,\n) {\n  const fs = yield* FileSystem.FileSystem\n  const manifest = yield* readJson(`${root}/${expected.contractPath}`, decodeManifest)\n  const sourcePath = `${root}/${manifest.local.prefix}`\n  assertGitHubSubtreeContract(errors, manifest, expected)\n\n  if (!(yield* fs.exists(sourcePath))) {\n    errors.push(`Missing pinned source directory: ${manifest.local.prefix}`)\n  }\n  else {\n    const sourceStat = yield* fs.stat(sourcePath)\n    if (sourceStat.type !== 'Directory') {\n      errors.push(`${manifest.local.prefix} exists but is not a directory.`)\n    }\n  }\n\n  const entry = yield* treeEntry(root, manifest.local.prefix)\n  if (entry !== undefined && entry.startsWith('160000 ')) {\n    errors.push(`${manifest.local.prefix} is a gitlink submodule; expected a git subtree directory.`)\n  }\n  else if (entry !== undefined && entry.length > 0 && !entry.startsWith('040000 tree ')) {\n    errors.push(`${manifest.local.prefix} is not recorded as a Git tree entry.`)\n  }\n  else if (entry === undefined || entry.length === 0) {\n    errors.push(`${manifest.local.prefix} is not recorded in HEAD; source pins must be committed Git tree entries.`)\n  }\n\n  if (!(yield* fs.exists(`${root}/${manifest.anchor.llmDocument}`))) {\n    errors.push(`Missing source-entry LLM anchor: ${manifest.anchor.llmDocument}`)\n  }\n\n  if (!(yield* fs.exists(`${root}/${manifest.agent.route}`))) {\n    errors.push(`Missing source-entry agent route: ${manifest.agent.route}`)\n  }\n\n  if (yield* hasGitHead(root)) {\n    const split = yield* latestSubtreeSplit(root, manifest.local.prefix)\n    if (split === undefined) {\n      errors.push(`Missing git subtree split for ${manifest.local.prefix}; contract-only source pins are not accepted.`)\n    }\n    else if (split !== manifest.subtree.split) {\n      errors.push(`Subtree split mismatch for ${manifest.local.prefix}: contract expects ${manifest.subtree.split}, git history has ${split}`)\n    }\n  }\n  else {\n    errors.push('Missing Git HEAD; source pins must be verified from committed history.')\n  }\n\n  const gitmodules = `${root}/.gitmodules`\n  if ((yield* fs.exists(gitmodules)) && (yield* fs.readFileString(gitmodules)).includes(manifest.local.prefix)) {\n    errors.push(`${manifest.local.prefix} must be a git subtree, not a git submodule.`)\n  }\n\n  yield* assertNoVendoredImports(errors, root, manifest)\n})\n\nexport const verifySourcePin = Effect.fnUntraced(function* (root: string) {\n  const errors: Array<string> = []\n  const pins = expectedSourcePins\n\n  for (const expected of pins) {\n    yield* verifyOneSourcePin(errors, root, expected)\n  }\n\n  const packageBaseline = yield* readJson(`${root}/${providerProfilePath}`, decodeProviderPackageBaseline)\n  yield* verifyPackageBaseline(errors, root, packageBaseline)\n\n  if (errors.length > 0) {\n    yield* Console.error('Source subtree verification failed:')\n    for (const error of errors) {\n      yield* Console.error(`- ${error}`)\n    }\n    return yield* new HarnessError({ message: 'Source subtree verification failed.' })\n  }\n\n  for (const expected of pins) {\n    const manifest = yield* readJson(`${root}/${expected.contractPath}`, decodeManifest)\n    yield* Console.log(`Source entry verified: ${manifest.local.prefix} @ git-subtree-split ${manifest.subtree.split}`)\n  }\n})\n"]}

package/dist/src/harness/verify/JsonFields.d.ts

@@ -1 +0,0 @@
-export declare function isRecord(value: unknown): value is Record<string, unknown>;

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

@@ -1,4 +0,0 @@
-export function isRecord(value) {
-    return typeof value === 'object' && value !== null && !Array.isArray(value);
-}
-//# sourceMappingURL=JsonFields.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"JsonFields.js","sourceRoot":"","sources":["../../../../src/harness/verify/JsonFields.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC7E,CAAC","sourcesContent":["export function isRecord(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value)\n}\n"]}

package/dist/src/harness/verify/Pipeline.d.ts

@@ -1,7 +0,0 @@
-import type { FileSystem } from 'effect';
-import type { ChildProcessSpawner } from 'effect/unstable/process';
-import { Effect } from 'effect';
-import { VerifyStageFailed } from './VerifyStage.ts';
-type VerifyServices = ChildProcessSpawner.ChildProcessSpawner | FileSystem.FileSystem;
-export declare const verifyPipeline: (harness: string) => Effect.Effect<void, VerifyStageFailed, VerifyServices>;
-export {};

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

@@ -1,55 +0,0 @@
-import { Console, Effect, Result } from 'effect';
-import { commandString } from "../../platform/Process.js";
-import { errorMessage } from "../Errors.js";
-import { verifyHarnessContract } from "./ProviderRepository.js";
-import { stageSpecByTag, VerifyStageFailed } from "./VerifyStage.js";
-function toVoid(effect) {
-    return Effect.map(effect, () => undefined);
-}
-function sourcePins(harness) {
-    return {
-        spec: stageSpecByTag('source-pins'),
-        run: toVoid(commandString('pnpm', ['source:verify'], { cwd: harness })),
-    };
-}
-function harnessContract(harness) {
-    return {
-        spec: stageSpecByTag('harness-contract'),
-        run: toVoid(verifyHarnessContract(harness)),
-    };
-}
-function commandStage(tag, args, harness) {
-    return {
-        spec: stageSpecByTag(tag),
-        run: toVoid(commandString('pnpm', args, { cwd: harness })),
-    };
-}
-const runStage = Effect.fnUntraced(function* (stage) {
-    yield* Console.log(`verify stage: ${stage.spec.tag}`);
-    const result = yield* Effect.result(stage.run);
-    if (Result.isFailure(result)) {
-        return yield* new VerifyStageFailed({
-            causeMessage: errorMessage(result.failure),
-            routeHint: stage.spec.routeHint,
-            routes: [...stage.spec.routes],
-            stageTag: stage.spec.tag,
-            stageTitle: stage.spec.title,
-        });
-    }
-    yield* Console.log(`verify stage passed: ${stage.spec.tag}`);
-});
-export const verifyPipeline = Effect.fnUntraced(function* (harness) {
-    const stages = [
-        sourcePins(harness),
-        harnessContract(harness),
-        commandStage('tsgo-diagnostics', ['typecheck'], harness),
-        commandStage('tests', ['test'], harness),
-        commandStage('lint', ['lint', '--max-warnings', '0'], harness),
-        commandStage('knip', ['knip'], harness),
-    ];
-    for (const stage of stages) {
-        yield* runStage(stage);
-    }
-    yield* Console.log('verify pipeline passed.');
-});
-//# sourceMappingURL=Pipeline.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"Pipeline.js","sourceRoot":"","sources":["../../../../src/harness/verify/Pipeline.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAA;AAC/D,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAUpE,SAAS,MAAM,CAAO,MAAoC;IACxD,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAA;AAC5C,CAAC;AAED,SAAS,UAAU,CAAC,OAAe;IACjC,OAAO;QACL,IAAI,EAAE,cAAc,CAAC,aAAa,CAAC;QACnC,GAAG,EAAE,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;KACxE,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,OAAe;IACtC,OAAO;QACL,IAAI,EAAE,cAAc,CAAC,kBAAkB,CAAC;QACxC,GAAG,EAAE,MAAM,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;KAC5C,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CACnB,GAAmB,EACnB,IAA2B,EAC3B,OAAe;IAEf,OAAO;QACL,IAAI,EAAE,cAAc,CAAC,GAAG,CAAC;QACzB,GAAG,EAAE,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;KAC3D,CAAA;AACH,CAAC;AAED,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,KAAkB;IAC9D,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,iBAAiB,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAA;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAE9C,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC,CAAC,IAAI,iBAAiB,CAAC;YAClC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC;YAC1C,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS;YAC/B,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;YAC9B,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG;YACxB,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK;SAC7B,CAAC,CAAA;IACJ,CAAC;IAED,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,wBAAwB,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAA;AAC9D,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,OAAe;IACxE,MAAM,MAAM,GAA+B;QACzC,UAAU,CAAC,OAAO,CAAC;QACnB,eAAe,CAAC,OAAO,CAAC;QACxB,YAAY,CAAC,kBAAkB,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;QACxD,YAAY,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;QACxC,YAAY,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,gBAAgB,EAAE,GAAG,CAAC,EAAE,OAAO,CAAC;QAC9D,YAAY,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;KACxC,CAAA;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IACxB,CAAC;IAED,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAA;AAC/C,CAAC,CAAC,CAAA","sourcesContent":["import type { FileSystem, PlatformError } from 'effect'\nimport type { ChildProcessSpawner } from 'effect/unstable/process'\nimport type { HarnessError, ProcessError } from '../Errors.ts'\nimport type { VerifyStageSpec, VerifyStageTag } from './VerifyStage.ts'\nimport { Console, Effect, Result } from 'effect'\nimport { commandString } from '../../platform/Process.ts'\nimport { errorMessage } from '../Errors.ts'\nimport { verifyHarnessContract } from './ProviderRepository.ts'\nimport { stageSpecByTag, VerifyStageFailed } from './VerifyStage.ts'\n\ntype VerifyError = HarnessError | PlatformError.PlatformError | ProcessError\ntype VerifyServices = ChildProcessSpawner.ChildProcessSpawner | FileSystem.FileSystem\n\ninterface VerifyStage {\n  readonly spec: VerifyStageSpec\n  readonly run: Effect.Effect<void, VerifyError, VerifyServices>\n}\n\nfunction toVoid<E, R>(effect: Effect.Effect<unknown, E, R>): Effect.Effect<void, E, R> {\n  return Effect.map(effect, () => undefined)\n}\n\nfunction sourcePins(harness: string): VerifyStage {\n  return {\n    spec: stageSpecByTag('source-pins'),\n    run: toVoid(commandString('pnpm', ['source:verify'], { cwd: harness })),\n  }\n}\n\nfunction harnessContract(harness: string): VerifyStage {\n  return {\n    spec: stageSpecByTag('harness-contract'),\n    run: toVoid(verifyHarnessContract(harness)),\n  }\n}\n\nfunction commandStage(\n  tag: VerifyStageTag,\n  args: ReadonlyArray<string>,\n  harness: string,\n): VerifyStage {\n  return {\n    spec: stageSpecByTag(tag),\n    run: toVoid(commandString('pnpm', args, { cwd: harness })),\n  }\n}\n\nconst runStage = Effect.fnUntraced(function* (stage: VerifyStage) {\n  yield* Console.log(`verify stage: ${stage.spec.tag}`)\n  const result = yield* Effect.result(stage.run)\n\n  if (Result.isFailure(result)) {\n    return yield* new VerifyStageFailed({\n      causeMessage: errorMessage(result.failure),\n      routeHint: stage.spec.routeHint,\n      routes: [...stage.spec.routes],\n      stageTag: stage.spec.tag,\n      stageTitle: stage.spec.title,\n    })\n  }\n\n  yield* Console.log(`verify stage passed: ${stage.spec.tag}`)\n})\n\nexport const verifyPipeline = Effect.fnUntraced(function* (harness: string) {\n  const stages: ReadonlyArray<VerifyStage> = [\n    sourcePins(harness),\n    harnessContract(harness),\n    commandStage('tsgo-diagnostics', ['typecheck'], harness),\n    commandStage('tests', ['test'], harness),\n    commandStage('lint', ['lint', '--max-warnings', '0'], harness),\n    commandStage('knip', ['knip'], harness),\n  ]\n\n  for (const stage of stages) {\n    yield* runStage(stage)\n  }\n\n  yield* Console.log('verify pipeline passed.')\n})\n"]}

package/dist/src/harness/verify/ProviderProfile.d.ts

@@ -1,3 +0,0 @@
-import { Effect, FileSystem } from 'effect';
-import { HarnessError } from '../Errors.ts';
-export declare const verifyProviderProfileContract: (errors: string[], harness: string) => Effect.Effect<void, HarnessError | import("effect/PlatformError").PlatformError, FileSystem.FileSystem>;