@sayoriqwq/effect-harness 0.0.5 → 0.1.1

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

@@ -1,166 +0,0 @@
-import { Effect, FileSystem, Result } from 'effect';
-import { readJson } from "../../platform/Json.js";
-import { commandString } from "../../platform/Process.js";
-import { errorMessage, HarnessError } from "../Errors.js";
-import { isRecord } from "./JsonFields.js";
-import { readTsgoStrictRuleMap } from "./TsgoMetadata.js";
-import { expectedEffectTsgoVersion, expectedPackageBaseline, requiredTsgoPolicyKeywords, strictDiagnosticGate, strictDiagnosticSeverity, strictLanguageServicePlugin, } from "./TsgoPolicy.js";
-import { assertNoEffectDiagnosticSuppressions } from "./TsgoSuppressions.js";
-function decodeJsonRecord(value, source) {
-    return isRecord(value)
-        ? Effect.succeed(value)
-        : Effect.fail(new HarnessError({ message: `${source} must be a JSON object` }));
-}
-function recordField(errors, record, key, source) {
-    if (record === undefined) {
-        return undefined;
-    }
-    const value = record[key];
-    if (!isRecord(value)) {
-        errors.push(`${source}.${key} must be an object.`);
-        return undefined;
-    }
-    return value;
-}
-function arrayField(errors, record, key, source) {
-    if (record === undefined) {
-        return undefined;
-    }
-    const value = record[key];
-    if (!Array.isArray(value)) {
-        errors.push(`${source}.${key} must be an array.`);
-        return undefined;
-    }
-    return value;
-}
-function assertStringValue(errors, actual, expected, source) {
-    if (actual !== expected) {
-        errors.push(`${source} is ${String(actual ?? 'missing')}; expected ${expected}.`);
-    }
-}
-function stableJson(value) {
-    if (Array.isArray(value)) {
-        return `[${value.map(stableJson).join(',')}]`;
-    }
-    if (isRecord(value)) {
-        return `{${Object.keys(value).sort().map(key => `${JSON.stringify(key)}:${stableJson(value[key])}`).join(',')}}`;
-    }
-    return JSON.stringify(value);
-}
-function assertDeepEqual(errors, actual, expected, source) {
-    if (stableJson(actual) !== stableJson(expected)) {
-        errors.push(`${source} does not match the strict tsgo policy.`);
-    }
-}
-function findLanguageServicePlugin(errors, plugins, source) {
-    if (plugins === undefined) {
-        return undefined;
-    }
-    for (const plugin of plugins) {
-        if (isRecord(plugin) && plugin.name === '@effect/language-service') {
-            return plugin;
-        }
-    }
-    errors.push(`${source} must include @effect/language-service plugin.`);
-    return undefined;
-}
-function assertLanguageServicePlugin(errors, plugin, source) {
-    if (plugin === undefined) {
-        return;
-    }
-    if ('options' in plugin) {
-        errors.push(`${source} must use the current @effect/language-service plugin shape.`);
-    }
-    if ('overrides' in plugin) {
-        errors.push(`${source}.overrides must not lower the strict tsgo policy.`);
-    }
-    if (plugin.diagnosticSeverity === null) {
-        errors.push(`${source}.diagnosticSeverity must not be null.`);
-        return;
-    }
-    assertDeepEqual(errors, plugin, strictLanguageServicePlugin, source);
-}
-function assertTsconfig(errors, tsconfig, source) {
-    const compilerOptions = recordField(errors, tsconfig, 'compilerOptions', source);
-    const plugins = arrayField(errors, compilerOptions, 'plugins', `${source}.compilerOptions`);
-    assertLanguageServicePlugin(errors, findLanguageServicePlugin(errors, plugins, `${source}.compilerOptions.plugins`), `${source}.compilerOptions.plugins[@effect/language-service]`);
-}
-function assertProviderTsgoPolicy(errors, codexProfile) {
-    const tsgoPolicy = recordField(errors, codexProfile, 'tsgoPolicy', 'provider profile.profiles.codex-effect-v4');
-    assertStringValue(errors, tsgoPolicy?.mode, 'strict-v4', 'provider profile tsgoPolicy.mode');
-    assertStringValue(errors, tsgoPolicy?.effectVersion, expectedPackageBaseline.effect, 'provider profile tsgoPolicy.effectVersion');
-    assertStringValue(errors, tsgoPolicy?.tsgoVersion, expectedPackageBaseline['@effect/tsgo'], 'provider profile tsgoPolicy.tsgoVersion');
-    assertStringValue(errors, tsgoPolicy?.languageServiceVersion, expectedPackageBaseline['@effect/language-service'], 'provider profile tsgoPolicy.languageServiceVersion');
-    assertStringValue(errors, tsgoPolicy?.sourceEntry, 'tsgo-official-source', 'provider profile tsgoPolicy.sourceEntry');
-    const nativeBackend = recordField(errors, tsgoPolicy, 'nativeBackend', 'provider profile tsgoPolicy');
-    assertStringValue(errors, nativeBackend?.package, '@typescript/native-preview', 'provider profile tsgoPolicy.nativeBackend.package');
-    assertStringValue(errors, nativeBackend?.version, expectedPackageBaseline['@typescript/native-preview'], 'provider profile tsgoPolicy.nativeBackend.version');
-    const diagnosticGate = recordField(errors, tsgoPolicy, 'diagnosticGate', 'provider profile tsgoPolicy');
-    assertDeepEqual(errors, diagnosticGate, strictDiagnosticGate, 'provider profile tsgoPolicy.diagnosticGate');
-    const ruleMapSource = recordField(errors, tsgoPolicy, 'ruleMapSource', 'provider profile tsgoPolicy');
-    assertStringValue(errors, ruleMapSource?.metadata, 'repos/tsgo/_packages/tsgo/src/metadata.json', 'provider profile tsgoPolicy.ruleMapSource.metadata');
-    assertStringValue(errors, ruleMapSource?.policy, 'harness/tsgo.md', 'provider profile tsgoPolicy.ruleMapSource.policy');
-    assertStringValue(errors, ruleMapSource?.supportedEffect, 'v4', 'provider profile tsgoPolicy.ruleMapSource.supportedEffect');
-    if (ruleMapSource?.ruleCount !== Object.keys(strictDiagnosticSeverity).length) {
-        errors.push(`provider profile tsgoPolicy.ruleMapSource.ruleCount is ${String(ruleMapSource?.ruleCount ?? 'missing')}; expected ${Object.keys(strictDiagnosticSeverity).length}.`);
-    }
-    assertDeepEqual(errors, recordField(errors, tsgoPolicy, 'diagnosticSeverity', 'provider profile tsgoPolicy'), strictDiagnosticSeverity, 'provider profile tsgoPolicy.diagnosticSeverity');
-    assertDeepEqual(errors, recordField(errors, tsgoPolicy, 'languageServicePlugin', 'provider profile tsgoPolicy'), strictLanguageServicePlugin, 'provider profile tsgoPolicy.languageServicePlugin');
-}
-function assertProviderTsgoContribution(errors, profile) {
-    const profiles = recordField(errors, profile, 'profiles', 'provider profile');
-    const codexProfile = recordField(errors, profiles, 'codex-effect-v4', 'provider profile.profiles');
-    const contributions = recordField(errors, codexProfile, 'contributions', 'provider profile.profiles.codex-effect-v4');
-    const tsconfig = recordField(errors, contributions, 'tsconfig', 'provider profile.profiles.codex-effect-v4.contributions');
-    const compilerOptions = recordField(errors, tsconfig, 'compilerOptions', 'provider profile contributions tsconfig');
-    const plugins = arrayField(errors, compilerOptions, 'plugins', 'provider profile contributions tsconfig.compilerOptions');
-    assertLanguageServicePlugin(errors, findLanguageServicePlugin(errors, plugins, 'provider profile contributions tsconfig.compilerOptions.plugins'), 'provider profile contributions tsconfig.compilerOptions.plugins[@effect/language-service]');
-    assertProviderTsgoPolicy(errors, codexProfile);
-}
-function assertStrictRuleMap(errors, metadataRuleMap) {
-    assertDeepEqual(errors, metadataRuleMap, strictDiagnosticSeverity, 'repos/tsgo metadata derived strict rule map');
-}
-function assertTsgoPolicyDocument(errors, text) {
-    for (const keyword of requiredTsgoPolicyKeywords) {
-        if (!text.includes(keyword)) {
-            errors.push(`harness/tsgo.md must contain policy keyword ${keyword}.`);
-        }
-    }
-    for (const ruleName of Object.keys(strictDiagnosticSeverity)) {
-        if (!text.includes(ruleName)) {
-            errors.push(`harness/tsgo.md POLICY_RULE_MAP must record ${ruleName}.`);
-        }
-    }
-}
-const verifyEffectTsgoBinary = Effect.fnUntraced(function* (errors, root) {
-    const result = yield* Effect.result(commandString('pnpm', ['exec', 'effect-tsgo', '--version'], { cwd: root }));
-    if (Result.isFailure(result)) {
-        errors.push(`effect-tsgo --version failed: ${errorMessage(result.failure)}`);
-        return;
-    }
-    if (!result.success.includes(expectedEffectTsgoVersion)) {
-        errors.push(`effect-tsgo version output is ${result.success}; expected ${expectedEffectTsgoVersion}.`);
-    }
-    const tsgoResult = yield* Effect.result(commandString('pnpm', ['exec', 'tsgo', '--version'], { cwd: root }));
-    if (Result.isFailure(tsgoResult)) {
-        errors.push(`tsgo --version failed: ${errorMessage(tsgoResult.failure)}`);
-        return;
-    }
-    if (!tsgoResult.success.includes(`effect-tsgo.${expectedEffectTsgoVersion}`)) {
-        errors.push(`tsgo version output is ${tsgoResult.success}; expected Effect TypeScript-Go ${expectedEffectTsgoVersion}.`);
-    }
-});
-export const verifyTsgoBaseline = Effect.fnUntraced(function* (errors, harness) {
-    const fs = yield* FileSystem.FileSystem;
-    const tsconfig = yield* readJson(`${harness}/tsconfig.json`, decodeJsonRecord);
-    const providerProfile = yield* readJson(`${harness}/provider/effect-harness.provider.json`, decodeJsonRecord);
-    const tsgoPolicyText = yield* fs.readFileString(`${harness}/harness/tsgo.md`);
-    const metadataRuleMap = yield* readTsgoStrictRuleMap(harness);
-    assertTsconfig(errors, tsconfig, 'tsconfig.json');
-    assertProviderTsgoContribution(errors, providerProfile);
-    assertStrictRuleMap(errors, metadataRuleMap);
-    assertTsgoPolicyDocument(errors, tsgoPolicyText);
-    yield* assertNoEffectDiagnosticSuppressions(errors, harness);
-    yield* verifyEffectTsgoBinary(errors, harness);
-});
-//# sourceMappingURL=Tsgo.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"Tsgo.js","sourceRoot":"","sources":["../../../../src/harness/verify/Tsgo.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAA;AACzD,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACvB,0BAA0B,EAC1B,oBAAoB,EACpB,wBAAwB,EACxB,2BAA2B,GAC5B,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,oCAAoC,EAAE,MAAM,uBAAuB,CAAA;AAE5E,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,WAAW,CAClB,MAAqB,EACrB,MAA2C,EAC3C,GAAW,EACX,MAAc;IAEd,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;IACzB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAA;QAClD,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,UAAU,CACjB,MAAqB,EACrB,MAA2C,EAC3C,GAAW,EACX,MAAc;IAEd,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;IACzB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,GAAG,oBAAoB,CAAC,CAAA;QACjD,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAqB,EACrB,MAAe,EACf,QAAgB,EAChB,MAAc;IAEd,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,MAAM,CAAC,MAAM,IAAI,SAAS,CAAC,cAAc,QAAQ,GAAG,CAAC,CAAA;IACnF,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IAC/C,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IAClH,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;AAC9B,CAAC;AAED,SAAS,eAAe,CAAC,MAAqB,EAAE,MAAe,EAAE,QAAiB,EAAE,MAAc;IAChG,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,yCAAyC,CAAC,CAAA;IACjE,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,MAAqB,EACrB,OAA2C,EAC3C,MAAc;IAEd,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAA;IAClB,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;YACnE,OAAO,MAAM,CAAA;QACf,CAAC;IACH,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,gDAAgD,CAAC,CAAA;IACtE,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,SAAS,2BAA2B,CAClC,MAAqB,EACrB,MAA2C,EAC3C,MAAc;IAEd,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAM;IACR,CAAC;IAED,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,8DAA8D,CAAC,CAAA;IACtF,CAAC;IACD,IAAI,WAAW,IAAI,MAAM,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,mDAAmD,CAAC,CAAA;IAC3E,CAAC;IACD,IAAI,MAAM,CAAC,kBAAkB,KAAK,IAAI,EAAE,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,uCAAuC,CAAC,CAAA;QAC7D,OAAM;IACR,CAAC;IAED,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,2BAA2B,EAAE,MAAM,CAAC,CAAA;AACtE,CAAC;AAED,SAAS,cAAc,CAAC,MAAqB,EAAE,QAAiC,EAAE,MAAc;IAC9F,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAA;IAChF,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,GAAG,MAAM,kBAAkB,CAAC,CAAA;IAC3F,2BAA2B,CACzB,MAAM,EACN,yBAAyB,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,0BAA0B,CAAC,EAC/E,GAAG,MAAM,oDAAoD,CAC9D,CAAA;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAqB,EAAE,YAAiD;IACxG,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,2CAA2C,CAAC,CAAA;IAC/G,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,kCAAkC,CAAC,CAAA;IAC5F,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,uBAAuB,CAAC,MAAM,EAAE,2CAA2C,CAAC,CAAA;IACjI,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,uBAAuB,CAAC,cAAc,CAAC,EAAE,yCAAyC,CAAC,CAAA;IACtI,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,sBAAsB,EAAE,uBAAuB,CAAC,0BAA0B,CAAC,EAAE,oDAAoD,CAAC,CAAA;IACxK,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,sBAAsB,EAAE,yCAAyC,CAAC,CAAA;IAErH,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,6BAA6B,CAAC,CAAA;IACrG,iBAAiB,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,4BAA4B,EAAE,mDAAmD,CAAC,CAAA;IACpI,iBAAiB,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,uBAAuB,CAAC,4BAA4B,CAAC,EAAE,mDAAmD,CAAC,CAAA;IAE7J,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,gBAAgB,EAAE,6BAA6B,CAAC,CAAA;IACvG,eAAe,CAAC,MAAM,EAAE,cAAc,EAAE,oBAAoB,EAAE,4CAA4C,CAAC,CAAA;IAE3G,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,6BAA6B,CAAC,CAAA;IACrG,iBAAiB,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,6CAA6C,EAAE,oDAAoD,CAAC,CAAA;IACvJ,iBAAiB,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,iBAAiB,EAAE,kDAAkD,CAAC,CAAA;IACvH,iBAAiB,CAAC,MAAM,EAAE,aAAa,EAAE,eAAe,EAAE,IAAI,EAAE,2DAA2D,CAAC,CAAA;IAC5H,IAAI,aAAa,EAAE,SAAS,KAAK,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC,MAAM,EAAE,CAAC;QAC9E,MAAM,CAAC,IAAI,CAAC,0DAA0D,MAAM,CAAC,aAAa,EAAE,SAAS,IAAI,SAAS,CAAC,cAAc,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;IACnL,CAAC;IAED,eAAe,CACb,MAAM,EACN,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,oBAAoB,EAAE,6BAA6B,CAAC,EACpF,wBAAwB,EACxB,gDAAgD,CACjD,CAAA;IACD,eAAe,CACb,MAAM,EACN,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,uBAAuB,EAAE,6BAA6B,CAAC,EACvF,2BAA2B,EAC3B,mDAAmD,CACpD,CAAA;AACH,CAAC;AAED,SAAS,8BAA8B,CAAC,MAAqB,EAAE,OAAgC;IAC7F,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAA;IAC7E,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,2BAA2B,CAAC,CAAA;IAClG,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,2CAA2C,CAAC,CAAA;IAErH,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,yDAAyD,CAAC,CAAA;IAC1H,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,yCAAyC,CAAC,CAAA;IACnH,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,yDAAyD,CAAC,CAAA;IACzH,2BAA2B,CACzB,MAAM,EACN,yBAAyB,CAAC,MAAM,EAAE,OAAO,EAAE,iEAAiE,CAAC,EAC7G,2FAA2F,CAC5F,CAAA;IACD,wBAAwB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;AAChD,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAqB,EAAE,eAAiD;IACnG,eAAe,CAAC,MAAM,EAAE,eAAe,EAAE,wBAAwB,EAAE,6CAA6C,CAAC,CAAA;AACnH,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAqB,EAAE,IAAY;IACnE,KAAK,MAAM,OAAO,IAAI,0BAA0B,EAAE,CAAC;QACjD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,+CAA+C,OAAO,GAAG,CAAC,CAAA;QACxE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,+CAA+C,QAAQ,GAAG,CAAC,CAAA;QACzE,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,sBAAsB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,MAAqB,EAAE,IAAY;IAC7F,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IAE/G,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,iCAAiC,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QAC5E,OAAM;IACR,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAAC,EAAE,CAAC;QACxD,MAAM,CAAC,IAAI,CAAC,iCAAiC,MAAM,CAAC,OAAO,cAAc,yBAAyB,GAAG,CAAC,CAAA;IACxG,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IAE5G,IAAI,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,0BAA0B,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QACzE,OAAM;IACR,CAAC;IAED,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,yBAAyB,EAAE,CAAC,EAAE,CAAC;QAC7E,MAAM,CAAC,IAAI,CAAC,0BAA0B,UAAU,CAAC,OAAO,mCAAmC,yBAAyB,GAAG,CAAC,CAAA;IAC1H,CAAC;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,MAAqB,EAAE,OAAe;IACnG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,OAAO,gBAAgB,EAAE,gBAAgB,CAAC,CAAA;IAC9E,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,OAAO,wCAAwC,EAAE,gBAAgB,CAAC,CAAA;IAC7G,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,OAAO,kBAAkB,CAAC,CAAA;IAC7E,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAA;IAE7D,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAA;IACjD,8BAA8B,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IACvD,mBAAmB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IAC5C,wBAAwB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;IAChD,KAAK,CAAC,CAAC,oCAAoC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC5D,KAAK,CAAC,CAAC,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAChD,CAAC,CAAC,CAAA","sourcesContent":["import { Effect, FileSystem, Result } from 'effect'\nimport { readJson } from '../../platform/Json.ts'\nimport { commandString } from '../../platform/Process.ts'\nimport { errorMessage, HarnessError } from '../Errors.ts'\nimport { isRecord } from './JsonFields.ts'\nimport { readTsgoStrictRuleMap } from './TsgoMetadata.ts'\nimport {\n  expectedEffectTsgoVersion,\n  expectedPackageBaseline,\n  requiredTsgoPolicyKeywords,\n  strictDiagnosticGate,\n  strictDiagnosticSeverity,\n  strictLanguageServicePlugin,\n} from './TsgoPolicy.ts'\nimport { assertNoEffectDiagnosticSuppressions } from './TsgoSuppressions.ts'\n\nfunction decodeJsonRecord(value: unknown, source: string) {\n  return isRecord(value)\n    ? Effect.succeed(value)\n    : Effect.fail(new HarnessError({ message: `${source} must be a JSON object` }))\n}\n\nfunction recordField(\n  errors: Array<string>,\n  record: Record<string, unknown> | undefined,\n  key: string,\n  source: string,\n): Record<string, unknown> | undefined {\n  if (record === undefined) {\n    return undefined\n  }\n  const value = record[key]\n  if (!isRecord(value)) {\n    errors.push(`${source}.${key} must be an object.`)\n    return undefined\n  }\n  return value\n}\n\nfunction arrayField(\n  errors: Array<string>,\n  record: Record<string, unknown> | undefined,\n  key: string,\n  source: string,\n): ReadonlyArray<unknown> | undefined {\n  if (record === undefined) {\n    return undefined\n  }\n  const value = record[key]\n  if (!Array.isArray(value)) {\n    errors.push(`${source}.${key} must be an array.`)\n    return undefined\n  }\n  return value\n}\n\nfunction assertStringValue(\n  errors: Array<string>,\n  actual: unknown,\n  expected: string,\n  source: string,\n): void {\n  if (actual !== expected) {\n    errors.push(`${source} is ${String(actual ?? 'missing')}; expected ${expected}.`)\n  }\n}\n\nfunction stableJson(value: unknown): string {\n  if (Array.isArray(value)) {\n    return `[${value.map(stableJson).join(',')}]`\n  }\n  if (isRecord(value)) {\n    return `{${Object.keys(value).sort().map(key => `${JSON.stringify(key)}:${stableJson(value[key])}`).join(',')}}`\n  }\n  return JSON.stringify(value)\n}\n\nfunction assertDeepEqual(errors: Array<string>, actual: unknown, expected: unknown, source: string): void {\n  if (stableJson(actual) !== stableJson(expected)) {\n    errors.push(`${source} does not match the strict tsgo policy.`)\n  }\n}\n\nfunction findLanguageServicePlugin(\n  errors: Array<string>,\n  plugins: ReadonlyArray<unknown> | undefined,\n  source: string,\n): Record<string, unknown> | undefined {\n  if (plugins === undefined) {\n    return undefined\n  }\n\n  for (const plugin of plugins) {\n    if (isRecord(plugin) && plugin.name === '@effect/language-service') {\n      return plugin\n    }\n  }\n\n  errors.push(`${source} must include @effect/language-service plugin.`)\n  return undefined\n}\n\nfunction assertLanguageServicePlugin(\n  errors: Array<string>,\n  plugin: Record<string, unknown> | undefined,\n  source: string,\n): void {\n  if (plugin === undefined) {\n    return\n  }\n\n  if ('options' in plugin) {\n    errors.push(`${source} must use the current @effect/language-service plugin shape.`)\n  }\n  if ('overrides' in plugin) {\n    errors.push(`${source}.overrides must not lower the strict tsgo policy.`)\n  }\n  if (plugin.diagnosticSeverity === null) {\n    errors.push(`${source}.diagnosticSeverity must not be null.`)\n    return\n  }\n\n  assertDeepEqual(errors, plugin, strictLanguageServicePlugin, source)\n}\n\nfunction assertTsconfig(errors: Array<string>, tsconfig: Record<string, unknown>, source: string): void {\n  const compilerOptions = recordField(errors, tsconfig, 'compilerOptions', source)\n  const plugins = arrayField(errors, compilerOptions, 'plugins', `${source}.compilerOptions`)\n  assertLanguageServicePlugin(\n    errors,\n    findLanguageServicePlugin(errors, plugins, `${source}.compilerOptions.plugins`),\n    `${source}.compilerOptions.plugins[@effect/language-service]`,\n  )\n}\n\nfunction assertProviderTsgoPolicy(errors: Array<string>, codexProfile: Record<string, unknown> | undefined): void {\n  const tsgoPolicy = recordField(errors, codexProfile, 'tsgoPolicy', 'provider profile.profiles.codex-effect-v4')\n  assertStringValue(errors, tsgoPolicy?.mode, 'strict-v4', 'provider profile tsgoPolicy.mode')\n  assertStringValue(errors, tsgoPolicy?.effectVersion, expectedPackageBaseline.effect, 'provider profile tsgoPolicy.effectVersion')\n  assertStringValue(errors, tsgoPolicy?.tsgoVersion, expectedPackageBaseline['@effect/tsgo'], 'provider profile tsgoPolicy.tsgoVersion')\n  assertStringValue(errors, tsgoPolicy?.languageServiceVersion, expectedPackageBaseline['@effect/language-service'], 'provider profile tsgoPolicy.languageServiceVersion')\n  assertStringValue(errors, tsgoPolicy?.sourceEntry, 'tsgo-official-source', 'provider profile tsgoPolicy.sourceEntry')\n\n  const nativeBackend = recordField(errors, tsgoPolicy, 'nativeBackend', 'provider profile tsgoPolicy')\n  assertStringValue(errors, nativeBackend?.package, '@typescript/native-preview', 'provider profile tsgoPolicy.nativeBackend.package')\n  assertStringValue(errors, nativeBackend?.version, expectedPackageBaseline['@typescript/native-preview'], 'provider profile tsgoPolicy.nativeBackend.version')\n\n  const diagnosticGate = recordField(errors, tsgoPolicy, 'diagnosticGate', 'provider profile tsgoPolicy')\n  assertDeepEqual(errors, diagnosticGate, strictDiagnosticGate, 'provider profile tsgoPolicy.diagnosticGate')\n\n  const ruleMapSource = recordField(errors, tsgoPolicy, 'ruleMapSource', 'provider profile tsgoPolicy')\n  assertStringValue(errors, ruleMapSource?.metadata, 'repos/tsgo/_packages/tsgo/src/metadata.json', 'provider profile tsgoPolicy.ruleMapSource.metadata')\n  assertStringValue(errors, ruleMapSource?.policy, 'harness/tsgo.md', 'provider profile tsgoPolicy.ruleMapSource.policy')\n  assertStringValue(errors, ruleMapSource?.supportedEffect, 'v4', 'provider profile tsgoPolicy.ruleMapSource.supportedEffect')\n  if (ruleMapSource?.ruleCount !== Object.keys(strictDiagnosticSeverity).length) {\n    errors.push(`provider profile tsgoPolicy.ruleMapSource.ruleCount is ${String(ruleMapSource?.ruleCount ?? 'missing')}; expected ${Object.keys(strictDiagnosticSeverity).length}.`)\n  }\n\n  assertDeepEqual(\n    errors,\n    recordField(errors, tsgoPolicy, 'diagnosticSeverity', 'provider profile tsgoPolicy'),\n    strictDiagnosticSeverity,\n    'provider profile tsgoPolicy.diagnosticSeverity',\n  )\n  assertDeepEqual(\n    errors,\n    recordField(errors, tsgoPolicy, 'languageServicePlugin', 'provider profile tsgoPolicy'),\n    strictLanguageServicePlugin,\n    'provider profile tsgoPolicy.languageServicePlugin',\n  )\n}\n\nfunction assertProviderTsgoContribution(errors: Array<string>, profile: Record<string, unknown>): void {\n  const profiles = recordField(errors, profile, 'profiles', 'provider profile')\n  const codexProfile = recordField(errors, profiles, 'codex-effect-v4', 'provider profile.profiles')\n  const contributions = recordField(errors, codexProfile, 'contributions', 'provider profile.profiles.codex-effect-v4')\n\n  const tsconfig = recordField(errors, contributions, 'tsconfig', 'provider profile.profiles.codex-effect-v4.contributions')\n  const compilerOptions = recordField(errors, tsconfig, 'compilerOptions', 'provider profile contributions tsconfig')\n  const plugins = arrayField(errors, compilerOptions, 'plugins', 'provider profile contributions tsconfig.compilerOptions')\n  assertLanguageServicePlugin(\n    errors,\n    findLanguageServicePlugin(errors, plugins, 'provider profile contributions tsconfig.compilerOptions.plugins'),\n    'provider profile contributions tsconfig.compilerOptions.plugins[@effect/language-service]',\n  )\n  assertProviderTsgoPolicy(errors, codexProfile)\n}\n\nfunction assertStrictRuleMap(errors: Array<string>, metadataRuleMap: Readonly<Record<string, string>>): void {\n  assertDeepEqual(errors, metadataRuleMap, strictDiagnosticSeverity, 'repos/tsgo metadata derived strict rule map')\n}\n\nfunction assertTsgoPolicyDocument(errors: Array<string>, text: string): void {\n  for (const keyword of requiredTsgoPolicyKeywords) {\n    if (!text.includes(keyword)) {\n      errors.push(`harness/tsgo.md must contain policy keyword ${keyword}.`)\n    }\n  }\n  for (const ruleName of Object.keys(strictDiagnosticSeverity)) {\n    if (!text.includes(ruleName)) {\n      errors.push(`harness/tsgo.md POLICY_RULE_MAP must record ${ruleName}.`)\n    }\n  }\n}\n\nconst verifyEffectTsgoBinary = Effect.fnUntraced(function* (errors: Array<string>, root: string) {\n  const result = yield* Effect.result(commandString('pnpm', ['exec', 'effect-tsgo', '--version'], { cwd: root }))\n\n  if (Result.isFailure(result)) {\n    errors.push(`effect-tsgo --version failed: ${errorMessage(result.failure)}`)\n    return\n  }\n\n  if (!result.success.includes(expectedEffectTsgoVersion)) {\n    errors.push(`effect-tsgo version output is ${result.success}; expected ${expectedEffectTsgoVersion}.`)\n  }\n\n  const tsgoResult = yield* Effect.result(commandString('pnpm', ['exec', 'tsgo', '--version'], { cwd: root }))\n\n  if (Result.isFailure(tsgoResult)) {\n    errors.push(`tsgo --version failed: ${errorMessage(tsgoResult.failure)}`)\n    return\n  }\n\n  if (!tsgoResult.success.includes(`effect-tsgo.${expectedEffectTsgoVersion}`)) {\n    errors.push(`tsgo version output is ${tsgoResult.success}; expected Effect TypeScript-Go ${expectedEffectTsgoVersion}.`)\n  }\n})\n\nexport const verifyTsgoBaseline = Effect.fnUntraced(function* (errors: Array<string>, harness: string) {\n  const fs = yield* FileSystem.FileSystem\n  const tsconfig = yield* readJson(`${harness}/tsconfig.json`, decodeJsonRecord)\n  const providerProfile = yield* readJson(`${harness}/provider/effect-harness.provider.json`, decodeJsonRecord)\n  const tsgoPolicyText = yield* fs.readFileString(`${harness}/harness/tsgo.md`)\n  const metadataRuleMap = yield* readTsgoStrictRuleMap(harness)\n\n  assertTsconfig(errors, tsconfig, 'tsconfig.json')\n  assertProviderTsgoContribution(errors, providerProfile)\n  assertStrictRuleMap(errors, metadataRuleMap)\n  assertTsgoPolicyDocument(errors, tsgoPolicyText)\n  yield* assertNoEffectDiagnosticSuppressions(errors, harness)\n  yield* verifyEffectTsgoBinary(errors, harness)\n})\n"]}

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

