@open-tomato/eslint-plugin 0.0.0-stage → 0.1.0

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/NOTICE

@@ -0,0 +1,10 @@
+@open-tomato/packages
+Copyright 2026 Marcos Tomatti and the open-tomato contributors
+
+Licensed under the Apache License, Version 2.0 (see LICENSE).
+
+The configs, rules and gates in this repository began in other
+open-tomato repositories and are developed here since: the ESLint and
+TypeScript configs and the two ESLint rules in rafa, the control-byte
+gate in rafa, the privacy gate in components, and the pack and publish
+scripts in service.

package/README.md

@@ -1,3 +1,72 @@
-# Temporary Holding Version
+# @open-tomato/eslint-plugin
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+The custom ESLint rules of the open-tomato projects. The plugin registers
+under the `@open-tomato` key, so each rule reads `@open-tomato/<rule>` in a
+config and in a disable comment.
+
+```bash
+bun add -d @open-tomato/eslint-plugin eslint
+```
+
+[`@open-tomato/eslint-config`](../eslint-config/README.md) already turns
+the rules on, so a project that uses the config needs no setup of its own.
+A project with its own config registers the plugin itself:
+
+```js
+import openTomato from '@open-tomato/eslint-plugin';
+
+export default [
+  {
+    plugins: { '@open-tomato': openTomato },
+    rules: { '@open-tomato/no-unsafe-unicode': 'error' },
+  },
+];
+```
+
+## Rules
+
+### `no-unsafe-unicode`
+
+Refuses characters that are invisible or misleading in a source file,
+written literally:
+
+- C0 control characters except tab, line feed and carriage return, and DEL.
+  A NUL makes git treat the file as binary, and makes grep miss text that is
+  there.
+- Bidirectional overrides and isolates, the Trojan Source set
+  (CVE-2021-42574), which make code display in a different order than it
+  runs.
+- Zero-width and default-ignorable characters, invisible to a reviewer.
+- The line and paragraph separators U+2028 and U+2029.
+
+The fix is the escape: write the six-character backslash-u form instead of
+the character. A zero-width joiner between two emoji is allowed, since that
+is how emoji sequences are built. The rule runs on code, JSON and Markdown.
+
+The control-byte gate of [`@open-tomato/gates`](../gates/README.md) checks
+the same set at the byte level over every tracked file, and its tests assert
+the two agree.
+
+### `cva-only-classname`
+
+For component libraries whose classes live in `cva` calls. A JSX
+`className` may hold only:
+
+- a variants call, any function whose name ends in `Variants`:
+  `className={cardVariants({ tone })}`;
+- a `cn()` call over variants calls and the passthrough `className`, alone
+  or behind `&&`, `||`, `??` or a ternary:
+  `className={cn(cardVariants({ tone }), className)}`;
+- the passthrough `className` itself.
+
+A string, a template literal or any other expression is refused. The `cva`
+flavor of the config turns it on outside templates, pages, stories and
+tests.
+
+## Exports
+
+| Path | What it holds |
+| --- | --- |
+| `.` | the plugin, and `PLUGIN_KEY` |
+| `./rules/no-unsafe-unicode` | the rule, and `findUnsafeUnicode(text)` |
+| `./rules/cva-only-classname` | the rule |

package/index.d.mts

@@ -0,0 +1,9 @@
+/** Types for `index.mjs`, the `@open-tomato/eslint-plugin` entry. */
+import type { ESLint } from 'eslint';
+
+/** The key a config registers the plugin under. */
+export declare const PLUGIN_KEY: '@open-tomato';
+
+/** The plugin, with the `cva-only-classname` and `no-unsafe-unicode` rules. */
+declare const plugin: ESLint.Plugin;
+export default plugin;

package/index.mjs

