fix(scripts): sync-web — не исключать игнорируемый web/dist в git add (#110)

git 2.50 на явно названный в pathspec игнорируемый путь (':!web/dist')
печатает «paths are ignored» и возвращает 1 — sync-web останавливался
после проверок, до коммита и PR (issue arm-core #115 создана, PR не было).
web/dist и так игнорируется .gitignore arm-core; исключение симлинка
node_modules оставлено (.gitignore его не ловит).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

scripts/sync-web.sh

@@ -175,7 +175,9 @@ run_check build npm run build
 echo "проверки: $TESTS; tsc чисто; biome $W_NEW предупреждений (на $CORE_REF — $W_MAIN); build ок"
 
 # --- 6. Коммит, push, PR -------------------------------------------------------------------------------------------
-git -C "$WT" add -A web -- ':!web/node_modules' ':!web/dist'
+# web/dist игнорируется .gitignore arm-core; исключать его pathspec'ом нельзя — git 2.50 на явно названный
+# игнорируемый путь отвечает «paths are ignored» и кодом 1 (arm-ka-docs#110). Симлинк node_modules .gitignore не ловит.
+git -C "$WT" add -A web -- ':!web/node_modules'
 git -C "$WT" -c commit.gpgsign=false commit -q -F - <<EOF
 fix(web): синхронизация встроенного фронта с arm-web@${REF#origin/} ($HEAD7) (#$ISSUE)