@@ -1,4 +0,0 @@
-import type { TsgoDiagnosticSeverity } from './TsgoPolicy.ts';
-import { Effect } from 'effect';
-import { HarnessError } from '../Errors.ts';
-export declare const readTsgoStrictRuleMap: (root: string) => Effect.Effect<Readonly<Record<string, TsgoDiagnosticSeverity>>, HarnessError | import("effect/PlatformError").PlatformError, import("effect/FileSystem").FileSystem>;

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

@@ -1,50 +0,0 @@
-import { Effect } from 'effect';
-import { readJson } from "../../platform/Json.js";
-import { HarnessError } from "../Errors.js";
-import { isRecord } from "./JsonFields.js";
-function decodeTsgoMetadata(value, source) {
-    if (!isRecord(value) || !Array.isArray(value.rules)) {
-        return Effect.fail(new HarnessError({ message: `${source} must contain a rules array.` }));
-    }
-    const rules = [];
-    for (const [index, rule] of value.rules.entries()) {
-        if (!isRecord(rule)) {
-            return Effect.fail(new HarnessError({ message: `${source}.rules[${index}] must be an object.` }));
-        }
-        if (typeof rule.name !== 'string'
-            || typeof rule.group !== 'string'
-            || typeof rule.defaultSeverity !== 'string'
-            || !Array.isArray(rule.supportedEffect)
-            || rule.supportedEffect.some(effect => typeof effect !== 'string')) {
-            return Effect.fail(new HarnessError({ message: `${source}.rules[${index}] has an invalid rule shape.` }));
-        }
-        rules.push({
-            defaultSeverity: rule.defaultSeverity,
-            group: rule.group,
-            name: rule.name,
-            supportedEffect: rule.supportedEffect,
-        });
-    }
-    return Effect.succeed({ rules });
-}
-function strictSeverity(rule) {
-    if (rule.group === 'correctness' && rule.defaultSeverity === 'off') {
-        return 'error';
-    }
-    if (rule.group === 'effectNative') {
-        return 'warning';
-    }
-    if ((rule.group === 'antipattern' || rule.group === 'style') && rule.defaultSeverity === 'off') {
-        return 'warning';
-    }
-    return rule.defaultSeverity;
-}
-export const readTsgoStrictRuleMap = Effect.fnUntraced(function* (root) {
-    const metadata = yield* readJson(`${root}/repos/tsgo/_packages/tsgo/src/metadata.json`, decodeTsgoMetadata);
-    const entries = metadata.rules
-        .filter(rule => rule.supportedEffect.includes('v4'))
-        .map(rule => [rule.name, strictSeverity(rule)])
-        .sort(([left], [right]) => left.localeCompare(right));
-    return Object.fromEntries(entries);
-});
-//# sourceMappingURL=TsgoMetadata.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"TsgoMetadata.js","sourceRoot":"","sources":["../../../../src/harness/verify/TsgoMetadata.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAS1C,SAAS,kBAAkB,CAAC,KAAc,EAAE,MAAc;IACxD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACpD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,8BAA8B,EAAE,CAAC,CAAC,CAAA;IAC5F,CAAC;IAED,MAAM,KAAK,GAA4B,EAAE,CAAA;IACzC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,UAAU,KAAK,sBAAsB,EAAE,CAAC,CAAC,CAAA;QACnG,CAAC;QACD,IACE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;eAC1B,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;eAC9B,OAAO,IAAI,CAAC,eAAe,KAAK,QAAQ;eACxC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC;eACpC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,MAAM,KAAK,QAAQ,CAAC,EAClE,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,UAAU,KAAK,8BAA8B,EAAE,CAAC,CAAC,CAAA;QAC3G,CAAC;QAED,KAAK,CAAC,IAAI,CAAC;YACT,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,eAAe,EAAE,IAAI,CAAC,eAAwC;SAC/D,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;AAClC,CAAC;AAED,SAAS,cAAc,CAAC,IAAsB;IAC5C,IAAI,IAAI,CAAC,KAAK,KAAK,aAAa,IAAI,IAAI,CAAC,eAAe,KAAK,KAAK,EAAE,CAAC;QACnE,OAAO,OAAO,CAAA;IAChB,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;QAClC,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,aAAa,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC,IAAI,IAAI,CAAC,eAAe,KAAK,KAAK,EAAE,CAAC;QAC/F,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,eAAyC,CAAA;AACvD,CAAC;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,IAAY;IAC5E,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,8CAA8C,EAAE,kBAAkB,CAAC,CAAA;IAC3G,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK;SAC3B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;SACnD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,CAAU,CAAC;SACvD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;IAEvD,OAAO,MAAM,CAAC,WAAW,CAAC,OAAO,CAAqD,CAAA;AACxF,CAAC,CAAC,CAAA","sourcesContent":["import type { TsgoDiagnosticSeverity } from './TsgoPolicy.ts'\nimport { Effect } from 'effect'\nimport { readJson } from '../../platform/Json.ts'\nimport { HarnessError } from '../Errors.ts'\nimport { isRecord } from './JsonFields.ts'\n\ninterface TsgoRuleMetadata {\n  readonly name: string\n  readonly group: string\n  readonly defaultSeverity: string\n  readonly supportedEffect: ReadonlyArray<string>\n}\n\nfunction decodeTsgoMetadata(value: unknown, source: string) {\n  if (!isRecord(value) || !Array.isArray(value.rules)) {\n    return Effect.fail(new HarnessError({ message: `${source} must contain a rules array.` }))\n  }\n\n  const rules: Array<TsgoRuleMetadata> = []\n  for (const [index, rule] of value.rules.entries()) {\n    if (!isRecord(rule)) {\n      return Effect.fail(new HarnessError({ message: `${source}.rules[${index}] must be an object.` }))\n    }\n    if (\n      typeof rule.name !== 'string'\n      || typeof rule.group !== 'string'\n      || typeof rule.defaultSeverity !== 'string'\n      || !Array.isArray(rule.supportedEffect)\n      || rule.supportedEffect.some(effect => typeof effect !== 'string')\n    ) {\n      return Effect.fail(new HarnessError({ message: `${source}.rules[${index}] has an invalid rule shape.` }))\n    }\n\n    rules.push({\n      defaultSeverity: rule.defaultSeverity,\n      group: rule.group,\n      name: rule.name,\n      supportedEffect: rule.supportedEffect as ReadonlyArray<string>,\n    })\n  }\n\n  return Effect.succeed({ rules })\n}\n\nfunction strictSeverity(rule: TsgoRuleMetadata): TsgoDiagnosticSeverity {\n  if (rule.group === 'correctness' && rule.defaultSeverity === 'off') {\n    return 'error'\n  }\n  if (rule.group === 'effectNative') {\n    return 'warning'\n  }\n  if ((rule.group === 'antipattern' || rule.group === 'style') && rule.defaultSeverity === 'off') {\n    return 'warning'\n  }\n  return rule.defaultSeverity as TsgoDiagnosticSeverity\n}\n\nexport const readTsgoStrictRuleMap = Effect.fnUntraced(function* (root: string) {\n  const metadata = yield* readJson(`${root}/repos/tsgo/_packages/tsgo/src/metadata.json`, decodeTsgoMetadata)\n  const entries = metadata.rules\n    .filter(rule => rule.supportedEffect.includes('v4'))\n    .map(rule => [rule.name, strictSeverity(rule)] as const)\n    .sort(([left], [right]) => left.localeCompare(right))\n\n  return Object.fromEntries(entries) as Readonly<Record<string, TsgoDiagnosticSeverity>>\n})\n"]}

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

