@sayoriqwq/effect-harness 0.0.3 → 0.0.5

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

@@ -5,6 +5,9 @@ export const expectedPackageBaseline = {
     '@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';

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

@@ -1 +1 @@
-{"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;CAC5C,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} 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"]}
+{"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/index.d.ts

@@ -0,0 +1,8 @@
+import type { ProviderDiscovery, ProviderDiscoveryFailure, ProviderDiscoveryFailureInput } from './harness/ProviderDiscovery.ts';
+import { classifyProviderDiscoveryFailure, discoverProvider, resolvePackageArtifactRoot } from './harness/ProviderDiscovery.ts';
+export type { ProviderDiscovery, ProviderDiscoveryFailure, ProviderDiscoveryFailureInput, };
+export { classifyProviderDiscoveryFailure, discoverProvider, resolvePackageArtifactRoot, };
+export interface DiscoverProviderArtifactOptions {
+    readonly artifactRoot?: string;
+}
+export declare function discoverProviderArtifact(options?: DiscoverProviderArtifactOptions): Promise<ProviderDiscovery>;

package/dist/src/index.js

@@ -0,0 +1,16 @@
+import { fileURLToPath } from 'node:url';
+import * as NodeServices from '@effect/platform-node/NodeServices';
+import { Effect, Layer } from 'effect';
+import { classifyProviderDiscoveryFailure, discoverProvider, resolvePackageArtifactRoot, } from "./harness/ProviderDiscovery.js";
+export { classifyProviderDiscoveryFailure, discoverProvider, resolvePackageArtifactRoot, };
+export function discoverProviderArtifact(options = {}) {
+    const artifactRoot = options.artifactRoot ?? resolvePackageArtifactRoot(fileURLToPath(import.meta.url));
+    return runWithNodeServices(discoverProvider(artifactRoot));
+}
+function runWithNodeServices(effect) {
+    return Effect.runPromise(Effect.scoped(Effect.gen(function* () {
+        const context = yield* Layer.build(NodeServices.layer);
+        return yield* Effect.promise(() => Effect.runPromiseWith(context)(effect));
+    })));
+}
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,KAAK,YAAY,MAAM,oCAAoC,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EACL,gCAAgC,EAChC,gBAAgB,EAChB,0BAA0B,GAC3B,MAAM,gCAAgC,CAAA;AAQvC,OAAO,EACL,gCAAgC,EAChC,gBAAgB,EAChB,0BAA0B,GAC3B,CAAA;AAMD,MAAM,UAAU,wBAAwB,CACtC,UAA2C,EAAE;IAE7C,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,0BAA0B,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;IACvG,OAAO,mBAAmB,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAA;AAC5D,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAAsD;IAEtD,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;QACtD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;IAC5E,CAAC,CAAC,CAAC,CAAC,CAAA;AACN,CAAC","sourcesContent":["import type {\n  ProviderDiscovery,\n  ProviderDiscoveryFailure,\n  ProviderDiscoveryFailureInput,\n} from './harness/ProviderDiscovery.ts'\nimport { fileURLToPath } from 'node:url'\nimport * as NodeServices from '@effect/platform-node/NodeServices'\nimport { Effect, Layer } from 'effect'\nimport {\n  classifyProviderDiscoveryFailure,\n  discoverProvider,\n  resolvePackageArtifactRoot,\n} from './harness/ProviderDiscovery.ts'\n\nexport type {\n  ProviderDiscovery,\n  ProviderDiscoveryFailure,\n  ProviderDiscoveryFailureInput,\n}\n\nexport {\n  classifyProviderDiscoveryFailure,\n  discoverProvider,\n  resolvePackageArtifactRoot,\n}\n\nexport interface DiscoverProviderArtifactOptions {\n  readonly artifactRoot?: string\n}\n\nexport function discoverProviderArtifact(\n  options: DiscoverProviderArtifactOptions = {},\n): Promise<ProviderDiscovery> {\n  const artifactRoot = options.artifactRoot ?? resolvePackageArtifactRoot(fileURLToPath(import.meta.url))\n  return runWithNodeServices(discoverProvider(artifactRoot))\n}\n\nfunction runWithNodeServices<A, E>(\n  effect: Effect.Effect<A, E, NodeServices.NodeServices>,\n): Promise<A> {\n  return Effect.runPromise(Effect.scoped(Effect.gen(function* () {\n    const context = yield* Layer.build(NodeServices.layer)\n    return yield* Effect.promise(() => Effect.runPromiseWith(context)(effect))\n  })))\n}\n"]}

package/harness/diagnostic-layers.md

@@ -59,7 +59,7 @@ ESLint 是 lint stage 的入口。它只负责不需要 tsgo 类型语义、但
 
 - import boundary：应用代码和测试代码不能从 `repos/effect` 或 `repos/tsgo` import。
 - package baseline：不使用 `@effect/cli`，CLI 代码使用 `effect/unstable/cli`。
-- test entry：本仓测试使用 `@effect/vitest`，不使用 `node:test` 或普通 `vitest` import。
+- test entry：本仓测试使用 `@effect/vitest`，不使用 `node:test` 或从 `vitest` 导入普通测试入口。
 - harness baseline：当前 service definition baseline 不新增 `Context.Tag` service definition。
 - syntax-level bans：只有当 tsgo 没有对应 rule，且规则是本仓制度时才放进 ESLint。例如
   `{ disableValidation: true }` 禁令属于 lint 层。

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@sayoriqwq/effect-harness",
   "type": "module",
-  "version": "0.0.3",
+  "version": "0.0.5",
   "private": false,
   "publishConfig": {
     "access": "public",
@@ -13,7 +13,14 @@
     "type": "git",
     "url": "https://github.com/sayoriqwq/effect-harness"
   },
-  "main": "dist/bin/effect-harness.js",
+  "exports": {
+    ".": {
+      "types": "./dist/src/index.d.ts",
+      "import": "./dist/src/index.js"
+    }
+  },
+  "main": "dist/src/index.js",
+  "types": "dist/src/index.d.ts",
   "bin": {
     "effect-harness": "dist/bin/effect-harness.js"
   },

package/provider/docs/discovery.md

@@ -19,6 +19,8 @@ updated: 2026-07-02
 Prelude SHOULD 通过 package artifact 执行 discovery，而不是复制
 `provider/effect-harness.provider.json` 到 Prelude 源码中维护。
 
+边界口径是：npm selects the artifact，effect-harness owns desired semantics，Prelude projects the artifact，target repositories are mutated only by Prelude lifecycle commands。
+
 稳定入口是：
 
 ```bash
@@ -31,9 +33,29 @@ npx --yes @sayoriqwq/effect-harness provider-discover
 node bin/effect-harness.ts provider-discover --harness .
 ```
 
+public programmatic API 暴露同一套 discovery contract：
+
+```ts
+import { discoverProviderArtifact } from '@sayoriqwq/effect-harness'
+
+const discovery = await discoverProviderArtifact()
+```
+
 discovery 输出是 machine-readable JSON。它从 provider profile 和 package manifest 派生，不是第二份
 profile 真源。
 
+## Failure Classification
+
+`provider-discover` 启动后产生的 profile、docs、snippets 或 artifact-only reference 错误属于
+provider discovery failure。
+
+npm、npx 或 shell 在启动 `effect-harness` binary 前失败，属于 npm invocation failure。
+
+已知特殊情况：在 effect-harness provider repository 根目录下运行同名同版本
+`npx @sayoriqwq/effect-harness@... provider-discover`，可能因为 npm same-name cwd short-circuit 报
+`sh: effect-harness: command not found`。这不是 provider discovery failure；应从 neutral working
+directory 执行，或使用 `--package`/`--prefix` 让 npm 明确选择 package artifact。
+
 ## Shape
 
 discovery envelope MUST 暴露 provider identity：
@@ -52,6 +74,8 @@ discovery envelope MUST 暴露 package locator：
 - provider profile path
 - package files
 - discovery command
+- package artifact identity
+- npm invocation failure classification
 
 discovery envelope MUST 暴露 target-managed surfaces：
 
@@ -76,6 +100,8 @@ discovery envelope MUST 暴露 artifact-only references：
 - tsgo anchor doc identity
 - tsgo route doc identity
 
+discovery envelope MUST audit artifact-only references against the selected package artifact root。
+
 discovery envelope MUST 暴露 internal harness surfaces，使 Prelude 能明确这些内容只服务
 effect-harness 本仓维护和 self-conformance。
 

package/provider/docs/package-config.md

@@ -19,10 +19,14 @@ target 的 runtime dependencies MUST 包含 `effect` 和 `@effect/platform-node`
 
 target 的 Effect testing dependency MUST 包含 `@effect/vitest`。
 
+target 的 test runner dependency MUST 包含 `vitest`。
+
 target 的 diagnostics dependencies MUST 包含 `@effect/tsgo` 和 `@effect/language-service`。
 
 target 的 native backend dependency MUST 包含 `@typescript/native-preview`。
 
+target 的 lint dependencies MUST 包含 `eslint` 和 `@antfu/eslint-config`。
+
 版本基线由 provider profile 管理。target 不应该用局部版本覆盖降低 Effect v4 beta、tsgo 或
 language-service baseline。
 
@@ -40,6 +44,18 @@ target 的 primary diagnostics script SHOULD 指向：
 tsgo --noEmit
 ```
 
+target 的 test script SHOULD 指向：
+
+```bash
+vitest run
+```
+
+target 的 lint script SHOULD 指向：
+
+```bash
+eslint
+```
+
 这些 script 是 provider-managed 指针。Prelude materialization 和 maintain 应按 provider record
 判断本地 drift。
 

package/provider/docs/quality-policy.md

@@ -19,9 +19,15 @@ updated: 2026-07-02
 
 lint policy 负责 repository boundary 和 syntax-level guardrails。
 
-lint policy SHOULD block provider-internal source imports、`@effect/cli` imports、普通 `vitest` imports、
-`node:test` imports、`Context.Tag` service definitions、指定 Effect member，以及关闭 Schema validation
-的写法。
+target 的 lint entry 由 provider package contribution 暴露为 `pnpm lint`，底层脚本是 `eslint`。
+需要 hard gate 时，verification policy 使用 `pnpm lint --max-warnings 0`。
+
+lint policy SHOULD block provider-internal source imports、`@effect/cli` imports、`node:test` imports、
+从 `vitest` 导入测试入口（`describe`、`it`、`test`）、`Context.Tag` service definitions、指定 Effect
+member，以及关闭 Schema validation 的写法。
+
+lint policy SHOULD allow Vitest mock/lifecycle API（例如 `vi`、`beforeEach`）直接从 `vitest` 导入，因为
+Vitest 的 mock transformer 依赖直接导入。
 
 lint policy MUST NOT 替代 tsgo diagnostics。Effect semantic diagnostics、type requirement diagnostics 和
 strict rule severity map 由 tsgo policy 负责。
@@ -30,6 +36,9 @@ strict rule severity map 由 tsgo policy 负责。
 
 test policy 使用 `@effect/vitest`。
 
+target 的 test entry 由 provider package contribution 暴露为 `pnpm test`，底层脚本是
+`vitest run`。
+
 Effect tests SHOULD 使用 `it.effect`、`it.live` 或 layer 组织。
 
 target SHOULD 保留 provider record 中声明的 test entry pattern，并通过 package script 执行测试。
@@ -41,7 +50,8 @@ target SHOULD 保留 provider record 中声明的 test entry pattern，并通过
 verification policy 描述 local diagnostic commands 和 stage semantics，但不实现 Prelude target lifecycle。
 
 Prelude 仍负责 target materialization、provider record maintain、drift handling 和 target-level verify
-orchestration。
+orchestration。target 的总 `pnpm verify` MAY include build、knip 或 release gates；effect-harness
+必须至少把 `pnpm typecheck`、`pnpm test` 和 `pnpm lint --max-warnings 0` 组合进 target verify。
 
 ## Stages
 

package/provider/effect-harness.provider.json

@@ -44,6 +44,7 @@
     "mode": "provider-artifact-reference",
     "targetDelivery": "identity-only",
     "packageSurface": [
+      "dist",
       "provider",
       "harness",
       "repos",
@@ -120,8 +121,8 @@
         "format": "github-subtree"
       },
       "commands": {
-        "update": "partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run",
-        "verify": "partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect"
+        "update": "npx --yes @sayoriqwq/partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run",
+        "verify": "npx --yes @sayoriqwq/partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect"
       },
       "importBoundary": {
         "applicationImportsForbidden": true,
@@ -140,8 +141,8 @@
         "format": "github-subtree"
       },
       "commands": {
-        "update": "partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run",
-        "verify": "partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo"
+        "update": "npx --yes @sayoriqwq/partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run",
+        "verify": "npx --yes @sayoriqwq/partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo"
       },
       "importBoundary": {
         "applicationImportsForbidden": true,
@@ -221,7 +222,10 @@
         "@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"
+        "@typescript/native-preview": "7.0.0-dev.20260630.1",
+        "@antfu/eslint-config": "^9.0.0",
+        "eslint": "^10.3.0",
+        "vitest": "^4.1.8"
       },
       "managedSurfaces": {
         "targetReceives": [
@@ -229,6 +233,8 @@
           "package.json dependency and devDependency structured pointers",
           "tsconfig.json @effect/language-service plugin structured pointer",
           "editor policy structured pointer for target editor settings",
+          "eslint package baseline and lint script structured pointers",
+          "test package baseline and test script structured pointers",
           "lint, test, and verification policy records",
           "provider-managed docs bundle at .prelude/providers/effect-harness/docs",
           "provider-managed snippets at .prelude/providers/effect-harness/snippets"
@@ -264,7 +270,8 @@
             "testing": {
               "field": "devDependencies",
               "packages": {
-                "@effect/vitest": "4.0.0-beta.92"
+                "@effect/vitest": "4.0.0-beta.92",
+                "vitest": "^4.1.8"
               }
             },
             "diagnostics": {
@@ -279,6 +286,13 @@
               "packages": {
                 "@typescript/native-preview": "7.0.0-dev.20260630.1"
               }
+            },
+            "linting": {
+              "field": "devDependencies",
+              "packages": {
+                "@antfu/eslint-config": "^9.0.0",
+                "eslint": "^10.3.0"
+              }
             }
           },
           "scripts": {
@@ -289,6 +303,14 @@
             "typecheck": {
               "semantic": "primary Effect diagnostics",
               "defaultCommand": "tsgo --noEmit"
+            },
+            "test": {
+              "semantic": "run Effect tests",
+              "defaultCommand": "vitest run"
+            },
+            "lint": {
+              "semantic": "run ESLint guardrails",
+              "defaultCommand": "eslint"
             }
           }
         },
@@ -573,12 +595,23 @@
           "rules": {
             "restrictedImports": [
               "node:test",
-              "vitest",
               "@effect/cli",
               "@effect/cli/*",
               "repos/effect/**",
               "repos/tsgo/**"
             ],
+            "restrictedVitestImports": [
+              "describe",
+              "it",
+              "test"
+            ],
+            "allowedVitestImports": [
+              "vi",
+              "beforeEach",
+              "afterEach",
+              "beforeAll",
+              "afterAll"
+            ],
             "restrictedSyntax": [
               "Context.Tag",
               "Effect.catchAllCause",
@@ -598,10 +631,10 @@
           "mode": "command-policy",
           "stage": "tests",
           "command": "pnpm test",
-          "packageScript": "vitest run tests/*.test.ts",
+          "packageScript": "vitest run",
           "framework": "@effect/vitest",
           "expectedEntries": [
-            "tests/*.test.ts"
+            "tests/**/*.test.ts"
           ],
           "effectEntrypoints": [
             "it.effect",
@@ -609,8 +642,12 @@
             "layer"
           ],
           "disallowedImports": [
-            "node:test",
-            "vitest"
+            "node:test"
+          ],
+          "disallowedVitestImports": [
+            "describe",
+            "it",
+            "test"
           ]
         },
         "verificationPolicy": {

package/provider/index.md

@@ -77,8 +77,11 @@ provider 当前暴露以下能力：
 | Effect testing baseline | `contributions.packageJson.dependencyGroups.testing` | `package.json` devDependencies |
 | Effect diagnostics packages | `contributions.packageJson.dependencyGroups.diagnostics` | `package.json` devDependencies |
 | Native tsgo backend package | `contributions.packageJson.dependencyGroups.nativeBackend` | `package.json` devDependencies |
+| ESLint baseline | `contributions.packageJson.dependencyGroups.linting` | `package.json` devDependencies |
 | Effect diagnostics | `contributions.packageJson.scripts.typecheck` | `tsgo --noEmit` |
 | Native tsgo backend setup | `contributions.packageJson.scripts.prepare` | `effect-tsgo patch` |
+| Effect tests | `contributions.packageJson.scripts.test` | `vitest run` |
+| ESLint guardrail entry | `contributions.packageJson.scripts.lint` | `eslint` |
 | Strict language-service policy | `contributions.tsconfig.compilerOptions.plugins[]` | `tsconfig.json` plugin |
 | Strict tsgo execution policy | `contributions.tsconfig.tsgo` | `tsconfig.json` projection and package scripts |
 | Editor policy | `contributions.editorPolicy` | editor settings projection |
@@ -103,6 +106,7 @@ Target 应该接收：
 - `package.json` dependencies and scripts
 - `tsconfig.json` strict language-service plugin
 - editor settings projection
+- ESLint package baseline and guardrail config projection
 - lint/test/verification policy records
 - `.prelude/providers/effect-harness/provider.json` provider record
 - `.prelude/providers/effect-harness/docs/**` docs bundle
@@ -145,6 +149,10 @@ maintain 规则处理。
 Prelude SHOULD 通过 `npx --yes @sayoriqwq/effect-harness provider-discover` 读取 provider discovery
 envelope。
 
+package-backed discovery 的职责边界是：npm selects the artifact，effect-harness owns desired
+semantics，Prelude projects the artifact，target repositories are mutated only by Prelude lifecycle
+commands。
+
 discovery envelope 暴露 provider identity、artifact root、package locator、target-managed surfaces、
 artifact-only references、source identity 和 internal harness surfaces。
 

package/repos/effect.subtree.json

@@ -18,8 +18,8 @@
     "llmDocument": "repos/effect/LLMS.md"
   },
   "commands": {
-    "update": "partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run",
-    "verify": "partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect"
+    "update": "npx --yes @sayoriqwq/partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run",
+    "verify": "npx --yes @sayoriqwq/partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect"
   },
   "agent": {
     "route": "harness/effect-routes.md"

package/repos/tsgo.subtree.json

@@ -18,8 +18,8 @@
     "llmDocument": "repos/tsgo/README.md"
   },
   "commands": {
-    "update": "partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run",
-    "verify": "partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo"
+    "update": "npx --yes @sayoriqwq/partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run",
+    "verify": "npx --yes @sayoriqwq/partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo"
   },
   "agent": {
     "route": "harness/tsgo-routes.md"