on 39441a5 help sign in
21 files changed+233−884
since splitsnapshots
unifiedsplit
.github/workflows/release.yml+8−23 host/diagonal-host.py+30−49 host/tests/golden/labels.json−102 host/tests/test_host.py−56 host/tests/test_prompts_validate.py+7−7 host/validate.py+14−92 scripts/install-manifest.sh+2−11 src/background/engine.ts+1−3 src/background/host.ts−3 src/background/index.ts+10−27 src/background/naming.ts+25−77 src/background/organize.ts+107−194 src/background/state.ts−3 src/background/tidy.ts+1−1 src/shared/health.ts+2−4 src/shared/label.ts+9−42 test/auto.test.ts+2−84 test/naming.test.ts+2−72 test/organize.test.ts−17 test/url.test.ts+13−16 tsconfig.json−1
.github/workflows/release.yml+8−23
@@ -9,11 +9,8 @@ on:
99permissions:
1010 contents: write
1111
12−# One release at a time, in push order: an older run finishing last must not become the latest release,
13−# which is what the Homebrew cask downloads.
1412concurrency:
15− group: release
16− cancel-in-progress: false
13+ group: release-${{ github.sha }}
1714
1815jobs:
1916 release:
@@ -35,23 +32,8 @@ jobs:
3532
3633 - name: Version from commit time
3734 id: version
38− env:
39− GH_TOKEN: ${{ github.token }}
4035 run: |
41− # The commit's minute, or the next free minute when another commit already released in it. A re-run
42− # for a commit that already released publishes nothing: a rebuilt zip has new bytes, which would
43− # break the sha256 the tap already has, and users on that version would never get the new one.
44− t=$(git log -1 --format=%ct "$GITHUB_SHA")
45− for _ in $(seq 1 30); do
46− version=$(date -u -d "@$t" +%Y.%m.%d.%H%M)
47− target=$(gh release view "$version" --json targetCommitish -q .targetCommitish 2>/dev/null || true)
48− [ -z "$target" ] && break
49− if [ "$target" = "$GITHUB_SHA" ]; then
50− echo "published=true" >> "$GITHUB_OUTPUT"
51− break
52− fi
53− t=$((t + 60))
54− done
36+ version=$(TZ=UTC git log -1 --format=%cd --date=format-local:%Y.%m.%d.%H%M "$GITHUB_SHA")
5537 echo "version=$version" >> "$GITHUB_OUTPUT"
5638 echo "Version $version"
5739
@@ -72,19 +54,22 @@ jobs:
7254 npm run zip:store
7355
7456 - name: Publish release
75− if: steps.version.outputs.published != 'true'
7657 env:
7758 GH_TOKEN: ${{ github.token }}
7859 VERSION: ${{ steps.version.outputs.version }}
7960 run: |
8061 asset="diagonal-extension-${VERSION}.zip"
8162 notes="Built from ${GITHUB_SHA::7}. Install with: brew install iko-soy/tap/diagonal. Or by hand: unzip, load the folder at brave://extensions (Developer mode → Load unpacked), then install the native host once from Terminal: bash <that folder>/install-host.command"
82− gh release create "$VERSION" "$asset" diagonal-extension.zip diagonal-store.zip --target "$GITHUB_SHA" --title "Diagonal $VERSION" --notes "$notes" --latest
63+ if gh release view "$VERSION" >/dev/null 2>&1; then
64+ # Two commits in the same minute share a version: refresh the asset on the existing release.
65+ gh release upload "$VERSION" "$asset" diagonal-extension.zip diagonal-store.zip --clobber
66+ else
67+ gh release create "$VERSION" "$asset" diagonal-extension.zip diagonal-store.zip --target "$GITHUB_SHA" --title "Diagonal $VERSION" --notes "$notes" --latest
68+ fi
8369
8470 # Uploads the release to the Chrome Web Store and submits it for review, once the listing exists and
8571 # its API credentials are set as repository secrets (docs/store/listing.md). Skipped until then.
8672 - name: Upload to the Chrome Web Store
87− if: steps.version.outputs.published != 'true'
8873 env:
8974 CWS_EXTENSION_ID: ${{ secrets.CWS_EXTENSION_ID }}
9075 CWS_CLIENT_ID: ${{ secrets.CWS_CLIENT_ID }}
host/diagonal-host.py+30−49
@@ -206,7 +206,7 @@ def count_tokens(prompt):
206206 """fm's exact count (under 0.1 s), or None when it can't give one."""
207207 try:
208208 p = subprocess.run([FM, "count-tokens", "-q", "-i", prompt.instructions], input=prompt.text,
209− capture_output=True, text=True, encoding="utf-8", errors="replace", timeout=10, env=fm_env())
209+ capture_output=True, text=True, timeout=10, env=fm_env())
210210 except (OSError, subprocess.TimeoutExpired):
211211 return None
212212 out = p.stdout.strip()
@@ -255,41 +255,28 @@ PERMISSIVE = ["--guardrails", "permissive-content-transformations"]
255255USAGE_EXIT = 64
256256
257257
258−# Below this much time left in a request, a second fm call (the permissive retry, naming one more new
259−# group) is not started: it would only be cut off.
260−MIN_CALL_S = 5.0
261−
262−
263−def run_fm(prompt, schema, opts):
264− """`prompt` is a prompts.Prompt: its fixed rules go to -i, the tab text on stdin. Every call in one
265− request shares its deadline, so the extension's guard (its timeout plus 10 s) is a real upper bound."""
258+def run_fm(prompt, schema, model, timeout_s):
259+ """`prompt` is a prompts.Prompt: its fixed rules go to -i, the tab text on stdin."""
266260 try:
267− return _run_fm(prompt, schema, opts, [])
261+ return _run_fm(prompt, schema, model, timeout_s, [])
268262 except Fail as f:
269− if f.code != "GUARDRAIL" or time_left(opts) < MIN_CALL_S:
263+ if f.code != "GUARDRAIL":
270264 raise
271− return _run_fm(prompt, schema, opts, PERMISSIVE)
272−
273−
274−def time_left(opts):
275− return opts["deadline"] - time.time()
265+ return _run_fm(prompt, schema, model, timeout_s, PERMISSIVE)
276266
277267
278−def _run_fm(prompt, schema, opts, extra):
268+def _run_fm(prompt, schema, model, timeout_s, extra):
279269 # The tab text goes on stdin (fm reads it there when no prompt argument is given), so it never shows up
280270 # in the process list. fm has no timeout of its own; subprocess enforces ours.
281271 # --greedy: the same tabs get the same topics and name on every run (measured on macOS 27: five runs,
282− # one answer), so groups don't get renamed or reshuffled each time Diagonal looks at them. The strict
283− # retry after an unusable answer samples instead: greedy would give the same answer again.
284− greedy = [] if opts.get("strict") else ["--greedy"]
285− args = [FM, "respond", "--model", opts["model"], "--no-stream", *greedy, "--schema", schema, "-i", prompt.instructions, *extra]
286− timeout_s = max(1.0, time_left(opts))
272+ # one answer), so groups don't get renamed or reshuffled each time Diagonal looks at them.
273+ args = [FM, "respond", "--model", model, "--no-stream", "--greedy", "--schema", schema, "-i", prompt.instructions, *extra]
287274 try:
288− p = subprocess.run(args, input=prompt.text, capture_output=True, text=True, encoding="utf-8", errors="replace", timeout=timeout_s, env=fm_env())
275+ p = subprocess.run(args, input=prompt.text, capture_output=True, text=True, timeout=timeout_s, env=fm_env())
289276 except FileNotFoundError:
290277 raise Fail("MODEL_UNAVAILABLE", f"fm not found at {FM} — requires macOS 27")
291278 except subprocess.TimeoutExpired:
292− raise Fail("TIMEOUT", f"fm exceeded {opts['timeout_s']:g}s", retryable=True)
279+ raise Fail("TIMEOUT", f"fm exceeded {timeout_s:g}s", retryable=True)
293280 if p.returncode != 0:
294281 code = classify(p.stderr, p.returncode)
295282 if code == "LICENSE_REQUIRED":
@@ -308,11 +295,11 @@ def organize_mode():
308295
309296def op_ping(_payload, _opts):
310297 if not os.path.exists(FM):
311− return {"hostVersion": HOST_VERSION, "fmPath": FM, "fmAvailable": False, "licenseRequired": False,
298+ return {"hostVersion": HOST_VERSION, "fmPath": FM, "fmAvailable": False,
312299 "fmMessage": f"fm not found at {FM} — requires macOS 27", "schemasOk": False, "organizeMode": organize_mode()}
313300 license_required = False
314301 try:
315− avail = subprocess.run([FM, "available", "--model", "system"], capture_output=True, text=True, encoding="utf-8", errors="replace", timeout=15, env=fm_env())
302+ avail = subprocess.run([FM, "available", "--model", "system"], capture_output=True, text=True, timeout=15, env=fm_env())
316303 ok, msg = avail.returncode == 0, (avail.stdout + avail.stderr).strip()[:300]
317304 if not ok and license_needed(avail.returncode, avail.stdout + avail.stderr):
318305 license_required, msg = True, LICENSE_MESSAGE
@@ -380,7 +367,7 @@ def op_name(payload, opts):
380367 raise Fail("SCHEMA_MISSING", f"fm could not write {os.path.join(SCHEMAS, 'name.json')}")
381368 prompt = fit(lambda cap: prompts.build_name_prompt(payload, strict=opts.get("strict", False), desc_cap=cap), len(payload["items"]))
382369 try:
383− out = run_fm(prompt, schema, opts)
370+ out = run_fm(prompt, schema, opts["model"], opts["timeout_s"])
384371 except Fail as f:
385372 raise _fit_overflow(f, len(payload["items"]))
386373 try:
@@ -396,7 +383,7 @@ def op_organize(payload, opts):
396383 raise Fail("SCHEMA_MISSING", f"fm could not write {os.path.join(SCHEMAS, 'topics.json')}")
397384 prompt = fit(lambda cap: prompts.build_topics_prompt(payload, strict=opts.get("strict", False), desc_cap=cap), len(payload["items"]))
398385 try:
399− out = run_fm(prompt, schema, opts)
386+ out = run_fm(prompt, schema, opts["model"], opts["timeout_s"])
400387 except Fail as f:
401388 raise _fit_overflow(f, len(payload["items"]))
402389 _, owner = prompts.topic_items(payload)
@@ -406,31 +393,29 @@ def op_organize(payload, opts):
406393 raise Fail("BAD_MODEL_OUTPUT", str(e), retryable=True, raw=json.dumps(out, ensure_ascii=False)[:2000])
407394 chars = prompts.size(prompt)
408395 if payload.get("nameGroups") is not False: # the extension's fit check only needs the topics
409− chars += name_new_groups(result, payload, opts)
396+ chars += name_new_groups(result, payload, opts, time.time() + opts["timeout_s"])
410397 return result, chars, "topics"
411398
412399
413−def name_new_groups(result, payload, opts):
400+def name_new_groups(result, payload, opts, deadline):
414401 """Title each new group with the name op (well under a second each on fm), so groups appear named.
415− A group that fails, runs past the request's deadline, or gets a title another group in the window
416− already has keeps "" and the extension's naming loop, which checks every sibling, names it."""
417− taken = [t for t in [g.get("title") for g in payload.get("existingGroups") or []] + list(payload.get("siblingTitles") or []) if t]
402+ A group that fails, or runs past the deadline, keeps "" and the extension's naming loop names it."""
403+ taken = [g.get("title") for g in payload.get("existingGroups") or [] if g.get("title")]
418404 chars = 0
419405 for g in result["groups"]:
420406 if "existing" in g or g.get("title"):
421407 continue
422− if time_left(opts) < MIN_CALL_S:
408+ left = deadline - time.time()
409+ if left < 5:
423410 break
424411 sub = {"items": [dict(payload["items"][i], i=n) for n, i in enumerate(g["members"])], "siblingTitles": taken[:20]}
425412 try:
426− named, n, _ = op_name(sub, {**opts, "strict": False})
413+ named, n, _ = op_name(sub, {**opts, "timeout_s": min(opts["timeout_s"], left)})
427414 except Fail:
428415 continue
429− chars += n
430− if any(validate.same_label(named["title"], t) for t in taken):
431− continue
432416 g["title"], g["emoji"] = named["title"], named["emoji"]
433417 taken.append(named["title"])
418+ chars += n
434419 return chars
435420
436421
@@ -444,8 +429,8 @@ def handle(req):
444429 raw_opts = req.get("opts") or {}
445430 timeout_ms = raw_opts.get("timeoutMs", 45000)
446431 timeout_ms = timeout_ms if isinstance(timeout_ms, (int, float)) and not isinstance(timeout_ms, bool) else 45000
447− timeout_s = max(5.0, min(120.0, timeout_ms / 1000))
448− opts = {"model": "system", "strict": bool(raw_opts.get("strict")), "timeout_s": timeout_s, "deadline": t0 + timeout_s}
432+ opts = {"model": "system", "strict": bool(raw_opts.get("strict")),
433+ "timeout_s": max(5.0, min(120.0, timeout_ms / 1000))}
449434 op = req["op"]
450435 if op == "ping":
451436 return {"v": 1, "id": rid, "ok": True, "result": op_ping(req["payload"], opts)}
@@ -499,7 +484,7 @@ def install_schemas():
499484 if "{%s}" % key not in args:
500485 continue
501486 try:
502− p = subprocess.run([FM, *sub_args], capture_output=True, text=True, encoding="utf-8", errors="replace", timeout=30, env=fm_env())
487+ p = subprocess.run([FM, *sub_args], capture_output=True, text=True, timeout=30, env=fm_env())
503488 except (FileNotFoundError, subprocess.TimeoutExpired) as e:
504489 print(f" {name}: fm failed ({e})", file=sys.stderr)
505490 return "error"
@@ -511,7 +496,7 @@ def install_schemas():
511496 subs["{%s}" % key] = p.stdout.strip()
512497 args = [subs.get(a, a) for a in args]
513498 try:
514− p = subprocess.run([FM, *args], capture_output=True, text=True, encoding="utf-8", errors="replace", timeout=30, env=fm_env())
499+ p = subprocess.run([FM, *args], capture_output=True, text=True, timeout=30, env=fm_env())
515500 except (FileNotFoundError, subprocess.TimeoutExpired) as e:
516501 print(f" {name}: fm failed ({e})", file=sys.stderr)
517502 return "error"
@@ -568,16 +553,14 @@ def selftest():
568553
569554 ping = op_ping({}, {})
570555 check("fm found", os.path.exists(FM), FM)
571− if not os.path.exists(FM):
572− return 1 # nothing else can work without it
573− if ping.get("licenseRequired"):
556+ if ping["licenseRequired"]:
574557 check("fm terms accepted", False, f"run: {LICENSE_FIX}")
575558 else:
576559 check("model available (fm available --model system)", ping["fmAvailable"], ping["fmMessage"])
577560 for name in SCHEMA_COMMANDS:
578561 path = os.path.join(SCHEMAS, name)
579562 readable = os.path.isfile(path) and os.path.getsize(path) > 0
580− hint = f"written on their own after {LICENSE_FIX}" if ping.get("licenseRequired") else "missing: run diagonal-host --install-schemas"
563+ hint = f"written on their own after {LICENSE_FIX}" if ping["licenseRequired"] else "missing: run diagonal-host --install-schemas"
581564 check(f"schema {name}", readable, path if readable else hint)
582565 check("allowed origin pinned", "<" not in ALLOWED_ORIGIN, ALLOWED_ORIGIN)
583566 if ping["fmAvailable"] and schema_path("name.json"):
@@ -687,9 +670,7 @@ def register(host_path):
687670 f.write("\n".join(written) + "\n")
688671 except OSError:
689672 pass
690− # One browser that could not be written (a locked folder, a stale profile) does not undo the others:
691− # the install goes on and the ones that failed were named above.
692− return 0 if len(dirs) - failures > 0 else 1
673+ return 1 if failures else 0
693674
694675
695676def unregister():
host/tests/golden/labels.jsondeleted−102
@@ -1,102 +0,0 @@
1−[
2− [
3− "\"Rust async runtimes.\"",
4− "Rust async runtimes"
5− ],
6− [
7− "rust async runtimes",
8− "Rust async runtimes"
9− ],
10− [
11− "Rust tabs and docs",
12− "Rust and docs"
13− ],
14− [
15− "One two three four five six",
16− "One two three four"
17− ],
18− [
19− "Machine learning research papers reading list",
20− "Machine learning research"
21− ],
22− [
23− "iPhone camera tips",
24− "iPhone camera tips"
25− ],
26− [
27− "macOS updates",
28− "macOS updates"
29− ],
30− [
31− "Children's books",
32− "Children's books"
33− ],
34− [
35− "'Quoted' title words",
36− "Quoted title words"
37− ],
38− [
39− "Planning a trip to Japan",
40− "Planning a trip"
41− ],
42− [
43− "Recipes for",
44− null
45− ],
46− [
47− "Python教程",
48− "Python教程"
49− ],
50− [
51− "React 教程",
52− "React 教程"
53− ],
54− [
55− "日本旅行",
56− "日本旅行"
57− ],
58− [
59− "京都の旅行計画",
60− "京都の旅行計画"
61− ],
62− [
63− "日本旅行。",
64− "日本旅行"
65− ],
66− [
67− "这是一个非常非常非常非常非常长的标题名字",
68− "这是一个非常非常非常非常非常长的"
69− ],
70− [
71− "Kubernetes 集群部署与运维指南 最佳实践",
72− "Kubernetes 集群部署与运维指南"
73− ],
74− [
75− "ทริปญี่ปุ่น",
76− "ทริปญี่ปุ่น"
77− ],
78− [
79− "日",
80− null
81− ],
82− [
83− "Tabs",
84− null
85− ],
86− [
87− "Misc stuff",
88− null
89− ],
90− [
91− "",
92− null
93− ],
94− [
95− "x",
96− null
97− ],
98− [
99− "Supercalifragilisticexpialidocious extraordinarily",
100− null
101− ]
102−]
host/tests/test_host.py−56
@@ -287,19 +287,6 @@ class ErrorCodes(HostCase):
287287 self.assertIn("Reply with only the object", argv[argv.index("-i") + 1])
288288
289289
290− def test_strict_retry_samples_instead_of_repeating_the_greedy_answer(self):
291− self.respond(json.dumps({"title": "Rust async", "emoji": "🦀"}))
292− self.call("name", {"items": ITEMS3}, strict=True)
293− self.assertNotIn("--greedy", [a for a in self.argv_log() if a[0] == "respond"][0])
294−
295− def test_permissive_retry_shares_the_request_deadline(self):
296− # The first call uses up the request's time: no second call runs past what the extension waits for.
297− self.control({"respond_queue": [{"stderr": "Error: The model's safety guardrails were triggered.\n", "exit": 1, "sleep": 2.5}]})
298− r = self.call("name", {"items": ITEMS3}, timeoutMs=5000)
299− self.assertEqual(r["error"]["code"], "GUARDRAIL")
300− self.assertEqual(len([a for a in self.argv_log() if a[0] == "respond"]), 1)
301−
302−
303290class Organize(HostCase):
304291 ITEMS = ITEMS3 + [
305292 {"title": "Hotels in Lisbon", "url": "https://booking.com/lisbon"},
@@ -344,33 +331,6 @@ class Organize(HostCase):
344331 self.assertIn("Tokio", name_calls[0])
345332 self.assertIn('"Lisbon trip"', name_calls[0]) # existing titles are off limits
346333
347− def test_a_new_group_named_like_another_group_is_left_to_the_naming_loop(self):
348− self.control({"respond_queue": [
349− {"stdout": json.dumps({"tabs": [{"index": i, "topic": "Programming"} for i in (0, 1, 2)]})},
350− {"stdout": json.dumps({"title": "Rust async", "emoji": "🦀"})},
351− ]})
352− r = self.call("organize", {"items": self.ITEMS, "siblingTitles": ["rust async"]})
353− self.assertEqual(r["result"]["groups"][0]["title"], "")
354− self.assertIn('"rust async"', self.stdin_log()[1]) # the name call was told, too
355−
356− def test_a_topic_two_groups_share_equally_joins_neither_unless_the_words_say_which(self):
357− existing = [{"g": 0, "title": "Lisbon trip", "samples": ["Flights to Lisbon"]},
358− {"g": 1, "title": "Porto trip", "samples": ["Porto restaurants"]}]
359− # Examples 8 (group 0) and 9 (group 1) both got Travel: a tie.
360− self.topics([(3, "Travel"), (4, "Travel"), (8, "Travel"), (9, "Travel")])
361− r = self.call("organize", {"items": self.ITEMS, "existingGroups": existing})
362− self.assertEqual([g.get("existing") for g in r["result"]["groups"]], [0]) # "Lisbon" is in both tabs' titles
363− items = [{"title": "Beach day", "url": "https://a.example/"}, {"title": "City walk", "url": "https://b.example/"}]
364− self.topics([(0, "Travel"), (1, "Travel"), (2, "Travel"), (3, "Travel")])
365− r = self.call("organize", {"items": items, "existingGroups": existing})
366− self.assertNotIn("existing", r["result"]["groups"][0])
367−
368− def test_only_vague_topics_leave_every_tab_loose(self):
369− self.topics([(0, "Other"), (1, "Misc"), (2, "General")])
370− r = self.call("organize", {"items": ITEMS3})
371− self.assertTrue(r["ok"], r)
372− self.assertEqual(r["result"], {"groups": [], "leftovers": [0, 1, 2]})
373−
374334 def test_two_topics_joining_one_group_make_one_join(self):
375335 # The group's two example tabs (8 and 9) got different topics; both topics still join group 0 once.
376336 self.topics([(3, "Travel"), (4, "Hotels"), (8, "Travel"), (9, "Hotels"), (0, "Programming")])
@@ -527,15 +487,6 @@ class Register(HostCase):
527487 self.assertEqual(p.returncode, 1)
528488 self.assertIn("missing or not executable", p.stderr)
529489
530− def test_one_browser_that_cannot_be_written_does_not_fail_the_rest(self):
531− chrome = self.make_profile("Google/Chrome")
532− brave = self.make_profile("BraveSoftware/Brave-Browser")
533− open(os.path.join(brave, "NativeMessagingHosts"), "w").close() # a file where the folder should be
534− p = self.run_copy("--register", self.host_copy)
535− self.assertEqual(p.returncode, 0, p.stderr)
536− self.assertIn("BraveSoftware/Brave-Browser: could not write", p.stderr)
537− self.assertTrue(os.path.exists(os.path.join(chrome, "NativeMessagingHosts", "io.diagonal.host.json")))
538−
539490 def test_no_browser_found(self):
540491 os.makedirs(self.env["DIAGONAL_APP_SUPPORT"])
541492 p = self.run_copy("--register", self.host_copy)
@@ -557,13 +508,6 @@ class SelfTest(HostCase):
557508 self.assertEqual(code, 1)
558509 self.assertIn("FAIL model available", p.stdout.decode())
559510
560− def test_selftest_without_fm_says_so_and_stops(self):
561− self.env["DIAGONAL_FM"] = os.path.join(self.tmp, "no-such-fm")
562− code, _, p = self.run_host(args=["--selftest"])
563− self.assertEqual(code, 1)
564− self.assertIn("FAIL fm found", p.stdout.decode())
565− self.assertNotIn("Traceback", p.stderr.decode())
566−
567511 def test_selftest_names_the_license_fix(self):
568512 self.control({"license": True})
569513 code, _, p = self.run_host(args=["--selftest"])
host/tests/test_prompts_validate.py+7−7
@@ -1,4 +1,3 @@
1−import json
21import os
32import unittest
43
@@ -74,12 +73,13 @@ class ValidateName(unittest.TestCase):
7473 with self.assertRaises(validate.ValidationError, msg=bad):
7574 self.v(bad)
7675
77− def test_same_labels_as_the_extension(self):
78− # test/url.test.ts runs these cases against src/shared/label.ts.
79− with open(os.path.join(GOLDEN, "labels.json"), encoding="utf-8") as f:
80− cases = json.load(f)
81− for raw, fixed in cases:
82− self.assertEqual(validate.repair_label(raw), fixed, msg=raw)
76+ def test_chinese_and_japanese_titles_need_no_spaces(self):
77+ self.assertEqual(self.v("日本旅行")["title"], "日本旅行")
78+ self.assertEqual(self.v("京都の旅行計画")["title"], "京都の旅行計画")
79+ self.assertEqual(self.v("React 教程")["title"], "React 教程")
80+ for bad in ("日", "这是一个非常非常非常非常非常长的标题名字"):
81+ with self.assertRaises(validate.ValidationError, msg=bad):
82+ self.v(bad)
8383
8484 def test_emoji_default(self):
8585 self.assertEqual(self.v("Rust async", "not-an-emoji")["emoji"], "🧭")
host/validate.py+14−92
@@ -7,6 +7,7 @@ from urllib.parse import urlsplit
77HERE = os.path.dirname(os.path.realpath(__file__))
88COLORS = ["grey", "blue", "red", "yellow", "green", "pink", "purple", "cyan", "orange"]
99BANNED_WORDS = {"tab", "tabs", "group", "groups", "misc", "various", "stuff"}
10+QUOTES = "\"'“”‘’«»`"
1011TRAILING_PUNCT = re.compile(r"[\s.,;:!?…\-–—。、,!?:;]+$")
1112
1213
@@ -88,82 +89,39 @@ def default_emoji(items):
8889 return CATEGORIES[category_for_host(majority)][0]
8990
9091
91−# Quotes go; an apostrophe between two letters ("Children's", "Rock'n'roll") is part of the word and stays.
92−_QUOTE = re.compile(r"(?<![^\W\d_])['’]|['’](?![^\W\d_])|[\"“”‘«»`]")
93−# A label cut short should not end mid-phrase: "Planning a trip to" reads as "Planning a trip".
94−DANGLING = {"a", "an", "the", "to", "of", "for", "in", "on", "at", "by", "and", "or", "with", "from"}
95−
96−
9792def repair_label(raw):
98− """Trim, drop quotes, banned words and trailing punctuation, cap at 4 words / 28 chars (16 wide characters
99− for no-space scripts), drop a dangling "to"/"of", capitalise. Kept in step with src/shared/label.ts."""
93+ """Trim, drop quotes, banned words and trailing punctuation, cap at 4 words / 28 chars, capitalise."""
10094 if not isinstance(raw, str):
10195 return None
102− s = _QUOTE.sub("", raw)
96+ s = raw.translate({ord(q): None for q in QUOTES})
10397 s = TRAILING_PUNCT.sub("", " ".join(s.split()))
10498 words = [w for w in s.split(" ") if w and re.sub(r"[^\w]", "", w.lower()) not in BANNED_WORDS]
10599 words = words[:4]
106− if _no_space(" ".join(words)):
107− while len(words) > 1 and _width(" ".join(words)) > 16:
108− words.pop()
109− if _width(" ".join(words)) > 16:
110− words = [_cut_to_width(" ".join(words), 16)]
111− else:
112− while len(words) > 2 and len(" ".join(words)) > 28:
113− words.pop()
114− while len(words) > 1 and words[-1].lower() in DANGLING:
100+ while len(words) > 2 and len(" ".join(words)) > 28:
115101 words.pop()
116102 label = TRAILING_PUNCT.sub("", " ".join(words))
117103 if not label:
118104 return None
119− # "rust async" becomes "Rust async"; "iPhone tips" and "macOS updates" keep the brand's own casing.
120− if not any(c.isupper() for c in words[0][1:]):
121− label = label[0].upper() + label[1:]
105+ label = label[0].upper() + label[1:]
122106 return label if is_valid_label(label) else None
123107
124108
125−# Chinese, Japanese, Korean, Thai, Lao, Khmer and Myanmar titles don't put spaces between words, so a label
126−# with any of their characters ("Python教程") is checked by width instead of word count. Each such character
127−# is about as wide as two Latin letters on the tab strip.
128−NO_SPACE = re.compile(r"[\u0e00-\u0eff\u1000-\u109f\u1780-\u17ff\u3040-\u30ff\u3400-\u4dbf\u4e00-\u9fff\uac00-\ud7af\uf900-\ufaff]")
129−# Chinese, Japanese and Korean, for the host's token estimate.
109+# Chinese and Japanese titles have no spaces between words, so they're checked by length instead.
130110CJK = re.compile(r"[\u3040-\u30ff\u3400-\u4dbf\u4e00-\u9fff\uac00-\ud7af\uf900-\ufaff]")
131111
132112
133−def _no_space(label):
134− return bool(NO_SPACE.search(label))
135−
136−
137−def _width(label):
138− wide = len(NO_SPACE.findall(label))
139− return wide + (len(label) - wide) / 2
140−
141−
142−def _cut_to_width(label, most):
143− out = ""
144− for ch in label:
145− if _width(out + ch) > most:
146− break
147− out += ch
148− return out.strip()
149−
150−
151113def is_valid_label(label):
152114 words = label.split()
153− wide = _no_space(label)
115+ cjk = len(CJK.findall(label)) * 2 > len(label.replace(" ", ""))
154116 return (
155− (2 <= len(label) <= 28 and _width(label) <= 16 if wide else 3 <= len(label) <= 28)
156− and (1 <= len(words) <= 4 if wide else 2 <= len(words) <= 4)
157− and not _QUOTE.search(label)
117+ (2 <= len(label) <= 16 if cjk else 3 <= len(label) <= 28)
118+ and (1 <= len(words) <= 4 if cjk else 2 <= len(words) <= 4)
119+ and not any(q in label for q in QUOTES)
158120 and not TRAILING_PUNCT.search(label)
159121 and not any(w.lower() in BANNED_WORDS for w in words)
160122 )
161123
162124
163−def same_label(a, b):
164− return bool(a) and bool(b) and " ".join(a.split()).casefold() == " ".join(b.split()).casefold()
165−
166−
167125def validate_name(out, payload):
168126 if not isinstance(out, dict):
169127 raise ValidationError("reply is not an object")
@@ -269,52 +227,16 @@ def organize_from_topics(out, payload, owner):
269227 votes = group_votes.setdefault(topic, {})
270228 votes[owner[i]] = votes.get(owner[i], 0) + 1
271229 if not tab_topic:
272− if not any(isinstance(t, dict) and _in_range(t.get("index"), n_items) for t in out["tabs"]):
273− raise ValidationError("no tab got a topic")
274− # Every tab got only a vague topic ("Other", "Misc"): the model found nothing in common.
275− return validate_organize({"groups": [], "leftovers": []}, payload)
230+ raise ValidationError("no tab got a topic")
276231 clusters = {}
277232 for i in sorted(tab_topic):
278233 clusters.setdefault(tab_topic[i], []).append(i)
279234 groups = []
280235 for topic, members in clusters.items():
281− g = _winner(group_votes.get(topic) or {}, members, payload)
282− if g is not None:
236+ votes = group_votes.get(topic)
237+ if votes:
238+ g = max(sorted(votes), key=lambda k: votes[k])
283239 groups.append({"existing": g, "members": members})
284240 else:
285241 groups.append({"title": "", "emoji": "", "color": "", "members": members})
286242 return validate_organize({"groups": groups, "leftovers": []}, payload)
287−
288−
289−def _in_range(i, n):
290− return isinstance(i, int) and not isinstance(i, bool) and 0 <= i < n
291−
292−
293−_WORD = re.compile(r"\w{3,}")
294−
295−
296−def _words(text):
297− return {w.casefold() for w in _WORD.findall(text or "")}
298−
299−
300−def _winner(votes, members, payload):
301− """The existing group a topic's tabs join: the one whose example tabs share it most. When two groups tie,
302− the one whose title and examples share more words with these tabs; when that ties too, none (the tabs
303− form a group of their own, or stay loose), rather than whichever group happens to be listed first."""
304− if not votes:
305− return None
306− top = max(votes.values())
307− tied = sorted(k for k, v in votes.items() if v == top)
308− if len(tied) == 1:
309− return tied[0]
310− tab_words = set().union(*(_words(payload["items"][i].get("title")) for i in members))
311− groups = {g["g"]: g for g in payload.get("existingGroups") or []}
312−
313− def overlap(k):
314− g = groups.get(k) or {}
315− return len(tab_words & _words(" ".join([g.get("title") or "", *(g.get("samples") or [])])))
316−
317− scores = {k: overlap(k) for k in tied}
318− best = max(scores.values())
319− leaders = [k for k in tied if scores[k] == best]
320− return leaders[0] if len(leaders) == 1 and best > 0 else None
scripts/install-manifest.sh+2−11
@@ -53,16 +53,7 @@ echo "host: $BIN -> $SHARE/diagonal-host.py"
5353"$BIN" --version >/dev/null # the host must start with the python3 it was pinned to
5454# Writes the manifest into every Chromium browser's NativeMessagingHosts folder (Chrome, Brave and
5555# Brave Origin, Edge, Vivaldi, Arc, Opera, …) and checks each one the way the browser reads it.
56−# A browser that was never opened has no folder yet: the rest of the install still runs, and the end
57−# says how to finish.
58−register_rc=0
59−"$BIN" --register "$BIN" || register_rc=$?
60−register_note() {
61− if [[ $register_rc -ne 0 ]]; then
62− echo "No browser could be set up for Diagonal yet. Open your browser once, then run: bash '$HERE/$(basename "$0")'"
63− fi
64−}
65−trap register_note EXIT
56+"$BIN" --register "$BIN"
6657
6758FM="${DIAGONAL_FM:-/usr/bin/fm}"
6859
@@ -98,7 +89,7 @@ fi
9889# Diagonal also writes these on first use; doing it now lets the self-test below cover the model.
9990schemas_out=$("$BIN" --install-schemas 2>&1) || true
10091if selftest_out=$("$BIN" --selftest 2>&1); then
101− [[ $register_rc -ne 0 ]] || echo "Diagonal's host is ready."
92+ echo "Diagonal's host is ready."
10293else
10394 echo "Diagonal's host is installed, but its self-test found a problem:"
10495 echo "$schemas_out"
src/background/engine.ts+1−3
@@ -1,7 +1,6 @@
11import type { GroupColor } from "../shared/colors";
22import { isColor } from "../shared/colors";
33import { colorFor, isInternalUrl, parse, provisionalTitle, trimText } from "../shared/url";
4−import { titleKey } from "../shared/label";
54import type { Settings } from "./settings";
65import { markDirty, newGroupRecord, type GroupOrigin, type GroupRecord, type RemovedGroup, type State, type TabRecord } from "./state";
76
@@ -114,7 +113,7 @@ const handlers: Handlers = {
114113 else loose(rec, ctx, out);
115114 return;
116115 }
117− const titleChanged = titleKey(before.title) !== titleKey(rec.title); // not an unread count ticking over
116+ const titleChanged = before.title !== rec.title;
118117 const pathChanged = pathKey(before.url) !== pathKey(rec.url);
119118 if (pathChanged) rec.keepLoose = undefined; // a new page is fair game again
120119 if (before.groupId !== rec.groupId) {
@@ -424,7 +423,6 @@ function upsertTab(s: State, tab: TabSnapshot, now: number): TabRecord {
424423 if (before?.parkedFrom) rec.parkedFrom = before.parkedFrom;
425424 if (before?.parkedAt) rec.parkedAt = before.parkedAt;
426425 if (before?.organizedKey) rec.organizedKey = before.organizedKey;
427− if (before?.organizeRefused) rec.organizeRefused = before.organizeRefused;
428426 if (before?.handPlaced) rec.handPlaced = true;
429427 if (before?.fitPending) rec.fitPending = true;
430428 s.tabs[tab.id] = rec;
src/background/host.ts−3
@@ -102,9 +102,6 @@ export function normalizeReply<T>(reply: unknown, at: number): HostReply<T> {
102102 };
103103}
104104
105−/** Errors about what one request carried, not about the host: they don't count toward pausing it. */
106−export const REQUEST_ERRORS = new Set<HostErrorCode>(["GUARDRAIL", "BAD_MODEL_OUTPUT", "OVER_BUDGET", "BAD_REQUEST"]);
107−
108105/** Errors that mean "fix the setup", not "try this group again later". */
109106export const SETUP_ERRORS = new Set<HostErrorCode>([
110107 "HOST_NOT_FOUND", "HOST_FORBIDDEN", "FORBIDDEN_ORIGIN", "SCHEMA_MISSING", "MODEL_UNAVAILABLE", "LICENSE_REQUIRED",
src/background/index.ts+10−27
@@ -1,6 +1,6 @@
11import { stripTitle } from "../shared/label";
22import { applyEvent, bury, type Action, type EngineEvent, type GroupSnapshot, type TabSnapshot } from "./engine";
3−import { callHost, chromeSender, explain, HOST_MANIFEST_PATH, REQUEST_ERRORS, SETUP_ERRORS, type HostOpts, type HostReply, type Op } from "./host";
3+import { callHost, chromeSender, explain, HOST_MANIFEST_PATH, SETUP_ERRORS, type HostOpts, type HostReply, type Op } from "./host";
44import { GLOBAL_PAUSE_AFTER, GLOBAL_PAUSE_MS, Naming, RATE_LIMIT_PAUSES_MS, type Member, type NamePayload, type NameResult } from "./naming";
55import { AutoOrganizer, organizeWindow, undoOrganize, UNDO_WINDOW_MS as ORGANIZE_UNDO_MS } from "./organize";
66import { FitChecker } from "./fit";
@@ -93,11 +93,7 @@ async function host<T>(op: Op, payload: object, extra: Partial<HostOpts> = {}):
9393 h.lastOkAt = Date.now();
9494 h.consecutiveFailures = 0;
9595 h.consecutiveTimeouts = 0;
96− if (op !== "ping") {
97− h.rateLimitStep = 0; // a ping doesn't use the model, so it says nothing about its limit
98− // A model answer (a manual Organize or Name now during a pause) proves the helper works again.
99− if (h.pausedUntil) recovered();
100− }
96+ h.rateLimitStep = 0;
10197 if (reply.meta?.ms !== undefined) void pushRing("latency", reply.meta.ms, 100);
10298 } else {
10399 recordHostError(reply.error);
@@ -111,8 +107,6 @@ async function host<T>(op: Op, payload: object, extra: Partial<HostOpts> = {}):
111107}
112108
113109function recordHostError(e: HostError): void {
114− // About one request's tabs, not the host's health: the caller retries or sets those tabs aside.
115− if (REQUEST_ERRORS.has(e.code)) return;
116110 const h = state.host;
117111 const now = Date.now();
118112 h.lastError = { ...e, at: now };
@@ -144,7 +138,11 @@ async function ping(): Promise<HostReply<PingResult>> {
144138 } else if (!reply.result.schemasOk) {
145139 recordHostError({ code: "SCHEMA_MISSING", message: reply.result.schemaMessage || "fm could not write Diagonal's schema files" });
146140 } else {
147− recovered();
141+ h.pausedUntil = undefined;
142+ h.lastError = undefined;
143+ chrome.alarms.clear(ALARM_HOST);
144+ void naming.sweepDirty();
145+ void autoOrganizer.sweep();
148146 }
149147 }
150148 commit();
@@ -152,16 +150,6 @@ async function ping(): Promise<HostReply<PingResult>> {
152150 return reply;
153151}
154152
155−/** The helper answers again: lift the pause and pick up what waited for it. */
156−function recovered(): void {
157− const h = state.host;
158− h.pausedUntil = undefined;
159− h.lastError = undefined;
160− chrome.alarms.clear(ALARM_HOST);
161− void naming.sweepDirty();
162− void autoOrganizer.sweep();
163−}
164−
165153// ----- badge -----------------------------------------------------------------------------------
166154
167155function busy(on: boolean): void {
@@ -173,6 +161,7 @@ function hostUnhealthy(): boolean {
173161 const h = state.host;
174162 const now = Date.now();
175163 if (h.pausedUntil && h.pausedUntil > now) return true;
164+ if (h.consecutiveFailures >= 3) return true;
176165 return !!h.lastError && SETUP_ERRORS.has(h.lastError.code) && (!h.lastOkAt || h.lastOkAt < (h.lastError.at ?? 0));
177166}
178167
@@ -392,7 +381,6 @@ async function reconcile(reason: "startup" | "installed"): Promise<void> {
392381 parkedAt: prev?.parkedAt,
393382 keepLoose: prev?.keepLoose,
394383 organizedKey: prev?.organizedKey,
395− organizeRefused: prev?.organizeRefused,
396384 handPlaced: prev?.handPlaced,
397385 fitPending: prev?.fitPending,
398386 createdAt: prev?.createdAt ?? now,
@@ -512,14 +500,12 @@ if (GROUPS_SUPPORTED) {
512500
513501 chrome.tabs.onReplaced.addListener((added, removed) =>
514502 void serial("tabs.onReplaced", async () => {
515− // Chromium swapped in a new tab (a prerendered page, a discarded tab coming back): it is the same
516− // tab to the user, so it keeps what Diagonal knew about it, including choices the user made.
517503 const rec = state.tabs[removed];
518504 delete state.tabs[removed];
519505 const t = await tabById(added);
520506 if (t) {
521− if (rec && !state.tabs[added]) state.tabs[added] = { ...rec, id: added };
522507 await feed({ type: "tabUpdated", tab: snapTab(t) });
508+ if (rec?.description && state.tabs[added]) state.tabs[added].description = rec.description;
523509 }
524510 }),
525511 );
@@ -614,12 +600,9 @@ async function rewriteTitles(before: Settings): Promise<void> {
614600async function nameGroupNow(groupId: number): Promise<void> {
615601 const g = state.groups[groupId];
616602 if (!g) return;
617− // An explicit request overrides "don't name" and a hand-typed title for this group, and the model's
618− // answer goes on the strip even when it is close to the label it gave before.
603+ // An explicit request overrides "don't name" and a hand-typed title for this group.
619604 g.managed = true;
620605 g.userNamed = false;
621− g.title = undefined;
622− g.lastNamedAt = undefined;
623606 commit();
624607 await naming.nameNow(groupId);
625608}
src/background/naming.ts+25−77
@@ -1,7 +1,6 @@
1−import { labelOf, repairLabel, safeEmoji, sameLabel, stripTitle, titleKey, LABEL_MAX_CHARS } from "../shared/label";
1+import { labelOf, repairLabel, safeEmoji, sameLabel, stripTitle, LABEL_MAX_CHARS } from "../shared/label";
22import { sha1 } from "../shared/sha1";
33import { isInternalUrl, promptUrl, trimText } from "../shared/url";
4−import { pathKey } from "./engine";
54import type { HostOpts, HostReply } from "./host";
65import { SETUP_ERRORS } from "./host";
76import type { Settings } from "./settings";
@@ -61,7 +60,7 @@ export const settled = (t: { status?: string }): boolean => t.status !== "loadin
6160
6261/** sha-1 of the sorted `url|title` lines: reorder-proof, changes when a member or its title does. */
6362export const membersHash = (members: Pick<Member, "url" | "title">[]): string =>
64− sha1(members.map((m) => `${m.url}|${titleKey(m.title)}`).sort().join("\n"));
63+ sha1(members.map((m) => `${m.url}|${m.title}`).sort().join("\n"));
6564
6665export const memberUrls = (members: Pick<Member, "url">[]): string[] => members.map((m) => m.url).sort();
6766
@@ -114,9 +113,8 @@ export function shouldApply(g: GroupRecord, label: string, urls: string[]): bool
114113 if (g.userNamed) return false;
115114 if (!g.lastNamedAt || !g.title) return true; // first name replaces the provisional hostname
116115 if (sameLabel(label, g.title)) return false;
117− // By page, not by exact address: a tab that moved to ?page=2 or #comments is the same member.
118− const before = new Set((g.memberUrls ?? []).map(pathKey));
119− const after = new Set(urls.map(pathKey));
116+ const before = new Set(g.memberUrls ?? []);
117+ const after = new Set(urls);
120118 const changed = [...after].some((u) => !before.has(u)) || [...before].some((u) => !after.has(u));
121119 return changed; // a paraphrase with the same members keeps the old title
122120}
@@ -216,32 +214,18 @@ export class Naming {
216214 }
217215 const now = this.d.now();
218216 if (!force) {
219− // A refusal waits for the members to change, which only a look at them can tell.
220− if (g.nextAttemptAt && g.nextAttemptAt > now && !g.refusedHash) return;
217+ if (g.nextAttemptAt && g.nextAttemptAt > now) return;
221218 if (s.host.pausedUntil && s.host.pausedUntil > now) return;
222219 if (s.inFlight?.groupId === groupId && this.current !== groupId && now - s.inFlight.startedAt < settings.timeoutMs + 5000) return;
223220 }
224221 const members = (await this.d.liveMembers(groupId))?.filter(nameable);
225222 if (!members) return;
226− if (!members.every(settled)) return; // stay dirty; the load finishing touches it again
227− if (members.length < 2) {
228− // Nothing to name from yet. A tab joining or loading a page marks the group dirty again.
229− if (g.dirty && !force) {
230− g.dirty = false;
231− this.d.commit();
232− }
233− return;
234− }
235− const hash = membersHash(members);
236− if (!force && hash === g.membersHash) {
237− settle(g);
223+ if (members.length < 2 || !members.every(settled)) return; // stay dirty; the load finishing touches it again
224+ if (!force && membersHash(members) === g.membersHash) {
225+ g.dirty = false;
238226 this.d.commit();
239227 return;
240228 }
241− if (g.refusedHash && !force) {
242− if (hash === g.refusedHash && g.nextAttemptAt && g.nextAttemptAt > now) return;
243− clearFailures(g); // different tabs now: Apple's filter may well take them
244− }
245229 if (this.current === groupId && !force) return; // re-queued when the in-flight reply lands
246230 if (!this.queue.some((q) => q.groupId === groupId)) this.queue.push({ groupId, force });
247231 void this.pump();
@@ -277,7 +261,7 @@ export class Naming {
277261 if (!members || members.length < 2 || !members.every(settled)) return;
278262 const hash = membersHash(members);
279263 if (!force && hash === g.membersHash) {
280− settle(g);
264+ g.dirty = false;
281265 this.d.commit();
282266 return;
283267 }
@@ -312,10 +296,9 @@ export class Naming {
312296 }
313297 if (e.code === "BAD_MODEL_OUTPUT" && !retried.output) {
314298 retried.output = true;
315− mustDifferFrom = withRejected(mustDifferFrom, e.raw);
316299 continue;
317300 }
318− this.fail(g, e, hash);
301+ this.fail(g, e);
319302 return;
320303 }
321304
@@ -324,10 +307,9 @@ export class Naming {
324307 const e: HostError = { code: "BAD_MODEL_OUTPUT", message: "label failed worker validation", raw: JSON.stringify(reply.result).slice(0, 500), at: this.d.now() };
325308 if (!retried.output) {
326309 retried.output = true;
327− mustDifferFrom = withRejected(mustDifferFrom, e.raw);
328310 continue;
329311 }
330− this.fail(g, e, hash);
312+ this.fail(g, e);
331313 return;
332314 }
333315 const emoji = safeEmoji(reply.result.emoji);
@@ -342,15 +324,12 @@ export class Naming {
342324 finalLabel = suffixLabel(label, siblings);
343325 }
344326 this.d.hostOk();
345− const written = await this.apply(g, finalLabel, emoji, members, hash);
327+ await this.apply(g, finalLabel, emoji, members, hash);
346328 g = this.d.state().groups[groupId];
347− if (!g) return;
348− if (!written) {
349− // The strip refused the title (a drag in progress, the window closing): try again shortly.
350− g.nextAttemptAt = this.d.now() + BACKOFF_MS[0];
351− this.d.scheduleFallback(g.nextAttemptAt);
352− } else if (g.dirtySeq === seq) g.dirty = false;
353− else this.touch(groupId); // dirtied while in flight: go again with the new membership
329+ if (g) {
330+ if (g.dirtySeq === seq) g.dirty = false;
331+ else this.touch(groupId); // dirtied while in flight: go again with the new membership
332+ }
354333 return;
355334 }
356335 } finally {
@@ -361,20 +340,16 @@ export class Naming {
361340 }
362341 }
363342
364− /** Put the label on the strip if the policy allows; false when the strip would not take the title. */
365− private async apply(g: GroupRecord, label: string, emoji: string, members: Member[], hash: string): Promise<boolean> {
343+ private async apply(g: GroupRecord, label: string, emoji: string, members: Member[], hash: string): Promise<void> {
366344 const settings = this.d.settings();
367345 const urls = memberUrls(members);
368− if (g.userNamed) return true; // renamed by hand while the model was thinking
346+ if (g.userNamed) return; // renamed by hand while the model was thinking
369347 if (shouldApply(g, label, urls)) {
370348 const title = stripTitle(label, emoji, settings.emoji);
371349 this.d.state().ownWrites[g.id] = { title, at: this.d.now() };
372350 this.d.commit();
373351 const ok = await this.d.writeTitle(g.id, title);
374− if (!ok) {
375− delete this.d.state().ownWrites[g.id];
376− return false;
377− }
352+ if (!ok) return;
378353 g.title = label;
379354 g.emoji = emoji;
380355 g.stripTitle = title;
@@ -382,24 +357,21 @@ export class Naming {
382357 g.lastNamedAt = this.d.now();
383358 g.membersHash = hash;
384359 g.memberUrls = urls;
385− clearFailures(g);
386− return true;
360+ g.nameAttempts = 0;
361+ g.firstFailureAt = undefined;
362+ g.nextAttemptAt = undefined;
387363 }
388364
389− private fail(g: GroupRecord, e: HostError, hash: string): void {
365+ private fail(g: GroupRecord, e: HostError): void {
390366 const now = this.d.now();
391367 this.d.hostFailed(e);
392368 if (e.code === "BAD_REQUEST") {
393369 g.dirty = false; // a bug on our side: log and drop
394370 return;
395371 }
396− // Setup errors pause every model call until the host is fixed, and its recovery picks this group up
397− // again: they say nothing about this group, so they don't use up its retries.
398− if (SETUP_ERRORS.has(e.code)) return;
399372 if (e.code === "GUARDRAIL") {
400373 g.nameAttempts = MAX_ATTEMPTS;
401374 g.nextAttemptAt = now + GIVE_UP_AFTER_MS;
402− g.refusedHash = hash;
403375 this.d.scheduleFallback(g.nextAttemptAt);
404376 return;
405377 }
@@ -409,35 +381,11 @@ export class Naming {
409381 g.dirty = false; // retried for a day: keep the provisional title
410382 return;
411383 }
412− g.nextAttemptAt = now + backoffFor(g.nameAttempts);
384+ const wait = SETUP_ERRORS.has(e.code) ? Math.max(GLOBAL_PAUSE_MS, backoffFor(g.nameAttempts)) : backoffFor(g.nameAttempts);
385+ g.nextAttemptAt = now + wait;
413386 this.d.scheduleFallback(g.nextAttemptAt);
414387 }
415388}
416389
417−/** The retry after an unusable title lists that title as not allowed, so the model doesn't give it again. */
418−function withRejected(list: string[] | undefined, raw: string | undefined): string[] | undefined {
419− let title: unknown;
420− try {
421− title = raw ? JSON.parse(raw)?.title : undefined;
422− } catch {
423− return list;
424− }
425− return typeof title === "string" && title.trim() ? [...(list ?? []), title.trim().slice(0, 60)] : list;
426−}
427−
428−/** The retry bookkeeping of earlier failures, which no longer applies. */
429−function clearFailures(g: GroupRecord): void {
430− g.nameAttempts = 0;
431− g.firstFailureAt = undefined;
432− g.nextAttemptAt = undefined;
433− g.refusedHash = undefined;
434−}
435−
436−/** The members are the ones last named: nothing to do, and nothing left to retry. */
437−function settle(g: GroupRecord): void {
438− g.dirty = false;
439− clearFailures(g);
440−}
441−
442390export const eligible = (g: GroupRecord, settings: Settings): boolean =>
443391 settings.naming && g.managed && !g.userNamed && g.origin !== "tidy";
src/background/organize.ts+107−194
@@ -1,11 +1,10 @@
11import { COLORS, isColor, type GroupColor } from "../shared/colors";
2−import { labelOf, repairLabel, safeEmoji, stripTitle, titleKey } from "../shared/label";
2+import { labelOf, repairLabel, safeEmoji, stripTitle } from "../shared/label";
33import { colorFor, isInternalUrl, promptAddress, provisionalTitle } from "../shared/url";
44import { pathKey } from "./engine";
55import { membersHash, memberUrls, settled, toItems, type Member, type NameItem } from "./naming";
66import { addToGroup, createManagedGroup, groupExists, ungroup, type Runtime } from "./runtime";
7−import type { HostReply } from "./host";
8−import { markDirty, type GroupRecord, type HostError, type HostErrorCode, type State, type TabRecord } from "./state";
7+import { markDirty, type State } from "./state";
98
109/** Section 3/9: "Organize all tabs" — cluster ungrouped tabs in batches sized to the model's window. */
1110
@@ -27,8 +26,6 @@ export interface ExistingGroup {
2726export interface OrganizePayload {
2827 items: NameItem[];
2928 existingGroups: ExistingGroup[];
30− /** Every group label in the window: a new group the host names must not repeat one. */
31− siblingTitles?: string[];
3229 allowNew: boolean;
3330 maxGroups: number;
3431 minGroupSize: number;
@@ -154,198 +151,88 @@ export interface OrganizeReport {
154151 error?: string;
155152}
156153
157−/** Existing groups a batch may add tabs to: Diagonal's topic groups in this window, the ones in use first. */
154+/** Existing groups a batch may add tabs to: extension-managed topic groups in this window. */
158155export function existingGroupsFor(state: State, windowId: number, extraIds: number[] = []): { ids: number[]; list: ExistingGroup[] } {
159− const members = new Map<number, TabRecord[]>();
160− for (const t of Object.values(state.tabs)) if (t.groupId !== -1) members.set(t.groupId, [...(members.get(t.groupId) ?? []), t]);
161− const inUse = (g: GroupRecord): number =>
162− Math.max(g.dirtyAt ?? 0, g.lastNamedAt ?? 0, ...(members.get(g.id) ?? []).map((t) => t.lastActivatedAt ?? 0));
163156 const groups = Object.values(state.groups)
164− .filter((g) => g.windowId === windowId && g.managed && g.origin !== "tidy" && !g.restored && (g.stripTitle || g.title))
165− .map((g) => ({ g, first: extraIds.includes(g.id), at: inUse(g) }))
166− .sort((a, b) => Number(b.first) - Number(a.first) || b.at - a.at)
167− .slice(0, EXISTING_GROUPS_CAP)
168− .map(({ g }) => g);
157+ .filter((g) => g.windowId === windowId && g.managed && g.origin !== "tidy" && (g.stripTitle || g.title))
158+ .sort((a, b) => Number(extraIds.includes(b.id)) - Number(extraIds.includes(a.id)))
159+ .slice(0, EXISTING_GROUPS_CAP);
169160 const list = groups.map((g, i) => ({
170161 g: i,
171162 title: labelOf(g.stripTitle || g.title),
172− samples: (members.get(g.id) ?? []).slice(0, 2).map((t) => t.title.slice(0, 60)),
163+ samples: Object.values(state.tabs)
164+ .filter((t) => t.groupId === g.id)
165+ .slice(0, 2)
166+ .map((t) => t.title.slice(0, 60)),
173167 }));
174168 return { ids: groups.map((g) => g.id), list };
175169}
176170
177−/** Errors about what was sent rather than about the host: a smaller or plainer request may go through. */
178−const CONTENT_ERRORS = new Set<HostErrorCode>(["OVER_BUDGET", "GUARDRAIL", "BAD_MODEL_OUTPUT"]);
179−const MAX_TIMEOUT_SPLITS = 1;
180−
181−/** One organize call, with the retries that can rescue the same tabs: strict output, then no page text. */
182−async function askOrganize(rt: Runtime, part: Member[], windowId: number, existingGroups: ExistingGroup[], withDescriptions: boolean): Promise<HostReply<OrganizeResult>> {
183− const settings = rt.settings();
184− const s = rt.state();
185− const payload: OrganizePayload = {
186− items: toItems(part, settings, withDescriptions),
187− existingGroups,
188− siblingTitles: Object.values(s.groups)
189− .filter((g) => g.windowId === windowId && g.origin !== "tidy")
190− .map((g) => labelOf(g.stripTitle || g.title))
191− .filter(Boolean)
192− .slice(0, 20),
193− allowNew: part.length >= 2,
194− maxGroups: maxGroupsFor(part.length),
195− minGroupSize: settings.organizeMinGroupSize,
196− };
197− let reply = await rt.host<OrganizeResult>("organize", payload);
198− if (!reply.ok && reply.error.code === "BAD_MODEL_OUTPUT") reply = await rt.host<OrganizeResult>("organize", payload, { strict: true });
199− if (!reply.ok && reply.error.code === "GUARDRAIL" && payload.items.some((i) => i.description)) {
200− // What a page says is the likeliest thing to trip Apple's filter; its title and address rarely do.
201− payload.items = toItems(part, settings, false);
202− reply = await rt.host<OrganizeResult>("organize", payload);
203− }
204− return reply;
205−}
206−
207−/** One organize run over a window: what it made, what it moved, and whether the host stopped it. */
208−export interface SortRun {
209− windowId: number;
210− createdIds: number[];
211− previous: Record<number, number>;
212− grouped: number;
213− left: number;
214− timeoutSplits: number;
215− /** Auto-organize: remember what was looked at, so the same tabs are not sent again unchanged. */
216− stamp: boolean;
217− stopped?: HostError;
218−}
219−
220−export const newRun = (windowId: number, stamp: boolean): SortRun => ({ windowId, createdIds: [], previous: {}, grouped: 0, left: 0, timeoutSplits: 0, stamp });
221−
222−/**
223− * Sort one part of a window. A reply about the tabs themselves (too long, refused by Apple's filter, not
224− * valid output) splits the part in halves, so one page the model won't handle leaves the others sorted; a
225− * tab that fails alone is set aside until its page or title changes. Tabs that changed while the model was
226− * thinking are left out of its answer.
227− */
228−export async function sortPart(rt: Runtime, part: Member[], run: SortRun, probe = false): Promise<void> {
229− if (!part.length || run.stopped) return;
230− const { ids: existingIds, list: existingGroups } = existingGroupsFor(rt.state(), run.windowId, run.createdIds);
231− if (part.length < 2 && !existingIds.length && !probe) {
232− run.left += part.length;
233− return; // one tab and nothing to join: no call can place it (a probe still learns whether the model takes it)
234− }
235− const reply = await askOrganize(rt, part, run.windowId, existingGroups, true);
236− if (!reply.ok) {
237− const e = reply.error;
238− const timedOut = e.code === "TIMEOUT" && part.length > 4 && run.timeoutSplits < MAX_TIMEOUT_SPLITS;
239− if (part.length > 1 && (CONTENT_ERRORS.has(e.code) || timedOut)) {
240− if (timedOut) run.timeoutSplits++;
241− const half = Math.ceil(part.length / 2);
242− await sortPart(rt, part.slice(0, half), run, true);
243− await sortPart(rt, part.slice(half), run, true);
244− return;
245− }
246− if (CONTENT_ERRORS.has(e.code)) {
247− const rec = rt.state().tabs[part[0].id];
248− if (rec) rec.organizeRefused = organizedKeyOf(part[0]);
249− rt.log("organize: set aside a tab the model would not sort", e.code);
250− run.left += 1;
251− return;
252− }
253− run.stopped = e;
254− return;
255− }
256− const settings = rt.settings();
257− const plan = planFromResult(reply.result, part.map((m) => m.id), existingIds, settings.organizeMinGroupSize, maxGroupsFor(part.length), (ids) =>
258− colorFor(part.find((m) => m.id === ids[0])?.url ?? ""),
259− );
260− const unchanged = await stillAsSent(rt, part, run.windowId);
261− const trimmed = trimPlan(rt.state(), plan, unchanged, settings.organizeMinGroupSize);
262− const failed = await applyPlan(rt, trimmed, run.windowId, part, run.previous, run.createdIds);
263− const placed = [...trimmed.joins, ...trimmed.creates].reduce((n, x) => n + x.tabIds.filter((id) => !failed.has(id)).length, 0);
264− run.grouped += placed;
265− run.left += part.length - placed;
266− if (run.stamp) {
267− const s = rt.state();
268− for (const m of part) {
269− const rec = s.tabs[m.id];
270− if (rec && unchanged.has(m.id) && !failed.has(m.id)) rec.organizedKey = organizedKeyOf(m);
271− }
272− }
273−}
274−
275−/** The tabs of a part that are still loose, in this window, on the page and title the model saw. */
276−async function stillAsSent(rt: Runtime, part: Member[], windowId: number): Promise<Set<number>> {
277− const live = new Map((await chrome.tabs.query({ windowId }).catch(() => [])).map((t) => [t.id!, t]));
278− const s = rt.state();
279− return new Set(
280− part
281− .filter((m) => {
282− const t = live.get(m.id);
283− return !!t && organizable(t) && !s.tabs[m.id]?.keepLoose && organizedKeyOf(t) === organizedKeyOf(m);
284− })
285− .map((m) => m.id),
286− );
287−}
288−
289−/** A plan with the tabs that moved on taken out: a new group left too small is not made, a join into a group gone is dropped. */
290−export function trimPlan(state: State, plan: Plan, keep: Set<number>, minGroupSize: number): Plan {
291− const out: Plan = { joins: [], creates: [], leftovers: plan.leftovers.filter((id) => keep.has(id)) };
292− for (const j of plan.joins) {
293− const tabIds = j.tabIds.filter((id) => keep.has(id));
294− const g = state.groups[j.groupId];
295− if (tabIds.length && g?.managed && !g.restored) out.joins.push({ ...j, tabIds });
296− else out.leftovers.push(...tabIds);
297− }
298− for (const c of plan.creates) {
299− const tabIds = c.tabIds.filter((id) => keep.has(id));
300− if (tabIds.length >= Math.max(2, minGroupSize)) out.creates.push({ ...c, tabIds });
301− else out.leftovers.push(...tabIds);
302− }
303− return out;
304−}
305−
306171export async function organizeWindow(rt: Runtime, windowId: number): Promise<OrganizeReport> {
307− const s0 = rt.state();
172+ const settings = rt.settings();
308173 const tabs = (await chrome.tabs.query({ windowId })).filter((t) => organizable(t)).sort((a, b) => a.index - b.index);
309174 const report: OrganizeReport = { grouped: 0, groups: 0, left: 0 };
310− // A tab the model already would not sort, on the same page, is not sent again.
311− const sendable = tabs.filter((t) => s0.tabs[t.id!]?.organizeRefused !== organizedKeyOf(t));
312− if (sendable.length < 2) {
175+ if (tabs.length < 2) {
313176 report.left = tabs.length;
314177 return report;
315178 }
316− const run = newRun(windowId, true); // auto-organize need not send the same tabs again right after
179+ const members: Member[] = tabs.map((t) => ({
180+ id: t.id!,
181+ index: t.index,
182+ url: t.url ?? "",
183+ title: t.title ?? "",
184+ status: t.status,
185+ description: rt.state().tabs[t.id!]?.description,
186+ lastActive: t.lastAccessed ?? 0,
187+ }));
188+ const previous: Record<number, number> = {};
189+ const createdIds: number[] = [];
190+ const queue = makeBatches(members);
317191 rt.state().inFlight = { groupId: -1, startedAt: rt.now() };
318192 rt.refreshBadge();
319193 try {
320− for (const batch of makeBatches(sendable.map((t) => toMember(rt.state(), t)))) {
321− await sortPart(rt, batch, run);
322− if (run.stopped) break;
194+ while (queue.length) {
195+ const batch = queue.shift()!;
196+ const { ids: existingIds, list: existingGroups } = existingGroupsFor(rt.state(), windowId, createdIds);
197+ const maxGroups = maxGroupsFor(batch.length);
198+ const payload: OrganizePayload = {
199+ items: toItems(batch, settings),
200+ existingGroups,
201+ allowNew: true,
202+ maxGroups,
203+ minGroupSize: settings.organizeMinGroupSize,
204+ };
205+ let reply = await rt.host<OrganizeResult>("organize", payload);
206+ if (!reply.ok && reply.error.code === "OVER_BUDGET" && batch.length > 1) {
207+ const half = Math.ceil(batch.length / 2);
208+ queue.unshift(batch.slice(0, half), batch.slice(half));
209+ continue;
210+ }
211+ if (!reply.ok && reply.error.code === "BAD_MODEL_OUTPUT") reply = await rt.host<OrganizeResult>("organize", payload, { strict: true });
212+ if (!reply.ok) {
213+ report.error = `${reply.error.code}: ${reply.error.message}`;
214+ report.left += batch.length + queue.flat().length;
215+ break;
216+ }
217+ const batchIds = batch.map((m) => m.id);
218+ const plan = planFromResult(reply.result, batchIds, existingIds, settings.organizeMinGroupSize, maxGroups, (ids) =>
219+ colorFor(members.find((m) => m.id === ids[0])?.url ?? ""),
220+ );
221+ await applyPlan(rt, plan, windowId, members, previous, createdIds);
222+ report.grouped += plan.joins.reduce((n, j) => n + j.tabIds.length, 0) + plan.creates.reduce((n, c) => n + c.tabIds.length, 0);
223+ report.left += plan.leftovers.length;
323224 }
324225 } finally {
325226 const s = rt.state();
326227 if (s.inFlight?.groupId === -1) s.inFlight = undefined;
327− report.grouped = run.grouped;
328− report.groups = run.createdIds.length;
329− report.left = tabs.length - run.grouped;
330− if (run.stopped) report.error = `${run.stopped.code}: ${run.stopped.message}`;
331− if (Object.keys(run.previous).length) s.lastOrganize = { at: rt.now(), previous: run.previous };
228+ report.groups = createdIds.length;
229+ if (Object.keys(previous).length) s.lastOrganize = { at: rt.now(), previous };
332230 rt.commit();
333231 rt.refreshBadge();
334232 }
335233 return report;
336234}
337235
338−const toMember = (s: State, t: chrome.tabs.Tab): Member => ({
339− id: t.id!,
340− index: t.index,
341− url: t.url ?? "",
342− title: t.title ?? "",
343− status: t.status,
344− description: s.tabs[t.id!]?.description,
345− lastActive: t.lastAccessed ?? 0,
346−});
347−
348−/** Carry out a plan; returns the tabs whose move failed, which stay as they were. */
349236export async function applyPlan(
350237 rt: Runtime,
351238 plan: Plan,
@@ -353,15 +240,11 @@ export async function applyPlan(
353240 members: Member[],
354241 previous: Record<number, number>,
355242 createdIds: number[],
356−): Promise<Set<number>> {
243+): Promise<void> {
357244 const settings = rt.settings();
358245 const byId = new Map(members.map((m) => [m.id, m]));
359− const failed = new Set<number>();
360246 for (const j of plan.joins) {
361− if (!(await addToGroup(rt, j.tabIds, j.groupId))) {
362− for (const id of j.tabIds) failed.add(id);
363− continue;
364− }
247+ if (!(await addToGroup(rt, j.tabIds, j.groupId))) continue;
365248 for (const id of j.tabIds) previous[id] = -1;
366249 const g = rt.state().groups[j.groupId];
367250 if (g) {
@@ -382,10 +265,7 @@ export async function applyPlan(
382265 lastNamedAt: named ? rt.now() : undefined,
383266 dirty: false,
384267 });
385− if (groupId === undefined) {
386− for (const id of c.tabIds) failed.add(id);
387− continue;
388− }
268+ if (groupId === undefined) continue;
389269 createdIds.push(groupId);
390270 for (const id of c.tabIds) previous[id] = -1;
391271 const g = rt.state().groups[groupId];
@@ -394,7 +274,6 @@ export async function applyPlan(
394274 rt.naming.touch(groupId);
395275 }
396276 }
397− return failed;
398277}
399278
400279/** Undo within the hour: every tab goes back to the group it was in (organize only takes loose tabs). */
@@ -422,7 +301,7 @@ export async function undoOrganize(rt: Runtime): Promise<number> {
422301}
423302
424303/** What auto-organize remembers about a tab: it looks again only when the page or title changes. */
425−export const organizedKeyOf = (t: { url?: string; title?: string }): string => `${pathKey(t.url)}\n${titleKey(t.title)}`;
304+export const organizedKeyOf = (t: { url?: string; title?: string }): string => `${pathKey(t.url)}\n${t.title ?? ""}`;
426305
427306export const AUTO_RETRY_MS = 300_000;
428307export const AUTO_CONTINUE_MS = 1_500;
@@ -500,25 +379,59 @@ export class AutoOrganizer {
500379 const s = rt.state();
501380 // Still-loading tabs are skipped here; finishing the load touches the window again. Discarded tabs keep
502381 // their title and address, so they're sorted like loaded ones.
503− const loose = tabs.filter((t) => {
504− const rec = s.tabs[t.id!];
505− return organizable(t) && settled(t) && !rec?.keepLoose && rec?.organizeRefused !== organizedKeyOf(t);
506− });
382+ const loose = tabs.filter((t) => organizable(t) && settled(t) && !s.tabs[t.id!]?.keepLoose);
507383 const fresh = loose.filter((t) => s.tabs[t.id!]?.organizedKey !== organizedKeyOf(t));
508384 if (!fresh.length) return;
509− if (loose.length < 2 && !existingGroupsFor(s, windowId).ids.length) return; // one loose tab and nothing to join: wait for company
510− const ordered = [...fresh, ...loose.filter((t) => !fresh.includes(t))].map((t) => toMember(s, t));
385+ const { ids: existingIds, list: existingGroups } = existingGroupsFor(s, windowId);
386+ if (loose.length < 2 && !existingIds.length) return; // one loose tab and nothing to join: wait for company
387+ const toMember = (t: chrome.tabs.Tab): Member => ({
388+ id: t.id!,
389+ index: t.index,
390+ url: t.url ?? "",
391+ title: t.title ?? "",
392+ status: t.status,
393+ description: s.tabs[t.id!]?.description,
394+ lastActive: t.lastAccessed ?? 0,
395+ });
396+ const ordered = [...fresh, ...loose.filter((t) => !fresh.includes(t))].map(toMember);
511397 const batch = makeBatches(ordered)[0];
512− const run = newRun(windowId, true);
513− await sortPart(rt, batch, run);
514− rt.commit();
515− if (run.stopped) {
516− rt.log("auto-organize", run.stopped.code);
398+ const maxGroups = maxGroupsFor(batch.length);
399+ const payload: OrganizePayload = {
400+ items: toItems(batch, settings),
401+ existingGroups,
402+ allowNew: batch.length >= 2,
403+ maxGroups,
404+ minGroupSize: settings.organizeMinGroupSize,
405+ };
406+ let reply = await rt.host<OrganizeResult>("organize", payload);
407+ if (!reply.ok && reply.error.code === "OVER_BUDGET" && batch.length > 1) {
408+ // Rare with the budgeted batch; try once with half, the rest follows on the next run.
409+ const half = batch.slice(0, Math.ceil(batch.length / 2));
410+ payload.items = toItems(half, settings);
411+ payload.maxGroups = maxGroupsFor(half.length);
412+ payload.allowNew = half.length >= 2;
413+ batch.length = half.length;
414+ reply = await rt.host<OrganizeResult>("organize", payload);
415+ }
416+ if (!reply.ok && reply.error.code === "BAD_MODEL_OUTPUT") reply = await rt.host<OrganizeResult>("organize", payload, { strict: true });
417+ if (!reply.ok) {
418+ rt.log("auto-organize", reply.error.code);
517419 this.deps.scheduleFallback(rt.now() + AUTO_RETRY_MS);
518420 return;
519421 }
520− const sent = new Set(batch.map((m) => m.id));
521− if (fresh.some((t) => !sent.has(t.id!))) this.touch(windowId, AUTO_CONTINUE_MS);
422+ const batchIds = batch.map((m) => m.id);
423+ const plan = planFromResult(reply.result, batchIds, existingIds, settings.organizeMinGroupSize, payload.maxGroups, (ids) =>
424+ colorFor(batch.find((m) => m.id === ids[0])?.url ?? ""),
425+ );
426+ await applyPlan(rt, plan, windowId, batch, {}, []);
427+ const live = rt.state();
428+ for (const m of batch) {
429+ const rec = live.tabs[m.id];
430+ if (rec) rec.organizedKey = organizedKeyOf(m);
431+ }
432+ rt.commit();
433+ const remaining = fresh.filter((t) => !batchIds.includes(t.id!));
434+ if (remaining.length) this.touch(windowId, AUTO_CONTINUE_MS);
522435 }
523436}
524437
src/background/state.ts−3
@@ -21,7 +21,6 @@ export interface TabRecord {
2121 parkedAt?: number; // when the tidy sweep parked it: the archive clock starts here
2222 keepLoose?: string; // the user took this tab out of a group on this page: auto-organize leaves it be
2323 organizedKey?: string; // page + title when auto-organize last considered this tab
24− organizeRefused?: string; // page + title the model would not sort even alone: not sent again until it changes
2524 handPlaced?: boolean; // the user put this tab into its group: Diagonal won't take it out
2625 fitPending?: boolean; // moved to a new page inside a Diagonal group: check it still fits (fit.ts)
2726}
@@ -47,10 +46,8 @@ export interface GroupRecord {
4746 nameAttempts: number;
4847 firstFailureAt?: number;
4948 nextAttemptAt?: number;
50− refusedHash?: string; // the members Apple's filter refused to name: not asked again until they change
5149 registeredAt?: number; // first seen as a group Diagonal did not know: it may yet turn out to be one of Diagonal's coming back
5250 revivedAt?: number; // came back after Chromium removed it (window move, reopen, restart)
53− restored?: boolean; // "Restored": the archive brought back, not a topic other tabs should join
5451}
5552
5653/** A group Chromium removed, kept for a day: it may come back (moved to another window, reopened, restored). */
src/background/tidy.ts+1−1
@@ -361,7 +361,7 @@ export async function restoreAll(rt: Runtime, windowId: number): Promise<number>
361361 if (t.id !== undefined) ids.push(t.id);
362362 }
363363 if (ids.length) {
364− await createManagedGroup(rt, ids, windowId, "organize", { title: stripTitle("Restored", RESTORED_EMOJI, rt.settings().emoji), color: "grey" }, { userNamed: true, restored: true });
364+ await createManagedGroup(rt, ids, windowId, "organize", { title: stripTitle("Restored", RESTORED_EMOJI, rt.settings().emoji), color: "grey" }, { userNamed: true });
365365 }
366366 return ids.length;
367367}
src/shared/health.ts+2−4
@@ -46,9 +46,7 @@ export function notices(s: Health): Notice[] {
4646 case "HOST_NOT_FOUND":
4747 out.push({
4848 tone: "bad", title: "Finish setting up Diagonal",
49− body: chrome.runtime.getManifest().update_url
50− ? "Diagonal's helper isn't registered with this browser yet. Run this in Terminal, then reopen Diagonal."
51− : "Diagonal's helper isn't registered with this browser yet. Installed with Homebrew? Run this in Terminal, then reopen Diagonal. Installed from a zip? Run: bash <the Diagonal folder>/install-host.command",
49+ body: "Diagonal's helper isn't registered with this browser yet. Run this in Terminal, then reopen Diagonal.",
5250 // A Web Store install has an update_url and may never have had the cask; an unpacked one came from it.
5351 command: chrome.runtime.getManifest().update_url ? "brew install iko-soy/tap/diagonal" : "brew reinstall diagonal",
5452 });
@@ -82,7 +80,7 @@ export function notices(s: Health): Notice[] {
8280 out.push({ tone: "bad", title: "Naming is paused", body: s.message || "The helper didn't answer. Diagonal retries on its own." });
8381 }
8482 }
85− if (s.timeoutHint) {
83+ if (s.timeoutHint && s.health !== "degraded") {
8684 out.push({ tone: "info", title: "The model is slow right now", body: "It timed out three times in a row. You can give it longer under Naming in Settings." });
8785 }
8886 return out;
src/shared/label.ts+9−42
@@ -7,12 +7,9 @@ export const LABEL_MAX_CHARS = 28;
77export const LABEL_MIN_WORDS = 2;
88export const LABEL_MAX_WORDS = 4;
99
10−// Quotes go; an apostrophe between two letters ("Children's", "Rock'n'roll") is part of the word and stays.
11−const QUOTES = /(?<!\p{L})['’]|['’](?!\p{L})|["“”‘«»`]/gu;
12−const HAS_QUOTE = /(?<!\p{L})['’]|['’](?!\p{L})|["“”‘«»`]/u;
10+const QUOTES = /["'“”‘’«»`]/g;
11+const HAS_QUOTE = /["'“”‘’«»`]/;
1312const TRAILING_PUNCT = /[\s.,;:!?…\-–—。、,!?:;]+$/u;
14−// A label cut short should not end mid-phrase: "Planning a trip to" reads as "Planning a trip".
15−const DANGLING = new Set(["a", "an", "the", "to", "of", "for", "in", "on", "at", "by", "and", "or", "with", "from"]);
1613
1714/** Repair what is repairable; return undefined when the label cannot be made valid. */
1815export function repairLabel(raw: unknown): string | undefined {
@@ -20,49 +17,26 @@ export function repairLabel(raw: unknown): string | undefined {
2017 let words = raw.replace(QUOTES, "").replace(/\s+/g, " ").trim().replace(TRAILING_PUNCT, "").split(" ").filter(Boolean);
2118 words = words.filter((w) => !BANNED_WORDS.has(w.toLowerCase().replace(/[^\p{L}\p{N}]/gu, "")));
2219 if (words.length > LABEL_MAX_WORDS) words = words.slice(0, LABEL_MAX_WORDS);
23− if (noSpace(words.join(" "))) {
24− while (words.length > 1 && widthOf(words.join(" ")) > CJK_MAX_CHARS) words.pop();
25− if (widthOf(words.join(" ")) > CJK_MAX_CHARS) words = [cutToWidth(words.join(" "), CJK_MAX_CHARS)];
26− } else {
27− while (words.length > LABEL_MIN_WORDS && words.join(" ").length > LABEL_MAX_CHARS) words.pop();
28− }
29− while (words.length > 1 && DANGLING.has(words[words.length - 1].toLowerCase())) words.pop();
20+ while (words.length > LABEL_MIN_WORDS && words.join(" ").length > LABEL_MAX_CHARS) words.pop();
3021 let label = words.join(" ").replace(TRAILING_PUNCT, "");
3122 if (!label) return undefined;
32− // "rust async" becomes "Rust async"; "iPhone tips" and "macOS updates" keep the brand's own casing.
33− if (!/\p{Lu}/u.test(words[0].slice(1))) label = label[0].toLocaleUpperCase() + label.slice(1);
23+ label = label[0].toLocaleUpperCase() + label.slice(1);
3424 return isValidLabel(label) ? label : undefined;
3525}
3626
37−/**
38− * Chinese, Japanese, Korean, Thai, Lao, Khmer and Myanmar titles don't put spaces between words, so a label
39− * with any of their characters ("Python教程") is checked by width instead of word count. Each such character
40− * is about as wide as two Latin letters on the tab strip.
41− */
42−const NO_SPACE = /[\u0e00-\u0eff\u1000-\u109f\u1780-\u17ff\u3040-\u30ff\u3400-\u4dbf\u4e00-\u9fff\uac00-\ud7af\uf900-\ufaff]/g;
27+/** Chinese, Japanese and Korean titles have no spaces between words, so they're checked by length instead. */
28+const CJK = /[\u3040-\u30ff\u3400-\u4dbf\u4e00-\u9fff\uac00-\ud7af\uf900-\ufaff]/g;
4329export const CJK_MIN_CHARS = 2;
4430export const CJK_MAX_CHARS = 16;
4531
46−const noSpace = (label: string): boolean => (label.match(NO_SPACE)?.length ?? 0) > 0;
47−const widthOf = (label: string): number => {
48− const wide = label.match(NO_SPACE)?.length ?? 0;
49− return wide + (label.length - wide) / 2;
50−};
51−const cutToWidth = (label: string, max: number): string => {
52− let out = "";
53− for (const ch of label) {
54− if (widthOf(out + ch) > max) break;
55− out += ch;
56− }
57− return out.trim();
58−};
32+const isCjk = (label: string): boolean => (label.match(CJK)?.length ?? 0) * 2 > label.replace(/ /g, "").length;
5933
6034export function isValidLabel(label: string): boolean {
6135 const words = label.split(" ").filter(Boolean);
62− const cjk = noSpace(label);
36+ const cjk = isCjk(label);
6337 return (
6438 label.length >= (cjk ? CJK_MIN_CHARS : LABEL_MIN_CHARS) &&
65− (cjk ? widthOf(label) <= CJK_MAX_CHARS && label.length <= LABEL_MAX_CHARS : label.length <= LABEL_MAX_CHARS) &&
39+ label.length <= (cjk ? CJK_MAX_CHARS : LABEL_MAX_CHARS) &&
6640 words.length >= (cjk ? 1 : LABEL_MIN_WORDS) &&
6741 words.length <= LABEL_MAX_WORDS &&
6842 !HAS_QUOTE.test(label) &&
@@ -87,10 +61,3 @@ export function labelOf(title: string | undefined): string {
8761
8862export const sameLabel = (a: string | undefined, b: string | undefined): boolean =>
8963 !!a && !!b && labelOf(a).trim().toLocaleLowerCase() === labelOf(b).trim().toLocaleLowerCase();
90−
91−/**
92− * A page title without the unread counts and bullets sites add to it, "(3) Inbox" or "• Slack", so a count
93− * ticking over does not read as a new page. Only for noticing change: the model still sees the full title.
94− */
95−export const titleKey = (title: string | undefined): string =>
96− (title ?? "").replace(/[(\[]\d[\d,.]*\+?[)\]]/g, "").replace(/^[\s•●▶*]+/u, "").replace(/\s+/g, " ").trim();
test/auto.test.ts+2−84
@@ -15,7 +15,6 @@ let state: State;
1515let calls: OrganizePayload[];
1616let replies: HostReply<unknown>[];
1717let fallbacks: number[];
18−let respond: ((payload: OrganizePayload, opts?: object) => HostReply<unknown> | undefined) | undefined;
1918
2019const liveTab = (id: number, over: Partial<LiveTab> = {}): LiveTab => ({
2120 id, windowId: 1, index: id, groupId: -1, url: `https://site${id}.com/page`, title: `Tab ${id}`, status: "complete", pinned: false, ...over,
@@ -33,9 +32,9 @@ function setup(tabs: LiveTab[]): AutoOrganizer {
3332 settings: () => makeSettings(),
3433 commit: () => undefined,
3534 now: () => 1_000_000,
36− host: async <T,>(_op: string, payload: object, opts?: object) => {
35+ host: async <T,>(_op: string, payload: object) => {
3736 calls.push(JSON.parse(JSON.stringify(payload)));
38− return (respond?.(payload as OrganizePayload, opts) ?? replies.shift() ?? { ok: true, result: { groups: [], leftovers: [] } }) as HostReply<T>;
37+ return (replies.shift() ?? { ok: true, result: { groups: [], leftovers: [] } }) as HostReply<T>;
3938 },
4039 naming: { touch: () => undefined } as unknown as Runtime["naming"],
4140 refreshBadge: () => undefined,
@@ -49,7 +48,6 @@ beforeEach(() => {
4948 calls = [];
5049 replies = [];
5150 fallbacks = [];
52− respond = undefined;
5351 nextGroup = 100;
5452 (globalThis as any).chrome = {
5553 tabs: {
@@ -94,7 +92,6 @@ describe("auto-organize", () => {
9492 await auto.run(1);
9593 expect(calls[0].items.map((i) => i.title)).toEqual(["Tab 3", "Tab 2"]);
9694 expect(calls[0].existingGroups).toEqual([expect.objectContaining({ g: 0, title: "Rust" })]);
97− expect(calls[0].siblingTitles).toEqual(["Rust"]);
9895 expect(live.find((t) => t.id === 3)!.groupId).toBe(50);
9996 });
10097
@@ -152,83 +149,4 @@ describe("auto-organize", () => {
152149 vi.useRealTimers();
153150 }
154151 });
155−
156− it("one tab the model refuses is found and set aside; the others are still sorted", async () => {
157− const auto = setup([liveTab(1), liveTab(2), liveTab(3, { title: "Refused" }), liveTab(4), liveTab(5)]);
158− // Apple's filter refuses any request carrying tab 3; anything else becomes one topic.
159− respond = (p) =>
160− p.items.some((i) => i.title === "Refused")
161− ? { ok: false, error: { code: "GUARDRAIL", message: "blocked" } }
162− : { ok: true, result: { groups: [{ title: "Site pages", emoji: "📚", color: "blue", existing: p.existingGroups.length ? 0 : undefined, members: p.items.map((i) => i.i) }], leftovers: [] } };
163− await auto.run(1);
164− expect(live.find((t) => t.id === 3)!.groupId).toBe(-1);
165− expect(live.filter((t) => t.id !== 3).every((t) => t.groupId === 100)).toBe(true);
166− expect(state.tabs[3].organizeRefused).toBe(organizedKeyOf(live[2]));
167− expect(fallbacks).toHaveLength(0); // not a host problem: no retry scheduled
168−
169− const n = calls.length;
170− live.push(liveTab(6));
171− remember(live[5]);
172− await auto.run(1);
173− expect(calls.slice(n).flatMap((c) => c.items.map((i) => i.title))).toEqual(["Tab 6"]); // the refused tab is not sent again
174−
175− const m = calls.length;
176− live[2].title = "Readable now";
177− await auto.run(1);
178− expect(calls.length).toBeGreaterThan(m); // a new title: it gets another chance
179− });
180−
181− it("a refused request is tried once more without what the pages say", async () => {
182− const auto = setup([liveTab(1), liveTab(2)]);
183− state.tabs[1].description = "Something the filter dislikes";
184− respond = (p) =>
185− p.items.some((i) => i.description)
186− ? { ok: false, error: { code: "GUARDRAIL", message: "blocked" } }
187− : { ok: true, result: { groups: [{ title: "Pair", emoji: "📚", color: "blue", members: [0, 1] }], leftovers: [] } };
188− await auto.run(1);
189− expect(calls).toHaveLength(2);
190− expect(live.map((t) => t.groupId)).toEqual([100, 100]);
191− });
192−
193− it("tabs that changed while the model was thinking are left out of its answer", async () => {
194− const auto = setup([liveTab(1), liveTab(2), liveTab(3), liveTab(4)]);
195− respond = () => {
196− live[1].url = "https://elsewhere.com/"; // tab 2 went to another page
197− live = live.filter((t) => t.id !== 4); // tab 4 was closed
198− return { ok: true, result: { groups: [{ title: "Site pages", emoji: "📚", color: "blue", members: [0, 1, 2] }, { title: "Other", emoji: "📚", color: "red", members: [3] }], leftovers: [] } };
199− };
200− await auto.run(1);
201− expect(live.map((t) => [t.id, t.groupId])).toEqual([[1, 100], [2, -1], [3, 100]]);
202− expect(state.tabs[1].organizedKey).toBeDefined();
203− expect(state.tabs[2].organizedKey).toBeUndefined(); // looked at again on its new page
204− });
205−
206− it("a new group left with one tab after the others moved on is not made", async () => {
207− const auto = setup([liveTab(1), liveTab(2), liveTab(3)]);
208− respond = () => {
209− live[1].groupId = 77; // you dragged tab 2 into a group of yours meanwhile
210− return { ok: true, result: { groups: [{ title: "Pair", emoji: "📚", color: "blue", members: [0, 1] }], leftovers: [2] } };
211− };
212− await auto.run(1);
213− expect(live.find((t) => t.id === 1)!.groupId).toBe(-1);
214− expect(nextGroup).toBe(100);
215− });
216−
217− it("an unread count ticking over is not a new page", async () => {
218− const auto = setup([liveTab(1, { title: "(3) Inbox" }), liveTab(2)]);
219− await auto.run(1);
220− expect(calls).toHaveLength(1);
221− live[0].title = "(4) Inbox";
222− await auto.run(1);
223− expect(calls).toHaveLength(1);
224− });
225−
226− it("a host that stops answering stops the run after one smaller try", async () => {
227− const auto = setup(Array.from({ length: 10 }, (_, i) => liveTab(i + 1)));
228− respond = () => ({ ok: false, error: { code: "TIMEOUT", message: "slow" } });
229− await auto.run(1);
230− expect(calls.map((c) => c.items.length)).toEqual([10, 5]);
231− expect(fallbacks).toHaveLength(1);
232− expect(Object.values(state.tabs).some((t) => t.organizeRefused)).toBe(false);
233− });
234152});
test/naming.test.ts+2−72
@@ -50,10 +50,6 @@ describe("evolving-name policy", () => {
5050 it("same label is never rewritten", () => {
5151 expect(shouldApply(g(), "rust async runtimes", ["a", "b", "c"])).toBe(false);
5252 });
53− it("a member that only moved within its page is not a membership change", () => {
54− const g2 = newGroupRecord(1, 1, "opener", "blue", { title: "Rust async runtimes", lastNamedAt: 1, memberUrls: ["https://a.com/x", "https://b.com/y"] });
55− expect(shouldApply(g2, "Tokio and async-std", ["https://a.com/x?page=2", "https://b.com/y#top"])).toBe(false);
56− });
5753 it("user-named groups are skipped", () => {
5854 expect(shouldApply({ ...g(), userNamed: true }, "Anything else", ["x"])).toBe(false);
5955 });
@@ -155,25 +151,15 @@ describe("naming queue", () => {
155151 expect(state.groups[7].dirty).toBe(false);
156152 });
157153
158− it("waits while a member is still loading", async () => {
154+ it("waits while a member is still loading or the group has one tab", async () => {
159155 members = [member(1), member(2, { status: "loading" })];
160156 naming.touch(7);
161157 await settle();
162− expect(calls).toHaveLength(0);
163− expect(state.groups[7].dirty).toBe(true);
164− });
165−
166− it("a group with one tab to name from is not kept waiting; the next tab to join names it", async () => {
167158 members = [member(1)];
168159 naming.touch(7);
169160 await settle();
170161 expect(calls).toHaveLength(0);
171− expect(state.groups[7].dirty).toBe(false);
172− members = [member(1), member(2)];
173− markDirty(state.groups[7], 0);
174− naming.touch(7);
175− await settle();
176− expect(calls).toHaveLength(1);
162+ expect(state.groups[7].dirty).toBe(true);
177163 });
178164
179165 it("names a group whose member the browser discarded to save memory", async () => {
@@ -220,54 +206,6 @@ describe("naming queue", () => {
220206 expect(state.groups[7].nextAttemptAt).toBe(now + 24 * 3_600_000);
221207 });
222208
223− it("a group Apple's filter refused is asked again as soon as its tabs change, not only after a day", async () => {
224− replies.push({ ok: false, error: { code: "GUARDRAIL", message: "no" } }, { ok: false, error: { code: "GUARDRAIL", message: "no" } });
225− naming.touch(7);
226− await settle();
227− expect(calls).toHaveLength(2);
228− naming.touch(7);
229− await settle();
230− expect(calls).toHaveLength(2); // the same tabs: still refused
231− members = [member(1), member(3)];
232− naming.touch(7);
233− await settle();
234− expect(calls).toHaveLength(3);
235− expect(state.groups[7]).toMatchObject({ title: "Rust crate docs", dirty: false, nameAttempts: 0 });
236− expect(state.groups[7].refusedHash).toBeUndefined();
237− });
238−
239− it("setup errors don't use up a group's retries; the host's recovery picks it up", async () => {
240− replies.push({ ok: false, error: { code: "LICENSE_REQUIRED", message: "terms" } });
241− naming.touch(7);
242− await settle();
243− expect(state.groups[7]).toMatchObject({ dirty: true, nameAttempts: 0 });
244− expect(state.groups[7].firstFailureAt).toBeUndefined();
245− expect(state.groups[7].nextAttemptAt).toBeUndefined();
246− });
247−
248− it("a title the strip would not take is tried again shortly", async () => {
249− let refuse = true;
250− naming = new Naming({ ...(naming as any).d, writeTitle: async () => !refuse });
251− naming.touch(7);
252− await settle();
253− expect(state.groups[7]).toMatchObject({ dirty: true, nextAttemptAt: now + 30_000 });
254− expect(state.groups[7].title).toBeUndefined();
255− expect(state.ownWrites[7]).toBeUndefined();
256− refuse = false;
257− now += 30_000;
258− await naming.consider(7);
259− await settle();
260− expect(state.groups[7]).toMatchObject({ dirty: false, title: "Rust crate docs" });
261− });
262−
263− it("members back as they were last named clear old failures", async () => {
264− Object.assign(state.groups[7], { membersHash: membersHash(members), nameAttempts: 3, firstFailureAt: 1, nextAttemptAt: 1 });
265− naming.touch(7);
266− await settle();
267− expect(state.groups[7]).toMatchObject({ dirty: false, nameAttempts: 0 });
268− expect(state.groups[7].firstFailureAt).toBeUndefined();
269− });
270−
271209 it("failures back off 30 s, 2 min, 10 min, then hourly; the title is left alone", async () => {
272210 const fail: HostReply<NameResult> = { ok: false, error: { code: "FM_ERROR", message: "boom" } };
273211 replies.push(fail);
@@ -299,14 +237,6 @@ describe("naming queue", () => {
299237 expect(writes).toEqual([[7, "🦀 Rust crates"]]);
300238 });
301239
302− it("the retry after a title the host rejected lists that title as not allowed", async () => {
303− replies.push({ ok: false, error: { code: "BAD_MODEL_OUTPUT", message: "rules", raw: JSON.stringify({ title: "Python", emoji: "🐍" }) } });
304− naming.touch(7);
305− await settle();
306− expect(calls).toHaveLength(2);
307− expect(calls[1].mustDifferFrom).toEqual(["Python"]);
308− });
309−
310240 it("a group renamed by hand while the model runs keeps the user's title", async () => {
311241 const n = new Naming({
312242 ...(naming as any).d,
test/organize.test.ts−17
@@ -107,23 +107,6 @@ describe("existing groups", () => {
107107 expect(list[0]).toEqual({ g: 0, title: "Trip 0", samples: ["Hotel"] });
108108 });
109109
110− it("offers the groups in use when there are more than 12, not the oldest", () => {
111− const s = emptyState();
112− for (let i = 0; i < 15; i++) s.groups[i] = newGroupRecord(i, 1, "organize", "red", { stripTitle: `G ${i}`, lastNamedAt: 1000 - i });
113− s.tabs[1] = { id: 1, windowId: 1, groupId: 14, index: 0, url: "u", title: "Now", pinned: false, createdAt: 0, lastActivatedAt: 5000 };
114− const { ids } = existingGroupsFor(s, 1);
115− expect(ids[0]).toBe(14);
116− expect(ids).toContain(0);
117− expect(ids).not.toContain(13);
118− });
119−
120− it("leaves out the Restored group, which is not a topic", () => {
121− const s = emptyState();
122− s.groups[1] = newGroupRecord(1, 1, "organize", "grey", { userNamed: true, stripTitle: "♻️ Restored", restored: true });
123− s.groups[2] = newGroupRecord(2, 1, "organize", "red", { stripTitle: "🦀 Rust" });
124− expect(existingGroupsFor(s, 1).ids).toEqual([2]);
125− });
126−
127110 it("groups created by batch n come first for batch n+1", () => {
128111 const s = emptyState();
129112 for (let i = 0; i < 15; i++) s.groups[i] = newGroupRecord(i, 1, "organize", "red", { stripTitle: `G ${i}` });
test/url.test.ts+13−16
@@ -1,8 +1,7 @@
11import { describe, expect, it } from "vitest";
2−import { isValidLabel, labelOf, repairLabel, safeEmoji, titleKey } from "../src/shared/label";
2+import { isValidLabel, labelOf, repairLabel, safeEmoji } from "../src/shared/label";
33import { colorFor, hostname, isInternalUrl, promptAddress, promptUrl, provisionalTitle, registrableDomain, trimText } from "../src/shared/url";
44import { withDefaults } from "../src/background/settings";
5−import labelCases from "../host/tests/golden/labels.json";
65
76describe("url helpers", () => {
87 it("strips www.", () => {
@@ -46,12 +45,19 @@ describe("url helpers", () => {
4645 });
4746});
4847
49−// The same cases run against the host's validate.repair_label, so the two sides agree on every label.
50−const LABEL_CASES = labelCases as [string, string | null][];
51−
5248describe("labels", () => {
53− it.each(LABEL_CASES)("repairs %s", (raw, fixed) => {
54− expect(repairLabel(raw) ?? null).toBe(fixed);
49+ it.each([
50+ ['"Rust async runtimes."', "Rust async runtimes"],
51+ ["rust async runtimes", "Rust async runtimes"],
52+ ["Rust tabs and docs", "Rust and docs"],
53+ ["One two three four five six", "One two three four"],
54+ ["Machine learning research papers reading list", "Machine learning research"],
55+ ])("repairs %s", (raw, fixed) => {
56+ expect(repairLabel(raw)).toBe(fixed);
57+ });
58+
59+ it.each(["Tabs", "Misc stuff", "", "x", "Supercalifragilisticexpialidocious extraordinarily"])("rejects %s", (raw) => {
60+ expect(repairLabel(raw)).toBeUndefined();
5561 });
5662
5763 it("validates", () => {
@@ -68,15 +74,6 @@ describe("labels", () => {
6874 expect(safeEmoji("🦄")).toBe("🧭");
6975 });
7076
71− it("titleKey ignores the unread counts and bullets sites put in titles", () => {
72− expect(titleKey("(3) Inbox - Mail")).toBe(titleKey("(12) Inbox - Mail"));
73− expect(titleKey("Inbox (1,204) - me@example.com - Gmail")).toBe("Inbox - me@example.com - Gmail");
74− expect(titleKey("• Slack | general")).toBe("Slack | general");
75− expect(titleKey("[99+] Chat")).toBe("Chat");
76− expect(titleKey("Rust async")).toBe("Rust async");
77− expect(titleKey("Rust async")).not.toBe(titleKey("Rust sync"));
78− });
79−
8077 it("labelOf strips our emoji prefix", () => {
8178 expect(labelOf("🦀 Rust async")).toBe("Rust async");
8279 expect(labelOf("Plain title")).toBe("Plain title");
tsconfig.json−1
@@ -9,7 +9,6 @@
99 "noEmit": true,
1010 "skipLibCheck": true,
1111 "isolatedModules": true,
12− "resolveJsonModule": true,
1312 "noFallthroughCasesInSwitch": true,
1413 "forceConsistentCasingInFileNames": true
1514 },