Merge pull request #3580 from GaijinEntertainment/bbatkin/hot-path-lint-and-env-docs

lint: hot-path contracts (PERF026-028) + dasLLAMA env registry and 64-bit sweep

Author: borisbat

CLAUDE.md

@@ -78,7 +78,8 @@ Task-specific instructions are split into skill files under `skills/`. You MUST
 | `skills/daslang_lsp.md` | Working on `utils/lsp/` (the LSP server for Claude Code / stdio clients) — locked architecture, coordinate conventions, CC wire facts, headless dev rig, protocol tests |
 | `utils/dasHerd/dasherder.md` | Running INSIDE a dasHerd-managed agent session (any `DASHERD_SESSION_ID` env var set) — the session cooperation contract: inbox/outbox mailbox, declaring participating repositories, Review Bundles, the `dasherd.ps1` CLI |
 | `skills/imgui_ui_debugging.md` | **CRITICAL UI SKILL** — diagnosing/fixing ANY dasImgui UI or interaction bug. The discipline: reproduce + screenshot → make it observable in `imgui_snapshot` (fix the inspection if it isn't) → fix → prove via snapshot + test → 'after' screenshot. UI is hard; **never claim a UI fix works from logic or a screenshot — only from structured snapshot state.** |
-| `skills/perf_lint.md` | Adding rules to `daslib/perf_lint.das` |
+| `skills/environment_variables.md` | Reading or ADDING any environment variable — the full daslang set, plus the read-once/typed-default rules a new one must follow. dasLLAMA's own ~130 knobs are generated into `modules/dasLLAMA/ENVIRONMENT.md` |
+| `skills/perf_lint.md` | Adding rules to `daslib/perf_lint.das` — **and before declaring any hot path off-limits to allocation**: `[hot_path]` / `[no_alloc]` / `[no_env]` / `[no_io]` contracts (PERF026-028), `[cold_path]` to prune, `@scratch` to declare a reused buffer |
 | `skills/style_lint.md` | Adding rules to `daslib/style_lint.das` |
 | `skills/strings.md` | Any `.das` string operation — `find`/`replace`/`split`/parsing/`build_string`/`peek_data` (covers `strings`, `daslib/strings_boost`, `daslib/strings_convert`) |
 | `skills/regex.md` | Writing regular expressions in `.das` code |
@@ -300,6 +301,9 @@ A generic that should accept `array<T>`, `array<array<T>>`, … (any nesting) 
 ### Common gotchas
 
 - Lambda params can shadow function params — use distinct names
+- **`where` and `shared` are reserved words too** — `where` is the comprehension filter keyword and
+  `shared` the module modifier; both are a syntax error as a variable name (`let where = ...`,
+  `let shared = ...`). Rename (`sink_pos`, `shared_node`); hit while writing PERF026-028
 - **`label`, `expect`, and `pass` are reserved words** (lexer keywords `DAS_LABEL`/`DAS_EXPECT`/`DAS_PASS` — `pass` is the no-op statement) — using any as a parameter/variable name is a syntax error; rename (`tag`, `want`, `cpass`)
 - **`range`/`urange`/`range64`/`urange64` are lexer TYPE tokens** (`DAS_TRANGE` etc., like `int`) — unusable as struct-field, parameter, or annotation-argument names (`@range = ...` is a syntax error); the grammar whitelists them back to a plain name only in call position, which is why `range(10)` works. Rename (`rng`, `span`); grammar-verified 2026-07-23
 - **Literal `{`/`}` in string literals must be escaped `\{`/`\}`** — unescaped `{...}` is interpolation. Bites when embedding shader/C source as inline strings. String literals may span multiple lines (raw newlines are legal); probe-verified 2026-07-11

ci/check_shipped_skills.py

@@ -47,8 +47,10 @@
 # junction workflow in external_module_debugging.md uses illustrative C:/DummyRoot paths
 # 17 times on purpose, and flagging those would force 17 noise markers onto correct
 # content. A bare `\\`-UNC branch is also out -- it matched `\\d` / `\\s` in regex prose.
+# AppData needs a leading separator: bare `APPDATA` is the ENV VAR NAME, which
+# environment_variables.md documents alongside XDG_CONFIG_HOME. Only a real path is a leak.
 MACHINE_PATH = re.compile(
-    r"(?:[A-Za-z]:[\\/](?:Users|Work|DASPKG)\b|/home/[A-Za-z0-9_.]+|AppData)", re.I)
+    r"(?:[A-Za-z]:[\\/](?:Users|Work|DASPKG)\b|/home/[A-Za-z0-9_.]+|[\\/]AppData\b)", re.I)
 
 SKILL_REF = re.compile(r"skills/([a-z_0-9]+\.md)")
 MD_LINK = re.compile(r"\[[^\]]*\]\(([^)\s]+)\)")

