@sayoriqwq/effect-harness 0.2.0 → 0.2.1

package/README.md

@@ -7,6 +7,11 @@ import effectHarnessEslintConfig from '@sayoriqwq/effect-harness/eslint'
 import { harnessModule } from '@sayoriqwq/effect-harness/prelude'
 ```
 
+The ESLint export contributes only two composable boundaries: application code
+must not import delivered `repos/effect/**` or `repos/tsgo/**` reference trees.
+tsgo is the sole authority for Effect and TypeScript semantics; Target owners
+choose all other ESLint rules in their own flat config.
+
 `harnessModule` plans a complete Integration-scoped managed knowledge tree,
 reference-only pinned source diagnostics, a bounded Control Root routing block,
 package-scoped TypeScript policy for each approved Package Root, editor
@@ -19,3 +24,9 @@ files in the Artifact with immutable provenance; they
 are agent references, never application dependencies. The delivered Target Adaptation skill decides repository-specific
 package and TypeScript topology with the Target, then hands ongoing ownership
 back to that Target.
+
+The reference publication authority chain is [Prelude Contract's normative
+archive protocol](https://github.com/yume-infra/prelude/blob/main/packages/harness-contract/README.md#canonical-tree-archive-protocol)
+→ [Partita production](https://github.com/sayoriqwq/partita#pins) → Effect
+Harness composition → [Prelude validation and
+materialization](https://github.com/yume-infra/prelude/blob/main/docs/v2-harness-convergence-contract.md#pinned-reference-trees).

package/artifact-assets/effect/managed/docs/diagnostic-layers.md

@@ -5,15 +5,16 @@ Each feedback layer has one job:
 - tsgo owns TypeScript and Effect semantics, including error/context/layer
   channels, generators, Schema behavior, v4 API drift, and Effect-native fixes.
 - tests own behavioral regression.
-- ESLint owns import boundaries, package conventions, Effect test entries, and
-  syntax-only repository rules that tsgo does not represent.
+- Harness ESLint owns only two architectural import boundaries: application
+  code must not import `repos/effect/**` or `repos/tsgo/**`.
+- Target owners compose every other ESLint rule, including package, test,
+  syntax, style, and project-specific policy.
 - Harness verification owns policy equality, source provenance, route
   reachability, suppression rejection, and packed Artifact completeness.
 
-If tsgo and ESLint prescribe conflicting Effect code, keep the verified tsgo
-behavior and narrow ESLint. Both the public Target adapter and Effect Harness's
-repository self adapter intentionally permit `Effect.ignore` because the
-current tsgo policy can recommend it. They also apply the same canonical
-`effect-harness/no-disable-validation` rule and reject
-`{ disableValidation: true }`; only delivery and surrounding repository
-composition differ.
+The public Target adapter and Effect Harness's repository self adapter consume
+the same two canonical boundaries; only delivery and surrounding configuration
+differ. Harness ESLint does not express Effect API, Schema, test-entry, package
+migration, semantic, or style rules. If tsgo does not yet express an Effect or
+TypeScript constraint, the Harness leaves it unenforced until tsgo does; it does
+not add a syntax-only substitute.

package/artifact-assets/effect/managed/docs/diagnostics.md

@@ -15,5 +15,6 @@ severity all matter to completion.
 5. Re-run the package-scoped Check that failed.
 
 Do not use Effect diagnostic suppression comments, local severity overrides, or
-weaker compiler settings to make the gate green. When ESLint conflicts with a
-supported tsgo rewrite, tsgo wins and the syntax rule must be narrowed.
+weaker compiler settings to make the gate green. tsgo is the sole Harness
+authority for Effect and TypeScript semantics; Harness ESLint only protects the
+two delivered pinned-reference import boundaries.

package/artifact-assets/effect/managed/docs/effect-code.md

@@ -25,10 +25,9 @@ and placement; it does not change these accepted versions or roles.
   make a signature easier.
 - Use Effect resource and Scope operators instead of ad hoc cleanup.
 - Use `NodeRuntime.runMain` for Node entry points.
-- Use `effect/unstable/cli`, not the retired `@effect/cli` package.
-- Use `it.effect`, `it.live`, or `layer` from `@effect/vitest` for Effect tests.
-- Let tsgo own type-aware Effect idioms and quick fixes. Do not duplicate or
-  contradict them with syntax-only lint rules.
+- Let tsgo own type-aware Effect idioms and quick fixes. Harness ESLint does not
+  duplicate them with syntax-only rules; Target owners choose any additional
+  package, test, syntax, or style lint policy.
 
 For an unfamiliar API or behavior, follow [effect-source.md](./effect-source.md)
 instead of guessing from memory.

package/artifact-assets/effect/managed/docs/package-config.md

@@ -27,4 +27,7 @@ export default antfu().append(...effectHarness)
 ```
 
 Antfu v9 returns a `FlatConfigComposer`; do not spread `antfu()` into an array.
-ESLint owns syntax and repository boundaries, while tsgo owns Effect semantics.
+Append the Harness export so later host or test overlays cannot replace its two
+pinned-reference import boundaries. Those two boundaries are the complete
+Harness-owned ESLint policy. tsgo owns Effect and TypeScript semantics; the
+Target owns and customizes every other ESLint rule.

package/dist/eslint.d.ts

@@ -2701,7 +2701,7 @@ declare namespace ESLint {
 //#endregion
 //#region src/eslint.d.ts
 /**
- * Composable Effect guardrails for a target-owned ESLint flat config.
+ * Composable pinned-reference boundaries for a target-owned ESLint flat config.
  *
  * Targets import this value from `@sayoriqwq/effect-harness/eslint`; Prelude
  * intentionally never rewrites executable config files.

package/dist/eslint.js

@@ -1,97 +1,20 @@
-const effectHarnessEslintPlugin = { rules: { "no-disable-validation": {
-	meta: {
-		type: "problem",
-		docs: { description: "Disallow disabling Effect Schema validation." },
-		messages: { noDisableValidation: "Do not use { disableValidation: true }. Fix the data or schema instead of disabling validation." },
-		schema: []
-	},
-	create(context) {
-		return { Property(node) {
-			if ((node.key.type === "Identifier" && node.key.name === "disableValidation" || node.key.type === "Literal" && node.key.value === "disableValidation") && node.value.type === "Literal" && node.value.value === true) context.report({
-				node,
-				messageId: "noDisableValidation"
-			});
-		} };
-	}
-} } };
-const sharedEffectEslintPolicy = {
-	rules: { "effect-harness/no-disable-validation": "error" },
-	restrictedImports: {
-		paths: [{
-			name: "node:test",
-			message: "Use @effect/vitest for Effect test entries."
-		}, {
-			name: "@effect/cli",
-			message: "Use effect/unstable/cli for Effect v4 beta."
-		}],
-		patterns: [
-			{
-				group: ["@effect/cli/*"],
-				message: "Use effect/unstable/cli for Effect v4 beta."
-			},
-			{
-				group: ["repos/effect/**", "**/repos/effect/**"],
-				message: "Import installed packages, never pinned source trees."
-			},
-			{
-				group: ["repos/tsgo/**", "**/repos/tsgo/**"],
-				message: "Use tsgo through its installed package."
-			}
-		]
-	},
-	restrictedSyntax: [{
-		selector: "MemberExpression[object.name=\"Context\"][property.name=\"Tag\"]",
-		message: "Use Context.Service for Effect v4 services."
-	}, {
-		selector: "MemberExpression[object.name=\"Effect\"][property.name=/^(catchAllCause|serviceOption)$/]",
-		message: "Use the Effect-native safer pattern."
-	}]
-};
-const effectTestEslintPolicy = {
-	restrictedImportPaths: [{
-		name: "vitest",
-		importNames: [
-			"describe",
-			"it",
-			"test"
-		],
-		message: "Use @effect/vitest Effect entries."
-	}],
-	restrictedSyntax: [{
-		selector: "CallExpression[callee.name=\"it\"]",
-		message: "Use it.effect, it.live, or layer from @effect/vitest."
-	}]
-};
 //#endregion
 //#region src/eslint.ts
 /**
-* Composable Effect guardrails for a target-owned ESLint flat config.
+* Composable pinned-reference boundaries for a target-owned ESLint flat config.
 *
 * Targets import this value from `@sayoriqwq/effect-harness/eslint`; Prelude
 * intentionally never rewrites executable config files.
 */
 const effectHarnessEslintConfig = [{
 	name: "effect-harness/guardrails",
-	plugins: { "effect-harness": effectHarnessEslintPlugin },
-	rules: {
-		...sharedEffectEslintPolicy.rules,
-		"no-restricted-imports": ["error", sharedEffectEslintPolicy.restrictedImports],
-		"no-restricted-syntax": ["error", ...sharedEffectEslintPolicy.restrictedSyntax]
-	}
-}, {
-	name: "effect-harness/tests",
-	files: ["tests/**/*.test.{js,mjs,ts}"],
-	rules: {
-		"no-restricted-imports": ["error", {
-			paths: [...sharedEffectEslintPolicy.restrictedImports.paths, ...effectTestEslintPolicy.restrictedImportPaths],
-			patterns: sharedEffectEslintPolicy.restrictedImports.patterns
-		}],
-		"no-restricted-syntax": [
-			"error",
-			...sharedEffectEslintPolicy.restrictedSyntax,
-			...effectTestEslintPolicy.restrictedSyntax
-		]
-	}
+	rules: { "no-restricted-imports": ["error", { restrictedImports: { patterns: [{
+		group: ["repos/effect/**", "**/repos/effect/**"],
+		message: "Import installed packages, never pinned Effect reference trees."
+	}, {
+		group: ["repos/tsgo/**", "**/repos/tsgo/**"],
+		message: "Use tsgo through its installed package, never its pinned reference tree."
+	}] } }.restrictedImports] }
 }];
 //#endregion
 export { effectHarnessEslintConfig as default };

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@sayoriqwq/effect-harness",
   "type": "module",
-  "version": "0.2.0",
+  "version": "0.2.1",
   "private": false,
   "publishConfig": {
     "access": "public",