follow up latest main branch changes with english rule changes related, and sync hungarian tests

.github/workflows/coverage.yml

@@ -39,7 +39,7 @@ jobs:
           cargo llvm-cov --workspace --html --output-dir llvm-cov-html
 
       - name: Upload HTML report artifact
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v7
         with:
           name: llvm-cov-html
           path: llvm-cov-html/
@@ -70,7 +70,7 @@ jobs:
       (github.event_name == 'schedule' || github.event_name == 'workflow_dispatch')
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/download-artifact@v4
+      - uses: actions/download-artifact@v8
         with:
           name: llvm-cov-html
           path: llvm-cov-html

.github/workflows/fuzz.yml

@@ -80,7 +80,7 @@ jobs:
       # --- Crash artifact upload (on failure) ---
       - name: Upload crash artifacts
         if: failure()
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v7
         with:
           name: fuzz-crash-artifacts
           path: fuzz/artifacts/

.github/workflows/python.yml

@@ -2,16 +2,13 @@ name: Python
 
 on: [push, pull_request]
 
-env:
-  FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: true
-
 jobs:
   test:
     name: Python Tests
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v5
-    - uses: astral-sh/setup-uv@v6
+    - uses: astral-sh/setup-uv@v10.0.1
     - name: Run ruff lint
       working-directory: PythonScripts
       run: uv run ruff check audit_translations/

.github/workflows/rust.yml

@@ -5,8 +5,6 @@ on: [push, pull_request] # note: pre-release job still only on 'refs/heads/main'
 env:
   CARGO_TERM_COLOR: always
   RUSTFLAGS: "-Dwarnings"
-  # Until all marketplace actions ship Node 24 runtimes (see GitHub deprecation of Node 20).
-  FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: true
 
 jobs:
   build:
@@ -49,45 +47,47 @@ jobs:
     steps:
     - uses: actions/checkout@v5
     - name: Remove empty Rules directories
-      run:  find Rules -type d -empty -delete
+      run: find Rules -type d -empty -delete
     - name: Remove test directory
-      run:  rm -r Rules/Languages/zz
-    - name: create rules.zip
-      uses: thedoctor0/zip-release@0.7.5
-      with:
-        type: 'zip'
-        filename: 'Rules.zip'
-        directory: '.'
-        path: 'Rules'
+      run: rm -r Rules/Languages/zz
+    - name: create Rules.zip
+      run: zip -r Rules.zip Rules
     - name: Upload Rules.zip
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v7
       with:
         name: 'Rules.zip'
         path: 'Rules.zip'
         compression-level: 0
         retention-days: 1
-  
+
   pre-release:
     name: Pre Release
     continue-on-error: false
     if: github.event_name == 'push' && github.ref == 'refs/heads/main' # otherwise, job fails on pull requests, as GITHUB_TOKEN is not available
-    needs: [zip-rules]
+    needs: [build, clippy, zip-rules]
     runs-on: ubuntu-latest
     permissions:
       contents: write
     steps:
-    # download the previous build artifacts and put them in their proper places
     - name: download Rules.zip
-      uses: actions/download-artifact@v5
+      uses: actions/download-artifact@v8
       with:
         name: Rules.zip
-    # put the files into the release
-    - name: Automatic release
-      uses: marvinpinto/action-automatic-releases@latest
-      with:
-        repo_token: ${{ secrets.GITHUB_TOKEN }}
-        automatic_release_tag: latest
-        prerelease: true
-        title: Development Build
-        files: |
+    # Moving 'latest' prerelease (replaces marvinpinto/action-automatic-releases)
+    - name: Development Build release
+      env:
+        GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      run: |
+        REPO="${{ github.repository }}"
+        SHA="${{ github.sha }}"
+        # No checkout in this job — always pass --repo.
+        gh release delete latest --repo "$REPO" --yes --cleanup-tag || true
+        gh api --method DELETE "repos/${REPO}/git/refs/tags/latest" || true
+        gh release create latest \
+          --repo "$REPO" \
+          --target "$SHA" \
+          --prerelease \
+          --latest=false \
+          --title "Development Build" \
+          --notes "Development build from ${SHA}" \
           Rules.zip

.gitignore

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

AGENTS.md

@@ -26,20 +26,22 @@ but add common mistakes of AI agents here instead.
 - In sandboxed runs, if needed:
   - set `UV_CACHE_DIR=/tmp/uv-cache`
   - rerun with escalated permissions if macOS `system-configuration` panics occur.
