review.html: push-all button, no legacy

review.html

@@ -72,6 +72,7 @@ footer .sp { flex: 1; }
   <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="pushBtn" onclick="pushAll()">push annotations</button>
   <button id="hubBtn" onclick="exp()">export</button>
 </footer>
 <script>
@@ -81,6 +82,7 @@ const DS = { sample: './queue_annotate_sample.json', gold: './queue_review473.js
 const USERS = ['paddy', 'aj', 'aivin', 'rafael'];
 const LS = 'review_rulings';
 let R = JSON.parse(localStorage.getItem(LS) || '{}');
+let RQ = JSON.parse(localStorage.getItem('review_queues') || '{}');
 const $ = id => document.getElementById(id);
 const esc = s => String(s).replace(/[&<>]/g, c => ({'&':'&amp;','<':'&lt;','>':'&gt;'}[c]));
 const QD = document.documentElement;
@@ -242,7 +244,9 @@ async function rule(v) {
   if (needName()) return;
   const k = span().key;
   R[k] = v;
+  RQ[k] = $('ds').value;
   localStorage.setItem(LS, JSON.stringify(R));
+  localStorage.setItem('review_queues', JSON.stringify(RQ));
   paintGate();
   const entry = {key: k, ruling: v, queue: $('ds').value, annotator: who()};
   let saved = 'this browser only';
@@ -287,6 +291,50 @@ 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();
+  if (!tok) { $('mine').textContent = 'paste your HF write token first (footer field)'; $('hubtok').focus(); return; }
+  const btn = $('pushBtn');
+  btn.disabled = true;
+  try {
+    const repo = 'rafmacalaba/data-use-annotations';
+    const who = who().replace(/[^a-zA-Z0-9-_]/g, '_');
+    const path = `rulings/${who}.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 (${who}, 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 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();
+}
 document.addEventListener('keydown', e => {
   if (e.target.tagName === 'INPUT' || e.target.tagName === 'SELECT') return;
   if (e.key === 'ArrowRight') smove(1);
@@ -294,6 +342,7 @@ document.addEventListener('keydown', e => {
   else if (e.key === '[') { wc = Math.max(0, (wc ?? 0) - WSIZES[wi] / 2); render(); }
   else if (e.key === ']') { wc = (wc ?? 0) + WSIZES[wi] / 2; render(); }
   else if (e.key === '-' || e.key === '_') { wi = Math.max(0, wi - 1); render(); }
+  else if (e.key === '=' || e.key === '+') { wi = Math.min(WSIZES.length - 1, wi + 1); render(); }
   else if (e.key === 'k' || e.key === 'K') rule('DATA_MENTION');
   else if (e.key === 'd' || e.key === 'D') rule('NON_MENTION');
   else if (e.key === ' ') { e.preventDefault(); skip(); }