@1agh/maude 1.2.0 → 1.3.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (91) hide show
  1. package/README.md +3 -1
  2. package/apps/studio/acp/index.ts +43 -7
  3. package/apps/studio/annotations-layer.tsx +191 -116
  4. package/apps/studio/annotations-model.ts +39 -0
  5. package/apps/studio/annotations-sync.ts +50 -0
  6. package/apps/studio/api.ts +732 -38
  7. package/apps/studio/bin/annotate.mjs +3 -1
  8. package/apps/studio/bin/server-up.sh +17 -2
  9. package/apps/studio/canvas-build.ts +49 -8
  10. package/apps/studio/canvas-edit.ts +468 -7
  11. package/apps/studio/canvas-lib.tsx +82 -18
  12. package/apps/studio/canvas-list-watch.ts +33 -2
  13. package/apps/studio/canvas-notice-message.ts +16 -0
  14. package/apps/studio/canvas-notifications.tsx +19 -0
  15. package/apps/studio/canvas-shell.tsx +57 -6
  16. package/apps/studio/client/app.jsx +783 -245
  17. package/apps/studio/client/apply-edit-request.ts +55 -0
  18. package/apps/studio/client/canvas-url.js +39 -1
  19. package/apps/studio/client/export-center.jsx +111 -61
  20. package/apps/studio/client/github.js +38 -1
  21. package/apps/studio/client/index-loader.ts +76 -0
  22. package/apps/studio/client/panels/CloudBar.jsx +52 -6
  23. package/apps/studio/client/panels/GitPanel.jsx +103 -0
  24. package/apps/studio/client/panels/OnboardingWizard.jsx +36 -7
  25. package/apps/studio/client/panels/RepoBranchSwitcher.jsx +92 -27
  26. package/apps/studio/client/panels/SourceConflictPanel.jsx +166 -0
  27. package/apps/studio/client/panels/SyncPanel.jsx +113 -0
  28. package/apps/studio/client/panels/TeamProjects.jsx +376 -0
  29. package/apps/studio/client/panels/file-deep-link-dialog.jsx +54 -0
  30. package/apps/studio/client/photo-knobs.jsx +3 -0
  31. package/apps/studio/client/share-dialog.jsx +91 -0
  32. package/apps/studio/client/share-link.js +94 -0
  33. package/apps/studio/client/styles/3-shell-maude.css +36 -18
  34. package/apps/studio/client/styles/4-components.css +18 -1
  35. package/apps/studio/client/tree-row-menu.jsx +48 -3
  36. package/apps/studio/client/whats-new.jsx +26 -32
  37. package/apps/studio/cloud/endpoints.ts +132 -0
  38. package/apps/studio/collab/awareness-bridge.ts +65 -14
  39. package/apps/studio/collab/index.ts +4 -0
  40. package/apps/studio/collab/persistence.ts +5 -1
  41. package/apps/studio/collab/registry.ts +9 -3
  42. package/apps/studio/collab/room.ts +13 -2
  43. package/apps/studio/context.ts +59 -0
  44. package/apps/studio/dist/client.bundle.js +1594 -1562
  45. package/apps/studio/dist/comment-mount.js +2 -2
  46. package/apps/studio/dist/runtime/.min-sizes.json +1 -0
  47. package/apps/studio/dist/runtime/sonner.js +1 -0
  48. package/apps/studio/dist/styles.css +1 -1
  49. package/apps/studio/git/accepted-guard.ts +36 -0
  50. package/apps/studio/hmr-broadcast.ts +34 -1
  51. package/apps/studio/http.ts +300 -18
  52. package/apps/studio/inspect.ts +19 -0
  53. package/apps/studio/managed-projects.ts +172 -0
  54. package/apps/studio/notifications.tsx +292 -0
  55. package/apps/studio/runtime-bundle.ts +2 -0
  56. package/apps/studio/server.ts +59 -3
  57. package/apps/studio/sync/accepted-cold-start.ts +225 -0
  58. package/apps/studio/sync/accepted-link.ts +320 -0
  59. package/apps/studio/sync/action-stage.ts +343 -0
  60. package/apps/studio/sync/agent.ts +12 -60
  61. package/apps/studio/sync/cell-file-events.ts +3 -0
  62. package/apps/studio/sync/codec.ts +73 -6
  63. package/apps/studio/sync/ctl-provider.ts +15 -2
  64. package/apps/studio/sync/document-discovery.ts +81 -0
  65. package/apps/studio/sync/file-membership.ts +10 -2
  66. package/apps/studio/sync/file-plane.ts +309 -26
  67. package/apps/studio/sync/index.ts +1174 -21
  68. package/apps/studio/sync/migrate-seed.ts +110 -19
  69. package/apps/studio/sync/poke.ts +4 -2
  70. package/apps/studio/sync/presentation.ts +315 -2
  71. package/apps/studio/sync/projection.ts +820 -23
  72. package/apps/studio/sync/repeated-module.ts +73 -0
  73. package/apps/studio/sync/revision-barrier.ts +129 -0
  74. package/apps/studio/sync/seed-repair.ts +46 -0
  75. package/apps/studio/sync/source-merge.ts +100 -0
  76. package/apps/studio/sync/source-ops.ts +289 -0
  77. package/apps/studio/sync/source-recovery.ts +70 -0
  78. package/apps/studio/sync/source-validation.ts +56 -0
  79. package/apps/studio/sync/status.ts +83 -1
  80. package/apps/studio/sync/transaction-client.ts +486 -0
  81. package/apps/studio/sync/writer-registry.ts +236 -0
  82. package/apps/studio/text-caret.ts +35 -0
  83. package/apps/studio/undo-hud.tsx +9 -87
  84. package/apps/studio/use-canvas-media-drop.tsx +4 -39
  85. package/apps/studio/use-tool-mode.tsx +44 -0
  86. package/apps/studio/whats-new.json +137 -0
  87. package/cli/lib/harness/codex-runtime.mjs +4 -1
  88. package/package.json +9 -8
  89. package/plugins/design/dependencies.json +3 -3
  90. package/plugins/design/templates/_shell.html +95 -7
  91. package/plugins/flow/dependencies.json +3 -3
