@prover-coder-ai/component-tagger 1.0.2

package/.jscpd.json

@@ -0,0 +1,16 @@
+{
+	"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

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

package/README.md

@@ -0,0 +1,13 @@
+# @prover-coder-ai/component-tagger
+
+Vite plugin that adds a single `path` attribute to every JSX opening tag.
+
+Example output:
+
+```html
+<h1 path="src/App.tsx:22:4">Hello</h1>
+```
+
+Format: `<relative-file-path>:<line>:<column>`
+
+Recommended: enable only in `development` mode in Vite config.

package/biome.json

@@ -0,0 +1,34 @@
+{
+	"$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

@@ -0,0 +1,305 @@
+// 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

@@ -0,0 +1,220 @@
+// 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

@@ -0,0 +1,33 @@
+{
+	"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/package.json

@@ -0,0 +1,77 @@
+{
+  "name": "@prover-coder-ai/component-tagger",
+  "version": "1.0.2",
+  "description": "Component tagger Vite plugin for JSX metadata",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "directories": {
+    "doc": "doc"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/ProverCoderAI/effect-template.git"
+  },
+  "keywords": [
+    "effect",
+    "vite",
+    "plugin",
+    "tagger"
+  ],
+  "author": "",
+  "license": "ISC",
+  "type": "module",
+  "bugs": {
+    "url": "https://github.com/ProverCoderAI/effect-template/issues"
+  },
+  "homepage": "https://github.com/ProverCoderAI/effect-template#readme",
+  "dependencies": {
+    "@babel/core": "^7.28.6",
+    "@effect/platform": "^0.94.1",
+    "@effect/platform-node": "^0.104.0",
+    "effect": "^3.19.14"
+  },
+  "devDependencies": {
+    "@types/babel__core": "^7.20.5",
+    "@biomejs/biome": "^2.3.11",
+    "@effect/eslint-plugin": "^0.3.2",
+    "@effect/language-service": "latest",
+    "@effect/vitest": "^0.27.0",
+    "@eslint-community/eslint-plugin-eslint-comments": "^4.6.0",
+    "@eslint/compat": "2.0.1",
+    "@eslint/eslintrc": "3.3.3",
+    "@eslint/js": "9.39.2",
+    "@prover-coder-ai/eslint-plugin-suggest-members": "^0.0.13",
+    "@ton-ai-core/vibecode-linter": "^1.0.6",
+    "@types/node": "^24.10.8",
+    "@typescript-eslint/eslint-plugin": "^8.53.0",
+    "@typescript-eslint/parser": "^8.53.0",
+    "typescript-eslint": "^8.53.0",
+    "@vitest/coverage-v8": "^4.0.17",
+    "eslint": "^9.39.2",
+    "eslint-import-resolver-typescript": "^4.4.4",
+    "eslint-plugin-codegen": "0.34.1",
+    "eslint-plugin-import": "^2.32.0",
+    "eslint-plugin-simple-import-sort": "^12.1.1",
+    "eslint-plugin-sonarjs": "^3.0.5",
+    "eslint-plugin-sort-destructure-keys": "^2.0.0",
+    "eslint-plugin-unicorn": "^62.0.0",
+    "@vitest/eslint-plugin": "^1.6.6",
+    "globals": "^17.0.0",
+    "jscpd": "^4.0.7",
+    "typescript": "^5.9.3",
+    "vite": "^7.3.1",
+    "vitest": "^4.0.17"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json --outDir dist --declaration --declarationMap false",
+    "dev": "tsc -p tsconfig.json --watch --outDir dist --declaration --declarationMap false",
+    "lint": "npx @ton-ai-core/vibecode-linter src/",
+    "lint:tests": "npx @ton-ai-core/vibecode-linter tests/",
+    "lint:effect": "npx eslint --config eslint.effect-ts-check.config.mjs .",
+    "check": "pnpm run typecheck",
+    "prestart": "pnpm run build",
+    "start": "node dist/index.js",
+    "test": "pnpm run lint:tests && vitest run",
+    "typecheck": "tsc --noEmit"
+  }
+}

package/src/core/component-path.ts

@@ -0,0 +1,63 @@
+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"
+// REF: user-2026-01-14-frontend-consumer
+// SOURCE: n/a
+// FORMAT THEOREM: forall a in AttributeName: a = "path"
+// PURITY: CORE
+// EFFECT: n/a
+// INVARIANT: attribute name remains stable across transforms
+// COMPLEXITY: O(1)/O(1)
+export 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|
+ */
+// CHANGE: centralize JSX file detection as a pure predicate.
+// WHY: keep file filtering in the functional core for testability.
+// 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"
+// REF: user-2026-01-14-frontend-consumer
+// SOURCE: n/a
+// FORMAT THEOREM: forall id in ModuleId: isJsxFile(id) -> matches(id, jsxFilePattern)
+// PURITY: CORE
+// EFFECT: n/a
+// INVARIANT: predicate depends only on id content
+// COMPLEXITY: O(n)/O(1)
+export const isJsxFile = (id: string): boolean => jsxFilePattern.test(id)
+
+/**
+ * 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
+ */
+// CHANGE: provide a pure formatter for component location payloads.
+// WHY: reuse a single, deterministic encoding for UI metadata.
+// 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"
+// REF: user-2026-01-14-frontend-consumer
+// SOURCE: n/a
+// FORMAT THEOREM: forall p,l,c: formatComponentPathValue(p,l,c) = concat(p, ":", l, ":", c)
+// PURITY: CORE
+// 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}`

package/src/index.ts

@@ -0,0 +1,12 @@
+// CHANGE: expose the component tagger as the library entrypoint.
+// WHY: provide a single import surface for consumers.
+// QUOTE(TZ): "\u0423\u0431\u0435\u0440\u0438 \u0442\u0435\u043f\u0435\u0440\u044c \u0432\u0441\u0451 \u043b\u0438\u0448\u043d\u0438\u0435. \u0415\u0441\u043b\u0438 \u0447\u0442\u043e \u043c\u044b \u0434\u0435\u043b\u0430\u0435\u043c \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u0447\u043d\u044b\u0439 \u043c\u043e\u0434\u0443\u043b\u044c \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0440\u043e\u0441\u0442\u043e \u0431\u0443\u0434\u0435\u043c \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0430\u0442\u044c \u0432 \u043f\u0440\u043e\u0435\u043a\u0442\u044b"
+// REF: user-2026-01-14-library-cleanup
+// SOURCE: n/a
+// FORMAT THEOREM: forall consumer: import(index) -> available(componentTagger)
+// PURITY: CORE
+// 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"

package/src/shell/component-tagger.ts

@@ -0,0 +1,170 @@
+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
+}
+
+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)
+}
+
+const relativeFromCwd = (absolutePath: string): Effect.Effect<string, never, Path> =>
+  pipe(
+    Path,
+    Effect.map((pathService) => pathService.relative(process.cwd(), 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
+  }
+}
+
+// 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"
+// REF: user-2026-01-14-frontend-consumer
+// SOURCE: n/a
+// FORMAT THEOREM: forall f in JSXOpeningElement: rendered(f) -> annotated(f)
+// PURITY: SHELL
+// 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))
+      )
+    }
+  }
+})
+
+/**
+ * Builds a Vite transform result with a single component-path attribute per JSX element.
+ *
+ * @param code - Source code to transform.
+ * @param id - Vite module id for the source code.
+ * @returns Vite-compatible transform result or null when no output is produced.
+ *
+ * @pure false
+ * @effect Babel transform
+ * @invariant each JSX opening element is tagged once per transform
+ * @complexity O(n) time / O(1) space where n = JSX element count
+ */
+// CHANGE: wrap Babel transform in Effect for typed errors and controlled effects.
+// WHY: satisfy the shell-only effect boundary while avoiding async/await.
+// 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"
+// REF: user-2026-01-14-frontend-consumer
+// SOURCE: n/a
+// FORMAT THEOREM: forall c in Code: transform(c) = r -> r is tagged or null
+// PURITY: SHELL
+// EFFECT: Effect<ViteTransformResult | null, ComponentTaggerError, never>
+// INVARIANT: errors are surfaced as ComponentTaggerError only
+// COMPLEXITY: O(n)/O(1)
+const runTransform = (
+  code: string,
+  id: string
+): Effect.Effect<ViteTransformResult | null, ComponentTaggerError, Path> => {
+  const cleanId = stripQuery(id)
+
+  return pipe(
+    relativeFromCwd(cleanId),
+    Effect.flatMap((relative) =>
+      Effect.tryPromise({
+        try: () =>
+          transformAsync(code, {
+            filename: cleanId,
+            parserOpts: {
+              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)
+        }
+      })
+    ),
+    Effect.map((result) => toViteResult(result))
+  )
+}
+
+/**
+ * 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
+ */
+// CHANGE: expose a Vite plugin that tags JSX with only path.
+// WHY: reduce attribute noise while keeping full path metadata.
+// 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"
+// REF: user-2026-01-14-frontend-consumer
+// SOURCE: n/a
+// FORMAT THEOREM: forall id: isJsxFile(id) -> transform(id) adds component-path
+// PURITY: SHELL
+// EFFECT: Effect<ViteTransformResult | null, ComponentTaggerError, never>
+// INVARIANT: no duplicate path attributes
+// COMPLEXITY: O(n)/O(1)
+export const componentTagger = (): PluginOption => ({
+  name: "component-path-tagger",
+  enforce: "pre",
+  transform(code, id) {
+    if (!isJsxFile(id)) {
+      return null
+    }
+
+    return Effect.runPromise(pipe(runTransform(code, id), Effect.provide(NodePathLayer)))
+  }
+})

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

@@ -0,0 +1,24 @@
+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

@@ -0,0 +1,18 @@
+{
+	"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

@@ -0,0 +1,73 @@
+// 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"
+  }
+})