@@ -1,208 +0,0 @@
-export type TsgoDiagnosticSeverity = 'error' | 'message' | 'suggestion' | 'warning';
-export declare const expectedPackageBaseline: {
-    readonly effect: "4.0.0-beta.92";
-    readonly '@effect/platform-node': "4.0.0-beta.92";
-    readonly '@effect/vitest': "4.0.0-beta.92";
-    readonly '@effect/tsgo': "0.15.0";
-    readonly '@effect/language-service': "0.86.2";
-    readonly '@typescript/native-preview': "7.0.0-dev.20260630.1";
-    readonly '@antfu/eslint-config': "^9.0.0";
-    readonly eslint: "^10.3.0";
-    readonly vitest: "^4.1.8";
-};
-export declare const expectedEffectTsgoVersion = "0.15.0";
-export declare const expectedPrepareCommand = "effect-tsgo patch";
-export declare const expectedTypecheckCommand = "tsgo --noEmit";
-export declare const strictDiagnosticSeverity: {
-    readonly anyUnknownInErrorContext: "error";
-    readonly asyncFunction: "warning";
-    readonly catchAllToMapError: "suggestion";
-    readonly catchToOrElseSucceed: "suggestion";
-    readonly catchUnfailableEffect: "suggestion";
-    readonly classSelfMismatch: "error";
-    readonly cryptoRandomUUID: "warning";
-    readonly cryptoRandomUUIDInEffect: "warning";
-    readonly deterministicKeys: "warning";
-    readonly duplicatePackage: "warning";
-    readonly effectDoNotation: "warning";
-    readonly effectFnIife: "warning";
-    readonly effectFnImplicitAny: "error";
-    readonly effectFnOpportunity: "suggestion";
-    readonly effectGenUsesAdapter: "warning";
-    readonly effectInFailure: "warning";
-    readonly effectInVoidSuccess: "warning";
-    readonly effectMapFlatten: "suggestion";
-    readonly effectMapVoid: "suggestion";
-    readonly effectSucceedWithVoid: "suggestion";
-    readonly extendsNativeError: "warning";
-    readonly floatingEffect: "error";
-    readonly genericEffectServices: "warning";
-    readonly globalConsole: "warning";
-    readonly globalConsoleInEffect: "warning";
-    readonly globalDate: "warning";
-    readonly globalDateInEffect: "warning";
-    readonly globalErrorInEffectCatch: "warning";
-    readonly globalErrorInEffectFailure: "warning";
-    readonly globalFetch: "warning";
-    readonly globalFetchInEffect: "warning";
-    readonly globalRandom: "warning";
-    readonly globalRandomInEffect: "warning";
-    readonly globalTimers: "warning";
-    readonly globalTimersInEffect: "warning";
-    readonly instanceOfSchema: "warning";
-    readonly layerMergeAllWithDependencies: "warning";
-    readonly lazyEffect: "suggestion";
-    readonly lazyPromiseInEffectSync: "warning";
-    readonly leakingRequirements: "suggestion";
-    readonly missedPipeableOpportunity: "warning";
-    readonly missingEffectContext: "error";
-    readonly missingEffectError: "error";
-    readonly missingLayerContext: "error";
-    readonly missingReturnYieldStar: "error";
-    readonly missingStarInYieldEffectGen: "error";
-    readonly multipleCatchTag: "suggestion";
-    readonly multipleEffectProvide: "warning";
-    readonly nestedEffectGenYield: "warning";
-    readonly newPromise: "warning";
-    readonly newSchemaClass: "warning";
-    readonly nodeBuiltinImport: "warning";
-    readonly outdatedApi: "warning";
-    readonly overriddenSchemaConstructor: "error";
-    readonly preferSchemaOverJson: "warning";
-    readonly processEnv: "warning";
-    readonly processEnvInEffect: "warning";
-    readonly redundantMapError: "suggestion";
-    readonly redundantOrDie: "suggestion";
-    readonly redundantSchemaTagIdentifier: "suggestion";
-    readonly returnEffectInGen: "suggestion";
-    readonly runEffectInsideEffect: "suggestion";
-    readonly schemaNumber: "suggestion";
-    readonly schemaStructWithTag: "suggestion";
-    readonly serviceNotAsClass: "warning";
-    readonly strictBooleanExpressions: "warning";
-    readonly strictEffectProvide: "warning";
-    readonly tryCatchInEffectGen: "suggestion";
-    readonly unknownInEffectCatch: "warning";
-    readonly unnecessaryArrowBlock: "warning";
-    readonly unnecessaryEffectGen: "suggestion";
-    readonly unnecessaryFailYieldableError: "suggestion";
-    readonly unnecessaryPipe: "suggestion";
-    readonly unnecessaryPipeChain: "suggestion";
-    readonly unnecessaryTypeofType: "suggestion";
-    readonly unsafeEffectTypeAssertion: "warning";
-};
-export declare const strictDiagnosticGate: {
-    readonly includeSuggestionsInTsc: true;
-    readonly ignoreEffectSuggestionsInTscExitCode: false;
-    readonly ignoreEffectWarningsInTscExitCode: false;
-    readonly ignoreEffectErrorsInTscExitCode: false;
-};
-export declare const strictLanguageServicePlugin: {
-    readonly diagnosticSeverity: {
-        readonly anyUnknownInErrorContext: "error";
-        readonly asyncFunction: "warning";
-        readonly catchAllToMapError: "suggestion";
-        readonly catchToOrElseSucceed: "suggestion";
-        readonly catchUnfailableEffect: "suggestion";
-        readonly classSelfMismatch: "error";
-        readonly cryptoRandomUUID: "warning";
-        readonly cryptoRandomUUIDInEffect: "warning";
-        readonly deterministicKeys: "warning";
-        readonly duplicatePackage: "warning";
-        readonly effectDoNotation: "warning";
-        readonly effectFnIife: "warning";
-        readonly effectFnImplicitAny: "error";
-        readonly effectFnOpportunity: "suggestion";
-        readonly effectGenUsesAdapter: "warning";
-        readonly effectInFailure: "warning";
-        readonly effectInVoidSuccess: "warning";
-        readonly effectMapFlatten: "suggestion";
-        readonly effectMapVoid: "suggestion";
-        readonly effectSucceedWithVoid: "suggestion";
-        readonly extendsNativeError: "warning";
-        readonly floatingEffect: "error";
-        readonly genericEffectServices: "warning";
-        readonly globalConsole: "warning";
-        readonly globalConsoleInEffect: "warning";
-        readonly globalDate: "warning";
-        readonly globalDateInEffect: "warning";
-        readonly globalErrorInEffectCatch: "warning";
-        readonly globalErrorInEffectFailure: "warning";
-        readonly globalFetch: "warning";
-        readonly globalFetchInEffect: "warning";
-        readonly globalRandom: "warning";
-        readonly globalRandomInEffect: "warning";
-        readonly globalTimers: "warning";
-        readonly globalTimersInEffect: "warning";
-        readonly instanceOfSchema: "warning";
-        readonly layerMergeAllWithDependencies: "warning";
-        readonly lazyEffect: "suggestion";
-        readonly lazyPromiseInEffectSync: "warning";
-        readonly leakingRequirements: "suggestion";
-        readonly missedPipeableOpportunity: "warning";
-        readonly missingEffectContext: "error";
-        readonly missingEffectError: "error";
-        readonly missingLayerContext: "error";
-        readonly missingReturnYieldStar: "error";
-        readonly missingStarInYieldEffectGen: "error";
-        readonly multipleCatchTag: "suggestion";
-        readonly multipleEffectProvide: "warning";
-        readonly nestedEffectGenYield: "warning";
-        readonly newPromise: "warning";
-        readonly newSchemaClass: "warning";
-        readonly nodeBuiltinImport: "warning";
-        readonly outdatedApi: "warning";
-        readonly overriddenSchemaConstructor: "error";
-        readonly preferSchemaOverJson: "warning";
-        readonly processEnv: "warning";
-        readonly processEnvInEffect: "warning";
-        readonly redundantMapError: "suggestion";
-        readonly redundantOrDie: "suggestion";
-        readonly redundantSchemaTagIdentifier: "suggestion";
-        readonly returnEffectInGen: "suggestion";
-        readonly runEffectInsideEffect: "suggestion";
-        readonly schemaNumber: "suggestion";
-        readonly schemaStructWithTag: "suggestion";
-        readonly serviceNotAsClass: "warning";
-        readonly strictBooleanExpressions: "warning";
-        readonly strictEffectProvide: "warning";
-        readonly tryCatchInEffectGen: "suggestion";
-        readonly unknownInEffectCatch: "warning";
-        readonly unnecessaryArrowBlock: "warning";
-        readonly unnecessaryEffectGen: "suggestion";
-        readonly unnecessaryFailYieldableError: "suggestion";
-        readonly unnecessaryPipe: "suggestion";
-        readonly unnecessaryPipeChain: "suggestion";
-        readonly unnecessaryTypeofType: "suggestion";
-        readonly unsafeEffectTypeAssertion: "warning";
-    };
-    readonly barrelImportPackages: readonly ["effect"];
-    readonly topLevelNamedReexports: "follow";
-    readonly effectFn: readonly ["span"];
-    readonly keyPatterns: readonly [{
-        readonly target: "service";
-        readonly pattern: "default";
-        readonly skipLeadingPath: readonly ["src/"];
-    }, {
-        readonly target: "error";
-        readonly pattern: "default";
-        readonly skipLeadingPath: readonly ["src/"];
-    }, {
-        readonly target: "custom";
-        readonly pattern: "default";
-        readonly skipLeadingPath: readonly ["src/"];
-    }];
-    readonly extendedKeyDetection: true;
-    readonly layerGraphFollowDepth: 1;
-    readonly noExternal: true;
-    readonly inlays: true;
-    readonly allowedDuplicatedPackages: readonly [];
-    readonly pipeableMinArgCount: 2;
-    readonly includeSuggestionsInTsc: true;
-    readonly ignoreEffectSuggestionsInTscExitCode: false;
-    readonly ignoreEffectWarningsInTscExitCode: false;
-    readonly ignoreEffectErrorsInTscExitCode: false;
-    readonly name: "@effect/language-service";
-    readonly diagnostics: true;
-};
-export declare const requiredTsgoPolicyKeywords: readonly ["POLICY_NATIVE_BACKEND", "POLICY_DIAGNOSTIC_GATE", "POLICY_RULE_MAP", "POLICY_IMPORT_STYLE", "POLICY_OVERRIDES", "POLICY_SUPPRESSIONS", "POLICY_KEY_PATTERNS", "POLICY_LAYER_GRAPH", "POLICY_UPGRADE_LOOP", "VERIFIER_CONTRACT"];

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

