<script>
(function(){
  if (!window || !document) return;
  <?php if (user()): ?>
  // Dedupe por ID para evitar falsos positivos y re-emisiones
  window.__notifSeenIds = window.__notifSeenIds || new Set();
  function seen(id){ try{ id=String(id); if (window.__notifSeenIds.has(id)) return true; window.__notifSeenIds.add(id); return false; }catch(e){ return false; } }
  <?php endif; ?>
})();
</script>
