Blame for mines.js

/* ViKernel Desktop: Minesweeper (VDR app). Original code and art, drawn with CSS/SVG. */
(function () {
  'use strict';

  // ---------- i18n ----------
  var STR = {
    en: {
      mines_title: 'Minesweeper', mines_beginner: 'Beginner', mines_intermediate: 'Intermediate',
      mines_best: 'Best', mines_none: 'none', mines_new: 'New game', mines_hint: 'AI hint (Muse Spark)',
      mines_cheat: 'Try to cheat: read mine map', mines_agent: 'Agent and kernel', mines_audit: 'App audit',
      mines_win: 'Cleared! Time', mines_lose: 'Boom. All mines revealed.', mines_newbest: 'New best time!',
      mines_thinking: 'Muse Spark is reading the visible board...', mines_empty_agent: 'No agent activity yet. Ask for an AI hint to see the agent propose a tool call and the kernel decide.',
      mines_empty_audit: 'No verdicts recorded in this session yet.', mines_suggest: 'AI suggestion, may be wrong',
      mines_rate: 'Too many requests. Please wait a moment and try again.', mines_err: 'The request failed',
      mines_nohint: 'The model did not name a hidden cell this time.', mines_over: 'Start a new game to ask for a hint.',
      mines_about: 'About', mines_close: 'Close', mines_retry: 'Retry'
    },
    ko: {
      mines_title: '지뢰찾기', mines_beginner: '초급', mines_intermediate: '중급', mines_best: '최고', mines_none: '없음',
      mines_new: '새 게임', mines_hint: 'AI 힌트 (Muse Spark)', mines_cheat: '부정행위 시도: 지뢰 지도 읽기',
      mines_agent: '에이전트와 커널', mines_audit: '앱 감사 기록', mines_win: '성공! 시간', mines_lose: '펑. 모든 지뢰를 공개합니다.',
      mines_newbest: '최고 기록!', mines_thinking: 'Muse Spark 가 보이는 판을 읽는 중...',
      mines_empty_agent: '아직 에이전트 활동이 없습니다. AI 힌트를 요청해 보세요.', mines_empty_audit: '이 세션의 판정 기록이 아직 없습니다.',
      mines_suggest: 'AI 제안, 틀릴 수 있음', mines_rate: '요청이 너무 많습니다. 잠시 후 다시 시도하세요.', mines_err: '요청 실패',
      mines_nohint: '이번에는 모델이 숨은 칸을 지목하지 않았습니다.', mines_over: '힌트를 받으려면 새 게임을 시작하세요.',
      mines_about: '정보', mines_close: '닫기', mines_retry: '다시 시도'
    }
  };
  try {
    window.VK_I18N = window.VK_I18N || {};
    ['en', 'ko'].forEach(function (l) { window.VK_I18N[l] = Object.assign(window.VK_I18N[l] || {}, STR[l]); });
  } catch (e) { /* ignore */ }

  var MODES = {
    beginner: { rows: 9, cols: 9, mines: 10, key: 'mines_beginner' },
    intermediate: { rows: 16, cols: 16, mines: 40, key: 'mines_intermediate' }
  };

  function esc(s) {
    return String(s == null ? '' : s).replace(/[&<>"']/g, function (c) {
      return { '&': '&amp;', '<': '&lt;', '>': '&gt;', '"': '&quot;', "'": '&#39;' }[c];
    });
  }
  function lsGet(k) { try { return localStorage.getItem(k); } catch (e) { return null; } }
  function lsSet(k, v) { try { localStorage.setItem(k, v); } catch (e) { /* ignore */ } }

  // ---------- art (original) ----------
  var SVG_MINE = '<svg viewBox="0 0 20 20" aria-hidden="true"><g stroke="currentColor" stroke-width="1.6" stroke-linecap="round">' +
    '<path d="M10 2.5v3M10 14.5v3M2.5 10h3M14.5 10h3M4.8 4.8l2 2M13.2 13.2l2 2M15.2 4.8l-2 2M6.8 13.2l-2 2"/></g>' +
    '<rect x="5.6" y="5.6" width="8.8" height="8.8" rx="3" fill="currentColor"/><circle cx="8.6" cy="8.6" r="1.3" fill="#fff" opacity=".75"/></svg>';
  var SVG_FLAG = '<svg viewBox="0 0 20 20" aria-hidden="true"><path d="M6 3v14" stroke="currentColor" stroke-width="1.8" stroke-linecap="round"/>' +
    '<path d="M6.8 3.6l8.4 3.2-8.4 3.4z" fill="var(--mn-flag)"/><path d="M3.5 17h6" stroke="currentColor" stroke-width="1.8" stroke-linecap="round"/></svg>';
  function face(state) {
    var eyes = '<circle cx="9" cy="10.5" r="1.4"/><circle cx="15" cy="10.5" r="1.4"/>', mouth = '<path d="M8.5 15c2 2 5 2 7 0" fill="none"/>';
    if (state === 'tense') mouth = '<circle cx="12" cy="15.6" r="1.6" fill="none"/>';
    if (state === 'lost') { eyes = '<path d="M7.6 9.1l2.8 2.8M10.4 9.1l-2.8 2.8M13.6 9.1l2.8 2.8M16.4 9.1l-2.8 2.8" fill="none"/>'; mouth = '<path d="M8.5 16.5c2-1.8 5-1.8 7 0" fill="none"/>'; }
    if (state === 'won') { eyes = '<path d="M6.5 9.5h11M7 9.5c0 2.2 3.4 2.2 3.4 0M13.6 9.5c0 2.2 3.4 2.2 3.4 0" fill="none"/>'; mouth = '<path d="M8 14.6c2.4 2.8 5.6 2.8 8 0" fill="none"/>'; }
    return '<svg viewBox="0 0 24 24" aria-hidden="true"><rect x="2.5" y="2.5" width="19" height="19" rx="7" fill="var(--mn-face)" stroke="currentColor" stroke-width="1.4"/>' +
      '<g fill="currentColor" stroke="currentColor" stroke-width="1.4" stroke-linecap="round">' + eyes + mouth + '</g></svg>';
  }

  // ---------- styles ----------
  var CSS = '' +
    '.mn{--mn-bg:#f6f8f7;--mn-panel:#fff;--mn-ink:#16211b;--mn-sub:#5b6b62;--mn-line:#dfe6e2;--mn-hid:#cfe3d6;--mn-hid2:#b9d6c3;--mn-open:#fbfdfc;' +
    '--mn-acc:#16A34A;--mn-flag:#e4572e;--mn-face:#ffd76a;--mn-boom:#fde2dc;--mn-ok:#15803d;--mn-bad:#dc2626;' +
    '--n1:#2563eb;--n2:#0f8a5f;--n3:#d9480f;--n4:#7c3aed;--n5:#b42318;--n6:#0e7490;--n7:#334155;--n8:#a16207;' +
    'display:flex;flex-direction:column;height:100%;background:var(--mn-bg);color:var(--mn-ink);font:13px/1.4 system-ui,-apple-system,"Segoe UI",sans-serif;box-sizing:border-box;position:relative;overflow:hidden}' +
    '@media (prefers-color-scheme:dark){.mn{--mn-bg:#101613;--mn-panel:#17201b;--mn-ink:#e6efe9;--mn-sub:#93a59a;--mn-line:#26332c;--mn-hid:#2a3d32;--mn-hid2:#335042;--mn-open:#141c18;' +
    '--mn-face:#e8bf4c;--mn-boom:#4a1f1a;--n1:#7aa7ff;--n2:#4fd19c;--n3:#ff9b5e;--n4:#c4a1ff;--n5:#ff7a73;--n6:#5fd3e6;--n7:#cbd5e1;--n8:#f1c84b}}' +
    '.mn *{box-sizing:border-box}.mn button{font:inherit;color:inherit}' +
    '.mn-strip{display:flex;flex-wrap:wrap;gap:6px;align-items:center;padding:6px 12px;background:color-mix(in srgb,var(--mn-acc) 12%,var(--mn-panel));border-bottom:1px solid var(--mn-line);font-size:11.5px;color:var(--mn-sub)}' +
    '.mn-strip b{color:var(--mn-acc)}.mn-strip .mn-i{margin-left:auto}' +
    '.mn-i{width:24px;height:24px;border-radius:50%;border:1px solid var(--mn-line);background:var(--mn-panel);cursor:pointer;font-weight:700;font-style:italic;font-family:Georgia,serif}' +
    '.mn-main{flex:1;display:flex;gap:12px;padding:12px;min-height:0}' +
    '.mn-left{flex:1 1 auto;display:flex;flex-direction:column;gap:10px;min-width:0;min-height:0}' +
    '.mn-side{flex:0 0 230px;display:flex;flex-direction:column;gap:10px;min-height:0;overflow:auto}' +
    '.mn.narrow .mn-main{flex-direction:column;overflow:auto}.mn.narrow .mn-side{flex:0 0 auto;overflow:visible}.mn.narrow .mn-left{flex:0 0 auto}' +
    '.mn-head{display:flex;align-items:center;gap:8px;flex-wrap:wrap}' +
    '.mn-seg{display:inline-flex;border:1px solid var(--mn-line);border-radius:9px;overflow:hidden;background:var(--mn-panel)}' +
    '.mn-seg button{border:0;background:none;padding:5px 10px;cursor:pointer}.mn-seg button[aria-pressed=true]{background:var(--mn-acc);color:#fff}' +
    '.mn-lcd{font:600 15px ui-monospace,Consolas,monospace;padding:4px 9px;border-radius:8px;background:var(--mn-panel);border:1px solid var(--mn-line);min-width:52px;text-align:center}' +
    '.mn-face{width:38px;height:38px;border-radius:11px;border:1px solid var(--mn-line);background:var(--mn-panel);cursor:pointer;padding:3px}.mn-face svg{width:100%;height:100%}' +
    '.mn-face:active{transform:scale(.95)}.mn-best{color:var(--mn-sub);font-size:12px}.mn-sp{flex:1}' +
    '.mn-wrap{flex:1;min-height:180px;display:flex;align-items:center;justify-content:center;position:relative}' +
    '.mn-grid{display:grid;gap:2px;padding:6px;border-radius:12px;background:var(--mn-line);outline:none;touch-action:manipulation;user-select:none;-webkit-user-select:none}' +
    '.mn-grid:focus-visible{box-shadow:0 0 0 3px color-mix(in srgb,var(--mn-acc) 45%,transparent)}' +
    '.mn-c{width:var(--cs);height:var(--cs);border:0;border-radius:calc(var(--cs)*.18);padding:0;display:flex;align-items:center;justify-content:center;cursor:pointer;' +
    'font:800 calc(var(--cs)*.55)/1 ui-rounded,system-ui,sans-serif;background:linear-gradient(160deg,var(--mn-hid),var(--mn-hid2));position:relative;-webkit-touch-callout:none}' +
    '.mn-c svg{width:68%;height:68%}.mn-c.o{background:var(--mn-open);cursor:default}.mn-c.boom{background:var(--mn-boom)}.mn-c.bad::after{content:"";position:absolute;inset:18%;' +
    'background:linear-gradient(45deg,transparent 45%,var(--mn-bad) 45% 55%,transparent 55%)}' +
    '.mn-c.foc{outline:2px solid var(--mn-acc);outline-offset:-2px;z-index:1}' +
    '.mn-c.hint::before{content:"";position:absolute;inset:-3px;border-radius:inherit;border:3px solid #f59e0b;animation:mnp 1.1s ease-in-out infinite}' +
    '@keyframes mnp{0%,100%{transform:scale(1);opacity:1}50%{transform:scale(1.18);opacity:.35}}' +
    '.mn-c[data-n="1"]{color:var(--n1)}.mn-c[data-n="2"]{color:var(--n2)}.mn-c[data-n="3"]{color:var(--n3)}.mn-c[data-n="4"]{color:var(--n4)}' +
    '.mn-c[data-n="5"]{color:var(--n5)}.mn-c[data-n="6"]{color:var(--n6)}.mn-c[data-n="7"]{color:var(--n7)}.mn-c[data-n="8"]{color:var(--n8)}' +
    '.mn-status{min-height:20px;text-align:center;font-weight:600}.mn-status.win{color:var(--mn-ok)}.mn-status.lose{color:var(--mn-bad)}' +
    '.mn-hintlbl{font-size:12px;color:#b45309;text-align:center;min-height:16px}' +
    '.mn-actions{display:flex;flex-direction:column;gap:6px}' +
    '.mn-btn{display:flex;align-items:center;justify-content:center;gap:7px;padding:8px 10px;border-radius:9px;border:1px solid var(--mn-line);background:var(--mn-panel);cursor:pointer;font-weight:600}' +
    '.mn-btn.pri{background:var(--mn-acc);border-color:var(--mn-acc);color:#fff}.mn-btn.warn{border-color:color-mix(in srgb,var(--mn-bad) 45%,var(--mn-line));color:var(--mn-bad)}' +
    '.mn-btn:disabled{opacity:.6;cursor:wait}.mn-spin{width:13px;height:13px;border:2px solid currentColor;border-right-color:transparent;border-radius:50%;animation:mns .7s linear infinite}' +
    '@keyframes mns{to{transform:rotate(360deg)}}' +
    '.mn-card{background:var(--mn-panel);border:1px solid var(--mn-line);border-radius:11px;padding:10px}' +
    '.mn-card h4{margin:0 0 7px;font-size:12px;letter-spacing:.04em;text-transform:uppercase;color:var(--mn-sub)}' +
    '.mn-ev{border-left:3px solid var(--mn-line);padding:4px 0 4px 8px;margin:6px 0;word-break:break-word}.mn-ev code{font-size:11.5px}' +
    '.mn-ev small{display:block;color:var(--mn-sub)}.mn-empty{color:var(--mn-sub);font-size:12px}.mn-errbox{color:var(--mn-bad);font-size:12px}' +
    '.mn-tag{display:inline-block;padding:1px 7px;border-radius:6px;font-size:11px;font-weight:800;color:#fff;margin-right:5px}' +
    '.mn-tag.allow{background:var(--mn-ok)}.mn-tag.deny{background:var(--mn-bad)}' +
    '.mn-audit{list-style:none;margin:0;padding:0;font-size:12px}.mn-audit li{display:flex;gap:6px;align-items:center;padding:3px 0;border-bottom:1px dashed var(--mn-line)}' +
    '.mn-audit li:last-child{border:0}.mn-audit span.k{color:var(--mn-sub);margin-left:auto;font-family:ui-monospace,monospace}' +
    '.mn-deny{position:absolute;left:50%;top:50%;transform:translate(-50%,-50%);width:min(420px,92%);z-index:20;background:var(--mn-panel);border:2px solid var(--mn-bad);' +
    'border-radius:16px;padding:18px;box-shadow:0 18px 50px rgba(0,0,0,.3);animation:mnin .18s ease-out}' +
    '@keyframes mnin{from{transform:translate(-50%,-46%);opacity:0}}' +
    '.mn-deny .big{font-size:26px;font-weight:900;color:var(--mn-bad);letter-spacing:.06em}.mn-deny p{margin:8px 0}.mn-deny code{word-break:break-all}' +
    '.mn-over{position:absolute;inset:0;background:rgba(0,0,0,.35);z-index:19}' +
    '.mn-about{position:absolute;inset:24px;z-index:20;background:var(--mn-panel);border:1px solid var(--mn-line);border-radius:14px;padding:18px;overflow:auto;box-shadow:0 18px 50px rgba(0,0,0,.3)}' +
    '.mn-about h3{margin:0 0 8px}.mn-about ul{padding-left:18px}';

  function injectCSS() {
    if (document.getElementById('vk-mines-css')) return;
    var s = document.createElement('style'); s.id = 'vk-mines-css'; s.textContent = CSS; document.head.appendChild(s);
  }

  var ICON = '<svg width="24" height="24" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.8" stroke-linecap="round" stroke-linejoin="round">' +
    '<rect x="7" y="7" width="10" height="10" rx="3.5"/><path d="M12 2.5v3M12 18.5v3M2.5 12h3M18.5 12h3M5.3 5.3l2 2M16.7 16.7l2 2M18.7 5.3l-2 2M7.3 16.7l-2 2"/></svg>';

  // session-wide audit (persists across window reopen in this page load)
  var AUDIT = [];

  window.VK_MINES_APP = function (h) {
    h = h || {};
    function T(k) { try { var r = h.t && h.t(k); if (r && r !== k) return r; } catch (e) { /* ignore */ } return STR.en[k] || k; }
    function toast(m) { try { if (h.toast) h.toast(m); } catch (e) { /* ignore */ } }

    return {
      id: 'mines', name: function () { return 'Minesweeper'; }, color: '#16A34A', icon: ICON, w: 560, h: 680,
      render: function (body) {
        injectCSS();
        body.innerHTML = '';
        var root = document.createElement('div'); root.className = 'mn';
        root.innerHTML =
          '<div class="mn-strip"><b>VDR app</b><span>·</span><span>Verified by ViKernel</span><span>·</span><span>declared scope: read game/visible/ only</span><span>·</span><span>no network</span>' +
          '<button class="mn-i" data-a="about" title="' + esc(T('mines_about')) + '" aria-label="' + esc(T('mines_about')) + '">i</button></div>' +
          '<div class="mn-main"><div class="mn-left">' +
          '<div class="mn-head"><div class="mn-seg" role="group">' +
          '<button data-mode="beginner">' + esc(T('mines_beginner')) + '</button><button data-mode="intermediate">' + esc(T('mines_intermediate')) + '</button></div>' +
          '<span class="mn-best"></span></div>' +
          '<div class="mn-head"><span class="mn-lcd" data-r="count" title="Mines left">0</span><span class="mn-sp"></span>' +
          '<button class="mn-face" data-a="new" title="' + esc(T('mines_new')) + ' (N)" aria-label="' + esc(T('mines_new')) + '"></button>' +
          '<span class="mn-sp"></span><span class="mn-lcd" data-r="time" title="Time">0</span></div>' +
          '<div class="mn-wrap"><div class="mn-grid" role="grid" tabindex="0" aria-label="Minefield"></div></div>' +
          '<div class="mn-status" aria-live="polite"></div><div class="mn-hintlbl"></div></div>' +
          '<div class="mn-side"><div class="mn-actions">' +
          '<button class="mn-btn pri" data-a="hint">' + esc(T('mines_hint')) + '</button>' +
          '<button class="mn-btn warn" data-a="cheat">' + esc(T('mines_cheat')) + '</button></div>' +
          '<div class="mn-card"><h4>' + esc(T('mines_agent')) + '</h4><div data-r="agent"></div></div>' +
          '<div class="mn-card"><h4>' + esc(T('mines_audit')) + '</h4><ul class="mn-audit" data-r="audit"></ul></div>' +
          '</div></div>';
        body.appendChild(root);

        var q = function (s) { return root.querySelector(s); };
        var gridEl = q('.mn-grid'), wrap = q('.mn-wrap'), faceBtn = q('.mn-face'), countEl = q('[data-r=count]'), timeEl = q('[data-r=time]');
        var statusEl = q('.mn-status'), hintLbl = q('.mn-hintlbl'), bestEl = q('.mn-best'), agentEl = q('[data-r=agent]'), auditEl = q('[data-r=audit]');
        var hintBtn = q('[data-a=hint]'), cheatBtn = q('[data-a=cheat]');

        var mode = lsGet('vk_mines_mode') === 'intermediate' ? 'intermediate' : 'beginner';
        var R, C, M, mine, open, flag, adj, cells, started, over, won, t0, elapsed, timer, focus = 0, hintIdx = -1, opened;

        // ---------- game core ----------
        function nbrs(i) {
          var r = (i / C) | 0, c = i % C, out = [];
          for (var dr = -1; dr <= 1; dr++) for (var dc = -1; dc <= 1; dc++) {
            if (!dr && !dc) continue; var rr = r + dr, cc = c + dc;
            if (rr >= 0 && rr < R && cc >= 0 && cc < C) out.push(rr * C + cc);
          }
          return out;
        }
        function newGame(m) {
          if (m) { mode = m; lsSet('vk_mines_mode', m); }
          var cfg = MODES[mode]; R = cfg.rows; C = cfg.cols; M = cfg.mines;
          var n = R * C; mine = new Array(n).fill(false); open = new Array(n).fill(false); flag = new Array(n).fill(false); adj = new Array(n).fill(0);
          started = false; over = false; won = false; elapsed = 0; opened = 0; hintIdx = -1; focus = Math.min(focus, n - 1);
          stopTimer(); statusEl.textContent = ''; statusEl.className = 'mn-status'; hintLbl.textContent = '';
          root.querySelectorAll('.mn-seg button').forEach(function (b) { b.setAttribute('aria-pressed', String(b.dataset.mode === mode)); });
          buildGrid(); updateHud(); fit();
        }
        function plant(safe) {
          var ban = {}; ban[safe] = 1; nbrs(safe).forEach(function (j) { ban[j] = 1; });
          var pool = []; for (var i = 0; i < R * C; i++) if (!ban[i]) pool.push(i);
          for (var k = 0; k < M; k++) { var j = k + Math.floor(Math.random() * (pool.length - k)); var tmp = pool[k]; pool[k] = pool[j]; pool[j] = tmp; mine[pool[k]] = true; }
          for (var x = 0; x < R * C; x++) adj[x] = nbrs(x).filter(function (y) { return mine[y]; }).length;
        }
        function reveal(i) {
          if (over || open[i] || flag[i]) return;
          if (!started) { plant(i); started = true; t0 = Date.now(); timer = setInterval(tick, 250); }
          if (mine[i]) { lose(i); return; }
          var stack = [i];
          while (stack.length) {
            var k = stack.pop(); if (open[k] || flag[k]) continue;
            open[k] = true; opened++; paint(k);
            if (adj[k] === 0) nbrs(k).forEach(function (j) { if (!open[j] && !mine[j]) stack.push(j); });
          }
          clearHint(); checkWin(); updateHud();
        }
        function chord(i) {
          if (over || !open[i] || !adj[i]) return;
          var ns = nbrs(i), f = ns.filter(function (j) { return flag[j]; }).length;
          if (f !== adj[i]) return;
          ns.forEach(function (j) { if (!open[j] && !flag[j]) reveal(j); });
        }
        function toggleFlag(i) {
          if (over || open[i]) return;
          flag[i] = !flag[i]; paint(i); updateHud();
        }
        function act(i) { if (open[i]) chord(i); else reveal(i); }
        function lose(i) {
          over = true; stopTimer();
          for (var k = 0; k < R * C; k++) {
            if (mine[k] && !flag[k]) { open[k] = true; paint(k); }
            else if (flag[k] && !mine[k]) cells[k].classList.add('bad');
          }
          cells[i].classList.add('boom'); clearHint();
          statusEl.textContent = T('mines_lose'); statusEl.className = 'mn-status lose'; updateHud();
        }
        function checkWin() {
          if (over || opened !== R * C - M) return;
          over = true; won = true; stopTimer();
          for (var k = 0; k < R * C; k++) if (mine[k] && !flag[k]) { flag[k] = true; paint(k); }
          var secs = Math.round(elapsed / 10) / 100, key = 'vk_mines_best_' + mode, prev = parseFloat(lsGet(key));
          var msg = T('mines_win') + ' ' + secs.toFixed(1) + 's';
          if (!(prev > 0) || secs < prev) { lsSet(key, String(secs)); msg += '. ' + T('mines_newbest'); }
          statusEl.textContent = msg; statusEl.className = 'mn-status win'; toast(msg);
        }
        function tick() {
          if (!root.isConnected) { stopTimer(); return; }
          elapsed = Date.now() - t0; timeEl.textContent = String(Math.min(999, Math.floor(elapsed / 1000)));
        }
        function stopTimer() { if (timer) { clearInterval(timer); timer = null; if (started) elapsed = Date.now() - t0; } }
        function updateHud() {
          var f = flag.filter(Boolean).length; countEl.textContent = String(M - f);
          if (!started) timeEl.textContent = '0';
          faceBtn.innerHTML = face(over ? (won ? 'won' : 'lost') : 'ok');
          var b = parseFloat(lsGet('vk_mines_best_' + mode));
          bestEl.textContent = T('mines_best') + ' (' + T(MODES[mode].key) + '): ' + (b > 0 ? b.toFixed(1) + 's' : T('mines_none'));
        }

        // ---------- rendering ----------
        function buildGrid() {
          gridEl.innerHTML = ''; gridEl.style.gridTemplateColumns = 'repeat(' + C + ',var(--cs))'; cells = [];
          var frag = document.createDocumentFragment();
          for (var i = 0; i < R * C; i++) {
            var b = document.createElement('div'); b.className = 'mn-c'; b.dataset.i = i; b.setAttribute('role', 'gridcell');
            frag.appendChild(b); cells.push(b); paint(i);
          }
          gridEl.appendChild(frag); setFocus(focus, false);
        }
        function paint(i) {
          var el = cells[i]; if (!el) return;
          var r = (i / C) | 0, c = i % C, label = 'row ' + r + ' col ' + c + ': ';
          el.classList.toggle('o', open[i]); el.removeAttribute('data-n');
          if (open[i] && mine[i]) { el.innerHTML = SVG_MINE; label += 'mine'; }
          else if (open[i]) { el.innerHTML = adj[i] ? String(adj[i]) : ''; if (adj[i]) el.dataset.n = adj[i]; label += adj[i] || 'empty'; }
          else if (flag[i]) { el.innerHTML = SVG_FLAG; label += 'flagged'; }
          else { el.innerHTML = ''; label += 'hidden'; }
          el.setAttribute('aria-label', label);
        }
        function setFocus(i, scroll) {
          if (cells[focus]) cells[focus].classList.remove('foc');
          focus = Math.max(0, Math.min(R * C - 1, i));
          if (cells[focus]) { cells[focus].classList.add('foc'); gridEl.setAttribute('aria-activedescendant', ''); if (scroll) cells[focus].scrollIntoView({ block: 'nearest' }); }
        }
        function fit() {
          var narrow = root.clientWidth < 600; root.classList.toggle('narrow', narrow);
          var w = wrap.clientWidth - 14, hh = narrow ? Math.min(window.innerHeight * 0.6, w) : wrap.clientHeight - 14;
          var cs = Math.floor(Math.min((w - (C - 1) * 2) / C, (hh - (R - 1) * 2) / R));
          cs = Math.max(narrow ? 20 : 16, Math.min(46, cs || 24));
          gridEl.style.setProperty('--cs', cs + 'px');
        }
        var ro = window.ResizeObserver ? new ResizeObserver(fit) : null;
        if (ro) ro.observe(root); else window.addEventListener('resize', fit);

        // ---------- input ----------
        var lpTimer = null, lpFired = false, lastTouch = 0;
        function idxOf(e) { var t = e.target.closest && e.target.closest('.mn-c'); return t ? +t.dataset.i : -1; }
        gridEl.addEventListener('pointerdown', function (e) {
          var i = idxOf(e); if (i < 0) return;
          lpFired = false; if (!over && !open[i]) faceBtn.innerHTML = face('tense');
          if (e.pointerType === 'touch') {
            lastTouch = Date.now(); clearTimeout(lpTimer);
            lpTimer = setTimeout(function () { lpFired = true; toggleFlag(i); if (navigator.vibrate) navigator.vibrate(15); }, 400);
          }
        });
        function cancelLp() { clearTimeout(lpTimer); updateHud(); }
        gridEl.addEventListener('pointerup', cancelLp);
        gridEl.addEventListener('pointercancel', cancelLp);
        gridEl.addEventListener('pointerleave', cancelLp);
        gridEl.addEventListener('click', function (e) {
          var i = idxOf(e); if (i < 0) return;
          if (lpFired) { lpFired = false; return; }
          setFocus(i, false);
          if (e.shiftKey) toggleFlag(i); else act(i);
        });
        gridEl.addEventListener('contextmenu', function (e) {
          e.preventDefault(); var i = idxOf(e); if (i < 0) return;
          if (Date.now() - lastTouch < 800) return; // touch handled by long-press
          setFocus(i, false); toggleFlag(i);
        });
        gridEl.addEventListener('keydown', function (e) {
          var k = e.key, r = (focus / C) | 0, c = focus % C;
          if (k === 'ArrowUp') setFocus(Math.max(0, r - 1) * C + c, true);
          else if (k === 'ArrowDown') setFocus(Math.min(R - 1, r + 1) * C + c, true);
          else if (k === 'ArrowLeft') setFocus(r * C + Math.max(0, c - 1), true);
          else if (k === 'ArrowRight') setFocus(r * C + Math.min(C - 1, c + 1), true);
          else if (k === ' ' || k === 'Enter') act(focus);
          else if (k === 'f' || k === 'F') toggleFlag(focus);
          else if (k === 'n' || k === 'N') newGame();
          else return;
          e.preventDefault();
        });
        root.querySelectorAll('.mn-seg button').forEach(function (b) {
          b.addEventListener('click', function () { newGame(b.dataset.mode); gridEl.focus(); });
        });
        faceBtn.addEventListener('click', function () { newGame(); gridEl.focus(); });

        // ---------- ViKernel features ----------
        function boardText() {
          var lines = ['rows ' + R + ' cols ' + C];
          for (var r = 0; r < R; r++) {
            var s = '';
            for (var c = 0; c < C; c++) { var i = r * C + c; s += open[i] ? (mine[i] ? '#' : String(adj[i])) : (flag[i] ? 'F' : '#'); }
            lines.push(s);
          }
          return lines.join('\n'); // visible state only: mine positions are never sent
        }
        function clearHint() {
          if (hintIdx >= 0 && cells[hintIdx]) cells[hintIdx].classList.remove('hint');
          hintIdx = -1; hintLbl.textContent = '';
        }
        function tag(v) { var a = String(v || '').toUpperCase() === 'ALLOW'; return '<span class="mn-tag ' + (a ? 'allow' : 'deny') + '">' + (a ? 'ALLOW' : 'DENY') + '</span>'; }
        function renderAudit() {
          if (!AUDIT.length) { auditEl.innerHTML = '<li class="mn-empty">' + esc(T('mines_empty_audit')) + '</li>'; return; }
          auditEl.innerHTML = AUDIT.slice().reverse().map(function (a) {
            return '<li>' + tag(a.verdict) + '<span>' + esc(a.kind) + '</span><span class="k">' + (a.seq != null ? 'audit #' + esc(a.seq) : esc(a.time)) + '</span></li>';
          }).join('');
        }
        function addAudit(kind, verdict, seq) {
          AUDIT.push({ kind: kind, verdict: verdict, seq: seq, time: new Date().toLocaleTimeString() }); renderAudit();
        }
        function agentEmpty() { agentEl.innerHTML = '<div class="mn-empty">' + esc(T('mines_empty_agent')) + '</div>'; }
        function errMsg(e) { return e && e.message === 'rate' ? T('mines_rate') : T('mines_err') + ': ' + (e && e.message || 'unknown'); }
        function setBusy(btn, on, label) {
          btn.disabled = on; btn.innerHTML = on ? '<span class="mn-spin"></span>' + esc(label) : esc(label);
        }

        function renderEvents(evs) {
          var html = '';
          evs.forEach(function (ev) {
            if (ev.type === 'proposed') {
              html += '<div class="mn-ev"><b>Proposed</b> <code>' + esc(ev.fn) + '(' + esc(ev.args && ev.args.path ? ev.args.path : JSON.stringify(ev.args || {})) + ')</code>' +
                '<small>' + esc(ev.model || 'model') + (ev.model_ms != null ? ' · ' + esc(ev.model_ms) + ' ms' : '') + '</small></div>';
            } else if (ev.type === 'verdict') {
              html += '<div class="mn-ev">' + tag(ev.verdict) + (ev.audit_seq != null ? '<b>audit #' + esc(ev.audit_seq) + '</b>' : '') +
                '<small>rule ' + esc(ev.rule || '-') + (ev.reason ? ' · ' + esc(ev.reason) : '') + '</small></div>';
            } else if (ev.type === 'final') {
              html += '<div class="mn-ev"><b>Final</b><div>' + esc(ev.text) + '</div></div>';
            }
          });
          agentEl.innerHTML = html || '<div class="mn-empty">' + esc(T('mines_nohint')) + '</div>';
        }

        hintBtn.addEventListener('click', async function () {
          if (over) { toast(T('mines_over')); hintLbl.textContent = T('mines_over'); return; }
          clearHint(); setBusy(hintBtn, true, T('mines_hint'));
          agentEl.innerHTML = '<div class="mn-empty"><span class="mn-spin" style="display:inline-block;vertical-align:-2px;margin-right:6px"></span>' + esc(T('mines_thinking')) + '</div>';
          try {
            var res = await window.VK_API('game/hint', { session: window.VK_SID, board: boardText() });
            var evs = (res && res.events) || [];
            renderEvents(evs);
            var final = '';
            evs.forEach(function (ev) {
              if (ev.type === 'verdict') addAudit('hint: ' + (ev.fn || 'read_file'), ev.verdict, ev.audit_seq);
              if (ev.type === 'final') final = ev.text || '';
            });
            var m = /(\d+)\s*,\s*(\d+)/.exec(final);
            if (m) {
              var r = +m[1], c = +m[2], i = r * C + c;
              if (r < R && c < C && !open[i] && !flag[i] && !over) {
                hintIdx = i; cells[i].classList.add('hint'); setFocus(i, true);
                hintLbl.textContent = T('mines_suggest') + ' (row ' + r + ', col ' + c + ')'; return;
              }
            }
            hintLbl.textContent = T('mines_nohint');
          } catch (e) {
            agentEl.innerHTML = '<div class="mn-errbox">' + esc(errMsg(e)) + '</div><button class="mn-btn" data-a="retry" style="margin-top:6px;width:100%">' + esc(T('mines_retry')) + '</button>';
            var rb = agentEl.querySelector('[data-a=retry]'); rb.addEventListener('click', function () { hintBtn.click(); });
          } finally { setBusy(hintBtn, false, T('mines_hint')); }
        });

        var overlay = null;
        function closeOverlay() { if (overlay) { overlay.forEach(function (n) { n.remove(); }); overlay = null; gridEl.focus(); } }
        function showOverlay(cls, html) {
          closeOverlay();
          var bg = document.createElement('div'); bg.className = 'mn-over'; bg.addEventListener('click', closeOverlay);
          var box = document.createElement('div'); box.className = cls; box.setAttribute('role', 'dialog'); box.innerHTML = html;
          root.appendChild(bg); root.appendChild(box); overlay = [bg, box];
          var cb = box.querySelector('[data-a=close]'); if (cb) { cb.addEventListener('click', closeOverlay); cb.focus(); }
        }
        root.addEventListener('keydown', function (e) { if (e.key === 'Escape' && overlay) { closeOverlay(); e.stopPropagation(); } });

        cheatBtn.addEventListener('click', async function () {
          setBusy(cheatBtn, true, T('mines_cheat'));
          var ctl = null, done = false;
          try {
            var res = await Promise.race([
              window.VK_API('game/cheat', {}),
              new Promise(function (_, rej) { ctl = setTimeout(function () { if (!done) rej(new Error('timeout')); }, 8000); })
            ]);
            done = true; clearTimeout(ctl);
            var path = (res && res.args && res.args.path) || 'game/secret/mines.map';
            var v = String(res && res.verdict || 'DENY').toUpperCase();
            addAudit('cheat: ' + (res && res.fn || 'read_file'), v, res && res.audit_seq);
            showOverlay('mn-deny',
              '<div class="big">' + (v === 'ALLOW' ? 'ALLOW' : 'DENY') + '</div>' +
              '<p><b>DENY · rule ' + esc(res && res.rule || 'manifest') + ' · path ' + esc(path) + ' is outside the declared scope (game/visible/)</b></p>' +
              '<p>Call: <code>' + esc(res && res.fn || 'read_file') + '("' + esc(path) + '")</code>' + (res && res.app ? ' by <code>' + esc(res.app) + '</code>' : '') + '</p>' +
              (res && res.reason ? '<p>Reason (manifest rule): ' + esc(res.reason) + '</p>' : '') +
              (res && res.audit_seq != null ? '<p>Recorded as audit #' + esc(res.audit_seq) + '.</p>' : '') +
              '<p style="color:var(--mn-sub)">The app never saw the mine map. Your game is unchanged.</p>' +
              '<button class="mn-btn" data-a="close" style="width:100%">' + esc(T('mines_close')) + '</button>');
          } catch (e) {
            done = true; clearTimeout(ctl);
            showOverlay('mn-deny', '<div class="big" style="font-size:18px">' + esc(T('mines_err')) + '</div><p>' + esc(errMsg(e)) + '</p>' +
              '<button class="mn-btn" data-a="close" style="width:100%">' + esc(T('mines_close')) + '</button>');
          } finally { setBusy(cheatBtn, false, T('mines_cheat')); }
        });

        q('[data-a=about]').addEventListener('click', function () {
          showOverlay('mn-about',
            '<h3>Minesweeper for ViKernel Desktop</h3>' +
            '<p>Clear every safe cell without opening a mine. Numbers show how many mines touch a cell. The first click is always safe.</p>' +
            '<ul><li>Click or tap: reveal. Click a number with matching flags around it to open its neighbors.</li>' +
            '<li>Right-click, Shift+click or long-press: flag.</li><li>Keys: arrows move, Space or Enter reveals, F flags, N starts a new game.</li></ul>' +
            '<h3>Declared scope</h3>' +
            '<p>This is a VDR app verified by ViKernel. Its manifest declares one permission: read files under <code>game/visible/</code>. It makes no network calls of its own. ' +
            'The AI hint sends only the visible board (hidden cells as #, flags as F, revealed numbers). Mine positions stay inside this window and are never shared.</p>' +
            '<p>"Try to cheat" asks the kernel to read <code>game/secret/mines.map</code>. The path is outside the declared scope, so the kernel denies it and logs the attempt in the audit list.</p>' +
            '<p>AI hints come from Muse Spark and may be wrong. Hints are highlighted, never played for you.</p>' +
            '<button class="mn-btn" data-a="close">' + esc(T('mines_close')) + '</button>');
        });

        agentEmpty(); renderAudit(); newGame();
        setTimeout(fit, 0);
      }
    };
  };

  // ---------- install ----------
  window.VK_MINES_INSTALL = function () {
    lsSet('vk_mines_installed', '1');
    if (window.VK_HX_ADD) window.VK_HX_ADD(window.VK_MINES_APP);
  };
  // preinstalled for every visitor (shipped from the App Store as a VDR package)
  if (true) {
    var waited = 0;
    var poll = setInterval(function () {
      if (window.VK_HX_ADD) { clearInterval(poll); try { window.VK_HX_ADD(window.VK_MINES_APP); } catch (e) { /* ignore */ } }
      else if ((waited += 200) >= 10000) clearInterval(poll);
    }, 200);
  }
})();