@sayoriqwq/effect-harness 0.0.4 → 0.1.1

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

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

@@ -1 +0,0 @@
-{"version":3,"file":"TsgoPolicy.js","sourceRoot":"","sources":["../../../../src/harness/verify/TsgoPolicy.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,QAAQ,EAAE,eAAe;IACzB,uBAAuB,EAAE,eAAe;IACxC,gBAAgB,EAAE,eAAe;IACjC,cAAc,EAAE,QAAQ;IACxB,0BAA0B,EAAE,QAAQ;IACpC,4BAA4B,EAAE,sBAAsB;IACpD,sBAAsB,EAAE,QAAQ;IAChC,QAAQ,EAAE,SAAS;IACnB,QAAQ,EAAE,QAAQ;CACV,CAAA;AAEV,MAAM,CAAC,MAAM,yBAAyB,GAAG,QAAQ,CAAA;AACjD,MAAM,CAAC,MAAM,sBAAsB,GAAG,mBAAmB,CAAA;AACzD,MAAM,CAAC,MAAM,wBAAwB,GAAG,eAAe,CAAA;AAEvD,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,wBAAwB,EAAE,OAAO;IACjC,aAAa,EAAE,SAAS;IACxB,kBAAkB,EAAE,YAAY;IAChC,oBAAoB,EAAE,YAAY;IAClC,qBAAqB,EAAE,YAAY;IACnC,iBAAiB,EAAE,OAAO;IAC1B,gBAAgB,EAAE,SAAS;IAC3B,wBAAwB,EAAE,SAAS;IACnC,iBAAiB,EAAE,SAAS;IAC5B,gBAAgB,EAAE,SAAS;IAC3B,gBAAgB,EAAE,SAAS;IAC3B,YAAY,EAAE,SAAS;IACvB,mBAAmB,EAAE,OAAO;IAC5B,mBAAmB,EAAE,YAAY;IACjC,oBAAoB,EAAE,SAAS;IAC/B,eAAe,EAAE,SAAS;IAC1B,mBAAmB,EAAE,SAAS;IAC9B,gBAAgB,EAAE,YAAY;IAC9B,aAAa,EAAE,YAAY;IAC3B,qBAAqB,EAAE,YAAY;IACnC,kBAAkB,EAAE,SAAS;IAC7B,cAAc,EAAE,OAAO;IACvB,qBAAqB,EAAE,SAAS;IAChC,aAAa,EAAE,SAAS;IACxB,qBAAqB,EAAE,SAAS;IAChC,UAAU,EAAE,SAAS;IACrB,kBAAkB,EAAE,SAAS;IAC7B,wBAAwB,EAAE,SAAS;IACnC,0BAA0B,EAAE,SAAS;IACrC,WAAW,EAAE,SAAS;IACtB,mBAAmB,EAAE,SAAS;IAC9B,YAAY,EAAE,SAAS;IACvB,oBAAoB,EAAE,SAAS;IAC/B,YAAY,EAAE,SAAS;IACvB,oBAAoB,EAAE,SAAS;IAC/B,gBAAgB,EAAE,SAAS;IAC3B,6BAA6B,EAAE,SAAS;IACxC,UAAU,EAAE,YAAY;IACxB,uBAAuB,EAAE,SAAS;IAClC,mBAAmB,EAAE,YAAY;IACjC,yBAAyB,EAAE,SAAS;IACpC,oBAAoB,EAAE,OAAO;IAC7B,kBAAkB,EAAE,OAAO;IAC3B,mBAAmB,EAAE,OAAO;IAC5B,sBAAsB,EAAE,OAAO;IAC/B,2BAA2B,EAAE,OAAO;IACpC,gBAAgB,EAAE,YAAY;IAC9B,qBAAqB,EAAE,SAAS;IAChC,oBAAoB,EAAE,SAAS;IAC/B,UAAU,EAAE,SAAS;IACrB,cAAc,EAAE,SAAS;IACzB,iBAAiB,EAAE,SAAS;IAC5B,WAAW,EAAE,SAAS;IACtB,2BAA2B,EAAE,OAAO;IACpC,oBAAoB,EAAE,SAAS;IAC/B,UAAU,EAAE,SAAS;IACrB,kBAAkB,EAAE,SAAS;IAC7B,iBAAiB,EAAE,YAAY;IAC/B,cAAc,EAAE,YAAY;IAC5B,4BAA4B,EAAE,YAAY;IAC1C,iBAAiB,EAAE,YAAY;IAC/B,qBAAqB,EAAE,YAAY;IACnC,YAAY,EAAE,YAAY;IAC1B,mBAAmB,EAAE,YAAY;IACjC,iBAAiB,EAAE,SAAS;IAC5B,wBAAwB,EAAE,SAAS;IACnC,mBAAmB,EAAE,SAAS;IAC9B,mBAAmB,EAAE,YAAY;IACjC,oBAAoB,EAAE,SAAS;IAC/B,qBAAqB,EAAE,SAAS;IAChC,oBAAoB,EAAE,YAAY;IAClC,6BAA6B,EAAE,YAAY;IAC3C,eAAe,EAAE,YAAY;IAC7B,oBAAoB,EAAE,YAAY;IAClC,qBAAqB,EAAE,YAAY;IACnC,yBAAyB,EAAE,SAAS;CAC+B,CAAA;AAErE,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,uBAAuB,EAAE,IAAI;IAC7B,oCAAoC,EAAE,KAAK;IAC3C,iCAAiC,EAAE,KAAK;IACxC,+BAA+B,EAAE,KAAK;CAC9B,CAAA;AAEV,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC,IAAI,EAAE,0BAA0B;IAChC,WAAW,EAAE,IAAI;IACjB,GAAG,oBAAoB;IACvB,kBAAkB,EAAE,wBAAwB;IAC5C,oBAAoB,EAAE,CAAC,QAAQ,CAAC;IAChC,sBAAsB,EAAE,QAAQ;IAChC,QAAQ,EAAE,CAAC,MAAM,CAAC;IAClB,WAAW,EAAE;QACX;YACE,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,SAAS;YAClB,eAAe,EAAE,CAAC,MAAM,CAAC;SAC1B;QACD;YACE,MAAM,EAAE,OAAO;YACf,OAAO,EAAE,SAAS;YAClB,eAAe,EAAE,CAAC,MAAM,CAAC;SAC1B;QACD;YACE,MAAM,EAAE,QAAQ;YAChB,OAAO,EAAE,SAAS;YAClB,eAAe,EAAE,CAAC,MAAM,CAAC;SAC1B;KACF;IACD,oBAAoB,EAAE,IAAI;IAC1B,qBAAqB,EAAE,CAAC;IACxB,UAAU,EAAE,IAAI;IAChB,MAAM,EAAE,IAAI;IACZ,yBAAyB,EAAE,EAAE;IAC7B,mBAAmB,EAAE,CAAC;CACd,CAAA;AAEV,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACxC,uBAAuB;IACvB,wBAAwB;IACxB,iBAAiB;IACjB,qBAAqB;IACrB,kBAAkB;IAClB,qBAAqB;IACrB,qBAAqB;IACrB,oBAAoB;IACpB,qBAAqB;IACrB,mBAAmB;CACX,CAAA","sourcesContent":["export type TsgoDiagnosticSeverity = 'error' | 'message' | 'suggestion' | 'warning'\n\nexport const expectedPackageBaseline = {\n  'effect': '4.0.0-beta.92',\n  '@effect/platform-node': '4.0.0-beta.92',\n  '@effect/vitest': '4.0.0-beta.92',\n  '@effect/tsgo': '0.15.0',\n  '@effect/language-service': '0.86.2',\n  '@typescript/native-preview': '7.0.0-dev.20260630.1',\n  '@antfu/eslint-config': '^9.0.0',\n  'eslint': '^10.3.0',\n  'vitest': '^4.1.8',\n} as const\n\nexport const expectedEffectTsgoVersion = '0.15.0'\nexport const expectedPrepareCommand = 'effect-tsgo patch'\nexport const expectedTypecheckCommand = 'tsgo --noEmit'\n\nexport const strictDiagnosticSeverity = {\n  anyUnknownInErrorContext: 'error',\n  asyncFunction: 'warning',\n  catchAllToMapError: 'suggestion',\n  catchToOrElseSucceed: 'suggestion',\n  catchUnfailableEffect: 'suggestion',\n  classSelfMismatch: 'error',\n  cryptoRandomUUID: 'warning',\n  cryptoRandomUUIDInEffect: 'warning',\n  deterministicKeys: 'warning',\n  duplicatePackage: 'warning',\n  effectDoNotation: 'warning',\n  effectFnIife: 'warning',\n  effectFnImplicitAny: 'error',\n  effectFnOpportunity: 'suggestion',\n  effectGenUsesAdapter: 'warning',\n  effectInFailure: 'warning',\n  effectInVoidSuccess: 'warning',\n  effectMapFlatten: 'suggestion',\n  effectMapVoid: 'suggestion',\n  effectSucceedWithVoid: 'suggestion',\n  extendsNativeError: 'warning',\n  floatingEffect: 'error',\n  genericEffectServices: 'warning',\n  globalConsole: 'warning',\n  globalConsoleInEffect: 'warning',\n  globalDate: 'warning',\n  globalDateInEffect: 'warning',\n  globalErrorInEffectCatch: 'warning',\n  globalErrorInEffectFailure: 'warning',\n  globalFetch: 'warning',\n  globalFetchInEffect: 'warning',\n  globalRandom: 'warning',\n  globalRandomInEffect: 'warning',\n  globalTimers: 'warning',\n  globalTimersInEffect: 'warning',\n  instanceOfSchema: 'warning',\n  layerMergeAllWithDependencies: 'warning',\n  lazyEffect: 'suggestion',\n  lazyPromiseInEffectSync: 'warning',\n  leakingRequirements: 'suggestion',\n  missedPipeableOpportunity: 'warning',\n  missingEffectContext: 'error',\n  missingEffectError: 'error',\n  missingLayerContext: 'error',\n  missingReturnYieldStar: 'error',\n  missingStarInYieldEffectGen: 'error',\n  multipleCatchTag: 'suggestion',\n  multipleEffectProvide: 'warning',\n  nestedEffectGenYield: 'warning',\n  newPromise: 'warning',\n  newSchemaClass: 'warning',\n  nodeBuiltinImport: 'warning',\n  outdatedApi: 'warning',\n  overriddenSchemaConstructor: 'error',\n  preferSchemaOverJson: 'warning',\n  processEnv: 'warning',\n  processEnvInEffect: 'warning',\n  redundantMapError: 'suggestion',\n  redundantOrDie: 'suggestion',\n  redundantSchemaTagIdentifier: 'suggestion',\n  returnEffectInGen: 'suggestion',\n  runEffectInsideEffect: 'suggestion',\n  schemaNumber: 'suggestion',\n  schemaStructWithTag: 'suggestion',\n  serviceNotAsClass: 'warning',\n  strictBooleanExpressions: 'warning',\n  strictEffectProvide: 'warning',\n  tryCatchInEffectGen: 'suggestion',\n  unknownInEffectCatch: 'warning',\n  unnecessaryArrowBlock: 'warning',\n  unnecessaryEffectGen: 'suggestion',\n  unnecessaryFailYieldableError: 'suggestion',\n  unnecessaryPipe: 'suggestion',\n  unnecessaryPipeChain: 'suggestion',\n  unnecessaryTypeofType: 'suggestion',\n  unsafeEffectTypeAssertion: 'warning',\n} as const satisfies Readonly<Record<string, TsgoDiagnosticSeverity>>\n\nexport const strictDiagnosticGate = {\n  includeSuggestionsInTsc: true,\n  ignoreEffectSuggestionsInTscExitCode: false,\n  ignoreEffectWarningsInTscExitCode: false,\n  ignoreEffectErrorsInTscExitCode: false,\n} as const\n\nexport const strictLanguageServicePlugin = {\n  name: '@effect/language-service',\n  diagnostics: true,\n  ...strictDiagnosticGate,\n  diagnosticSeverity: strictDiagnosticSeverity,\n  barrelImportPackages: ['effect'],\n  topLevelNamedReexports: 'follow',\n  effectFn: ['span'],\n  keyPatterns: [\n    {\n      target: 'service',\n      pattern: 'default',\n      skipLeadingPath: ['src/'],\n    },\n    {\n      target: 'error',\n      pattern: 'default',\n      skipLeadingPath: ['src/'],\n    },\n    {\n      target: 'custom',\n      pattern: 'default',\n      skipLeadingPath: ['src/'],\n    },\n  ],\n  extendedKeyDetection: true,\n  layerGraphFollowDepth: 1,\n  noExternal: true,\n  inlays: true,\n  allowedDuplicatedPackages: [],\n  pipeableMinArgCount: 2,\n} as const\n\nexport const requiredTsgoPolicyKeywords = [\n  'POLICY_NATIVE_BACKEND',\n  'POLICY_DIAGNOSTIC_GATE',\n  'POLICY_RULE_MAP',\n  'POLICY_IMPORT_STYLE',\n  'POLICY_OVERRIDES',\n  'POLICY_SUPPRESSIONS',\n  'POLICY_KEY_PATTERNS',\n  'POLICY_LAYER_GRAPH',\n  'POLICY_UPGRADE_LOOP',\n  'VERIFIER_CONTRACT',\n] as const\n"]}

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

@@ -1,2 +0,0 @@
-import { Effect, FileSystem } from 'effect';
-export declare const assertNoEffectDiagnosticSuppressions: (errors: string[], root: string) => Effect.Effect<void, import("../Errors.ts").ProcessError | import("effect/PlatformError").PlatformError, FileSystem.FileSystem | import("effect/unstable/process/ChildProcessSpawner").ChildProcessSpawner>;

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

@@ -1,24 +0,0 @@
-import { Effect, FileSystem } from 'effect';
-import { commandLines } from "../../platform/Process.js";
-const suppressionPattern = /(?:\/\/|\/\*)\s*@effect-diagnostics(?:-next-line)?\s+\S+:off/u;
-const sourceExtensions = ['.js', '.jsx', '.mjs', '.cjs', '.ts', '.tsx', '.mts', '.cts'];
-function isOrdinarySource(file) {
-    return (file.startsWith('bin/')
-        || file.startsWith('src/')
-        || file.startsWith('tests/')) && sourceExtensions.some(extension => file.endsWith(extension));
-}
-export const assertNoEffectDiagnosticSuppressions = Effect.fnUntraced(function* (errors, root) {
-    const fs = yield* FileSystem.FileSystem;
-    const files = yield* commandLines('git', ['ls-files'], { cwd: root });
-    for (const file of files.filter(isOrdinarySource)) {
-        const path = `${root}/${file}`;
-        if (!(yield* fs.exists(path))) {
-            continue;
-        }
-        const text = yield* fs.readFileString(path);
-        if (suppressionPattern.test(text)) {
-            errors.push(`${file} must not disable Effect diagnostics with @effect-diagnostics ...:off.`);
-        }
-    }
-});
-//# sourceMappingURL=TsgoSuppressions.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"TsgoSuppressions.js","sourceRoot":"","sources":["../../../../src/harness/verify/TsgoSuppressions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAA;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAA;AAExD,MAAM,kBAAkB,GAAG,+DAA+D,CAAA;AAC1F,MAAM,gBAAgB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAU,CAAA;AAEhG,SAAS,gBAAgB,CAAC,IAAY;IACpC,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;WACpB,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;WACvB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAC7B,IAAI,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAA;AACnE,CAAC;AAED,MAAM,CAAC,MAAM,oCAAoC,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC7E,MAAqB,EACrB,IAAY;IAEZ,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAA;IAErE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,IAAI,EAAE,CAAA;QAC9B,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC9B,SAAQ;QACV,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,wEAAwE,CAAC,CAAA;QAC9F,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAA","sourcesContent":["import { Effect, FileSystem } from 'effect'\nimport { commandLines } from '../../platform/Process.ts'\n\nconst suppressionPattern = /(?:\\/\\/|\\/\\*)\\s*@effect-diagnostics(?:-next-line)?\\s+\\S+:off/u\nconst sourceExtensions = ['.js', '.jsx', '.mjs', '.cjs', '.ts', '.tsx', '.mts', '.cts'] as const\n\nfunction isOrdinarySource(file: string): boolean {\n  return (\n    file.startsWith('bin/')\n    || file.startsWith('src/')\n    || file.startsWith('tests/')\n  ) && sourceExtensions.some(extension => file.endsWith(extension))\n}\n\nexport const assertNoEffectDiagnosticSuppressions = Effect.fnUntraced(function* (\n  errors: Array<string>,\n  root: string,\n) {\n  const fs = yield* FileSystem.FileSystem\n  const files = yield* commandLines('git', ['ls-files'], { cwd: root })\n\n  for (const file of files.filter(isOrdinarySource)) {\n    const path = `${root}/${file}`\n    if (!(yield* fs.exists(path))) {\n      continue\n    }\n\n    const text = yield* fs.readFileString(path)\n    if (suppressionPattern.test(text)) {\n      errors.push(`${file} must not disable Effect diagnostics with @effect-diagnostics ...:off.`)\n    }\n  }\n})\n"]}

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

@@ -1,62 +0,0 @@
-import { Schema } from 'effect';
-export interface VerifyStageSpec {
-    readonly tag: VerifyStageTag;
-    readonly title: string;
-    readonly routes: ReadonlyArray<string>;
-    readonly summary: string;
-    readonly routeHint: string;
-}
-declare const VerifyStageTagSchema: Schema.Literals<readonly ["source-pins", "harness-contract", "tsgo-diagnostics", "tests", "lint", "knip"]>;
-export type VerifyStageTag = typeof VerifyStageTagSchema.Type;
-export declare const verifyStageSpecs: readonly [{
-    readonly tag: "source-pins";
-    readonly title: "Source Pins";
-    readonly routes: readonly ["harness/source.md"];
-    readonly summary: "Verify pinned GitHub subtree source entries.";
-    readonly routeHint: "Read the source-entry contract and fix Partita source pin drift.";
-}, {
-    readonly tag: "harness-contract";
-    readonly title: "Harness Contract";
-    readonly routes: readonly ["harness/index.md", "harness/offcial-migrate.md", "harness/feedback-loop.md"];
-    readonly summary: "Verify the provider repository contract and current harness baseline.";
-    readonly routeHint: "Read the harness index, migrate notes, and feedback loop contract before changing verifier behavior.";
-}, {
-    readonly tag: "tsgo-diagnostics";
-    readonly title: "Tsgo Diagnostics";
-    readonly routes: readonly ["harness/tsgo.md", "harness/tsgo-routes.md"];
-    readonly summary: "Run tsgo --noEmit and enforce zero Effect diagnostics.";
-    readonly routeHint: "Use the tsgo diagnostic output first; read the tsgo policy and routes only when the diagnostic is not enough.";
-}, {
-    readonly tag: "tests";
-    readonly title: "Tests";
-    readonly routes: readonly ["harness/effect-routes.md"];
-    readonly summary: "Run the Effect test suite.";
-    readonly routeHint: "Read the Effect testing route and fix behavior through @effect/vitest patterns.";
-}, {
-    readonly tag: "lint";
-    readonly title: "Lint";
-    readonly routes: readonly ["harness/diagnostic-layers.md", "AGENTS.md", "eslint.config.mjs"];
-    readonly summary: "Run ESLint with zero warnings.";
-    readonly routeHint: "Read the diagnostic layering contract, agent rules, and lint config, then fix repository boundary violations without duplicating tsgo semantics.";
-}, {
-    readonly tag: "knip";
-    readonly title: "Knip";
-    readonly routes: readonly ["package.json"];
-    readonly summary: "Run knip and keep the package surface minimal.";
-    readonly routeHint: "Read package.json and source imports/exports, then remove unused package surface.";
-}];
-export declare const requiredFeedbackLoopKeywords: readonly ["BASELINE", "ROUTE_TABLE", "VERIFY_PIPELINE", ...string[], "DONE"];
-declare const VerifyStageFailed_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
-    readonly _tag: "@sayoriqwq/effect-harness/harness/verify/VerifyStage/VerifyStageFailed";
-} & Readonly<A>;
-export declare class VerifyStageFailed extends VerifyStageFailed_base<{
-    readonly causeMessage: string;
-    readonly routeHint: string;
-    readonly routes: ReadonlyArray<string>;
-    readonly stageTag: VerifyStageTag;
-    readonly stageTitle: string;
-}> {
-    get message(): string;
-}
-export declare function stageSpecByTag(tag: VerifyStageTag): VerifyStageSpec;
-export {};