-- *always* self-validate: `ùv run pytest`
+- self-validate appropriately with: `uv run pytest`
 
 ## Agent Instructions
 - Do not mirror README content here; keep guidance agent-specific.
 - Avoid broad formatting sweeps; do not run `cargo fmt` in this repo.
 - 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`).
+- When writing tests, add a brief description explaining the purpose and expected behaviour. Avoid complex setups like using heavily parameterized tests (eg `@pytest.mark.parametrize` for Python)
 
 ## Fuzzing (`fuzz/` + cargo-fuzz)
 - Install: `cargo install cargo-fuzz`, use a **nightly** toolchain (`rustup run nightly cargo fuzz …`).
 - **Dictionary:** `fuzz/mathml.dict` is passed to libFuzzer as `-dict=mathml.dict` (path relative to the `fuzz/` crate). It lists MathML 4 presentation elements and attributes to improve coverage.
 - **Harness:** `fuzz/fuzz_targets/fuzz_target_1.rs` calls `set_mathml`, then (on success) `get_spoken_text`, `get_braille` (with `""` and a lossy tail id), `do_navigate_command` with valid command names from `src/navigate.rs` `NAV_COMMANDS`, then speech/braille again.
-- **CI:** `.github/workflows/fuzz.yml` builds `fuzz_target_1` with default and `--features no-unsafe`, runs with `mathml.dict` and **`corpus/fuzz_target_1`** (repo: `fuzz/corpus/fuzz_target_1`). The corpus is **restored/saved via GitHub Actions cache** so inputs improve across runs. Push/PR: `-max_total_time=60` each; **weekly schedule: 3600s (1 hour) per configuration**. Weekly runs also **minimize the corpus** (`cargo fuzz cmin`) to keep the cache lean. Workflows use **`actions/checkout@v5`**, **`actions/cache@v5`**, and **`actions/upload-artifact@v5`** (Node 24 runtimes).
+- **CI:** `.github/workflows/fuzz.yml` builds `fuzz_target_1` with default and `--features no-unsafe`, runs with `mathml.dict` and **`corpus/fuzz_target_1`** (repo: `fuzz/corpus/fuzz_target_1`). The corpus is **restored/saved via GitHub Actions cache** so inputs improve across runs. Push/PR: `-max_total_time=60` each; **weekly schedule: 3600s (1 hour) per configuration**. Weekly runs also **minimize the corpus** (`cargo fuzz cmin`) to keep the cache lean. Workflows use **`actions/checkout@v5`**, **`actions/cache@v5`**, **`actions/upload-artifact@v7`**, and **`actions/download-artifact@v8`** (Node 24 runtimes).
 - **Crash artifacts:** uploaded as GitHub Actions artifacts (90-day retention) on any fuzz failure. Download them from the failed workflow run's "Artifacts" section.
 - **Regression tests from crashes:** run `python PythonScripts/fuzz_to_test.py` (optionally pass artifact paths; defaults to `fuzz/artifacts/fuzz_target_1/`). This appends `#[test]` functions to `tests/fuzz_regressions.rs`, deduplicating by content hash. Tests call `set_mathml` + `get_spoken_text` + `get_braille` on the crash input.
 - **Coverage:** weekly CI runs `cargo fuzz coverage` against the corpus, then produces an HTML report via `llvm-cov show`. The report is uploaded as the **`fuzz-coverage-report`** Actions artifact (30-day retention). Download and open `index.html` to see which source lines the fuzzer has reached.

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

@@ -10,6 +10,7 @@ The tool analyzes rule files to detect the following issues:
 * **Extra Rules:** Rules present in the target translation but absent in the source (flagged as potentially intentional language-specific additions).
 * **Untranslated Text:** Detects text keys that still use **lowercase** formatting, indicating they haven't been verified or translated yet.
 * **Rule Differences:** Structural changes (match expressions, conditions, variables, or test/replace layout) between the source and target translation.
+* **Definition Coverage:** Compares literal `definitions.yaml` entries by name and collection kind (`vector`, `set`, or `map`).
 
 Add `# audit-ignore` to a rule block to suppress auditing that rule.
 
@@ -49,6 +50,11 @@ The tool automatically adjusts its matching logic based on the file type:
 2.  **Unicode Files:**
     * Matches rules based on character/range keys.
     * *Examples:* `unicode.yaml`, `unicode-full.yaml` (keys like `a-z`, `!`, `0-9`).
+3.  **Definition Files:**
+    * `definitions.yaml` is audited by default and can be selected with `--file definitions.yaml`.
+    * Definitions are matched by name. Missing definitions and collection-kind mismatches are issues; target-only definitions are informational.
+    * Definition contents are not compared, includes are not resolved, and translation verification is not available for definitions.
+
 
 ---