@prover-coder-ai/component-tagger 1.0.5 → 1.0.6

package/dist/src/core/component-path.d.ts

@@ -0,0 +1,25 @@
+export declare const componentPathAttributeName = "path";
+/**
+ * Checks whether the Vite id represents a JSX or TSX module.
+ *
+ * @param id - Vite module id (may include query parameters).
+ * @returns true when the id ends with .jsx/.tsx (optionally with query).
+ *
+ * @pure true
+ * @invariant isJsxFile(id) = true -> id matches /\.(tsx|jsx)(\?.*)?$/u
+ * @complexity O(n) time / O(1) space where n = |id|
+ */
+export declare const isJsxFile: (id: string) => boolean;
+/**
+ * Formats the component path payload containing file, line, and column.
+ *
+ * @param relativeFilename - Path relative to the project root.
+ * @param line - 1-based line number from the parser location.
+ * @param column - 0-based column number from the parser location.
+ * @returns Encoded location string: "<path>:<line>:<column>".
+ *
+ * @pure true
+ * @invariant line >= 1 and column >= 0
+ * @complexity O(1) time / O(1) space
+ */
+export declare const formatComponentPathValue: (relativeFilename: string, line: number, column: number) => string;

package/{src/core/component-path.ts → dist/src/core/component-path.js}

@@ -1,5 +1,4 @@
-const jsxFilePattern = /\.(tsx|jsx)(\?.*)?$/u
-
+const jsxFilePattern = /\.(tsx|jsx)(\?.*)?$/u;
 // CHANGE: define canonical attribute name for component path tagging.
 // WHY: reduce metadata to a single attribute while keeping full source location.
 // QUOTE(TZ): "\u0421\u0430\u043c \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442 \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u0432 \u0442\u0435\u043a\u0443\u0449\u0435\u043c app \u043d\u043e \u0432\u043e\u0442 \u0447\u0442\u043e \u0431\u044b \u0435\u0433\u043e \u043f\u0440\u043e\u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u0434\u043e \u0441\u043e\u0437\u0434\u0430\u0442\u044c \u0435\u0449\u0451 \u043e\u0434\u0438\u043d \u043f\u0440\u043e\u0435\u043a\u0442 \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0430\u0448 \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u0430\u043f\u043f \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0430\u0442\u044c"
@@ -10,8 +9,7 @@ const jsxFilePattern = /\.(tsx|jsx)(\?.*)?$/u
 // EFFECT: n/a
 // INVARIANT: attribute name remains stable across transforms
 // COMPLEXITY: O(1)/O(1)
-export const componentPathAttributeName = "path"
-
+export const componentPathAttributeName = "path";
 /**
  * Checks whether the Vite id represents a JSX or TSX module.
  *
@@ -32,8 +30,7 @@ export const componentPathAttributeName = "path"
 // EFFECT: n/a
 // INVARIANT: predicate depends only on id content
 // COMPLEXITY: O(n)/O(1)
-export const isJsxFile = (id: string): boolean => jsxFilePattern.test(id)
-
+export const isJsxFile = (id) => jsxFilePattern.test(id);
 /**
  * Formats the component path payload containing file, line, and column.
  *
@@ -56,8 +53,4 @@ export const isJsxFile = (id: string): boolean => jsxFilePattern.test(id)
 // EFFECT: n/a
 // INVARIANT: output encodes path + line + column without loss
 // COMPLEXITY: O(1)/O(1)
-export const formatComponentPathValue = (
-  relativeFilename: string,
-  line: number,
-  column: number
-): string => `${relativeFilename}:${line}:${column}`
+export const formatComponentPathValue = (relativeFilename, line, column) => `${relativeFilename}:${line}:${column}`;

package/dist/src/index.d.ts

@@ -0,0 +1,2 @@
+export { componentPathAttributeName, formatComponentPathValue, isJsxFile } from "./core/component-path.js";
+export { componentTagger } from "./shell/component-tagger.js";

package/{src/index.ts → dist/src/index.js}

@@ -8,5 +8,5 @@
 // EFFECT: n/a
 // INVARIANT: exports remain stable for consumers
 // COMPLEXITY: O(1)/O(1)
-export { componentPathAttributeName, formatComponentPathValue, isJsxFile } from "./core/component-path.js"
-export { componentTagger } from "./shell/component-tagger.js"
+export { componentPathAttributeName, formatComponentPathValue, isJsxFile } from "./core/component-path.js";
+export { componentTagger } from "./shell/component-tagger.js";

package/dist/src/shell/component-tagger.d.ts

@@ -0,0 +1,13 @@
+import type { PluginOption } from "vite";
+/**
+ * Creates a Vite plugin that injects a single component-path data attribute.
+ *
+ * @returns Vite PluginOption for pre-transform tagging.
+ *
+ * @pure false
+ * @effect Babel transform through Effect
+ * @invariant only JSX/TSX modules are transformed
+ * @complexity O(n) time / O(1) space per JSX module
+ * @throws Never - errors are typed and surfaced by Effect
+ */
+export declare const componentTagger: () => PluginOption;

package/{src/shell/component-tagger.ts → dist/src/shell/component-tagger.js}