@@ -0,0 +1,24 @@
+/**
+ * `@open-tomato/eslint-plugin`: the custom rules every open-tomato project
+ * can turn on. The plugin registers under the `@open-tomato` key, so each
+ * rule reads `@open-tomato/<rule>` in a config or a disable comment.
+ *
+ * - `no-unsafe-unicode` refuses control, BiDi-override and invisible
+ *   characters written literally. `@open-tomato/eslint-config` turns it on
+ *   for every linted language.
+ * - `cva-only-classname` holds a JSX `className` to a CVA variants call.
+ *   The `cva` flavor of `@open-tomato/eslint-config` turns it on.
+ */
+import { cvaOnlyClassName } from './rules/cva-only-classname.mjs';
+import { noUnsafeUnicode } from './rules/no-unsafe-unicode.mjs';
+
+/** The key a config registers the plugin under. */
+export const PLUGIN_KEY = '@open-tomato';
+
+export default {
+  meta: { name: '@open-tomato/eslint-plugin' },
+  rules: {
+    'cva-only-classname': cvaOnlyClassName,
+    'no-unsafe-unicode': noUnsafeUnicode,
+  },
+};

package/package.json

@@ -1,6 +1,72 @@
 {
   "name": "@open-tomato/eslint-plugin",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
-}
+  "version": "0.1.0",
+  "description": "The custom ESLint rules of the open-tomato projects: no-unsafe-unicode and cva-only-classname.",
+  "license": "Apache-2.0",
+  "author": "Marcos Tomatti",
+  "openTomato": {
+    "team": "@open-tomato/maintainers"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/open-tomato/packages.git",
+    "directory": "packages/eslint-plugin"
+  },
+  "homepage": "https://github.com/open-tomato/packages/tree/main/packages/eslint-plugin#readme",
+  "bugs": {
+    "url": "https://github.com/open-tomato/packages/issues"
+  },
+  "keywords": [
+    "eslint",
+    "eslintplugin",
+    "eslint-plugin",
+    "unicode",
+    "trojan-source",
+    "cva"
+  ],
+  "type": "module",
+  "sideEffects": false,
+  "exports": {
+    ".": {
+      "types": "./index.d.mts",
+      "default": "./index.mjs"
+    },
+    "./rules/no-unsafe-unicode": {
+      "types": "./rules/no-unsafe-unicode.d.mts",
+      "default": "./rules/no-unsafe-unicode.mjs"
+    },
+    "./rules/cva-only-classname": {
+      "types": "./rules/cva-only-classname.d.mts",
+      "default": "./rules/cva-only-classname.mjs"
+    },
+    "./package.json": "./package.json"
+  },
+  "files": [
+    "index.mjs",
+    "index.d.mts",
+    "rules",
+    "LICENSE",
+    "NOTICE"
+  ],
+  "publishConfig": {
+    "access": "public",
+    "registry": "https://registry.npmjs.org/"
+  },
+  "engines": {
+    "node": ">=20.19"
+  },
+  "scripts": {
+    "lint": "eslint .",
+    "check-types": "tsc --noEmit",
+    "test": "bun test"
+  },
+  "peerDependencies": {
+    "eslint": "^9.39.0"
+  },
+  "devDependencies": {
+    "@types/bun": "^1.3.0",
+    "@typescript-eslint/parser": "^8.72.0",
+    "eslint": "^9.39.5",
+    "typescript": "^5.9.3"
+  }
+}

package/rules/cva-only-classname.d.mts

@@ -0,0 +1,8 @@
+/**
+ * Types for `cva-only-classname.mjs`, so its TypeScript test reads the
+ * export typed rather than as an implicit `any`.
+ */
+import type { Rule } from 'eslint';
+
+/** The rule itself. */
+export declare const cvaOnlyClassName: Rule.RuleModule;

package/rules/cva-only-classname.mjs

