After main branch fetch to the hu branch, I doed small audit cosmetic fixes into Rules/Languages/hu/unicode.yaml and Rules/Languages/hu/unicode-full.yaml

.gitignore

@@ -57,5 +57,3 @@ Rules/*/*/*.zip
 docs/_site
 docs/.jekyll-cache
 docs/Gemfile.lock
-
-docs/nb_of_norway/

AGENTS.md

@@ -34,6 +34,7 @@ but add common mistakes of AI agents here instead.
 - Keep code/rule changes focused and validate with targeted tests first: `cargo test <relevant-tests>`
 - do not do any git commands unless explicitly asked for
 - Rust coverage is in `target/coverage/`.
+- When working with GitHub, e.g. looking at PRs and issues, check if the GitHub CLI is installed (`gh --version`).
 
 ## Fuzzing (`fuzz/` + cargo-fuzz)
 - Install: `cargo install cargo-fuzz`, use a **nightly** toolchain (`rustup run nightly cargo fuzz …`).

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "mathcat"
-version = "0.7.6-beta.8"
+version = "0.7.6-beta.9"
 authors = ["Neil Soiffer <soiffer@alum.mit.edu>"]
 license = "MIT"
 description = "MathCAT: Math Capable Assistive Technology ('Speech and braille from MathML')"
@@ -23,8 +23,7 @@ sxd-document-no-unsafe = "0.4.2"
 sxd-xpath-no-unsafe = "0.5.1"
 yaml-rust = "0.4"
 # yaml-rust = { version = "0.11", package = "yaml-rust2" }
-strum = "0.28"
-strum_macros = "0.28"
+strum = { version = "0.28", features = ["derive"] }
 anyhow = "1.0"
 regex = "1.12.3"
 dirs = "6.0"

PythonScripts/audit_translations/README.md

@@ -50,6 +50,10 @@ The tool automatically adjusts its matching logic based on the file type:
     * Matches rules based on character/range keys.
     * *Examples:* `unicode.yaml`, `unicode-full.yaml` (keys like `a-z`, `!`, `0-9`).
 
+`definitions.yaml` is intentionally excluded from audits *for now*. It does not have the same semantics
+ as normal rules, so the tool ignores it during automatic file discovery and when it is passed to
+`--file`.
+
 ---
 
 ### ⚙️ Usage & Commands

PythonScripts/audit_translations/auditor.py

@@ -31,6 +31,11 @@ def get_rules_dir(rules_dir: str | None = None) -> Path:
     return package_dir.parent.parent / "Rules" / "Languages"
 
 
+def is_definitions_file(file_path: str | Path) -> bool:
+    """Return if the file name is definitions.yaml, which is not yet supported."""
+    return Path(file_path).name == "definitions.yaml"
+
+
 def get_yaml_files(lang_dir: Path, region_dir: Path | None = None) -> list[Path]:
     """Get all YAML files to audit for a language, including region overrides."""
     files: set[Path] = set()
@@ -39,12 +44,13 @@ def collect_from(directory: Path, root: Path) -> None:
         if not directory.exists():
             return
         for f in directory.glob("*.yaml"):
-            if f.name != "prefs.yaml":  # Skip prefs.yaml as it's not translated
+            if f.name != "prefs.yaml" and not is_definitions_file(f):
                 files.add(f.relative_to(root))
         shared_dir = directory / "SharedRules"
         if shared_dir.exists():
             for f in shared_dir.glob("*.yaml"):
-                files.add(f.relative_to(root))
+                if not is_definitions_file(f):
+                    files.add(f.relative_to(root))
 
     collect_from(lang_dir, lang_dir)
     if region_dir:
@@ -144,7 +150,11 @@ def audit_language(
     verbose: bool = False,
     source_language: str = "en",
 ) -> int:
-    """Audit translations for a specific language. Returns total issue count."""
+    """Audit translations for a specific language and return the total issue count.
+
+    ``specific_file`` is the relative file path supplied by the CLI's ``--file``
+    option. When set, the audit is limited to that file.
+    """
     rules_dir_path = get_rules_dir(rules_dir)
 
     source_base_language, source_region = split_language_into_base_and_region(source_language)