@@ -1,31 +1,20 @@
-import { type PluginObj, transformAsync, types as t } from "@babel/core"
-import { layer as NodePathLayer } from "@effect/platform-node/NodePath"
-import { Path } from "@effect/platform/Path"
-import { Effect, pipe } from "effect"
-import type { PluginOption } from "vite"
-
-import { componentPathAttributeName, formatComponentPathValue, isJsxFile } from "../core/component-path.js"
-
-type BabelTransformResult = Awaited<ReturnType<typeof transformAsync>>
-
-type ViteTransformResult = {
-  readonly code: string
-  readonly map: NonNullable<BabelTransformResult>["map"] | null
-}
-
+import { transformAsync, types as t } from "@babel/core";
+import { layer as NodePathLayer } from "@effect/platform-node/NodePath";
+import { Path } from "@effect/platform/Path";
+import { Effect, pipe } from "effect";
+import { componentPathAttributeName, formatComponentPathValue, isJsxFile } from "../core/component-path.js";
 class ComponentTaggerError extends Error {
-  readonly _tag = "ComponentTaggerError"
-
-  constructor(message: string, override readonly cause: Error) {
-    super(message)
-  }
-}
-
-const stripQuery = (id: string): string => {
-  const queryIndex = id.indexOf("?")
-  return queryIndex === -1 ? id : id.slice(0, queryIndex)
+    cause;
+    _tag = "ComponentTaggerError";
+    constructor(message, cause) {
+        super(message);
+        this.cause = cause;
+    }
 }
-
+const stripQuery = (id) => {
+    const queryIndex = id.indexOf("?");
+    return queryIndex === -1 ? id : id.slice(0, queryIndex);
+};
 // CHANGE: compute relative paths from the resolved Vite root instead of process.cwd().
 // WHY: keep component paths stable across monorepos and custom Vite roots.
 // QUOTE(TZ): "Сам компонент должен быть в текущем app но вот что бы его протестировать надо создать ещё один проект который наш текущий апп будет подключать"