@@ -0,0 +1,97 @@
+/**
+ * @open-tomato/cva-only-classname
+ *
+ * A component's classes live in its `{C}.variants.ts` file as `cva` calls,
+ * so a `className` JSX attribute may hold only one of three values:
+ *
+ *   - a variants call: `className={cardVariants({ tone })}`, any callee
+ *     whose name ends in `Variants`;
+ *   - a `cn(...)` call whose arguments are themselves variants calls or
+ *     the passthrough `className` identifier, alone or behind a `&&`,
+ *     `||`, `??` or a ternary: `cn(cardVariants({ tone }), className)`;
+ *   - the passthrough `className` identifier, handed on unchanged.
+ *
+ * A string literal, a template literal, or any other expression is an
+ * ad-hoc class and is refused. The `cva` flavor of
+ * `@open-tomato/eslint-config` registers the rule for TSX and JSX files and
+ * leaves out `templates/`, `pages/`, `*.stories.tsx` and `*.test.tsx`,
+ * where a layout class is the point.
+ */
+
+/** The passthrough prop a component merges last. */
+const PASSTHROUGH = 'className';
+
+/** The class merger, `cn()`: `twMerge(clsx(...))` by convention. */
+const MERGER = 'cn';
+
+/** A variants function, as `cva` calls are named by convention. */
+const VARIANTS_CALLEE = /Variants$/;
+
+/** The callee's name, for a plain identifier callee; `undefined` otherwise. */
+function calleeName(node) {
+  return node.type === 'CallExpression' && node.callee.type === 'Identifier'
+    ? node.callee.name
+    : undefined;
+}
+
+/** A variants call: `xVariants(...)`. */
+function isVariantsCall(node) {
+  const name = calleeName(node);
+  return name !== undefined && VARIANTS_CALLEE.test(name);
+}
+
+/** The passthrough identifier: `className`. */
+function isPassthrough(node) {
+  return node.type === 'Identifier' && node.name === PASSTHROUGH;
+}
+
+/** An argument `cn` may take: a variants call or the passthrough, alone or behind a condition. */
+function isMergeable(node) {
+  if (isVariantsCall(node) || isPassthrough(node)) return true;
+  if (node.type === 'LogicalExpression') return isMergeable(node.right);
+  if (node.type === 'ConditionalExpression') return isMergeable(node.consequent) && isMergeable(node.alternate);
+  return false;
+}
+
+/** A `cn(...)` call whose every argument is mergeable. */
+function isMergeCall(node) {
+  return calleeName(node) === MERGER && node.arguments.every(isMergeable);
+}
+
+/** Whether a `className` attribute's expression is one of the three allowed values. */
+function isAllowedValue(expression) {
+  return isVariantsCall(expression) || isMergeCall(expression) || isPassthrough(expression);
+}
+
+export const cvaOnlyClassName = {
+  meta: {
+    type: 'problem',
+    docs: {
+      description:
+        'Allow a className JSX attribute only as a CVA variants call, a cn() over variants and the passthrough className, or the passthrough itself.',
+    },
+    schema: [],
+    messages: {
+      adHoc:
+        'className holds an ad-hoc value. Put the classes in the component\'s .variants.ts as a cva call and pass {{hint}} instead.',
+    },
+  },
+  create(context) {
+    return {
+      JSXAttribute(node) {
+        if (node.name.type !== 'JSXIdentifier' || node.name.name !== PASSTHROUGH) return;
+        const { value } = node;
+        const allowed = value !== null
+          && value.type === 'JSXExpressionContainer'
+          && value.expression.type !== 'JSXEmptyExpression'
+          && isAllowedValue(value.expression);
+        if (allowed) return;
+        context.report({
+          node,
+          messageId: 'adHoc',
+          data: { hint: 'xVariants(...), cn(xVariants(...), className) or className' },
+        });
+      },
+    };
+  },
+};

package/rules/no-unsafe-unicode.d.mts

@@ -0,0 +1,19 @@
+/**
+ * Types for `no-unsafe-unicode.mjs`, so a TypeScript file importing it
+ * (the control-byte gate's agreement test) reads its exports typed rather
+ * than as an implicit `any`.
+ */
+import type { Rule } from 'eslint';
+
+/** One unsafe character: its UTF-16 index, its code point and what kind it is. */
+export interface UnsafeUnicodeFinding {
+  readonly index: number;
+  readonly code: number;
+  readonly kind: string;
+}
+
+/** Every unsafe character in `text`. */
+export declare function findUnsafeUnicode(text: string): UnsafeUnicodeFinding[];
+
+/** The rule itself. */
+export declare const noUnsafeUnicode: Rule.RuleModule;

