From fc8b22b7507b842370dab4cdddf1178879d61c04 Mon Sep 17 00:00:00 2001
From: VasilevNStas <ctac@outlook.com>
Date: Sun, 9 Aug 2026 23:57:16 +0300
Subject: [PATCH 1/3] feat(#566): add invalid-name-notation lint

---
 .../org/eolang/funcs/special-name.xsl         |  2 +-
 .../lints/names/invalid-name-notation.xsl     | 34 +++++++++++++++++++
 .../motives/names/invalid-name-notation.md    | 23 +++++++++++++
 .../resources/org/eolang/lints/canonical.eo   |  2 +-
 .../allows-good-names.yaml                    | 15 ++++++++
 .../allows-special-names.yaml                 | 19 +++++++++++
 .../allows-throwing-test-name.yaml            | 14 ++++++++
 .../catches-invalid-names.yaml                | 19 +++++++++++
 8 files changed, 126 insertions(+), 2 deletions(-)
 create mode 100644 src/main/resources/org/eolang/lints/names/invalid-name-notation.xsl
 create mode 100644 src/main/resources/org/eolang/motives/names/invalid-name-notation.md
 create mode 100644 src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-good-names.yaml
 create mode 100644 src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-special-names.yaml
 create mode 100644 src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-throwing-test-name.yaml
 create mode 100644 src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/catches-invalid-names.yaml

diff --git a/src/main/resources/org/eolang/funcs/special-name.xsl b/src/main/resources/org/eolang/funcs/special-name.xsl
index 6386eccdc..c23dc93ac 100644
--- a/src/main/resources/org/eolang/funcs/special-name.xsl
+++ b/src/main/resources/org/eolang/funcs/special-name.xsl
@@ -7,6 +7,6 @@
   <xsl:import href="/org/eolang/parser/_funcs.xsl"/>
   <xsl:function name="eo:special" as="xs:boolean">
     <xsl:param name="name"/>
-    <xsl:sequence select="$name = '&#x3C6;' or $name = $eo:lambda or contains($name, $eo:cactoos)"/>
+    <xsl:sequence select="$name = '&#x3C6;' or $name = $eo:lambda or $name = $eo:xi or contains($name, $eo:cactoos)"/>
   </xsl:function>
 </xsl:stylesheet>
diff --git a/src/main/resources/org/eolang/lints/names/invalid-name-notation.xsl b/src/main/resources/org/eolang/lints/names/invalid-name-notation.xsl
new file mode 100644
index 000000000..fdee43b62
--- /dev/null
+++ b/src/main/resources/org/eolang/lints/names/invalid-name-notation.xsl
@@ -0,0 +1,34 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+* SPDX-FileCopyrightText: Copyright (c) 2016-2026 Objectionary.com
+* SPDX-License-Identifier: MIT
+-->
+<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" xmlns:eo="https://www.eolang.org" id="invalid-name-notation" version="2.0">
+  <xsl:import href="/org/eolang/funcs/lineno.xsl"/>
+  <xsl:import href="/org/eolang/funcs/defect-context.xsl"/>
+  <xsl:import href="/org/eolang/funcs/special-name.xsl"/>
+  <xsl:import href="/org/eolang/funcs/test-name.xsl"/>
+  <xsl:import href="/org/eolang/funcs/escape.xsl"/>
+  <xsl:output encoding="UTF-8" method="xml"/>
+  <xsl:template match="/">
+    <defects>
+      <xsl:for-each select="//o[@name and not(eo:special(@name)) and not(eo:test-name(@name)) and not(matches(@name, '^[a-z]+(-[a-z]+)*$'))]">
+        <defect>
+          <xsl:variable name="line" select="eo:lineno(@line)"/>
+          <xsl:attribute name="line">
+            <xsl:value-of select="$line"/>
+          </xsl:attribute>
+          <xsl:if test="$line = '0'">
+            <xsl:attribute name="context">
+              <xsl:value-of select="eo:defect-context(.)"/>
+            </xsl:attribute>
+          </xsl:if>
+          <xsl:attribute name="severity">warning</xsl:attribute>
+          <xsl:text>Object name </xsl:text>
+          <xsl:value-of select="eo:escape(@name)"/>
+          <xsl:text> must match the regular expression [a-z]+(-[a-z]+)*</xsl:text>
+        </defect>
+      </xsl:for-each>
+    </defects>
+  </xsl:template>
+</xsl:stylesheet>
diff --git a/src/main/resources/org/eolang/motives/names/invalid-name-notation.md b/src/main/resources/org/eolang/motives/names/invalid-name-notation.md
new file mode 100644
index 000000000..2674d9d7e
--- /dev/null
+++ b/src/main/resources/org/eolang/motives/names/invalid-name-notation.md
@@ -0,0 +1,23 @@
+# Invalid name notation
+
+The name of any object must match the regular expression `[a-z]+(-[a-z]+)*`.
+Basically, it must follow kebab-case notation, using only Latin letters.
+No digits, no underscores, no uppercase characters.
+
+Incorrect:
+
+```eo
+# App.
+[] > mainApp
+  foo > x1
+  bar > y_
+```
+
+Correct:
+
+```eo
+# App.
+[] > main-app
+  foo > x
+  bar > y
+```
diff --git a/src/test/resources/org/eolang/lints/canonical.eo b/src/test/resources/org/eolang/lints/canonical.eo
index 13781efc4..24415a45a 100644
--- a/src/test/resources/org/eolang/lints/canonical.eo
+++ b/src/test/resources/org/eolang/lints/canonical.eo
@@ -16,7 +16,7 @@
         *
           x.put 2
           while
-            x.as-number.lt 6 > [i1] >>
+            x.as-number.lt 6 > [i] >>
             [i] >>
               seq > @
                 *
diff --git a/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-good-names.yaml b/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-good-names.yaml
new file mode 100644
index 000000000..044f9a084
--- /dev/null
+++ b/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-good-names.yaml
@@ -0,0 +1,15 @@
+# SPDX-FileCopyrightText: Copyright (c) 2016-2026 Objectionary.com
+# SPDX-License-Identifier: MIT
+---
+sheets:
+  - /org/eolang/lints/names/invalid-name-notation.xsl
+asserts:
+  - /defects[count(defect[@severity='warning'])=0]
+ignore-schema: true
+document: |
+  <object author="tests">
+    <o line="1" name="main-app" pos="0">
+      <o base="Q.foo" line="2" name="x" pos="2"/>
+      <o base="Q.bar" line="3" name="y" pos="2"/>
+    </o>
+  </object>
diff --git a/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-special-names.yaml b/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-special-names.yaml
new file mode 100644
index 000000000..8364d7897
--- /dev/null
+++ b/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-special-names.yaml
@@ -0,0 +1,19 @@
+# SPDX-FileCopyrightText: Copyright (c) 2016-2026 Objectionary.com
+# SPDX-License-Identifier: MIT
+---
+sheets:
+  - /org/eolang/lints/names/invalid-name-notation.xsl
+asserts:
+  - /defects[count(defect[@severity='warning'])=0]
+ignore-schema: true
+document: |
+  <object author="tests">
+    <o line="1" name="app" pos="0">
+      <o base="Q.x" line="2" name="f" pos="2">
+        <o line="3" name="a🌵3-5" pos="4"/>
+        <o line="4" name="φ" pos="4">
+          <o base="Q.q" line="5" name="ξ" pos="6"/>
+        </o>
+      </o>
+    </o>
+  </object>
diff --git a/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-throwing-test-name.yaml b/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-throwing-test-name.yaml
new file mode 100644
index 000000000..537b49cb4
--- /dev/null
+++ b/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-throwing-test-name.yaml
@@ -0,0 +1,14 @@
+# SPDX-FileCopyrightText: Copyright (c) 2016-2026 Objectionary.com
+# SPDX-License-Identifier: MIT
+---
+sheets:
+  - /org/eolang/lints/names/invalid-name-notation.xsl
+asserts:
+  - /defects[count(defect[@severity='warning'])=0]
+ignore-schema: true
+document: |
+  <object author="tests">
+    <o line="1" name="foo" pos="0">
+      <o base="Q.number" line="2" name="-on-bytes-of-wrong-size-as-i16" pos="2"/>
+    </o>
+  </object>
diff --git a/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/catches-invalid-names.yaml b/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/catches-invalid-names.yaml
new file mode 100644
index 000000000..7e389e5a1
--- /dev/null
+++ b/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/catches-invalid-names.yaml
@@ -0,0 +1,19 @@
+# SPDX-FileCopyrightText: Copyright (c) 2016-2026 Objectionary.com
+# SPDX-License-Identifier: MIT
+---
+sheets:
+  - /org/eolang/lints/names/invalid-name-notation.xsl
+asserts:
+  - /defects[count(defect[@severity='warning'])=3]
+  - /defects/defect[@line='2']
+  - /defects/defect[@line='3']
+  - /defects/defect[@line='4']
+ignore-schema: true
+document: |
+  <object author="tests">
+    <o line="1" name="main" pos="0">
+      <o base="Q.foo" line="2" name="x1" pos="2"/>
+      <o base="Q.foo" line="3" name="xApp" pos="2"/>
+      <o base="Q.foo" line="4" name="x_snake" pos="2"/>
+    </o>
+  </object>

From 835d0ff4eb04c76423708954ec1dfe7ad6821d31 Mon Sep 17 00:00:00 2001
From: VasilevNStas <ctac@outlook.com>
Date: Mon, 10 Aug 2026 00:34:09 +0300
Subject: [PATCH 2/3] fix(#566): yamllint line length

---
 .../single/invalid-name-notation/allows-throwing-test-name.yaml  | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-throwing-test-name.yaml b/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-throwing-test-name.yaml
index 537b49cb4..d8b0aa689 100644
--- a/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-throwing-test-name.yaml
+++ b/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/allows-throwing-test-name.yaml
@@ -1,5 +1,6 @@
 # SPDX-FileCopyrightText: Copyright (c) 2016-2026 Objectionary.com
 # SPDX-License-Identifier: MIT
+# yamllint disable rule:line-length
 ---
 sheets:
   - /org/eolang/lints/names/invalid-name-notation.xsl

From 9f51cecb2bf9a9291fce52d736816ef4beaa1f8e Mon Sep 17 00:00:00 2001
From: VasilevNStas <ctac@outlook.com>
Date: Sun, 16 Aug 2026 15:33:52 +0300
Subject: [PATCH 3/3] fix(#566): use EO input in catches pack per review

---
 .../catches-invalid-names.yaml                     | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

diff --git a/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/catches-invalid-names.yaml b/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/catches-invalid-names.yaml
index 7e389e5a1..a709e0aa4 100644
--- a/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/catches-invalid-names.yaml
+++ b/src/test/resources/org/eolang/lints/packs/single/invalid-name-notation/catches-invalid-names.yaml
@@ -8,12 +8,8 @@ asserts:
   - /defects/defect[@line='2']
   - /defects/defect[@line='3']
   - /defects/defect[@line='4']
-ignore-schema: true
-document: |
-  <object author="tests">
-    <o line="1" name="main" pos="0">
-      <o base="Q.foo" line="2" name="x1" pos="2"/>
-      <o base="Q.foo" line="3" name="xApp" pos="2"/>
-      <o base="Q.foo" line="4" name="x_snake" pos="2"/>
-    </o>
-  </object>
+input: |
+  [] > main
+    x1 > x1
+    xApp > xApp
+    x_snake > x_snake