@@ -36,30 +25,18 @@ const stripQuery = (id: string): string => {
 // EFFECT: Effect<string, never, Path>
 // INVARIANT: output is deterministic for a fixed root
 // COMPLEXITY: O(n)/O(1)
-const relativeFromRoot = (rootDir: string, absolutePath: string): Effect.Effect<string, never, Path> =>
-  pipe(
-    Path,
-    Effect.map((pathService) => pathService.relative(rootDir, absolutePath))
-  )
-
-const attrExists = (node: t.JSXOpeningElement, attrName: string): boolean =>
-  node.attributes.some(
-    (attr) => t.isJSXAttribute(attr) && t.isJSXIdentifier(attr.name, { name: attrName })
-  )
-
-const toViteResult = (result: BabelTransformResult): ViteTransformResult | null => {
-  if (result === null || result.code === null || result.code === undefined) {
-    return null
-  }
-
-  const { code } = result
-
-  return {
-    code,
-    map: result.map ?? null
-  }
-}
-
+const relativeFromRoot = (rootDir, absolutePath) => pipe(Path, Effect.map((pathService) => pathService.relative(rootDir, absolutePath)));
+const attrExists = (node, attrName) => node.attributes.some((attr) => t.isJSXAttribute(attr) && t.isJSXIdentifier(attr.name, { name: attrName }));
+const toViteResult = (result) => {
+    if (result === null || result.code === null || result.code === undefined) {
+        return null;
+    }
+    const { code } = result;
+    return {
+        code,
+        map: result.map ?? null
+    };
+};
 // CHANGE: inject a single path attribute into JSX opening elements.
 // WHY: remove redundant metadata while preserving the full source location payload.
 // QUOTE(TZ): "\u0421\u0430\u043c \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442 \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u0432 \u0442\u0435\u043a\u0443\u0449\u0435\u043c app \u043d\u043e \u0432\u043e\u0442 \u0447\u0442\u043e \u0431\u044b \u0435\u0433\u043e \u043f\u0440\u043e\u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u0434\u043e \u0441\u043e\u0437\u0434\u0430\u0442\u044c \u0435\u0449\u0451 \u043e\u0434\u0438\u043d \u043f\u0440\u043e\u0435\u043a\u0442 \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0430\u0448 \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u0430\u043f\u043f \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0430\u0442\u044c"
@@ -70,30 +47,23 @@ const toViteResult = (result: BabelTransformResult): ViteTransformResult | null
 // EFFECT: Effect<ViteTransformResult | null, ComponentTaggerError, Path>
 // INVARIANT: each JSX opening element has at most one path attribute
 // COMPLEXITY: O(n)/O(1), n = number of JSX elements
-const makeBabelTagger = (relativeFilename: string): PluginObj => ({
-  name: "component-path-babel-tagger",
-  visitor: {
-    JSXOpeningElement(openPath: { readonly node: t.JSXOpeningElement }) {
-      const { node } = openPath
-
-      if (node.loc === null || node.loc === undefined) {
-        return
-      }
-
-      if (attrExists(node, componentPathAttributeName)) {
-        return
-      }
-
-      const { column, line } = node.loc.start
-      const value = formatComponentPathValue(relativeFilename, line, column)
-
-      node.attributes.push(
-        t.jsxAttribute(t.jsxIdentifier(componentPathAttributeName), t.stringLiteral(value))
-      )
+const makeBabelTagger = (relativeFilename) => ({
+    name: "component-path-babel-tagger",
+    visitor: {
+        JSXOpeningElement(openPath) {
+            const { node } = openPath;
+            if (node.loc === null || node.loc === undefined) {
+                return;
+            }
+            if (attrExists(node, componentPathAttributeName)) {
+                return;
+            }
+            const { column, line } = node.loc.start;
+            const value = formatComponentPathValue(relativeFilename, line, column);
+            node.attributes.push(t.jsxAttribute(t.jsxIdentifier(componentPathAttributeName), t.stringLiteral(value)));
+        }
     }
-  }
-})
-
+});
 /**
  * Builds a Vite transform result with a single component-path attribute per JSX element.
  *
@@ -116,39 +86,26 @@ const makeBabelTagger = (relativeFilename: string): PluginObj => ({
 // EFFECT: Effect<ViteTransformResult | null, ComponentTaggerError, never>
 // INVARIANT: errors are surfaced as ComponentTaggerError only
 // COMPLEXITY: O(n)/O(1)
-const runTransform = (
-  code: string,
-  id: string,
-  rootDir: string
-): Effect.Effect<ViteTransformResult | null, ComponentTaggerError, Path> => {
-  const cleanId = stripQuery(id)
-
-  return pipe(
-    relativeFromRoot(rootDir, cleanId),
-    Effect.flatMap((relative) =>
-      Effect.tryPromise({
-        try: () =>
-          transformAsync(code, {
+const runTransform = (code, id, rootDir) => {
+    const cleanId = stripQuery(id);
+    return pipe(relativeFromRoot(rootDir, cleanId), Effect.flatMap((relative) => Effect.tryPromise({
+        try: () => transformAsync(code, {
             filename: cleanId,
             babelrc: false,
             configFile: false,
             parserOpts: {
-              sourceType: "module",
-              plugins: ["typescript", "jsx", "decorators-legacy"]
+                sourceType: "module",
+                plugins: ["typescript", "jsx", "decorators-legacy"]
             },
             plugins: [makeBabelTagger(relative)],
             sourceMaps: true
-          }),
+        }),
         catch: (cause) => {
-          const error = cause instanceof Error ? cause : new Error(String(cause))
-          return new ComponentTaggerError("Babel transform failed", error)
+            const error = cause instanceof Error ? cause : new Error(String(cause));
+            return new ComponentTaggerError("Babel transform failed", error);
         }
-      })
-    ),
-    Effect.map((result) => toViteResult(result))
-  )
-}
-
+    })), Effect.map((result) => toViteResult(result)));
+};
 /**
  * Creates a Vite plugin that injects a single component-path data attribute.
  *
@@ -170,22 +127,20 @@ const runTransform = (
 // EFFECT: Effect<ViteTransformResult | null, ComponentTaggerError, never>
 // INVARIANT: no duplicate path attributes
 // COMPLEXITY: O(n)/O(1)
-export const componentTagger = (): PluginOption => {
-  let resolvedRoot = process.cwd()
-
-  return {
-    name: "component-path-tagger",
-    enforce: "pre",
-    apply: "serve",
-    configResolved(config) {
-      resolvedRoot = config.root
-    },
-    transform(code, id) {
-      if (!isJsxFile(id)) {
-        return null
-      }
-
-      return Effect.runPromise(pipe(runTransform(code, id, resolvedRoot), Effect.provide(NodePathLayer)))
-    }
-  }
-}
+export const componentTagger = () => {
+    let resolvedRoot = process.cwd();
+    return {
+        name: "component-path-tagger",
+        enforce: "pre",
+        apply: "serve",
+        configResolved(config) {
+            resolvedRoot = config.root;
+        },
+        transform(code, id) {
+            if (!isJsxFile(id)) {
+                return null;
+            }
+            return Effect.runPromise(pipe(runTransform(code, id, resolvedRoot), Effect.provide(NodePathLayer)));
+        }
+    };
+};

package/dist/tests/core/component-path.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/tests/core/component-path.test.js

@@ -0,0 +1,17 @@
+import { describe, expect, it } from "@effect/vitest";
+import { Effect } from "effect";
+import { componentPathAttributeName, formatComponentPathValue, isJsxFile } from "../../src/core/component-path.js";
+describe("component-path", () => {
+    it.effect("exposes the path attribute name", () => Effect.sync(() => {
+        expect(componentPathAttributeName).toBe("path");
+    }));
+    it.effect("formats the component path payload", () => Effect.sync(() => {
+        const result = formatComponentPathValue("src/App.tsx", 12, 3);
+        expect(result).toBe("src/App.tsx:12:3");
+    }));
+    it.effect("detects JSX/TSX module ids", () => Effect.sync(() => {
+        expect(isJsxFile("src/App.tsx")).toBe(true);
+        expect(isJsxFile("src/App.jsx?import")).toBe(true);
+        expect(isJsxFile("src/App.ts")).toBe(false);
+    }));
+});

package/dist/vitest.config.d.ts

@@ -0,0 +1,2 @@
+declare const _default: import("vite").UserConfig;
+export default _default;

package/dist/vitest.config.js

@@ -0,0 +1,67 @@
+// CHANGE: Migrate from Jest to Vitest with mathematical equivalence
+// WHY: Faster execution, native ESM, Effect integration via @effect/vitest
+// QUOTE(ТЗ): "Проект использует Effect + функциональную парадигму"
+// REF: Migration from jest.config.mjs
+// PURITY: SHELL (configuration only)
+// INVARIANT: ∀ test: behavior_jest ≡ behavior_vitest
+// EFFECT: Effect<TestReport, never, TestEnvironment>
+// COMPLEXITY: O(n) test execution where n = |test_files|
+import { defineConfig } from "vitest/config";
+export default defineConfig({
+    test: {
+        // CHANGE: Native ESM support without experimental flags
+        // WHY: Vitest designed for ESM, no need for --experimental-vm-modules
+        // INVARIANT: Deterministic test execution without side effects
+        globals: false, // IMPORTANT: Use explicit imports for type safety
+        environment: "node",
+        // CHANGE: Match Jest's test file patterns
+        // INVARIANT: Same test discovery as Jest
+        include: ["tests/**/*.{test,spec}.ts"],
+        exclude: ["node_modules", "dist", "dist-test"],
+        // CHANGE: Coverage with 100% threshold for CORE (same as Jest)
+        // WHY: CORE must maintain mathematical guarantees via complete coverage
+        // INVARIANT: coverage_vitest ≥ coverage_jest ∧ ∀ f ∈ CORE: coverage(f) = 100%
+        coverage: {
+            provider: "v8", // Faster than babel (istanbul), native V8 coverage
+            reporter: ["text", "json", "html"],
+            include: ["src/**/*.ts"],
+            exclude: [
+                "src/**/*.test.ts",
+                "src/**/*.spec.ts",
+                "src/**/__tests__/**",
+                "scripts/**/*.ts"
+            ],
+            // CHANGE: Maintain exact same thresholds as Jest
+            // WHY: Enforce 100% coverage for CORE, 10% minimum for SHELL
+            // INVARIANT: ∀ f ∈ src/core/**/*.ts: all_metrics(f) = 100%
+            // NOTE: Vitest v8 provider collects coverage for all matched files by default
+            thresholds: {
+                "src/core/**/*.ts": {
+                    branches: 100,
+                    functions: 100,
+                    lines: 100,
+                    statements: 100
+                },
+                global: {
+                    branches: 10,
+                    functions: 10,
+                    lines: 10,
+                    statements: 10
+                }
+            }
+        },
+        // CHANGE: Faster test execution via thread pooling
+        // WHY: Vitest uses worker threads by default (faster than Jest's processes)
+        // COMPLEXITY: O(n/k) where n = tests, k = worker_count
+        // NOTE: Vitest runs tests in parallel by default, no additional config needed
+        // CHANGE: Clear mocks between tests (Jest equivalence)
+        // WHY: Prevent test contamination, ensure test independence
+        // INVARIANT: ∀ test_i, test_j: independent(test_i, test_j) ⇒ no_shared_state
+        clearMocks: true,
+        mockReset: true,
+        restoreMocks: true
+        // CHANGE: Disable globals to enforce explicit imports
+        // WHY: Type safety, explicit dependencies, functional purity
+        // NOTE: Tests must import { describe, it, expect } from "vitest"
+    }
+});