@@ -1,143 +0,0 @@
-export const expectedPackageBaseline = {
-    'effect': '4.0.0-beta.92',
-    '@effect/platform-node': '4.0.0-beta.92',
-    '@effect/vitest': '4.0.0-beta.92',
-    '@effect/tsgo': '0.15.0',
-    '@effect/language-service': '0.86.2',
-    '@typescript/native-preview': '7.0.0-dev.20260630.1',
-    '@antfu/eslint-config': '^9.0.0',
-    'eslint': '^10.3.0',
-    'vitest': '^4.1.8',
-};
-export const expectedEffectTsgoVersion = '0.15.0';
-export const expectedPrepareCommand = 'effect-tsgo patch';
-export const expectedTypecheckCommand = 'tsgo --noEmit';
-export const strictDiagnosticSeverity = {
-    anyUnknownInErrorContext: 'error',
-    asyncFunction: 'warning',
-    catchAllToMapError: 'suggestion',
-    catchToOrElseSucceed: 'suggestion',
-    catchUnfailableEffect: 'suggestion',
-    classSelfMismatch: 'error',
-    cryptoRandomUUID: 'warning',
-    cryptoRandomUUIDInEffect: 'warning',
-    deterministicKeys: 'warning',
-    duplicatePackage: 'warning',
-    effectDoNotation: 'warning',
-    effectFnIife: 'warning',
-    effectFnImplicitAny: 'error',
-    effectFnOpportunity: 'suggestion',
-    effectGenUsesAdapter: 'warning',
-    effectInFailure: 'warning',
-    effectInVoidSuccess: 'warning',
-    effectMapFlatten: 'suggestion',
-    effectMapVoid: 'suggestion',
-    effectSucceedWithVoid: 'suggestion',
-    extendsNativeError: 'warning',
-    floatingEffect: 'error',
-    genericEffectServices: 'warning',
-    globalConsole: 'warning',
-    globalConsoleInEffect: 'warning',
-    globalDate: 'warning',
-    globalDateInEffect: 'warning',
-    globalErrorInEffectCatch: 'warning',
-    globalErrorInEffectFailure: 'warning',
-    globalFetch: 'warning',
-    globalFetchInEffect: 'warning',
-    globalRandom: 'warning',
-    globalRandomInEffect: 'warning',
-    globalTimers: 'warning',
-    globalTimersInEffect: 'warning',
-    instanceOfSchema: 'warning',
-    layerMergeAllWithDependencies: 'warning',
-    lazyEffect: 'suggestion',
-    lazyPromiseInEffectSync: 'warning',
-    leakingRequirements: 'suggestion',
-    missedPipeableOpportunity: 'warning',
-    missingEffectContext: 'error',
-    missingEffectError: 'error',
-    missingLayerContext: 'error',
-    missingReturnYieldStar: 'error',
-    missingStarInYieldEffectGen: 'error',
-    multipleCatchTag: 'suggestion',
-    multipleEffectProvide: 'warning',
-    nestedEffectGenYield: 'warning',
-    newPromise: 'warning',
-    newSchemaClass: 'warning',
-    nodeBuiltinImport: 'warning',
-    outdatedApi: 'warning',
-    overriddenSchemaConstructor: 'error',
-    preferSchemaOverJson: 'warning',
-    processEnv: 'warning',
-    processEnvInEffect: 'warning',
-    redundantMapError: 'suggestion',
-    redundantOrDie: 'suggestion',
-    redundantSchemaTagIdentifier: 'suggestion',
-    returnEffectInGen: 'suggestion',
-    runEffectInsideEffect: 'suggestion',
-    schemaNumber: 'suggestion',
-    schemaStructWithTag: 'suggestion',
-    serviceNotAsClass: 'warning',
-    strictBooleanExpressions: 'warning',
-    strictEffectProvide: 'warning',
-    tryCatchInEffectGen: 'suggestion',
-    unknownInEffectCatch: 'warning',
-    unnecessaryArrowBlock: 'warning',
-    unnecessaryEffectGen: 'suggestion',
-    unnecessaryFailYieldableError: 'suggestion',
-    unnecessaryPipe: 'suggestion',
-    unnecessaryPipeChain: 'suggestion',
-    unnecessaryTypeofType: 'suggestion',
-    unsafeEffectTypeAssertion: 'warning',
-};
-export const strictDiagnosticGate = {
-    includeSuggestionsInTsc: true,
-    ignoreEffectSuggestionsInTscExitCode: false,
-    ignoreEffectWarningsInTscExitCode: false,
-    ignoreEffectErrorsInTscExitCode: false,
-};
-export const strictLanguageServicePlugin = {
-    name: '@effect/language-service',
-    diagnostics: true,
-    ...strictDiagnosticGate,
-    diagnosticSeverity: strictDiagnosticSeverity,
-    barrelImportPackages: ['effect'],
-    topLevelNamedReexports: 'follow',
-    effectFn: ['span'],
-    keyPatterns: [
-        {
-            target: 'service',
-            pattern: 'default',
-            skipLeadingPath: ['src/'],
-        },
-        {
-            target: 'error',
-            pattern: 'default',
-            skipLeadingPath: ['src/'],
-        },
-        {
-            target: 'custom',
-            pattern: 'default',
-            skipLeadingPath: ['src/'],
-        },
-    ],
-    extendedKeyDetection: true,
-    layerGraphFollowDepth: 1,
-    noExternal: true,
-    inlays: true,
-    allowedDuplicatedPackages: [],
-    pipeableMinArgCount: 2,
-};
-export const requiredTsgoPolicyKeywords = [
-    'POLICY_NATIVE_BACKEND',
-    'POLICY_DIAGNOSTIC_GATE',
-    'POLICY_RULE_MAP',
-    'POLICY_IMPORT_STYLE',
-    'POLICY_OVERRIDES',
-    'POLICY_SUPPRESSIONS',
-    'POLICY_KEY_PATTERNS',
-    'POLICY_LAYER_GRAPH',
-    'POLICY_UPGRADE_LOOP',
-    'VERIFIER_CONTRACT',
-];
-//# sourceMappingURL=TsgoPolicy.js.map