package/rules/no-unsafe-unicode.mjs

@@ -0,0 +1,189 @@
+/**
+ * @open-tomato/no-unsafe-unicode
+ *
+ * Flags characters that are invisible or misleading in a source file, and
+ * that defeat the tools we rely on to review it:
+ *
+ *   - C0 controls / DEL. A NUL makes git classify the blob as binary, so
+ *     every later diff renders `Bin N -> M bytes`, and makes POSIX grep
+ *     report NO MATCH for text that is present. Both are silent false
+ *     negatives. ESC lets file content rewrite a terminal that prints it.
+ *   - BiDi overrides (Trojan Source, CVE-2021-42574). These make source
+ *     display in a different order than it compiles, so review and
+ *     compiler disagree.
+ *   - Zero-width and default-ignorable characters. Invisible to a
+ *     reviewer, fully present in what a parser or a model consumes.
+ *   - U+2028 / U+2029, which historically split JS and JSON parsers.
+ *
+ * None of this is caught by anything in `eslint:recommended`. In
+ * particular `no-irregular-whitespace` defaults to `skipStrings: true`,
+ * so it exempts string literals — exactly where these characters land.
+ *
+ * The fix is always the same: write the escape (the six-character backslash-u form),
+ * never the literal character. Runtime behaviour is identical; tool
+ * visibility is not.
+ *
+ * ZWJ/ZWNJ inside an emoji sequence are legitimate and are not reported —
+ * a rule with false positives is a rule someone turns off.
+ *
+ * The byte-level floor under this rule is the control-byte gate of
+ * `@open-tomato/gates`, which scans every tracked file (linted or not) on
+ * a bare checkout. Its test suite asserts the two implementations agree
+ * on what counts as unsafe.
+ */
+
+/** C0 controls except TAB/LF/CR, plus DEL. */
+const C0_AND_DEL = new Set([
+  ...Array.from({ length: 0x20 }, (_, c) => c).filter(
+    (c) => c !== 0x09 && c !== 0x0a && c !== 0x0d,
+  ),
+  0x7f,
+]);
+
+/** Bidirectional overrides and isolates — the Trojan Source set. */
+const BIDI = new Set([
+  0x202a, 0x202b, 0x202c, 0x202d, 0x202e,
+  0x2066, 0x2067, 0x2068, 0x2069,
+]);
+
+/** Invisible / default-ignorable characters with no business in source. */
+const INVISIBLE = new Set([
+  0x00ad, // SOFT HYPHEN
+  0x200b, // ZERO WIDTH SPACE
+  0x200e, // LEFT-TO-RIGHT MARK
+  0x200f, // RIGHT-TO-LEFT MARK
+  0x2060, // WORD JOINER
+  0xfeff, // ZERO WIDTH NO-BREAK SPACE (BOM when leading)
+]);
+
+/** Parser-splitting separators. */
+const SEPARATORS = new Set([0x2028, 0x2029]);
+
+/** Legitimate inside emoji sequences, suspicious anywhere else. */
+const EMOJI_JOINERS = new Set([0x200c, 0x200d]);
+
+// Deliberately not \p{Emoji_Component}: that property includes ASCII
+// digits, `#` and `*`, which would let `1<ZWJ>2` pass as an "emoji
+// sequence". Regional indicators and the keycap mark are left out too —
+// flags and keycap sequences never use ZWJ, and both trip
+// `no-misleading-character-class`.
+const EMOJI_ADJACENT =
+  /[\p{Extended_Pictographic}\p{Emoji_Modifier}\u{FE0F}]/u;
+
+/**
+ * Code point ending at `i`, walking back over a surrogate pair. Indexing
+ * with `text[i - 1]` returns a lone low surrogate for any astral emoji,
+ * which never matches a Unicode property escape — that read every real
+ * person-plus-laptop ZWJ sequence as a violation.
+ */
+function codePointBefore(text, i) {
+  if (i <= 0) return -1;
+  const lo = text.charCodeAt(i - 1);
+  if (lo >= 0xdc00 && lo <= 0xdfff && i >= 2) {
+    const hi = text.charCodeAt(i - 2);
+    if (hi >= 0xd800 && hi <= 0xdbff) {
+      return (hi - 0xd800) * 0x400 + (lo - 0xdc00) + 0x10000;
+    }
+  }
+  return lo;
+}
+
+const isEmojiAdjacent = (code) => code >= 0 && EMOJI_ADJACENT.test(String.fromCodePoint(code));
+
+const label = (code) => {
+  if (C0_AND_DEL.has(code)) return 'control character';
+  if (BIDI.has(code)) return 'bidirectional override (Trojan Source)';
+  if (SEPARATORS.has(code)) return 'line/paragraph separator';
+  if (EMOJI_JOINERS.has(code)) return 'zero-width joiner outside an emoji sequence';
+  return 'invisible character';
+};
+
+const hex = (code) => `U+${code.toString(16).toUpperCase()
+  .padStart(4, '0')}`;
+
+/**
+ * Every unsafe character in `text`, as `{ index, code, kind }`.
+ * Exported so the control-byte gate of `@open-tomato/gates` can assert
+ * the two agree.
+ */
+export function findUnsafeUnicode(text) {
+  const found = [];
+  for (let i = 0; i < text.length; i++) {
+    const code = text.codePointAt(i);
+
+    // A leading BOM is a file-encoding artifact, not a smuggled character.
+    if (code === 0xfeff && i === 0) continue;
+
+    // ZWJ/ZWNJ are how emoji sequences are built (e.g. a person + a
+    // laptop). Only report one that is not doing that job.
+    if (EMOJI_JOINERS.has(code)) {
+      const prev = codePointBefore(text, i);
+      const next = i + 1 < text.length
+        ? text.codePointAt(i + 1)
+        : -1;
+      if (isEmojiAdjacent(prev) && isEmojiAdjacent(next)) continue;
+      found.push({ index: i, code, kind: label(code) });
+      continue;
+    }
+
+    if (
+      C0_AND_DEL.has(code) ||
+      BIDI.has(code) ||
+      INVISIBLE.has(code) ||
+      SEPARATORS.has(code)
+    ) {
+      found.push({ index: i, code, kind: label(code) });
+    }
+  }
+  return found;
+}
+
+/** 1-based line, 0-based column (the shape ESLint's `loc` wants). */
+function locAt(text, index) {
+  let line = 1;
+  let lineStart = 0;
+  for (let i = 0; i < index; i++) {
+    if (text[i] === '\n') {
+      line += 1;
+      lineStart = i + 1;
+    }
+  }
+  return { line, column: index - lineStart };
+}
+
+export const noUnsafeUnicode = {
+  meta: {
+    type: 'problem',
+    docs: {
+      description:
+        'Disallow control, bidirectional-override and invisible characters in source; write them as escapes instead.',
+    },
+    schema: [],
+    messages: {
+      unsafe:
+        '{{kind}} {{hex}} written literally. Use the escape "\\u{{escape}}" instead — a literal one is invisible in review and can make git and grep report nothing.',
+    },
+  },
+  create(context) {
+    const check = () => {
+      const { text } = context.sourceCode;
+      for (const { index, code, kind } of findUnsafeUnicode(text)) {
+        const start = locAt(text, index);
+        context.report({
+          loc: { start, end: { line: start.line, column: start.column + 1 } },
+          messageId: 'unsafe',
+          data: {
+            kind: kind.charAt(0).toUpperCase() + kind.slice(1),
+            hex: hex(code),
+            escape: code.toString(16).toUpperCase()
+              .padStart(4, '0'),
+          },
+        });
+      }
+    };
+    // `Program` covers JS/TS and the jsonc parser; `root` covers mdast, so
+    // one rule serves the code, JSON and Markdown blocks of
+    // `@open-tomato/eslint-config`.
+    return { Program: check, root: check };
+  },
+};