package/package.json

@@ -1,9 +1,12 @@
 {
   "name": "@prover-coder-ai/component-tagger",
-  "version": "1.0.5",
+  "version": "1.0.6",
   "description": "Component tagger Vite plugin for JSX metadata",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
+  "files": [
+    "dist"
+  ],
   "directories": {
     "doc": "doc"
   },

package/.jscpd.json

@@ -1,16 +0,0 @@
-{
-	"threshold": 0,
-	"minTokens": 30,
-	"minLines": 5,
-	"ignore": [
-		"**/node_modules/**",
-		"**/build/**",
-		"**/dist/**",
-		"**/*.min.js",
-		"**/reports/**"
-	],
-	"skipComments": true,
-	"ignorePattern": [
-		"private readonly \\w+: \\w+;\\s*private readonly \\w+: \\w+;\\s*private \\w+: \\w+ \\| null = null;\\s*private \\w+: \\w+ \\| null = null;"
-	]
-}

package/CHANGELOG.md

@@ -1,31 +0,0 @@
-# @prover-coder-ai/component-tagger
-
-## 1.0.5
-
-### Patch Changes
-
-- chore: automated version bump
-
-## 1.0.4
-
-### Patch Changes
-
-- chore: automated version bump
-
-## 1.0.3
-
-### Patch Changes
-
-- chore: automated version bump
-
-## 1.0.2
-
-### Patch Changes
-
-- chore: automated version bump
-
-## 1.0.1
-
-### Patch Changes
-
-- chore: automated version bump

package/biome.json

@@ -1,34 +0,0 @@
-{
-	"$schema": "https://biomejs.dev/schemas/2.3.11/schema.json",
-	"vcs": {
-		"enabled": false,
-		"clientKind": "git",
-		"useIgnoreFile": false
-	},
-	"files": {
-		"ignoreUnknown": false
-	},
-	"formatter": {
-		"enabled": false,
-		"indentStyle": "tab"
-	},
-	"assist": {
-		"enabled": false
-	},
-	"linter": {
-		"enabled": false,
-		"rules": {
-			"recommended": false,
-			"suspicious": {
-				"noExplicitAny": "off"
-			}
-		}
-	},
-	"javascript": {
-		"formatter": {
-			"enabled": false,
-			"quoteStyle": "double",
-			"semicolons": "asNeeded"
-		}
-	}
-}

package/eslint.config.mts

@@ -1,305 +0,0 @@
-// eslint.config.mjs
-// @ts-check
-import eslint from '@eslint/js';
-import { defineConfig } from 'eslint/config';
-import tseslint from 'typescript-eslint';
-import vitest from "@vitest/eslint-plugin";
-import suggestMembers from "@prover-coder-ai/eslint-plugin-suggest-members";
-import sonarjs from "eslint-plugin-sonarjs";
-import unicorn from "eslint-plugin-unicorn";
-import * as effectEslint from "@effect/eslint-plugin";
-import { fixupPluginRules } from "@eslint/compat";
-import codegen from "eslint-plugin-codegen";
-import importPlugin from "eslint-plugin-import";
-import simpleImportSort from "eslint-plugin-simple-import-sort";
-import sortDestructureKeys from "eslint-plugin-sort-destructure-keys";
-import globals from "globals";
-import eslintCommentsConfigs from "@eslint-community/eslint-plugin-eslint-comments/configs";
-
-const codegenPlugin = fixupPluginRules(
-	codegen as unknown as Parameters<typeof fixupPluginRules>[0],
-);
-
-const noFetchExample = [
-	"Пример:",
-	"  import { FetchHttpClient, HttpClient } from \"@effect/platform\"",
-	"  import { Effect } from \"effect\"",
-	"  const program = Effect.gen(function* () {",
-	"    const client = yield* HttpClient.HttpClient",
-	"    return yield* client.get(`${api}/robots`)",
-	"  }).pipe(",
-	"    Effect.scoped,",
-	"    Effect.provide(FetchHttpClient.layer)",
-	"  )",
-].join("\n");
-
-export default defineConfig(
-  eslint.configs.recommended,
-  tseslint.configs.strictTypeChecked,
-  effectEslint.configs.dprint,
-  suggestMembers.configs.recommended,
-  eslintCommentsConfigs.recommended,
-  {
-    name: "analyzers",
-    languageOptions: {
-      parser: tseslint.parser,
-	  globals: { ...globals.node, ...globals.browser },
-      parserOptions: {
-        projectService: true,          
-        tsconfigRootDir: import.meta.dirname,
-      },
-    },
-	plugins: {
-		sonarjs,
-		unicorn,
-		import: fixupPluginRules(importPlugin),
-		"sort-destructure-keys": sortDestructureKeys,
-		"simple-import-sort": simpleImportSort,
-		codegen: codegenPlugin,
-	},
-	files: ["**/*.ts", '**/*.{test,spec}.{ts,tsx}', '**/tests/**', '**/__tests__/**'],
-	settings: {
-		"import/parsers": {
-			"@typescript-eslint/parser": [".ts", ".tsx"],
-		},
-		"import/resolver": {
-			typescript: {
-				alwaysTryTypes: true,
-			},
-		},
-	},
-	rules: {
-		...sonarjs.configs.recommended.rules,
-		...unicorn.configs.recommended.rules,
-		"no-restricted-imports": ["error", {
-			paths: [
-				{
-					name: "ts-pattern",
-					message: "Use Effect.Match instead of ts-pattern.",
-				},
-				{
-					name: "zod",
-					message: "Use @effect/schema for schemas and validation.",
-				},
-			],
-		}],
-		"codegen/codegen": "error",
-		"import/first": "error",
-		"import/newline-after-import": "error",
-		"import/no-duplicates": "error",
-		"import/no-unresolved": "off",
-		"import/order": "off",
-		"simple-import-sort/imports": "off",
-		"sort-destructure-keys/sort-destructure-keys": "error",
-		"no-fallthrough": "off",
-		"no-irregular-whitespace": "off",
-		"object-shorthand": "error",
-		"prefer-destructuring": "off",
-		"sort-imports": "off",
-		"no-unused-vars": "off",
-		"prefer-rest-params": "off",
-		"prefer-spread": "off",
-		"unicorn/prefer-top-level-await": "off",
-		"unicorn/prevent-abbreviations": "off",
-		"unicorn/no-null": "off",
-		complexity: ["error", 8],
-		"max-lines-per-function": [
-			"error",
-			{ max: 50, skipBlankLines: true, skipComments: true },
-		],
-		"max-params": ["error", 5],
-		"max-depth": ["error", 4],
-		"max-lines": [
-			"error",
-			{ max: 300, skipBlankLines: true, skipComments: true },
-		],
-
-		"@typescript-eslint/restrict-template-expressions": ["error", {
-			allowNumber: true,
-			allowBoolean: true,
-			allowNullish: false,
-			allowAny: false,
-			allowRegExp: false
-		}],
-		"@eslint-community/eslint-comments/no-use": "error",
-		"@eslint-community/eslint-comments/no-unlimited-disable": "error",
-		"@eslint-community/eslint-comments/disable-enable-pair": "error",
-		"@eslint-community/eslint-comments/no-unused-disable": "error",
-		"no-restricted-syntax": [
-				"error",
-				{
-					selector: "TSUnknownKeyword",
-					message: "Запрещено 'unknown'.",
-				},
-				// CHANGE: запрет прямого fetch в коде
-				// WHY: enforce Effect-TS httpClient as единственный источник сетевых эффектов
-				// QUOTE(ТЗ): "Вместо fetch должно быть всегда написано httpClient от библиотеки Effect-TS"
-				// REF: user-msg-1
-				// SOURCE: n/a
-				// FORMAT THEOREM: ∀call ∈ Calls: callee(call)=fetch → lint_error(call)
-				// PURITY: SHELL
-				// EFFECT: Effect<never, never, never>
-				// INVARIANT: direct fetch calls are forbidden
-				// COMPLEXITY: O(1)
-				{
-					selector: "CallExpression[callee.name='fetch']",
-					message: `Запрещён fetch — используй HttpClient (Effect-TS).\n${noFetchExample}`,
-				},
-				{
-					selector:
-						"CallExpression[callee.object.name='window'][callee.property.name='fetch']",
-					message: `Запрещён window.fetch — используй HttpClient (Effect-TS).\n${noFetchExample}`,
-				},
-				{
-					selector:
-						"CallExpression[callee.object.name='globalThis'][callee.property.name='fetch']",
-					message: `Запрещён globalThis.fetch — используй HttpClient (Effect-TS).\n${noFetchExample}`,
-				},
-				{
-					selector:
-						"CallExpression[callee.object.name='self'][callee.property.name='fetch']",
-					message: `Запрещён self.fetch — используй HttpClient (Effect-TS).\n${noFetchExample}`,
-				},
-				{
-					selector:
-						"CallExpression[callee.object.name='global'][callee.property.name='fetch']",
-					message: `Запрещён global.fetch — используй HttpClient (Effect-TS).\n${noFetchExample}`,
-				},
-				{
-					selector: "TryStatement",
-					message: "Используй Effect.try / catchAll вместо try/catch в core/app/domain.",
-				},
-				{
-					selector: "SwitchStatement",
-					message: [
-						"Switch statements are forbidden in functional programming paradigm.",
-						"How to fix: Use Effect.Match instead.",
-						"Example:",
-						"  import { Match } from 'effect';",
-						"  type Item = { type: 'this' } | { type: 'that' };",
-						"  const result = Match.value(item).pipe(",
-						"    Match.when({ type: 'this' }, (it) => processThis(it)),",
-						"    Match.when({ type: 'that' }, (it) => processThat(it)),",
-						"    Match.exhaustive,",
-						"  );",
-					].join("\n"),
-				},
-				{
-					selector: 'CallExpression[callee.name="require"]',
-					message: "Avoid using require(). Use ES6 imports instead.",
-				},
-				{
-					selector: "ThrowStatement > Literal:not([value=/^\\w+Error:/])",
-					message:
-						'Do not throw string literals or non-Error objects. Throw new Error("...") instead.',
-				},
-				{
-					selector:
-						"FunctionDeclaration[async=true], FunctionExpression[async=true], ArrowFunctionExpression[async=true]",
-					message:
-						"Запрещён async/await — используй Effect.gen / Effect.tryPromise.",
-				},
-				{
-					selector: "NewExpression[callee.name='Promise']",
-					message:
-						"Запрещён new Promise — используй Effect.async / Effect.tryPromise.",
-				},
-				{
-					selector: "CallExpression[callee.object.name='Promise']",
-					message:
-						"Запрещены Promise.* — используй комбинаторы Effect (all, forEach, etc.).",
-				},
-				{
-					selector: "CallExpression[callee.property.name='push'] > SpreadElement.arguments",
-					message: "Do not use spread arguments in Array.push",
-				},
-		],
-		"no-throw-literal": "error",
-		"@typescript-eslint/no-restricted-types": [
-				"error",
-				{
-					types: {
-						unknown: {
-							message:
-								"Не используем 'unknown'. Уточни тип или наведи порядок в источнике данных.",
-						},
-						Promise: {
-							message: "Запрещён Promise — используй Effect.Effect<A, E, R>.",
-							suggest: ["Effect.Effect"],
-						},
-						"Promise<*>": {
-							message:
-								"Запрещён Promise<T> — используй Effect.Effect<T, E, R>.",
-							suggest: ["Effect.Effect<T, E, R>"],
-						},
-					},
-				},
-			],
-		"@typescript-eslint/use-unknown-in-catch-callback-variable": "off",
-		// "no-throw-literal": "off",
-		"@typescript-eslint/only-throw-error": [
-			"error",
-			{ allowThrowingUnknown: false, allowThrowingAny: false },
-		],
-		"@typescript-eslint/array-type": ["warn", {
-			default: "generic",
-			readonly: "generic"
-		}],
-		"@typescript-eslint/member-delimiter-style": 0,
-		"@typescript-eslint/no-non-null-assertion": "off",
-		"@typescript-eslint/ban-types": "off",
-		"@typescript-eslint/no-explicit-any": "off",
-		"@typescript-eslint/no-empty-interface": "off",
-		"@typescript-eslint/consistent-type-imports": "warn",
-		"@typescript-eslint/no-unused-vars": ["error", {
-			argsIgnorePattern: "^_",
-			varsIgnorePattern: "^_"
-		}],
-		"@typescript-eslint/ban-ts-comment": "off",
-		"@typescript-eslint/camelcase": "off",
-		"@typescript-eslint/explicit-function-return-type": "off",
-		"@typescript-eslint/explicit-module-boundary-types": "off",
-		"@typescript-eslint/interface-name-prefix": "off",
-		"@typescript-eslint/no-array-constructor": "off",
-		"@typescript-eslint/no-use-before-define": "off",
-		"@typescript-eslint/no-namespace": "off",
-		"@effect/dprint": ["error", {
-			config: {
-				indentWidth: 2,
-				lineWidth: 120,
-				semiColons: "asi",
-				quoteStyle: "alwaysDouble",
-				trailingCommas: "never",
-				operatorPosition: "maintain",
-				"arrowFunction.useParentheses": "force"
-			}
-		}]
-	}
-  },
-  {
-    files: ['**/*.{test,spec}.{ts,tsx}', 'tests/**', '**/__tests__/**'],
-    ...vitest.configs.all,
-    languageOptions: {
-      globals: {
-        ...vitest.environments.env.globals,
-      },
-    },
-    rules: {
-      // Allow eslint-disable/enable comments in test files for fine-grained control
-      '@eslint-community/eslint-comments/no-use': 'off',
-      // Disable line count limit for E2E tests that contain multiple test cases
-      'max-lines-per-function': 'off',
-      // `it.effect` is not recognized by sonar rule; disable to avoid false positives
-      'sonarjs/no-empty-test-file': 'off',
-    },
-  },
-
-  // 3) Для JS-файлов отключим типо-зависимые проверки
-  {
-    files: ['**/*.{js,cjs,mjs}'],
-    extends: [tseslint.configs.disableTypeChecked],
-  },
-
-  // 4) Глобальные игноры
-  { ignores: ['dist/**', 'build/**', 'coverage/**', '**/dist/**'] },
-);

package/eslint.effect-ts-check.config.mjs

@@ -1,220 +0,0 @@
-// CHANGE: add Effect-TS compliance lint profile
-// WHY: detect current deviations from strict Effect-TS guidance
-// QUOTE(TZ): n/a
-// REF: AGENTS.md Effect-TS compliance checks
-// SOURCE: n/a
-// PURITY: SHELL
-// EFFECT: eslint config
-// INVARIANT: config only flags explicit policy deviations
-// COMPLEXITY: O(1)/O(1)
-import eslintComments from "@eslint-community/eslint-plugin-eslint-comments"
-import globals from "globals"
-import tseslint from "typescript-eslint"
-
-const restrictedImports = [
-  {
-    name: "node:fs",
-    message: "Use @effect/platform FileSystem instead of node:fs."
-  },
-  {
-    name: "fs",
-    message: "Use @effect/platform FileSystem instead of fs."
-  },
-  {
-    name: "node:fs/promises",
-    message: "Use @effect/platform FileSystem instead of node:fs/promises."
-  },
-  {
-    name: "node:path/posix",
-    message: "Use @effect/platform Path instead of node:path/posix."
-  },
-  {
-    name: "node:path",
-    message: "Use @effect/platform Path instead of node:path."
-  },
-  {
-    name: "path",
-    message: "Use @effect/platform Path instead of path."
-  },
-  {
-    name: "node:child_process",
-    message: "Use @effect/platform Command instead of node:child_process."
-  },
-  {
-    name: "child_process",
-    message: "Use @effect/platform Command instead of child_process."
-  },
-  {
-    name: "node:process",
-    message: "Use @effect/platform Runtime instead of node:process."
-  },
-  {
-    name: "process",
-    message: "Use @effect/platform Runtime instead of process."
-  }
-]
-
-const restrictedSyntaxBase = [
-  {
-    selector: "SwitchStatement",
-    message: "Switch is forbidden. Use Match.exhaustive."
-  },
-  {
-    selector: "TryStatement",
-    message: "Avoid try/catch in product code. Use Effect.try / Effect.catch*."
-  },
-  {
-    selector: "AwaitExpression",
-    message: "Avoid await. Use Effect.gen / Effect.flatMap."
-  },
-  {
-    selector: "FunctionDeclaration[async=true], FunctionExpression[async=true], ArrowFunctionExpression[async=true]",
-    message: "Avoid async/await. Use Effect.gen / Effect.tryPromise."
-  },
-  {
-    selector: "NewExpression[callee.name='Promise']",
-    message: "Avoid new Promise. Use Effect.async / Effect.tryPromise."
-  },
-  {
-    selector: "CallExpression[callee.object.name='Promise']",
-    message: "Avoid Promise.*. Use Effect combinators."
-  },
-  {
-    selector: "CallExpression[callee.name='require']",
-    message: "Avoid require(). Use ES module imports."
-  },
-  {
-    selector: "TSAsExpression",
-    message: "Casting is only allowed in src/core/axioms.ts."
-  },
-  {
-    selector: "TSTypeAssertion",
-    message: "Casting is only allowed in src/core/axioms.ts."
-  },
-  {
-    selector: "CallExpression[callee.name='makeFilesystemService']",
-    message: "Do not instantiate FilesystemService directly. Provide Layer and access via Tag."
-  },
-  {
-    selector: "CallExpression[callee.property.name='catchAll']",
-    message: "Avoid catchAll that discards typed errors; map or propagate explicitly."
-  }
-]
-
-const restrictedSyntaxCore = [
-  ...restrictedSyntaxBase,
-  {
-    selector: "TSUnknownKeyword",
-    message: "unknown is allowed only at shell boundaries with decoding."
-  },
-  {
-    selector: "CallExpression[callee.property.name='runSyncExit']",
-    message: "Effect.runSyncExit is shell-only. Move to a runner."
-  },
-  {
-    selector: "CallExpression[callee.property.name='runSync']",
-    message: "Effect.runSync is shell-only. Move to a runner."
-  },
-  {
-    selector: "CallExpression[callee.property.name='runPromise']",
-    message: "Effect.runPromise is shell-only. Move to a runner."
-  }
-]
-
-const restrictedSyntaxCoreNoAs = [
-  ...restrictedSyntaxCore.filter((rule) =>
-    rule.selector !== "TSAsExpression" && rule.selector !== "TSTypeAssertion"
-  )
-]
-
-const restrictedSyntaxBaseNoServiceFactory = [
-  ...restrictedSyntaxBase.filter((rule) =>
-    rule.selector !== "CallExpression[callee.name='makeFilesystemService']"
-  )
-]
-
-export default tseslint.config(
-  {
-    name: "effect-ts-compliance-check",
-    files: ["src/**/*.ts", "scripts/**/*.ts"],
-    languageOptions: {
-      parser: tseslint.parser,
-      globals: { ...globals.node }
-    },
-    plugins: {
-      "@typescript-eslint": tseslint.plugin,
-      "eslint-comments": eslintComments
-    },
-    rules: {
-      "no-console": "error",
-      "no-restricted-imports": ["error", {
-        paths: restrictedImports,
-        patterns: [
-          {
-            group: ["node:*"],
-            message: "Do not import from node:* directly. Use @effect/platform-node or @effect/platform services."
-          }
-        ]
-      }],
-      "no-restricted-syntax": ["error", ...restrictedSyntaxBase],
-      "@typescript-eslint/no-explicit-any": "error",
-      "@typescript-eslint/ban-ts-comment": ["error", {
-        "ts-ignore": true,
-        "ts-nocheck": true,
-        "ts-check": false,
-        "ts-expect-error": true
-      }],
-      "@typescript-eslint/no-restricted-types": ["error", {
-        types: {
-          Promise: {
-            message: "Avoid Promise in types. Use Effect.Effect<A, E, R>."
-          },
-          "Promise<*>": {
-            message: "Avoid Promise<T>. Use Effect.Effect<T, E, R>."
-          }
-        }
-      }],
-      "eslint-comments/no-use": "error",
-      "eslint-comments/no-unlimited-disable": "error",
-      "eslint-comments/disable-enable-pair": "error",
-      "eslint-comments/no-unused-disable": "error"
-    }
-  },
-  {
-    name: "effect-ts-compliance-core",
-    files: ["src/core/**/*.ts"],
-    rules: {
-      "no-restricted-syntax": ["error", ...restrictedSyntaxCore],
-      "no-restricted-imports": ["error", {
-        paths: restrictedImports,
-        patterns: [
-          {
-            group: [
-              "../shell/**",
-              "../../shell/**",
-              "../../../shell/**",
-              "./shell/**",
-              "src/shell/**",
-              "shell/**"
-            ],
-            message: "CORE must not import from SHELL."
-          }
-        ]
-      }]
-    }
-  },
-  {
-    name: "effect-ts-compliance-axioms",
-    files: ["src/core/axioms.ts"],
-    rules: {
-      "no-restricted-syntax": ["error", ...restrictedSyntaxCoreNoAs]
-    }
-  },
-  {
-    name: "effect-ts-compliance-filesystem-service",
-    files: ["src/shell/services/filesystem.ts"],
-    rules: {
-      "no-restricted-syntax": ["error", ...restrictedSyntaxBaseNoServiceFactory]
-    }
-  }
-)

package/linter.config.json

@@ -1,33 +0,0 @@
-{
-	"priorityLevels": [
-		{
-			"level": 1,
-			"name": "Critical Compiler Errors",
-			"rules": [
-				"ts(2835)",
-				"ts(2307)",
-				"@prover-coder-ai/suggest-members/suggest-members",
-				"@prover-coder-ai/suggest-members/suggest-imports",
-				"@prover-coder-ai/suggest-members/suggest-module-paths",
-				"@prover-coder-ai/suggest-members/suggest-exports",
-				"@prover-coder-ai/suggest-members/suggest-missing-names",
-				"@typescript-eslint/no-explicit-any"
-			]
-		},
-		{
-			"level": 2,
-			"name": "Critical Compiler Errors",
-			"rules": ["all"]
-		},
-		{
-			"level": 3,
-			"name": "Critical Compiler Errors (Code must follow Clean Code and best practices)",
-			"rules": ["max-lines-per-function", "max-lines"]
-		},
-		{
-			"level": 4,
-			"name": "Critical Compiler Errors (Code must follow Clean Code and best practices)",
-			"rules": ["complexity", "max-params", "max-depth"]
-		}
-	]
-}

package/tests/core/component-path.test.ts

@@ -1,24 +0,0 @@
-import { describe, expect, it } from "@effect/vitest"
-import { Effect } from "effect"
-
-import { componentPathAttributeName, formatComponentPathValue, isJsxFile } from "../../src/core/component-path.js"
-
-describe("component-path", () => {
-  it.effect("exposes the path attribute name", () =>
-    Effect.sync(() => {
-      expect(componentPathAttributeName).toBe("path")
-    }))
-
-  it.effect("formats the component path payload", () =>
-    Effect.sync(() => {
-      const result = formatComponentPathValue("src/App.tsx", 12, 3)
-      expect(result).toBe("src/App.tsx:12:3")
-    }))
-
-  it.effect("detects JSX/TSX module ids", () =>
-    Effect.sync(() => {
-      expect(isJsxFile("src/App.tsx")).toBe(true)
-      expect(isJsxFile("src/App.jsx?import")).toBe(true)
-      expect(isJsxFile("src/App.ts")).toBe(false)
-    }))
-})

package/tsconfig.json

@@ -1,18 +0,0 @@
-{
-	"extends": "../../tsconfig.base.json",
-	"compilerOptions": {
-		"rootDir": ".",
-		"outDir": "dist",
-		"types": ["vitest"],
-		"baseUrl": ".",
-		"paths": {
-			"@/*": ["src/*"]
-		}
-	},
-	"include": [
-		"src/**/*",
-		"tests/**/*",
-		"vitest.config.ts"
-	],
-	"exclude": ["dist", "node_modules"]
-}

package/vitest.config.ts

@@ -1,73 +0,0 @@
-// CHANGE: Migrate from Jest to Vitest with mathematical equivalence
-// WHY: Faster execution, native ESM, Effect integration via @effect/vitest
-// QUOTE(ТЗ): "Проект использует Effect + функциональную парадигму"
-// REF: Migration from jest.config.mjs
-// PURITY: SHELL (configuration only)
-// INVARIANT: ∀ test: behavior_jest ≡ behavior_vitest
-// EFFECT: Effect<TestReport, never, TestEnvironment>
-// COMPLEXITY: O(n) test execution where n = |test_files|
-
-import { defineConfig } from "vitest/config"
-
-export default defineConfig({
-  test: {
-    // CHANGE: Native ESM support without experimental flags
-    // WHY: Vitest designed for ESM, no need for --experimental-vm-modules
-    // INVARIANT: Deterministic test execution without side effects
-    globals: false, // IMPORTANT: Use explicit imports for type safety
-    environment: "node",
-
-    // CHANGE: Match Jest's test file patterns
-    // INVARIANT: Same test discovery as Jest
-    include: ["tests/**/*.{test,spec}.ts"],
-    exclude: ["node_modules", "dist", "dist-test"],
-
-    // CHANGE: Coverage with 100% threshold for CORE (same as Jest)
-    // WHY: CORE must maintain mathematical guarantees via complete coverage
-    // INVARIANT: coverage_vitest ≥ coverage_jest ∧ ∀ f ∈ CORE: coverage(f) = 100%
-    coverage: {
-      provider: "v8", // Faster than babel (istanbul), native V8 coverage
-      reporter: ["text", "json", "html"],
-      include: ["src/**/*.ts"],
-      exclude: [
-        "src/**/*.test.ts",
-        "src/**/*.spec.ts",
-        "src/**/__tests__/**",
-        "scripts/**/*.ts"
-      ],
-      // CHANGE: Maintain exact same thresholds as Jest
-      // WHY: Enforce 100% coverage for CORE, 10% minimum for SHELL
-      // INVARIANT: ∀ f ∈ src/core/**/*.ts: all_metrics(f) = 100%
-      // NOTE: Vitest v8 provider collects coverage for all matched files by default
-      thresholds: {
-        "src/core/**/*.ts": {
-          branches: 100,
-          functions: 100,
-          lines: 100,
-          statements: 100
-        },
-        global: {
-          branches: 10,
-          functions: 10,
-          lines: 10,
-          statements: 10
-        }
-      }
-    },
-
-    // CHANGE: Faster test execution via thread pooling
-    // WHY: Vitest uses worker threads by default (faster than Jest's processes)
-    // COMPLEXITY: O(n/k) where n = tests, k = worker_count
-    // NOTE: Vitest runs tests in parallel by default, no additional config needed
-
-    // CHANGE: Clear mocks between tests (Jest equivalence)
-    // WHY: Prevent test contamination, ensure test independence
-    // INVARIANT: ∀ test_i, test_j: independent(test_i, test_j) ⇒ no_shared_state
-    clearMocks: true,
-    mockReset: true,
-    restoreMocks: true
-    // CHANGE: Disable globals to enforce explicit imports
-    // WHY: Type safety, explicit dependencies, functional purity
-    // NOTE: Tests must import { describe, it, expect } from "vitest"
-  }
-})