export-only: merge-compatible filenames, no sync UI

review.html

@@ -70,9 +70,6 @@ footer .sp { flex: 1; }
 <footer>
   <span><kbd>←</kbd><kbd>→</kbd> prev/next mention · <kbd>k</kbd> keep · <kbd>d</kbd> drop · <kbd>space</kbd> skip · <kbd>[</kbd><kbd>]</kbd> slide · <kbd>-</kbd><kbd>+</kbd> size · <kbd>e</kbd> export</span>
   <span class="sp"></span><span id="count"></span>
-  <input id="hubtok" type="password" placeholder="HF token" title="write token for data-use-annotations; only needed on static hosting without the bundled server"
-    style="font:inherit;color:var(--fg);background:var(--bg);border:1px solid var(--line);border-radius:8px;padding:8px 10px;max-width:130px">
-  <button id="hfBtn" onclick="hfLogin()" title="log in to push rulings to the Hub as yourself">log in with HF</button>
   <button id="hubBtn" onclick="exp()">export</button>
 </footer>
 <script>
@@ -333,49 +330,12 @@ async function hubCommit(entry) {
     return 'Hub';
   } catch (e) { return 'this browser only (Hub sync failed)'; }
 }
-async function pushAll() {
-  // one read, merge every local ruling, one commit to your own file.
-  // use after pasting your token, or to retry anything saved locally only.
-  if (needName()) return;
-  const tok = ($('hubtok').value || '').trim() || SHAREDTOK || '';
-  if (!tok) { $('mine').textContent = 'push unavailable — no shared token configured'; return; }
-  const btn = $('pushBtn');
-  btn.disabled = true;
-  try {
-    const repo = 'rafmacalaba/data-use-annotations';
-    const me = who().replace(/[^a-zA-Z0-9-_]/g, '_');
-    const path = `rulings/${me}.jsonl`;
-    let rows = [];
-    try {
-      const r = await fetch(`https://huggingface.co/datasets/${repo}/resolve/main/${path}`);
-      if (r.ok) rows = (await r.text()).split('\n').filter(Boolean).map(JSON.parse);
-    } catch (e) {}
-    const seen = new Set(rows.map(x => x.queue + '|' + x.key));
-    let added = 0;
-    for (const [key, ruling] of Object.entries(R)) {
-      const q = RQ[key] || $('ds').value;
-      if (seen.has(q + '|' + key)) continue;
-      rows.push({key, ruling, queue: q, annotator: who(),
-        ts: new Date().toISOString().replace(/\.\d+Z$/, '+00:00')});
-      added++;
-    }
-    if (!added) { lastSaved = 'Hub (already in sync)'; lightMeta(); btn.disabled = false; return; }
-    const content = btoa(unescape(encodeURIComponent(rows.map(x => JSON.stringify(x)).join('\n') + '\n')));
-    const nd = [{key: 'header', value: {summary: `push ${added} rulings (${me}, web)`, description: ''}},
-      {key: 'file', value: {content, path, encoding: 'base64'}}].map(o => JSON.stringify(o)).join('\n');
-    const res = await fetch(`https://huggingface.co/api/datasets/${repo}/commit/main`, {
-      method: 'POST', headers: {Authorization: `Bearer ${tok}`, 'Content-Type': 'application/x-ndjson'}, body: nd});
-    if (!res.ok) throw new Error('hub ' + res.status);
-    lastSaved = `Hub (${added} pushed)`;
-  } catch (e) { lastSaved = 'push failed — still stored in this browser'; }
-  btn.disabled = false;
-  lightMeta();
-}
 function exp() {
-  const rows = Object.entries(R).map(([key, ruling]) => ({key, ruling, queue: RQ[key] || $('ds').value, annotator: who()}));
+  const rows = Object.entries(R).map(([key, ruling]) => ({key, ruling, queue: RQ[key] || $('ds').value, annotator: who(),
+    ts: new Date().toISOString().replace(/\.\d+Z$/, '+00:00')}));
   const a = document.createElement('a');
   a.href = URL.createObjectURL(new Blob([rows.map(r => JSON.stringify(r)).join('\n')], {type: 'application/json'}));
-  a.download = 'review-rulings.jsonl'; a.click();
+  a.download = `rulings-${who() || 'anon'}-${$('ds').value}.jsonl`; a.click();
 }
 document.addEventListener('keydown', e => {
   if (e.target.tagName === 'INPUT' || e.target.tagName === 'SELECT') return;