daslib/lint_config.das

@@ -22,11 +22,16 @@ module lint_config shared private
 //! Anything that is not a boolean entry under ``[rules]`` is ignored.
 //! If the file is missing, unreadable, or fails to parse the call is a
 //! no-op — built-in defaults stand.
+//!
+//! Two environment variables feed the same cascade: ``DAS_LINT_CONFIG_PATH``
+//! redirects which file is read, and ``DAS_LINT_DISABLE`` (comma-separated
+//! codes) turns rules off for one run, overriding everything above.
 
 require daslib/fio
 require daslib/json
 require daslib/toml
 require daslib/ast_boost
+require daslib/strings_boost
 
 //! Path override env var. When ``DAS_LINT_CONFIG_PATH`` is set, the macro
 //! cascade reads that path instead of ``{get_das_root()}/.lint_config`` —
@@ -41,11 +46,25 @@ def private resolved_config_path() : string {
     return "{get_das_root()}/.lint_config"
 }
 
-//! Loads the repo-level lint config (``{get_das_root()}/.lint_config`` by
-//! default; ``$DAS_LINT_CONFIG_PATH`` if set) into ``disabled_codes``.
-//! No-op when the file is missing or unreadable.
+//! Ad-hoc rule opt-out for one run: ``DAS_LINT_DISABLE=PERF026,LINT017`` (bare codes, comma
+//! separated, surrounding whitespace ignored, unknown codes harmless). Needs no source edit —
+//! the "let me add a log line while I debug this" hatch. Applied last, so it overrides the config.
+def public load_env_disabled(var disabled_codes : table<string>) : void {
+    return if (!has_env_variable("DAS_LINT_DISABLE"))
+    for (part in split(get_env_variable("DAS_LINT_DISABLE"), ",")) {
+        let code = strip(part)
+        if (!empty(code) && !key_exists(disabled_codes, code)) {
+            disabled_codes |> insert(code)
+        }
+    }
+}
+
+//! Loads the repo-level lint config (``{get_das_root()}/.lint_config`` by default;
+//! ``$DAS_LINT_CONFIG_PATH`` if set) into ``disabled_codes``, then layers ``$DAS_LINT_DISABLE``
+//! on top. No-op when the file is missing or unreadable.
 def public load_lint_config(var disabled_codes : table<string>) : void {
     load_lint_config_from_path(resolved_config_path(), disabled_codes)
+    load_env_disabled(disabled_codes)
 }
 
 //! Parser entry point. Reads ``path`` (TOML) and folds the ``[rules]``
@@ -130,6 +149,8 @@ def public build_lint_macro_disabled(prog : ProgramPtr) : table<string> {
     for (code in keys(_cache_on)) {
         if (key_exists(disabled, code)) disabled |> erase(code)
     }
+    // last, so a one-run DAS_LINT_DISABLE beats a `CODE = true` in the repo config
+    load_env_disabled(disabled)
     return <- disabled
 }