@sayoriqwq/effect-harness 0.0.3 → 0.0.5

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

@@ -158,7 +158,7 @@ const expectedPackageGroups = {
     },
     testing: {
         field: 'devDependencies',
-        packageNames: ['@effect/vitest'],
+        packageNames: ['@effect/vitest', 'vitest'],
     },
     diagnostics: {
         field: 'devDependencies',
@@ -168,11 +168,15 @@ const expectedPackageGroups = {
         field: 'devDependencies',
         packageNames: ['@typescript/native-preview'],
     },
+    linting: {
+        field: 'devDependencies',
+        packageNames: ['@antfu/eslint-config', 'eslint'],
+    },
 };
 const expectedLintCommand = 'pnpm lint --max-warnings 0';
 const expectedLintScript = 'eslint';
 const expectedTestCommand = 'pnpm test';
-const expectedTestScript = 'vitest run tests/*.test.ts';
+const expectedTestScript = 'vitest run';
 const expectedVerifyCommand = 'pnpm verify';
 const expectedVerifyScript = 'node bin/effect-harness.ts verify --harness .';
 function assertPackageBaseline(errors, profileBaseline) {
@@ -275,7 +279,7 @@ function assertLintGuardrailsContribution(errors, contributions, packageManifest
     assertArrayContainsString(errors, doesNotOwn, 'tsgo rule severity map', 'provider profile lintGuardrails.layers.doesNotOwn');
     const rules = recordField(errors, lintGuardrails, 'rules', 'provider profile lintGuardrails contribution');
     const restrictedImports = arrayField(errors, rules, 'restrictedImports', 'provider profile lintGuardrails.rules');
-    for (const source of ['node:test', 'vitest', '@effect/cli', '@effect/cli/*', 'repos/effect/**', 'repos/tsgo/**']) {
+    for (const source of ['node:test', '@effect/cli', '@effect/cli/*', 'repos/effect/**', 'repos/tsgo/**']) {
         assertArrayContainsString(errors, restrictedImports, source, 'provider profile lintGuardrails.rules.restrictedImports');
         const eslintMarker = source.endsWith('/**')
             ? source.slice(0, -3)
@@ -284,6 +288,16 @@ function assertLintGuardrailsContribution(errors, contributions, packageManifest
                 : source;
         assertEslintConfigContains(errors, eslintText, eslintMarker);
     }
+    const restrictedVitestImports = arrayField(errors, rules, 'restrictedVitestImports', 'provider profile lintGuardrails.rules');
+    for (const importName of ['describe', 'it', 'test']) {
+        assertArrayContainsString(errors, restrictedVitestImports, importName, 'provider profile lintGuardrails.rules.restrictedVitestImports');
+    }
+    const allowedVitestImports = arrayField(errors, rules, 'allowedVitestImports', 'provider profile lintGuardrails.rules');
+    for (const importName of ['vi', 'beforeEach', 'afterEach', 'beforeAll', 'afterAll']) {
+        assertArrayContainsString(errors, allowedVitestImports, importName, 'provider profile lintGuardrails.rules.allowedVitestImports');
+    }
+    assertEslintConfigContains(errors, eslintText, 'vitest');
+    assertEslintConfigContains(errors, eslintText, 'importNames');
     const restrictedSyntax = arrayField(errors, rules, 'restrictedSyntax', 'provider profile lintGuardrails.rules');
     for (const syntax of ['Context.Tag', 'Effect.catchAllCause', 'Effect.ignore', 'Effect.serviceOption', '{ disableValidation: true }', 'plain it() in tests']) {
         assertArrayContainsString(errors, restrictedSyntax, syntax, 'provider profile lintGuardrails.rules.restrictedSyntax');
@@ -297,21 +311,22 @@ function assertLintGuardrailsContribution(errors, contributions, packageManifest
         assertEslintConfigContains(errors, eslintText, marker);
     }
 }
-function assertTestPolicyContribution(errors, contributions, packageManifest) {
+function assertTestPolicyContribution(errors, contributions) {
     const testPolicy = recordField(errors, contributions, 'testPolicy', 'provider profile.profiles.codex-effect-v4.contributions');
     assertStringValue(errors, stringField(errors, testPolicy, 'mode', 'provider profile testPolicy contribution'), 'command-policy', 'provider profile testPolicy.mode');
     assertStringValue(errors, stringField(errors, testPolicy, 'stage', 'provider profile testPolicy contribution'), 'tests', 'provider profile testPolicy.stage');
     assertStringValue(errors, stringField(errors, testPolicy, 'command', 'provider profile testPolicy contribution'), expectedTestCommand, 'provider profile testPolicy.command');
     assertStringValue(errors, stringField(errors, testPolicy, 'packageScript', 'provider profile testPolicy contribution'), expectedTestScript, 'provider profile testPolicy.packageScript');
     assertStringValue(errors, stringField(errors, testPolicy, 'framework', 'provider profile testPolicy contribution'), '@effect/vitest', 'provider profile testPolicy.framework');
-    assertArrayContainsString(errors, arrayField(errors, testPolicy, 'expectedEntries', 'provider profile testPolicy contribution'), 'tests/*.test.ts', 'provider profile testPolicy.expectedEntries');
+    assertArrayContainsString(errors, arrayField(errors, testPolicy, 'expectedEntries', 'provider profile testPolicy contribution'), 'tests/**/*.test.ts', 'provider profile testPolicy.expectedEntries');
     assertArrayContainsString(errors, arrayField(errors, testPolicy, 'effectEntrypoints', 'provider profile testPolicy contribution'), 'it.effect', 'provider profile testPolicy.effectEntrypoints');
     assertArrayContainsString(errors, arrayField(errors, testPolicy, 'effectEntrypoints', 'provider profile testPolicy contribution'), 'it.live', 'provider profile testPolicy.effectEntrypoints');
     assertArrayContainsString(errors, arrayField(errors, testPolicy, 'effectEntrypoints', 'provider profile testPolicy contribution'), 'layer', 'provider profile testPolicy.effectEntrypoints');
     assertArrayContainsString(errors, arrayField(errors, testPolicy, 'disallowedImports', 'provider profile testPolicy contribution'), 'node:test', 'provider profile testPolicy.disallowedImports');
-    assertArrayContainsString(errors, arrayField(errors, testPolicy, 'disallowedImports', 'provider profile testPolicy contribution'), 'vitest', 'provider profile testPolicy.disallowedImports');
-    const scripts = recordField(errors, packageManifest, 'scripts', 'package.json');
-    assertStringValue(errors, stringField(errors, scripts, 'test', 'package.json.scripts'), expectedTestScript, 'package.json.scripts.test');
+    const disallowedVitestImports = arrayField(errors, testPolicy, 'disallowedVitestImports', 'provider profile testPolicy contribution');
+    for (const importName of ['describe', 'it', 'test']) {
+        assertArrayContainsString(errors, disallowedVitestImports, importName, 'provider profile testPolicy.disallowedVitestImports');
+    }
 }
 function stageRecordByTag(stages, tag) {
     return stages?.find(stage => isRecord(stage) && stage.tag === tag);
@@ -377,11 +392,16 @@ function assertPackageScriptsContribution(errors, packageContribution, packageMa
     const contributionScripts = recordField(errors, packageContribution, 'scripts', 'provider profile packageJson contribution');
     const prepare = recordField(errors, contributionScripts, 'prepare', 'provider profile packageJson.scripts');
     const typecheck = recordField(errors, contributionScripts, 'typecheck', 'provider profile packageJson.scripts');
+    const test = recordField(errors, contributionScripts, 'test', 'provider profile packageJson.scripts');
+    const lint = recordField(errors, contributionScripts, 'lint', 'provider profile packageJson.scripts');
     assertStringValue(errors, stringField(errors, prepare, 'defaultCommand', 'provider profile packageJson.scripts.prepare'), expectedPrepareCommand, 'provider profile packageJson.scripts.prepare.defaultCommand');
     assertStringValue(errors, stringField(errors, typecheck, 'defaultCommand', 'provider profile packageJson.scripts.typecheck'), expectedTypecheckCommand, 'provider profile packageJson.scripts.typecheck.defaultCommand');
+    assertStringValue(errors, stringField(errors, test, 'defaultCommand', 'provider profile packageJson.scripts.test'), expectedTestScript, 'provider profile packageJson.scripts.test.defaultCommand');
+    assertStringValue(errors, stringField(errors, lint, 'defaultCommand', 'provider profile packageJson.scripts.lint'), expectedLintScript, 'provider profile packageJson.scripts.lint.defaultCommand');
     const manifestScripts = recordField(errors, packageManifest, 'scripts', 'package.json');
     assertStringValue(errors, stringField(errors, manifestScripts, 'prepare', 'package.json.scripts'), expectedPrepareCommand, 'package.json.scripts.prepare');
     assertStringValue(errors, stringField(errors, manifestScripts, 'typecheck', 'package.json.scripts'), expectedTypecheckCommand, 'package.json.scripts.typecheck');
+    assertStringValue(errors, stringField(errors, manifestScripts, 'lint', 'package.json.scripts'), expectedLintScript, 'package.json.scripts.lint');
 }
 function assertPackageJsonContribution(errors, contributions, packageManifest, workspaceText) {
     const packageJson = recordField(errors, contributions, 'packageJson', 'provider profile.profiles.codex-effect-v4.contributions');
@@ -445,12 +465,18 @@ function assertArtifactReference(errors, references, expected) {
     assertStringValue(errors, stringField(errors, reference, 'targetDelivery', `provider profile.artifactReferences.references.${expected.id}`), 'artifact-only', `provider profile.artifactReferences.references.${expected.id}.targetDelivery`);
 }
 function assertArtifactReferencesContract(errors, providerProfile, packageManifest) {
+    assertStringValue(errors, stringField(errors, packageManifest, 'main', 'package.json'), 'dist/src/index.js', 'package.json.main');
+    assertStringValue(errors, stringField(errors, packageManifest, 'types', 'package.json'), 'dist/src/index.d.ts', 'package.json.types');
+    const packageExports = recordField(errors, packageManifest, 'exports', 'package.json');
+    const rootExport = recordField(errors, packageExports, '.', 'package.json.exports');
+    assertStringValue(errors, stringField(errors, rootExport, 'import', 'package.json.exports["."]'), './dist/src/index.js', 'package.json.exports["."].import');
+    assertStringValue(errors, stringField(errors, rootExport, 'types', 'package.json.exports["."]'), './dist/src/index.d.ts', 'package.json.exports["."].types');
     const artifactReferences = recordField(errors, providerProfile, 'artifactReferences', 'provider profile');
     assertStringValue(errors, stringField(errors, artifactReferences, 'mode', 'provider profile.artifactReferences'), 'provider-artifact-reference', 'provider profile.artifactReferences.mode');
     assertStringValue(errors, stringField(errors, artifactReferences, 'targetDelivery', 'provider profile.artifactReferences'), 'identity-only', 'provider profile.artifactReferences.targetDelivery');
     const packageFiles = arrayField(errors, packageManifest, 'files', 'package.json');
     const packageSurface = arrayField(errors, artifactReferences, 'packageSurface', 'provider profile.artifactReferences');
-    for (const path of ['provider', 'harness', 'repos', 'repos/effect.subtree.json', 'repos/tsgo.subtree.json']) {
+    for (const path of ['dist', 'provider', 'harness', 'repos', 'repos/effect.subtree.json', 'repos/tsgo.subtree.json']) {
         assertArrayContainsString(errors, packageFiles, path, 'package.json.files');
         assertArrayContainsString(errors, packageSurface, path, 'provider profile.artifactReferences.packageSurface');
     }
@@ -519,14 +545,14 @@ export const verifyProviderProfileContract = Effect.fnUntraced(function* (errors
     assertProviderSourceEntry(errors, sourceEntries, {
         contractPath: 'repos/effect.subtree.json',
         id: 'effect-official-source',
-        updateCommand: 'partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run',
-        verifyCommand: 'partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect',
+        updateCommand: 'npx --yes @sayoriqwq/partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run',
+        verifyCommand: 'npx --yes @sayoriqwq/partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect',
     });
     assertProviderSourceEntry(errors, sourceEntries, {
         contractPath: 'repos/tsgo.subtree.json',
         id: 'tsgo-official-source',
-        updateCommand: 'partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run',
-        verifyCommand: 'partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo',
+        updateCommand: 'npx --yes @sayoriqwq/partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run',
+        verifyCommand: 'npx --yes @sayoriqwq/partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo',
     });
     assertPartitaSubtreeContract(errors, effectContract, {
         anchor: 'repos/effect/LLMS.md',
@@ -536,8 +562,8 @@ export const verifyProviderProfileContract = Effect.fnUntraced(function* (errors
         prefix: 'repos/effect',
         repository: 'https://github.com/Effect-TS/effect-smol',
         route: 'harness/effect-routes.md',
-        updateCommand: 'partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run',
-        verifyCommand: 'partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect',
+        updateCommand: 'npx --yes @sayoriqwq/partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run',
+        verifyCommand: 'npx --yes @sayoriqwq/partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect',
     });
     assertPartitaSubtreeContract(errors, tsgoContract, {
         anchor: 'repos/tsgo/README.md',
@@ -547,8 +573,8 @@ export const verifyProviderProfileContract = Effect.fnUntraced(function* (errors
         prefix: 'repos/tsgo',
         repository: 'https://github.com/Effect-TS/tsgo',
         route: 'harness/tsgo-routes.md',
-        updateCommand: 'partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run',
-        verifyCommand: 'partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo',
+        updateCommand: 'npx --yes @sayoriqwq/partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run',
+        verifyCommand: 'npx --yes @sayoriqwq/partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo',
     });
     const providerRecord = recordField(errors, providerProfile, 'providerRecord', 'provider profile');
     const sourceDelivery = recordField(errors, providerRecord, 'sourceDelivery', 'provider profile.providerRecord');
@@ -592,7 +618,7 @@ export const verifyProviderProfileContract = Effect.fnUntraced(function* (errors
     assertTsconfigContributionMetadata(errors, contributions);
     assertEditorPolicyContribution(errors, contributions, effectContract, tsgoContract, vscodeSettings);
     assertLintGuardrailsContribution(errors, contributions, packageManifest, eslintText);
-    assertTestPolicyContribution(errors, contributions, packageManifest);
+    assertTestPolicyContribution(errors, contributions);
     assertVerificationPolicyContribution(errors, contributions, packageManifest);
     yield* assertManagedFileBundle(errors, harness, recordField(errors, contributions, 'documentationBundle', 'provider profile.profiles.codex-effect-v4.contributions'), '.prelude/providers/effect-harness/docs', [
         {
@@ -621,7 +647,7 @@ export const verifyProviderProfileContract = Effect.fnUntraced(function* (errors
         },
         {
             id: 'discovery',
-            requiredKeywords: ['Provider Discovery', 'provider-discover', 'Prelude', 'target-managed surfaces', 'artifact-only', 'internal harness'],
+            requiredKeywords: ['Provider Discovery', 'provider-discover', 'Prelude', 'target-managed surfaces', 'artifact-only', 'internal harness', 'npm selects the artifact', 'effect-harness owns desired semantics', 'Prelude projects the artifact', 'Prelude lifecycle commands', 'npm same-name cwd short-circuit'],
             sourcePath: 'provider/docs/discovery.md',
             targetPath: 'discovery.md',
         },