@@ -185,6 +185,11 @@ export default function GitPanel({
185
185
  // `{ branch, project, hubHost }` — what the cell reported alongside the log.
186
186
  // Null until the first successful cloud load.
187
187
  cloudHistory = null,
188
+ // Accepted revisions (DDR-241, T27/T28): restore the open canvas to a
189
+ // revision as a NEW action, and undo one of my own actions. Each resolves
190
+ // true when the project accepted it.
191
+ onRestoreVersion,
192
+ onUndoAction,
188
193
  }) {
189
194
  const withdrawn = historyOnly || cloudManaged;
190
195
  const cloudHistorySource = historySource === 'cloud';
@@ -878,6 +883,20 @@ export default function GitPanel({
878
883
  </div>
879
884
  ) : (
880
885
  log.map((c) => {
886
+ if (c.accepted) {
887
+ return (
888
+ <AcceptedRow
889
+ key={c.sha}
890
+ row={c}
891
+ activeName={activeName}
892
+ previewable={previewable}
893
+ onPreview={() => onPreviewVersion(c.sha)}
894
+ onRestore={onRestoreVersion}
895
+ onUndo={onUndoAction}
896
+ onDone={reloadHistory}
897
+ />
898
+ );
899
+ }
881
900
  const body = (
882
901
  <>
883
902
  <span className="gp-version-rail">
@@ -920,3 +939,87 @@ export default function GitPanel({
920
939
  </aside>
921
940
  );
922
941
  }
942
+
943
+ /**
944
+ * One accepted project action (DDR-241, T27/T28). Preview uses the ordinary
945
+ * version preview (`r<revision>`); Restore makes a NEW action — nothing in
946
+ * history is rewound; Undo reverts only my own action, and only the parts a
947
+ * teammate has not changed since (the project refuses otherwise).
948
+ */
949
+ function AcceptedRow({ row, activeName, previewable, onPreview, onRestore, onUndo, onDone }) {
950
+ const [busy, setBusy] = useState(null);
951
+ const [note, setNote] = useState(null);
952
+ const { revision, actionId, mine, undo } = row.accepted;
953
+ const run = async (kind, fn) => {
954
+ setBusy(kind);
955
+ setNote(null);
956
+ const ok = await fn();
957
+ setBusy(null);
958
+ setNote(
959
+ ok
960
+ ? kind === 'restore'
961
+ ? 'Restored — a new version was added.'
962
+ : 'Undone.'
963
+ : kind === 'restore'
964
+ ? 'The project did not accept the restore.'
965
+ : 'Someone changed this since — nothing was undone.'
966
+ );
967
+ if (ok) onDone?.();
968
+ };
969
+ return (
970
+ <div className="gp-version" role="listitem" data-testid={`project-history-row-${revision}`}>
971
+ <span className="gp-version-rail">
972
+ <span className="gp-version-node" />
973
+ </span>
974
+ <span className="gp-version-body">
975
+ <span className="gp-version-msg">{row.message || '(no description)'}</span>
976
+ <span className="gp-version-meta">
977
+ {row.author} · version {revision}
978
+ </span>
979
+ {note && (
980
+ <span className="gp-version-meta" role="status" aria-live="polite">
981
+ {note}
982
+ </span>
983
+ )}
984
+ </span>
985
+ <span className="gp-version-when">{timeAgo(row.date)}</span>
986
+ <span className="gp-version-actions">
987
+ {previewable && (
988
+ <button
989
+ type="button"
990
+ className="btn btn--sm btn--ghost"
991
+ data-testid={`project-history-preview-${revision}`}
992
+ onClick={onPreview}
993
+ title={`Preview ${activeName} at this version`}
994
+ >
995
+ <Icon name="diff" size={13} /> Preview
996
+ </button>
997
+ )}
998
+ {previewable && onRestore && (
999
+ <button
1000
+ type="button"
1001
+ className="btn btn--sm btn--ghost"
1002
+ data-testid={`project-history-restore-${revision}`}
1003
+ disabled={busy !== null}
1004
+ onClick={() => run('restore', () => onRestore(revision))}
1005
+ title={`Make ${activeName} look like this version again (adds a new version)`}
1006
+ >
1007
+ {busy === 'restore' ? 'Restoring…' : 'Restore'}
1008
+ </button>
1009
+ )}
1010
+ {mine && !undo && onUndo && (
1011
+ <button
1012
+ type="button"
1013
+ className="btn btn--sm btn--ghost"
1014
+ data-testid={`project-history-undo-${revision}`}
1015
+ disabled={busy !== null}
1016
+ onClick={() => run('undo', () => onUndo(actionId))}
1017
+ title="Undo this change of yours (a teammate's later edits are kept)"
1018
+ >
1019
+ {busy === 'undo' ? 'Undoing…' : 'Undo'}
1020
+ </button>
1021
+ )}
1022
+ </span>
1023
+ </div>
1024
+ );
1025
+ }
@@ -1,10 +1,12 @@
1
1
  // Phase 29 (epic E4) Task 3 — the first-run onboarding wizard.
2
2
  //
3
3
  // Mounts full-screen on first launch (app.jsx checks `app_is_first_run` via the
4
- // Tauri shell) OVER the empty welcome project the sidecar boots. Three doors,
4
+ // Tauri shell) OVER the empty welcome project the sidecar boots. Four doors,
5
5
  // GitHub first: (A) Continue with GitHub — sign in (device flow) → open a shared
6
- // project or start a new one; (B) Open a folder on this computer; (C) Connect to a
7
- // team hub (advanced). Every door ends by switching the sidecar to a real project
6
+ // project or start a new one; (T) Open a project you were invited to — Maude
7
+ // Cloud or a team server's email/password, opened as a managed copy with no
8
+ // folder to choose (plan T22); (B) Open a folder on this computer; (C) Connect to
9
+ // a team hub with a token (advanced). Every door ends by switching the sidecar to a real project
8
10
  // (`open_local_project`), which reloads the webview — at which point first-run is
9
11
  // false and the wizard no longer mounts. Built 1:1 with `.design/ui/Onboarding.tsx`;
10
12
  // CSS (`ob-*`) lives in client/styles/3-shell-maude.css. Renders nothing outside the
@@ -14,6 +16,7 @@ import { useEffect, useRef, useState } from 'react';
14
16
 
15
17
  import ReadinessList, { useReadiness } from './ReadinessList.jsx';
16
18
  import IntroVideoDialog from './IntroVideoDialog.jsx';
19
+ import TeamProjects from './TeamProjects.jsx';
17
20
  import {
18
21
  cloneRepo,
19
22
  createProject,
@@ -180,7 +183,7 @@ function AiReadiness() {
180
183
  }
181
184
 
182
185
  // ── A · Welcome (door picker) ────────────────────────────────────────────────
183
- function Welcome({ onGithub, onLocal, onHub, signing, signedIn, identity }) {
186
+ function Welcome({ onGithub, onLocal, onHub, onTeam, signing, signedIn, identity }) {
184
187
  const [introOpen, setIntroOpen] = useState(false);
185
188
  return (
186
189
  <main className="ob-main">
@@ -209,6 +212,16 @@ function Welcome({ onGithub, onLocal, onHub, signing, signedIn, identity }) {
209
212
  <span className="btn btn--primary ob-door-btn"><GitHubMark size={15} /> {signing ? 'Starting…' : signedIn ? 'Continue' : 'Sign in with GitHub'}</span>
210
213
  </span>
211
214
  </button>
215
+ {/* Plan T22 — a designer who was added to a project picks it and works:
216
+ no folder, no Git, no token. */}
217
+ <button type="button" data-testid="ob-door-team" className="ob-door" aria-label="Open a project you were invited to" onClick={onTeam}>
218
+ <span className="ob-door-icon"><Icon name="link" size={22} /></span>
219
+ <span className="ob-door-tx">
220
+ <span className="ob-door-title">Open a project you were invited to</span>
221
+ <span className="ob-door-sub">Sign in to Maude Cloud or your team’s server, pick the project, and start designing.</span>
222
+ </span>
223
+ <span className="ob-door-go" aria-hidden="true"><Icon name="chevron-right" size={16} /></span>
224
+ </button>
212
225
  <button type="button" data-testid="ob-door-local" className="ob-door" aria-label="Open a folder on this computer" onClick={onLocal}>
213
226
  <span className="ob-door-icon"><Icon name="folder-open" size={22} /></span>
214
227
  <span className="ob-door-tx">
@@ -503,7 +516,22 @@ function HubDoor({ onBack }) {
503
516
  </div>
504
517
  )}
505
518
  </div>
506
- <p className="ob-foot-note">Most people use <b>Continue with GitHub</b> — you only need a hub if your team runs one.</p>
519
+ <p className="ob-foot-note">Were you given an email and password for your team’s server? Use <b>Open a project you were invited to</b> instead — no token needed.</p>
520
+ </main>
521
+ );
522
+ }
523
+
524
+ // ── E · Team project door (plan T22) ─────────────────────────────────────────
525
+ function TeamDoor({ onBack }) {
526
+ return (
527
+ <main className="ob-main">
528
+ <BackBar onBack={onBack} />
529
+ <header className="ob-head">
530
+ <span className="ob-eyebrow">Your team</span>
531
+ <h1>Open your team’s project</h1>
532
+ <p>Pick a project you were added to. Maude keeps its copy on this computer — nothing to set up.</p>
533
+ </header>
534
+ <TeamProjects variant="door" />
507
535
  </main>
508
536
  );
509
537
  }
@@ -547,7 +575,7 @@ function DeviceCodeModal({ device, onClose }) {
547
575
 
548
576
  export default function OnboardingWizard() {
549
577
  const native = isNativeApp();
550
- const [door, setDoor] = useState('welcome'); // welcome | github | local | hub
578
+ const [door, setDoor] = useState('welcome'); // welcome | github | local | hub | team
551
579
  const [identity, setIdentity] = useState(null);
552
580
  const [signedIn, setSignedIn] = useState(false);
553
581
  const [signing, setSigning] = useState(false);
@@ -599,10 +627,11 @@ export default function OnboardingWizard() {
599
627
  <div className="ob-overlay" data-testid="onboarding-wizard" role="dialog" aria-modal="true" aria-label="Welcome to Maude">
600
628
  <div className="ob-shell">
601
629
  <Rail signedInAs={signedIn ? identity?.login : null} />
602
- {door === 'welcome' && <Welcome signing={signing} signedIn={signedIn} identity={identity} onGithub={handleGithub} onLocal={() => setDoor('local')} onHub={() => setDoor('hub')} />}
630
+ {door === 'welcome' && <Welcome signing={signing} signedIn={signedIn} identity={identity} onGithub={handleGithub} onLocal={() => setDoor('local')} onHub={() => setDoor('hub')} onTeam={() => setDoor('team')} />}
603
631
  {door === 'github' && <GitHubDoor identity={identity} onBack={() => setDoor('welcome')} />}
604
632
  {door === 'local' && <LocalDoor onBack={() => setDoor('welcome')} />}
605
633
  {door === 'hub' && <HubDoor onBack={() => setDoor('welcome')} />}
634
+ {door === 'team' && <TeamDoor onBack={() => setDoor('welcome')} />}
606
635
  </div>
607
636
  {err && door === 'welcome' && (
608
637
  <div className="ob-toast callout callout--error" role="alert"><span className="ob-callout-glyph" style={{ color: 'var(--status-error)' }}><Icon name="x" /></span><span>{err}</span></div>
@@ -15,11 +15,13 @@
15
15
  // flushes Yjs first — DDR-051, not duplicated here); "Merge → main" → POST
16
16
  // /_api/git/fold; "Fetch remote branches" → POST /_api/git/fetch. The local branch
17
17
  // list is re-asserted from disk on every popup open (DDR-133) so a flaky network never
18
- // blanks it. Renders nothing until the project is a git repo. CSS in 3-shell-maude.css.
18
+ // blanks it. A project that is not a git repo — a managed team project (plan T22)
19
+ // — gets the Project section alone. CSS in 3-shell-maude.css.
19
20
 
20
21
  import { useEffect, useRef, useState } from 'react';
21
22
 
22
- import { appRecentProjects, isNativeApp, openGitHubUrl, openLocalProject, pickDirectory } from '../github.js';
23
+ import { appRecentProjects, isNativeApp, managedProjectsList, openGitHubUrl, openLocalProject, pickDirectory } from '../github.js';
24
+ import { TeamProjectsDialog } from './TeamProjects.jsx';
23
25
 
24
26
  const SHARED = new Set(['main', 'master']);
25
27
 
@@ -55,6 +57,15 @@ function Icon({ name, size = 16, className }) {
55
57
  );
56
58
  }
57
59
 
60
+ /**
61
+ * The name to show for a recent project path: a managed team copy lives under a
62
+ * key like `acme.cloud.maude.sh--alligators`, so it shows the project's name.
63
+ */
64
+ export function recentProjectLabel(path, managed) {
65
+ const m = (managed || []).find((x) => x.path === path);
66
+ return m ? { name: m.name, sub: m.server_url.replace(/^https?:\/\//, '') } : { name: basename(path), sub: path };
67
+ }
68
+
58
69
  function basename(p) {
59
70
  return String(p).replace(/[/\\]+$/, '').split(/[/\\]/).pop() || String(p);
60
71
  }
@@ -121,11 +132,13 @@ export function chatGuardCopy({ count, branch, verb }) {
121
132
  };
122
133
  }
123
134
 
124
- export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, onGetLatest }) {
135
+ export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, onGetLatest, projectOnly = false }) {
125
136
  const native = isNativeApp();
126
137
  const [status, setStatus] = useState(null); // { repo, branch }
127
138
  const [branches, setBranches] = useState([]);
128
139
  const [recents, setRecents] = useState([]);
140
+ const [managed, setManaged] = useState([]);
141
+ const [teamOpen, setTeamOpen] = useState(false);
129
142
  const [open, setOpen] = useState(false);
130
143
  const [newDraft, setNewDraft] = useState(false);
131
144
  const [draftName, setDraftName] = useState('');
@@ -187,6 +200,7 @@ export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, on
187
200
  } catch { /* not a repo / offline */ }
188
201
  })();
189
202
  if (native) appRecentProjects().then((r) => alive && setRecents(r || [])).catch(() => {});
203
+ if (native) managedProjectsList().then((r) => alive && setManaged(Array.isArray(r) ? r : [])).catch(() => {});
190
204
  return () => { alive = false; };
191
205
  }, [native]);
192
206
 
@@ -208,8 +222,78 @@ export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, on
208
222
  return () => document.removeEventListener('mousedown', onDoc);
209
223
  }, [open, newDraft]);
210
224
 
211
- // Only meaningful for a versioned project (drafts need git).
212
- if (!status?.repo) return null;
225
+ // The Project section on its own: recents, a team project, a folder. Shared by
226
+ // the full popup and the project-only dock below.
227
+ const projectSection = (
228
+ <>
229
+ <div className="rb-pop-hd">Project</div>
230
+ {native && recents.length > 0 ? (
231
+ recents.map((p, i) => {
232
+ const label = recentProjectLabel(p, managed);
233
+ return (
234
+ <button type="button" key={p} className={'rb-pop-item' + (i === 0 ? ' is-current' : '')} role="menuitem" onClick={() => switchRepo(p)}>
235
+ <span className="rb-pop-icon"><Icon name={managed.some((m) => m.path === p) ? 'share' : 'folder'} size={14} /></span>
236
+ <span className="rb-pop-tx">
237
+ <span className="rb-pop-name">{label.name}</span>
238
+ <span className="rb-pop-sub">{label.sub}</span>
239
+ </span>
240
+ {i === 0 ? <Icon name="check" size={14} className="rb-pop-check" /> : null}
241
+ </button>
242
+ );
243
+ })
244
+ ) : (
245
+ <div className="rb-pop-sub" style={{ padding: 'var(--space-2) var(--space-3)' }}>{native ? 'No other recent projects.' : 'Open another project from the desktop app.'}</div>
246
+ )}
247
+ {native && (
248
+ <button type="button" className="rb-pop-item rb-pop-item--action" role="menuitem" data-testid="switcher-open-team" onClick={() => { setOpen(false); setTeamOpen(true); }}>
249
+ <span className="rb-pop-icon"><Icon name="share" size={14} /></span>
250
+ <span className="rb-pop-tx"><span className="rb-pop-name">Open a team project…</span></span>
251
+ </button>
252
+ )}
253
+ {native && (
254
+ <button type="button" className="rb-pop-item rb-pop-item--action" role="menuitem" onClick={openAnother}>
255
+ <span className="rb-pop-icon"><Icon name="folder-open" size={14} /></span>
256
+ <span className="rb-pop-tx"><span className="rb-pop-name">Open another folder…</span></span>
257
+ </button>
258
+ )}
259
+ </>
260
+ );
261
+ const teamDialog = teamOpen ? <TeamProjectsDialog onClose={() => setTeamOpen(false)} /> : null;
262
+
263
+ // A project that isn't a git repo — a managed team project — has no branches;
264
+ // it still needs the way to another project.
265
+ if (native && status && (!status.repo || projectOnly)) {
266
+ const name = project || recentProjectLabel(recents[0] || 'Project', managed).name;
267
+ return (
268
+ <div className="rb-dock-wrap">
269
+ <div className="rb-dock" ref={rootRef}>
270
+ {open && (
271
+ <div className="rb-pop rb-pop--up" id="rb-switch-pop" role="menu" aria-label="Switch project" data-testid="repo-switcher-popup">
272
+ {projectSection}
273
+ </div>
274
+ )}
275
+ {switching ? (
276
+ <div className="rb-switching" role="status" aria-live="polite">
277
+ <Icon name="spinner" size={14} className="rb-spin" />
278
+ <span>Opening <b>{switching}</b>…</span>
279
+ </div>
280
+ ) : (
281
+ <button type="button" data-testid="repo-switcher-trigger" className={'rb-trigger' + (open ? ' is-open' : '')} aria-expanded={open} aria-haspopup="menu" aria-controls="rb-switch-pop" onClick={() => setOpen((v) => !v)} title={name}>
282
+ <span className="rb-trigger-icon"><Icon name="folder" size={14} /></span>
283
+ <span className="rb-trigger-proj">{name}</span>
284
+ <Icon name="chevron-up" size={13} className="rb-trigger-caret" />
285
+ </button>
286
+ )}
287
+ {err && !open && !switching && <div className="rb-switcher-err" role="alert">{err}</div>}
288
+ </div>
289
+ {teamDialog}
290
+ </div>
291
+ );
292
+ }
293
+
294
+ // Branches are only meaningful for a versioned project (drafts need git),
295
+ // and never while another authority writes its history (projectOnly).
296
+ if (!status?.repo || projectOnly) return null;
213
297
 
214
298
  // Prefer the live branch from the git-status broadcast (kept current as the
215
299
  // dev runs `git checkout` in their terminal) over the one-shot mount fetch.
@@ -412,7 +496,7 @@ export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, on
412
496
  async function switchRepo(path) {
413
497
  setOpen(false);
414
498
  if (!native) return;
415
- setSwitching(basename(path));
499
+ setSwitching(recentProjectLabel(path, managed).name);
416
500
  try { await openLocalProject(path); }
417
501
  catch (e) { setErr(String(e?.message || e || 'Could not open that project.')); setSwitching(''); }
418
502
  }
@@ -499,27 +583,7 @@ export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, on
499
583
  {open && (
500
584
  <div className="rb-pop rb-pop--up" id="rb-switch-pop" role="menu" aria-label="Switch project or version" data-testid="repo-switcher-popup">
501
585
  {/* ── Project ── */}
502
- <div className="rb-pop-hd">Project</div>
503
- {native && recents.length > 0 ? (
504
- recents.map((p, i) => (
505
- <button type="button" key={p} className={'rb-pop-item' + (i === 0 ? ' is-current' : '')} role="menuitem" onClick={() => switchRepo(p)}>
506
- <span className="rb-pop-icon"><Icon name="folder" size={14} /></span>
507
- <span className="rb-pop-tx">
508
- <span className="rb-pop-name">{basename(p)}</span>
509
- <span className="rb-pop-sub">{p}</span>
510
- </span>
511
- {i === 0 ? <Icon name="check" size={14} className="rb-pop-check" /> : null}
512
- </button>
513
- ))
514
- ) : (
515
- <div className="rb-pop-sub" style={{ padding: 'var(--space-2) var(--space-3)' }}>{native ? 'No other recent projects.' : 'Open another project from the desktop app.'}</div>
516
- )}
517
- {native && (
518
- <button type="button" className="rb-pop-item rb-pop-item--action" role="menuitem" onClick={openAnother}>
519
- <span className="rb-pop-icon"><Icon name="folder-open" size={14} /></span>
520
- <span className="rb-pop-tx"><span className="rb-pop-name">Open another folder…</span></span>
521
- </button>
522
- )}
586
+ {projectSection}
523
587
 
524
588
  <div className="rb-pop-sep" />
525
589
  <div className="rb-pop-hd">Branch</div>
@@ -726,6 +790,7 @@ export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, on
726
790
  </div>
727
791
  </div>
728
792
  )}
793
+ {teamDialog}
729
794
  </div>
730
795
  );
731
796
  }
@@ -0,0 +1,166 @@
1
+ // SourceConflictPanel — plan T28 (feature-reliable-project-multiplayer).
2
+ //
3
+ // A change the project could not merge stays on this device as the person's
4
+ // candidate; the project's version is what everyone else sees. This panel
5
+ // shows both, line by line, and turns the decision into an action:
6
+ //
7
+ // • Keep mine — proposes the local version ON TOP of the project's (a new
8
+ // accepted action; nothing is rewound, history keeps both);
9
+ // • Use theirs — the project's version returns to disk; the local one stays
10
+ // in the recovery slots;
11
+ // • or close and keep editing — the next save is the resolution.
12
+ //
13
+ // No hashes, epochs or lane names: "Your version" / "The project's version".
14
+
15
+ import { useEffect, useMemo, useRef, useState } from 'react';
16
+
17
+ /** Line diff by longest common subsequence — bounded, for a canvas source. */
18
+ export function lineDiff(a, b, max = 2000) {
19
+ const x = String(a ?? '').split('\n').slice(0, max);
20
+ const y = String(b ?? '').split('\n').slice(0, max);
21
+ const n = x.length;
22
+ const m = y.length;
23
+ const dp = Array.from({ length: n + 1 }, () => new Uint16Array(m + 1));
24
+ for (let i = n - 1; i >= 0; i--)
25
+ for (let j = m - 1; j >= 0; j--)
26
+ dp[i][j] = x[i] === y[j] ? dp[i + 1][j + 1] + 1 : Math.max(dp[i + 1][j], dp[i][j + 1]);
27
+ const out = [];
28
+ let i = 0;
29
+ let j = 0;
30
+ while (i < n && j < m) {
31
+ if (x[i] === y[j]) {
32
+ out.push({ kind: 'same', text: x[i] });
33
+ i++;
34
+ j++;
35
+ } else if (dp[i + 1][j] >= dp[i][j + 1]) {
36
+ out.push({ kind: 'mine', text: x[i++] });
37
+ } else {
38
+ out.push({ kind: 'theirs', text: y[j++] });
39
+ }
40
+ }
41
+ while (i < n) out.push({ kind: 'mine', text: x[i++] });
42
+ while (j < m) out.push({ kind: 'theirs', text: y[j++] });
43
+ return out;
44
+ }
45
+
46
+ /** Collapse long runs of unchanged lines to a count, keeping 2 lines of context. */
47
+ function withContext(rows, ctx = 2) {
48
+ const keep = rows.map((r, idx) => r.kind !== 'same' || rows.slice(Math.max(0, idx - ctx), idx + ctx + 1).some((q) => q.kind !== 'same'));
49
+ const out = [];
50
+ let skipped = 0;
51
+ rows.forEach((r, idx) => {
52
+ if (keep[idx]) {
53
+ if (skipped) out.push({ kind: 'skip', text: `${skipped} unchanged line${skipped === 1 ? '' : 's'}` });
54
+ skipped = 0;
55
+ out.push(r);
56
+ } else skipped++;
57
+ });
58
+ if (skipped) out.push({ kind: 'skip', text: `${skipped} unchanged line${skipped === 1 ? '' : 's'}` });
59
+ return out;
60
+ }
61
+
62
+ export default function SourceConflictPanel({ slug, onClose }) {
63
+ const [sides, setSides] = useState(null);
64
+ const [error, setError] = useState('');
65
+ const [busy, setBusy] = useState('');
66
+ const ref = useRef(null);
67
+
68
+ useEffect(() => {
69
+ let alive = true;
70
+ fetch(`/_api/project/conflict?file=${encodeURIComponent(slug)}`)
71
+ .then((r) => r.json().catch(() => ({})))
72
+ .then((j) => {
73
+ if (!alive) return;
74
+ if (j.ok) setSides(j);
75
+ else setError(j.error || 'This conflict is already resolved.');
76
+ })
77
+ .catch(() => alive && setError('Maude isn’t reachable right now.'));
78
+ return () => {
79
+ alive = false;
80
+ };
81
+ }, [slug]);
82
+
83
+ useEffect(() => {
84
+ const prev = document.activeElement;
85
+ ref.current?.querySelector('button')?.focus();
86
+ const onKey = (e) => {
87
+ if (e.key === 'Escape') onClose();
88
+ };
89
+ document.addEventListener('keydown', onKey);
90
+ return () => {
91
+ document.removeEventListener('keydown', onKey);
92
+ prev?.focus?.();
93
+ };
94
+ }, [onClose]);
95
+
96
+ const rows = useMemo(() => (sides ? withContext(lineDiff(sides.mine ?? '', sides.theirs ?? '')) : []), [sides]);
97
+
98
+ async function choose(choice) {
99
+ setBusy(choice);
100
+ setError('');
101
+ try {
102
+ const r = await fetch('/_api/project/conflict', {
103
+ method: 'POST',
104
+ headers: { 'Content-Type': 'application/json' },
105
+ body: JSON.stringify({ file: slug, choice }),
106
+ });
107
+ const j = await r.json().catch(() => ({}));
108
+ if (j.ok) onClose(choice);
109
+ else setError(j.code === 'base-conflict' ? 'Someone changed it again just now — look at the new version and choose again.' : j.error || 'That did not work.');
110
+ } catch {
111
+ setError('Maude isn’t reachable right now.');
112
+ } finally {
113
+ setBusy('');
114
+ }
115
+ }
116
+
117
+ return (
118
+ <div className="gi-modal" role="dialog" aria-modal="true" aria-labelledby="scp-title">
119
+ <div className="gi-scrim" aria-hidden="true" onClick={() => onClose()} />
120
+ <div className="gi-dialog scp-dialog" ref={ref} data-testid="source-conflict-panel">
121
+ <div className="tp-dialog-head">
122
+ <div>
123
+ <h2 id="scp-title">Two versions of {slug}</h2>
124
+ <p>Your change and a teammate’s touched the same lines. Nothing is lost — choose which one the project keeps.</p>
125
+ </div>
126
+ <button type="button" className="btn btn--ghost btn--sm" onClick={() => onClose()} aria-label="Close" data-testid="source-conflict-close">
127
+ ×
128
+ </button>
129
+ </div>
130
+ {sides && (
131
+ <>
132
+ <div className="scp-legend" aria-hidden="true">
133
+ <span className="scp-key scp-key--mine">Your version</span>
134
+ <span className="scp-key scp-key--theirs">The project’s version</span>
135
+ </div>
136
+ <div className="scp-diff" role="region" aria-label="Differences" tabIndex={0} data-testid="source-conflict-diff">
137
+ {rows.map((r, idx) => (
138
+ <div key={idx} className={`scp-line scp-line--${r.kind}`}>
139
+ <span className="scp-mark" aria-hidden="true">
140
+ {r.kind === 'mine' ? '−' : r.kind === 'theirs' ? '+' : r.kind === 'skip' ? '⋯' : ' '}
141
+ </span>
142
+ <span className="sr-only">{r.kind === 'mine' ? 'Yours: ' : r.kind === 'theirs' ? 'Project: ' : ''}</span>
143
+ <code>{r.text || ' '}</code>
144
+ </div>
145
+ ))}
146
+ </div>
147
+ </>
148
+ )}
149
+ {error && (
150
+ <p className="scp-error" role="alert" data-testid="source-conflict-error">
151
+ {error}
152
+ </p>
153
+ )}
154
+ <div className="scp-actions">
155
+ <button type="button" className="btn btn--primary" disabled={!sides || !!busy} onClick={() => choose('mine')} data-testid="source-conflict-keep-mine">
156
+ {busy === 'mine' ? 'Saving…' : 'Keep my version'}
157
+ </button>
158
+ <button type="button" className="btn" disabled={!sides || !!busy} onClick={() => choose('theirs')} data-testid="source-conflict-use-theirs">
159
+ {busy === 'theirs' ? 'Updating…' : 'Use the project’s version'}
160
+ </button>
161
+ <span className="scp-hint">Or close this and edit the canvas — your next save resolves it.</span>
162
+ </div>
163
+ </div>
164
+ </div>
165
+ );
166
+ }