@@ -168,7 +178,10 @@ def audit_language(
         raise AuditError(f"Target region directory not found: {translated_region_dir}")
 
     # Get list of files to audit
-    files = [specific_file] if specific_file else get_yaml_files(source_dir, source_region_dir)
+    if specific_file:
+        files = [] if is_definitions_file(Path(specific_file)) else [specific_file]
+    else:
+        files = get_yaml_files(source_dir, source_region_dir)
 
     print_audit_header(language, len(files), source_language)
 

PythonScripts/audit_translations/tests/test_auditor.py

@@ -322,6 +322,34 @@ def test_get_yaml_files_includes_region(tmp_path) -> None:
     assert set(files) == {Path("base.yaml"), Path("SharedRules/shared.yaml"), Path("unicode.yaml")}
 
 
+def test_get_yaml_files_ignores_definitions(tmp_path) -> None:
+    """Definitions files are excluded from automatic audit discovery."""
+    lang_dir = tmp_path / "lang"
+    shared_dir = lang_dir / "SharedRules"
+    shared_dir.mkdir(parents=True)
+    (lang_dir / "rules.yaml").write_text("---", encoding="utf-8")
+    (lang_dir / "definitions.yaml").write_text("---", encoding="utf-8")
+    (shared_dir / "definitions.yaml").write_text("---", encoding="utf-8")
+
+    assert get_yaml_files(lang_dir) == [Path("rules.yaml")]
+
+
+def test_audit_language_ignores_explicit_definitions_file(tmp_path, fixed_console_width) -> None:
+    """Passing definitions.yaml through --file produces an empty audit."""
+    rules_dir = tmp_path / "Rules" / "Languages"
+    (rules_dir / "en").mkdir(parents=True)
+    (rules_dir / "de").mkdir(parents=True)
+
+    with console.capture() as capture:
+        total_issues = audit_language("de", specific_file="definitions.yaml", rules_dir=str(rules_dir))
+    output = strip_ansi(capture.get())
+
+    assert total_issues == 0
+    assert "Files to check: 0" in output
+    assert "Files checked" in output
+    assert "definitions.yaml" not in output
+
+
 def test_list_languages_includes_region_codes(tmp_path) -> None:
     """
     Ensures list_languages reports region variants.

Rules/Braille/ASCIIMath/definitions.yaml

@@ -11,7 +11,7 @@
     "lambda", "Lambda", "and", "or", "if",
     "lim", "Lim",
     "sin", "cos", "tan", "arcsin", "arccos", "arctan", "sinh", "cosh", "tanh", "cot", "coth", "sech", "csch", "sec", "csc",
-    "log", "ln", "abs", "norm", "floor", "ceil",
+    "log", "lg", "ln", "abs", "norm", "floor", "ceil",
     "Sin", "Cos", "Tan", "Arcsin", "Arccos", "Arctan", "Sinh", "Cosh", "Tanh", "Cot", "Sec", "Csc",
     "Log", "Ln", "det", "exp", "dim", "mod", "gcd", "lcm", "lub", "glb", "min", "max",
   }
@@ -30,4 +30,4 @@
 
 - UnderAccents: {
     "¯": "ul", "⏟": "ubrace",
-  }
+  }

Rules/Braille/CMU/CMU_Rules.yaml

@@ -598,7 +598,7 @@
 -
   name: single-char-exceptions    # 4.3.1
   tag: msup
-  match: "*[2][translate(., \"'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')='']"
+  match: "*[2][translate(., \"'*`+-´°‘’“”‟‵‶‷\",'')='']"
   replace:
   - x: "*"
   - test:
@@ -609,7 +609,7 @@
 -
   name: single-char-exceptions    # 4.3.1
   tag: msubsup
-  match: "*[3][translate(., \"'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')='']"
+  match: "*[3][translate(., \"'*`+-´°‘’“”‟‵‶‷\",'')='']"
   replace:
   - x: "*[1]"
   - x: "*[3]"
@@ -633,8 +633,8 @@
   name: number-char-exceptions    # 4.3.1  (FIX: degree doesn't use dot-3 for chemistry or temp/angles/etc)
   tag: [msub, msup]
   match:
-  - "*[2][translate(., \"'*`+-∞ª°²³´¹º‘’“”‟‵‶‷\",'')=''] or"
-  - "*[2][self::m:mrow and count(*)=2 and *[1][self::m:mn] and *[2][self::m:mo][translate(., \"'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')='']]"
+  - "*[2][translate(., \"'*`+-∞´°‘’“”‟‵‶‷\",'')=''] or"
+  - "*[2][self::m:mrow and count(*)=2 and *[1][self::m:mn] and *[2][self::m:mo][translate(., \"'*`+-´°‘’“”‟‵‶‷\",'')='']]"
   replace:
   - x: "*[1]"
   - test:
@@ -779,7 +779,7 @@
   replace:
   - x: "*[1]"
   - test: # special case superscript postscripts that preceed the prescripts
-      if: "$Postscripts and not($Postscripts[2][self::m:none]) and $Postscripts[2][translate(., \"′″‴⁗'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')='']"
+      if: "$Postscripts and not($Postscripts[2][self::m:none]) and $Postscripts[2][translate(., \"′″‴⁗'*`+-´°‘’“”‟‵‶‷\",'')='']"
       then:
       - x: "$Postscripts[2]"
       - test:
@@ -805,7 +805,7 @@
                     # degree doesn't use dot-3 for chemistry, temp, angles -- can't know that so we make a wild guess here
                     if: "not($Prescripts[1][.='°'] and *[1][self::m:mn or @data-chem-element])" 
                     then: [t: "⠄"]
-              - else_if: "$Prescripts[1][translate(., \"'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')='']"
+              - else_if: "$Prescripts[1][translate(., \"'*`+-´°‘’“”‟‵‶‷\",'')='']"
                 then:
                 - x: "$Prescripts[1]"
                 - test:
@@ -835,7 +835,7 @@
                     # degree doesn't use dot-3 for chemistry, temp, angles -- can't know that so we make a wild guess here
                     if: "not($Prescripts[2][.='°'] and *[1][self::m:mn or @data-chem-element])" 
                     then: [t: "⠄"]
-              - else_if: "$Prescripts[2][translate(., \"'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')='']"
+              - else_if: "$Prescripts[2][translate(., \"'*`+-´°‘’“”‟‵‶‷\",'')='']"
                 then:
                 - x: "$Prescripts[2]"
                 - test:
@@ -868,7 +868,7 @@
                         # degree doesn't use dot-3 for chemistry, temp, angles -- can't know that so we make a wild guess here
                         if: "not($Prescripts[3][.='°'] and *[1][self::m:mn or @data-chem-element])" 
                         then: [t: "⠄"]
-                  - else_if: "$Prescripts[3][translate(., \"'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')='']"
+                  - else_if: "$Prescripts[3][translate(., \"'*`+-´°‘’“”‟‵‶‷\",'')='']"
                     then:
                     - x: "$Prescripts[3]"
                     - test:
@@ -898,7 +898,7 @@
                         # degree doesn't use dot-3 for chemistry, temp, angles -- can't know that so we make a wild guess here
                         if: "not($Prescripts[4][.='°'] and *[1][self::m:mn or @data-chem-element])" 
                         then: [t: "⠄"]
-                  - else_if: "$Prescripts[4][translate(., \"'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')='']"
+                  - else_if: "$Prescripts[4][translate(., \"'*`+-´°‘’“”‟‵‶‷\",'')='']"
                     then:
                     - x: "$Prescripts[4]"
                     - test:
@@ -935,7 +935,7 @@
                     # degree doesn't use dot-3 for chemistry, temp, angles -- can't know that so we make a wild guess here
                     if: "not($Postscripts[1][.='°'] and *[1][self::m:mn or @data-chem-element])" 
                     then: [t: "⠄"]
-              - else_if: "$Postscripts[1][translate(., \"'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')='']"
+              - else_if: "$Postscripts[1][translate(., \"'*`+-´°‘’“”‟‵‶‷\",'')='']"
                 then:
                 - x: "$Postscripts[1]"
                 - test:
@@ -950,7 +950,7 @@
                 else:
                 - x: "$Postscripts[1]"
       - test:
-          if: "not($Postscripts[2][self::m:none]) and $Postscripts[2][translate(., \"′″‴⁗'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')!='']"
+          if: "not($Postscripts[2][self::m:none]) and $Postscripts[2][translate(., \"′″‴⁗'*`+-´°‘’“”‟‵‶‷\",'')!='']"
           then:
           - t: "⠡"
           - test:
@@ -991,7 +991,7 @@
                         # degree doesn't use dot-3 for chemistry, temp, angles -- can't know that so we make a wild guess here
                         if: "not($Postscripts[3][.='°'] and *[1][self::m:mn or @data-chem-element])" 
                         then: [t: "⠄"]
-                  - else_if: "$Postscripts[3][translate(., \"'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')='']"
+                  - else_if: "$Postscripts[3][translate(., \"'*`+-´°‘’“”‟‵‶‷\",'')='']"
                     then:
                     - x: "$Postscripts[3]"
                     - test:
@@ -1021,7 +1021,7 @@
                         # degree doesn't use dot-3 for chemistry, temp, angles -- can't know that so we make a wild guess here
                         if: "not($Postscripts[4][.='°'] and *[1][self::m:mn or @data-chem-element])" 
                         then: [t: "⠄"]
-                  - else_if: "$Postscripts[4][translate(., \"'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')='']"
+                  - else_if: "$Postscripts[4][translate(., \"'*`+-´°‘’“”‟‵‶‷\",'')='']"
                     then:
                     - x: "$Postscripts[4]"
                     - test:
@@ -1054,7 +1054,7 @@
                             # degree doesn't use dot-3 for chemistry, temp, angles -- can't know that so we make a wild guess here
                             if: "not($Postscripts[5][.='°'] and *[1][self::m:mn or @data-chem-element])" 
                             then: [t: "⠄"]
-                      - else_if: "$Postscripts[5][translate(., \"'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')='']"
+                      - else_if: "$Postscripts[5][translate(., \"'*`+-´°‘’“”‟‵‶‷\",'')='']"
                         then:
                         - x: "$Postscripts[5]"
                         - test:
@@ -1084,7 +1084,7 @@
                             # degree doesn't use dot-3 for chemistry, temp, angles -- can't know that so we make a wild guess here
                             if: "not($Postscripts[6][.='°'] and *[1][self::m:mn or @data-chem-element])" 
                             then: [t: "⠄"]
-                      - else_if: "$Postscripts[6][translate(., \"'*`+-ª°²³´¹º‘’“”‟‵‶‷\",'')='']"
+                      - else_if: "$Postscripts[6][translate(., \"'*`+-´°‘’“”‟‵‶‷\",'')='']"
                         then:
                         - x: "$Postscripts[6]"
                         - test: