sh3-core 0.7.5 → 0.8.0

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 (129) hide show
  1. package/dist/api.d.ts +11 -2
  2. package/dist/api.js +13 -1
  3. package/dist/app/store/StoreView.svelte +36 -7
  4. package/dist/app/store/storeShard.svelte.js +9 -3
  5. package/dist/app/store/verbs.js +8 -2
  6. package/dist/apps/lifecycle.d.ts +11 -0
  7. package/dist/apps/lifecycle.js +21 -1
  8. package/dist/apps/lifecycle.test.js +50 -1
  9. package/dist/apps/types.d.ts +7 -2
  10. package/dist/createShell.d.ts +2 -0
  11. package/dist/createShell.js +9 -7
  12. package/dist/documents/handle.js +5 -0
  13. package/dist/documents/index.d.ts +1 -0
  14. package/dist/documents/index.js +1 -0
  15. package/dist/documents/journal-hook.d.ts +6 -0
  16. package/dist/documents/journal-hook.js +16 -0
  17. package/dist/documents/sync/activate-integration.test.d.ts +1 -0
  18. package/dist/documents/sync/activate-integration.test.js +37 -0
  19. package/dist/documents/sync/components/DocumentSyncExplorer.svelte +99 -0
  20. package/dist/documents/sync/components/DocumentSyncExplorer.svelte.d.ts +15 -0
  21. package/dist/documents/sync/components/SyncGrantPicker.svelte +70 -0
  22. package/dist/documents/sync/components/SyncGrantPicker.svelte.d.ts +12 -0
  23. package/dist/documents/sync/conflicts.d.ts +30 -0
  24. package/dist/documents/sync/conflicts.js +77 -0
  25. package/dist/documents/sync/conflicts.test.d.ts +1 -0
  26. package/dist/documents/sync/conflicts.test.js +71 -0
  27. package/dist/documents/sync/engine.d.ts +19 -0
  28. package/dist/documents/sync/engine.js +188 -0
  29. package/dist/documents/sync/engine.test.d.ts +1 -0
  30. package/dist/documents/sync/engine.test.js +169 -0
  31. package/dist/documents/sync/handle.d.ts +11 -0
  32. package/dist/documents/sync/handle.js +79 -0
  33. package/dist/documents/sync/handle.test.d.ts +1 -0
  34. package/dist/documents/sync/handle.test.js +56 -0
  35. package/dist/documents/sync/hash.d.ts +1 -0
  36. package/dist/documents/sync/hash.js +13 -0
  37. package/dist/documents/sync/hash.test.d.ts +1 -0
  38. package/dist/documents/sync/hash.test.js +20 -0
  39. package/dist/documents/sync/index.d.ts +6 -0
  40. package/dist/documents/sync/index.js +12 -0
  41. package/dist/documents/sync/journal.d.ts +30 -0
  42. package/dist/documents/sync/journal.js +179 -0
  43. package/dist/documents/sync/journal.test.d.ts +1 -0
  44. package/dist/documents/sync/journal.test.js +87 -0
  45. package/dist/documents/sync/registry.d.ts +10 -0
  46. package/dist/documents/sync/registry.js +66 -0
  47. package/dist/documents/sync/registry.test.d.ts +1 -0
  48. package/dist/documents/sync/registry.test.js +42 -0
  49. package/dist/documents/sync/serialization.d.ts +5 -0
  50. package/dist/documents/sync/serialization.js +24 -0
  51. package/dist/documents/sync/serialization.test.d.ts +1 -0
  52. package/dist/documents/sync/serialization.test.js +26 -0
  53. package/dist/documents/sync/singleton.d.ts +11 -0
  54. package/dist/documents/sync/singleton.js +26 -0
  55. package/dist/documents/sync/tombstones.d.ts +19 -0
  56. package/dist/documents/sync/tombstones.js +58 -0
  57. package/dist/documents/sync/tombstones.test.d.ts +1 -0
  58. package/dist/documents/sync/tombstones.test.js +37 -0
  59. package/dist/documents/sync/types.d.ts +116 -0
  60. package/dist/documents/sync/types.js +27 -0
  61. package/dist/documents/sync/write-hook.test.d.ts +1 -0
  62. package/dist/documents/sync/write-hook.test.js +36 -0
  63. package/dist/env/client.d.ts +10 -5
  64. package/dist/env/client.js +12 -4
  65. package/dist/registry/installer.d.ts +10 -7
  66. package/dist/registry/installer.js +39 -35
  67. package/dist/registry/register.d.ts +17 -0
  68. package/dist/registry/register.js +22 -0
  69. package/dist/registry/register.test.d.ts +1 -0
  70. package/dist/registry/register.test.js +28 -0
  71. package/dist/shards/activate.svelte.js +23 -2
  72. package/dist/shards/types.d.ts +10 -1
  73. package/dist/shell-shard/Terminal.svelte +140 -33
  74. package/dist/shell-shard/Terminal.svelte.d.ts +3 -0
  75. package/dist/shell-shard/auto-relocate.d.ts +12 -0
  76. package/dist/shell-shard/auto-relocate.js +20 -0
  77. package/dist/shell-shard/auto-relocate.test.d.ts +1 -0
  78. package/dist/shell-shard/auto-relocate.test.js +35 -0
  79. package/dist/shell-shard/dispatch.d.ts +15 -0
  80. package/dist/shell-shard/dispatch.js +56 -0
  81. package/dist/shell-shard/modes/builtin.d.ts +5 -0
  82. package/dist/shell-shard/modes/builtin.js +18 -0
  83. package/dist/shell-shard/modes/prefs.d.ts +5 -0
  84. package/dist/shell-shard/modes/prefs.js +31 -0
  85. package/dist/shell-shard/modes/prefs.test.d.ts +1 -0
  86. package/dist/shell-shard/modes/prefs.test.js +46 -0
  87. package/dist/shell-shard/modes/registry.d.ts +7 -0
  88. package/dist/shell-shard/modes/registry.js +27 -0
  89. package/dist/shell-shard/modes/registry.test.d.ts +1 -0
  90. package/dist/shell-shard/modes/registry.test.js +35 -0
  91. package/dist/shell-shard/modes/types.d.ts +8 -0
  92. package/dist/shell-shard/modes/types.js +1 -0
  93. package/dist/shell-shard/protocol.d.ts +6 -0
  94. package/dist/shell-shard/shellShard.svelte.js +5 -1
  95. package/dist/shell-shard/tenant-fs-client.d.ts +24 -0
  96. package/dist/shell-shard/tenant-fs-client.js +44 -0
  97. package/dist/shell-shard/tenant-fs-client.test.d.ts +1 -0
  98. package/dist/shell-shard/tenant-fs-client.test.js +49 -0
  99. package/dist/shell-shard/terminal-dispatch.test.d.ts +1 -0
  100. package/dist/shell-shard/terminal-dispatch.test.js +53 -0
  101. package/dist/shell-shard/toolbar/Toolbar.svelte +62 -0
  102. package/dist/shell-shard/toolbar/Toolbar.svelte.d.ts +11 -0
  103. package/dist/shell-shard/toolbar/slots/FocusLockSlot.svelte +28 -0
  104. package/dist/shell-shard/toolbar/slots/FocusLockSlot.svelte.d.ts +7 -0
  105. package/dist/shell-shard/toolbar/slots/ModeSlot.svelte +102 -0
  106. package/dist/shell-shard/toolbar/slots/ModeSlot.svelte.d.ts +11 -0
  107. package/dist/shell-shard/toolbar/slots/TargetShardSlot.svelte +17 -0
  108. package/dist/shell-shard/toolbar/slots/TargetShardSlot.svelte.d.ts +6 -0
  109. package/dist/shell-shard/toolbar/slots.d.ts +17 -0
  110. package/dist/shell-shard/toolbar/slots.js +26 -0
  111. package/dist/shell-shard/toolbar/slots.test.d.ts +1 -0
  112. package/dist/shell-shard/toolbar/slots.test.js +28 -0
  113. package/dist/shell-shard/verbs/cat.d.ts +2 -0
  114. package/dist/shell-shard/verbs/cat.js +34 -0
  115. package/dist/shell-shard/verbs/cd.test.d.ts +1 -0
  116. package/dist/shell-shard/verbs/cd.test.js +56 -0
  117. package/dist/shell-shard/verbs/env.d.ts +2 -0
  118. package/dist/shell-shard/verbs/env.js +14 -0
  119. package/dist/shell-shard/verbs/index.js +6 -1
  120. package/dist/shell-shard/verbs/ls.d.ts +2 -0
  121. package/dist/shell-shard/verbs/ls.js +29 -0
  122. package/dist/shell-shard/verbs/ls.test.d.ts +1 -0
  123. package/dist/shell-shard/verbs/ls.test.js +49 -0
  124. package/dist/shell-shard/verbs/session.d.ts +0 -1
  125. package/dist/shell-shard/verbs/session.js +58 -26
  126. package/dist/verbs/types.d.ts +2 -0
  127. package/dist/version.d.ts +1 -1
  128. package/dist/version.js +1 -1
  129. package/package.json +1 -1
package/dist/api.d.ts CHANGED
@@ -14,9 +14,15 @@ export type { StateZones } from './state/zones.svelte';
14
14
  export type { EnvState } from './env/types';
15
15
  export type { App, AppManifest, SourceApp, SourceAppManifest, AppContext, } from './apps/types';
16
16
  export { listRegisteredApps, getActiveApp } from './apps/registry.svelte';
17
- export { launchApp, returnToHome } from './apps/lifecycle';
17
+ export { launchApp, returnToHome, unregisterApp } from './apps/lifecycle';
18
18
  export { inspectActiveLayout, spliceIntoActiveLayout, dockIntoActiveLayout, focusTab, focusView, collapseChild, expandChild, closeTab, } from './layout/inspection';
19
19
  export type { DocumentHandle, DocumentHandleOptions, DocumentFormat, DocumentMeta, DocumentChange, AutosaveController, } from './documents/types';
20
+ export type { SyncHandle, SyncScope, ManifestEntry, ApplyEntry, ApplyOpts, ApplyOutcome, ApplyBatchResult, ConflictPolicy, ConflictResolution, ConflictContext, JournalEntry, ChangePage, GrantRecord, } from './documents/sync/types';
21
+ export { PERMISSION_DOCUMENTS_SYNC, ScopeNotGrantedError, ScopeRevokedError, TenantMismatchError, } from './documents/sync/types';
22
+ export { createSyncRegistry } from './documents/sync/registry';
23
+ export type { SyncRegistry } from './documents/sync/registry';
24
+ export { default as SyncGrantPicker } from './documents/sync/components/SyncGrantPicker.svelte';
25
+ export { default as DocumentSyncExplorer } from './documents/sync/components/DocumentSyncExplorer.svelte';
20
26
  export { registeredShards, activeShards } from './shards/activate.svelte';
21
27
  export type { RegistryIndex, PackageEntry, PackageVersion, RequiredDependency, InstalledPackage, InstallResult, PackageMeta, } from './registry/types';
22
28
  export type { ResolvedPackage } from './registry/client';
@@ -30,7 +36,10 @@ export declare const capabilities: {
30
36
  readonly hotInstall: boolean;
31
37
  };
32
38
  export type { ServerShard, ServerShardContext } from './server-shard/types';
33
- export type { Verb } from './verbs/types';
39
+ export type { Verb, VerbContext, ShellApi } from './verbs/types';
40
+ export type { Scrollback } from './shell-shard/scrollback.svelte';
41
+ export type { SessionClient } from './shell-shard/session-client.svelte';
34
42
  export { listVerbs } from './shards/registry';
35
43
  export { VERSION } from './version';
44
+ export declare const FRAMEWORK_SHARD_IDS: readonly string[];
36
45
  export { setTokenOverrides, clearTokenOverrides, getTokenOverrides, } from './theme';
package/dist/api.js CHANGED
@@ -26,9 +26,13 @@ export { shell } from './shellRuntime.svelte';
26
26
  export { PERMISSION_STATE_MANAGE } from './state/types';
27
27
  // Host actions callable from inside views (shell home, status bar, etc.).
28
28
  export { listRegisteredApps, getActiveApp } from './apps/registry.svelte';
29
- export { launchApp, returnToHome } from './apps/lifecycle';
29
+ export { launchApp, returnToHome, unregisterApp } from './apps/lifecycle';
30
30
  // Layout inspection / mutation for advanced shards (diagnostic, etc.).
31
31
  export { inspectActiveLayout, spliceIntoActiveLayout, dockIntoActiveLayout, focusTab, focusView, collapseChild, expandChild, closeTab, } from './layout/inspection';
32
+ export { PERMISSION_DOCUMENTS_SYNC, ScopeNotGrantedError, ScopeRevokedError, TenantMismatchError, } from './documents/sync/types';
33
+ export { createSyncRegistry } from './documents/sync/registry';
34
+ export { default as SyncGrantPicker } from './documents/sync/components/SyncGrantPicker.svelte';
35
+ export { default as DocumentSyncExplorer } from './documents/sync/components/DocumentSyncExplorer.svelte';
32
36
  // Shard introspection — read-only reactive maps exposing which shards are
33
37
  // known to the host and which are currently active. Intended for diagnostic
34
38
  // and tooling shards that need to visualize framework state. Phase 9
@@ -47,5 +51,13 @@ export const capabilities = {
47
51
  export { listVerbs } from './shards/registry';
48
52
  // Package version.
49
53
  export { VERSION } from './version';
54
+ // Framework shard IDs — shards that are always present (built-in to sh3-core).
55
+ // Used by the store UI to skip dependency checks for these well-known shards.
56
+ export const FRAMEWORK_SHARD_IDS = [
57
+ '__sh3core__',
58
+ 'shell',
59
+ 'sh3-store',
60
+ 'sh3-admin',
61
+ ];
50
62
  // Theme token override API (shell-level theming support).
51
63
  export { setTokenOverrides, clearTokenOverrides, getTokenOverrides, } from './theme';
@@ -13,6 +13,7 @@
13
13
  import { contract } from '../../contract';
14
14
  import type { ResolvedPackage } from '../../registry/client';
15
15
  import type { InstalledPackage } from '../../registry/types';
16
+ import { FRAMEWORK_SHARD_IDS } from '../../api';
16
17
 
17
18
  let search = $state('');
18
19
  let typeFilter = $state<'all' | 'shard' | 'app'>('all');
@@ -75,6 +76,16 @@
75
76
  return ctx.state.ephemeral.installed.find((p: InstalledPackage) => p.id === id)?.version ?? '';
76
77
  }
77
78
 
79
+ function missingShards(pkg: ResolvedPackage, installed: InstalledPackage[]): string[] {
80
+ const required = pkg.latest.requires?.map((r) => r.id) ?? [];
81
+ if (required.length === 0) return [];
82
+ const known = new Set<string>(FRAMEWORK_SHARD_IDS);
83
+ for (const p of installed) {
84
+ if (p.type === 'shard' || p.type === 'combo') known.add(p.id);
85
+ }
86
+ return required.filter((id: string) => !known.has(id));
87
+ }
88
+
78
89
  async function handleUpdate(id: string) {
79
90
  if (updatingIds.has(id)) return;
80
91
 
@@ -118,6 +129,7 @@
118
129
  version: meta.version,
119
130
  contractVersion: meta.contractVersion,
120
131
  sourceRegistry: meta.sourceRegistry,
132
+ requiredShards: pkg.latest.requires?.map((r) => r.id) ?? [],
121
133
  installedAt: new Date().toISOString(),
122
134
  };
123
135
  const serverResult = await serverInstallPackage(manifest, bundle, serverBundle);
@@ -215,6 +227,7 @@
215
227
  {@const installing = installingIds.has(pkg.entry.id)}
216
228
  {@const updatable = hasUpdate(pkg.entry.id)}
217
229
  {@const updating = updatingIds.has(pkg.entry.id)}
230
+ {@const missing = missingShards(pkg, ctx.state.ephemeral.installed)}
218
231
  <div class="store-card">
219
232
  <div class="store-card-header">
220
233
  <div class="store-card-icon">
@@ -253,13 +266,19 @@
253
266
  {:else if installed}
254
267
  <span class="store-installed-label">Installed</span>
255
268
  {:else}
256
- <button
257
- class="store-install-btn"
258
- onclick={() => handleInstall(pkg)}
259
- disabled={installing}
260
- >
261
- {installing ? 'Installing...' : 'Install'}
262
- </button>
269
+ <div class="store-install-wrap">
270
+ <button
271
+ class="store-install-btn"
272
+ onclick={() => handleInstall(pkg)}
273
+ disabled={installing || missing.length > 0}
274
+ title={missing.length > 0 ? `Missing required shards: ${missing.join(', ')}` : undefined}
275
+ >
276
+ {installing ? 'Installing...' : 'Install'}
277
+ </button>
278
+ {#if missing.length > 0}
279
+ <span class="store-card-missing">requires: {missing.join(', ')}</span>
280
+ {/if}
281
+ </div>
263
282
  {/if}
264
283
  </div>
265
284
  </div>
@@ -449,6 +468,16 @@
449
468
  color: var(--shell-success, #4caf50);
450
469
  font-weight: 600;
451
470
  }
471
+ .store-install-wrap {
472
+ display: flex;
473
+ flex-direction: column;
474
+ align-items: flex-end;
475
+ gap: 4px;
476
+ }
477
+ .store-card-missing {
478
+ font-size: 0.75rem;
479
+ color: var(--shell-warning, #ff9800);
480
+ }
452
481
  .store-update-btn {
453
482
  padding: 5px 14px;
454
483
  background: var(--shell-warning, #ff9800);
@@ -134,7 +134,7 @@ export const storeShard = {
134
134
  await ctx.envUpdate({ registries });
135
135
  }
136
136
  async function updatePackage(id) {
137
- var _a, _b;
137
+ var _a, _b, _c, _d;
138
138
  const catalogEntry = state.ephemeral.updatable[id];
139
139
  if (!catalogEntry)
140
140
  return;
@@ -160,10 +160,16 @@ export const storeShard = {
160
160
  contractVersion: meta.contractVersion,
161
161
  sourceRegistry: meta.sourceRegistry,
162
162
  installedAt: new Date().toISOString(),
163
+ requiredShards: (_b = (_a = catalogEntry.latest.requires) === null || _a === void 0 ? void 0 : _a.map((r) => r.id)) !== null && _b !== void 0 ? _b : [],
163
164
  };
164
165
  const serverResult = await serverInstallPackage(manifest, bundle, serverBundle);
165
166
  if (!serverResult.ok) {
166
- throw new Error((_a = serverResult.error) !== null && _a !== void 0 ? _a : 'Server update failed');
167
+ let message = (_c = serverResult.error) !== null && _c !== void 0 ? _c : 'Server update failed';
168
+ if (serverResult.code === 'missing-shards' && serverResult.missing) {
169
+ const ids = serverResult.missing.map((m) => m.id).join(', ');
170
+ message = `missing required shard(s): ${ids}`;
171
+ }
172
+ throw new Error(message);
167
173
  }
168
174
  // 4. Install locally (overwrites IndexedDB + re-registers).
169
175
  const result = await installPackage(bundle, meta);
@@ -177,7 +183,7 @@ export const storeShard = {
177
183
  console.warn(`[sh3-store] Rollback failed for "${id}":`, rollbackErr instanceof Error ? rollbackErr.message : rollbackErr);
178
184
  }
179
185
  }
180
- throw new Error((_b = result.error) !== null && _b !== void 0 ? _b : 'Local install failed during update');
186
+ throw new Error((_d = result.error) !== null && _d !== void 0 ? _d : 'Local install failed during update');
181
187
  }
182
188
  await refreshInstalled();
183
189
  }
@@ -19,7 +19,7 @@ export const installVerb = {
19
19
  name: 'install',
20
20
  summary: 'Install a package by id from the catalog.',
21
21
  async run(ctx, args) {
22
- var _a;
22
+ var _a, _b, _c;
23
23
  const id = args[0];
24
24
  if (!id) {
25
25
  ctx.scrollback.push({
@@ -71,12 +71,18 @@ export const installVerb = {
71
71
  contractVersion: meta.contractVersion,
72
72
  sourceRegistry: meta.sourceRegistry,
73
73
  installedAt: new Date().toISOString(),
74
+ requiredShards: (_b = (_a = pkg.latest.requires) === null || _a === void 0 ? void 0 : _a.map((r) => r.id)) !== null && _b !== void 0 ? _b : [],
74
75
  };
75
76
  const serverResult = await serverInstallPackage(manifest, bundle, serverBundle);
76
77
  if (!serverResult.ok) {
78
+ let text = `install failed: ${(_c = serverResult.error) !== null && _c !== void 0 ? _c : 'server error'}`;
79
+ if (serverResult.code === 'missing-shards' && serverResult.missing) {
80
+ const ids = serverResult.missing.map((m) => m.id).join(', ');
81
+ text = `install failed: missing required shard(s): ${ids}`;
82
+ }
77
83
  ctx.scrollback.push({
78
84
  kind: 'status',
79
- text: `install failed: ${(_a = serverResult.error) !== null && _a !== void 0 ? _a : 'server error'}`,
85
+ text,
80
86
  level: 'error',
81
87
  ts: Date.now(),
82
88
  });
@@ -25,6 +25,17 @@ export declare function launchApp(id: string): Promise<void>;
25
25
  * @param id - The `AppManifest.id` of the app to unload.
26
26
  */
27
27
  export declare function unloadApp(id: string): void;
28
+ /**
29
+ * Unregister an app and remove it from the registry.
30
+ *
31
+ * If the app is currently active, force-closes (android-style): calls
32
+ * `App.deactivate`, detaches the layout, and deactivates required shards,
33
+ * then clears the active-app pointer. Unlike `returnToHome` this does not
34
+ * run suspend hooks and cannot be cancelled.
35
+ *
36
+ * No-op if the id is not registered.
37
+ */
38
+ export declare function unregisterApp(id: string): void;
28
39
  /**
29
40
  * Return to the shell home view without unloading the active app. The
30
41
  * app's shards stay running, its layout proxy stays attached with its
@@ -14,7 +14,7 @@
14
14
  import { createStateZones } from '../state/zones.svelte';
15
15
  import { activateShard, deactivateShard, getShardContext, registeredShards, } from '../shards/activate.svelte';
16
16
  import { attachApp, acquireAppSlotHolds, detachApp, switchToApp, switchToHome, } from '../layout/store.svelte';
17
- import { activeApp, getRegisteredApp } from './registry.svelte';
17
+ import { activeApp, getRegisteredApp, registeredApps } from './registry.svelte';
18
18
  import { createZoneManager } from '../state/manage';
19
19
  import { PERMISSION_STATE_MANAGE } from '../state/types';
20
20
  // ---------- last-active-app user zone ------------------------------------
@@ -169,6 +169,26 @@ export function unloadApp(id) {
169
169
  activeApp.id = null;
170
170
  appContexts.delete(id);
171
171
  }
172
+ // ---------- unregister -------------------------------------------------------
173
+ /**
174
+ * Unregister an app and remove it from the registry.
175
+ *
176
+ * If the app is currently active, force-closes (android-style): calls
177
+ * `App.deactivate`, detaches the layout, and deactivates required shards,
178
+ * then clears the active-app pointer. Unlike `returnToHome` this does not
179
+ * run suspend hooks and cannot be cancelled.
180
+ *
181
+ * No-op if the id is not registered.
182
+ */
183
+ export function unregisterApp(id) {
184
+ if (!registeredApps.has(id))
185
+ return;
186
+ if (activeApp.id === id) {
187
+ unloadApp(id);
188
+ writeLastApp(null);
189
+ }
190
+ registeredApps.delete(id);
191
+ }
172
192
  // ---------- return to home -----------------------------------------------
173
193
  /**
174
194
  * Return to the shell home view without unloading the active app. The
@@ -1,7 +1,7 @@
1
1
  import { describe, it, expect, beforeEach, vi } from 'vitest';
2
2
  import { resetFramework } from '../__test__/reset';
3
3
  import { makeApp, makeShard, makeAppManifest, makeShardManifest, makeTabsNode, makeTabEntry, makeSlotNode, makeTree, } from '../__test__/fixtures';
4
- import { launchApp, returnToHome } from './lifecycle';
4
+ import { launchApp, returnToHome, unregisterApp } from './lifecycle';
5
5
  import { registerApp } from './registry.svelte';
6
6
  import { registerShard } from '../shards/activate.svelte';
7
7
  import { presetManager } from '../overlays/presets';
@@ -258,3 +258,52 @@ describe('presets — scenario B.5 post-launch switch re-renders', () => {
258
258
  expect(container.querySelector('[data-view-for="slot-one"]')).toBeNull();
259
259
  });
260
260
  });
261
+ // ---------------------------------------------------------------------------
262
+ // unregisterApp — android-style force-close + removal
263
+ // ---------------------------------------------------------------------------
264
+ describe('unregisterApp', () => {
265
+ beforeEach(resetFramework);
266
+ it('removes an inactive app from the registry', async () => {
267
+ const { registeredApps } = await import('./registry.svelte');
268
+ const app = makeApp({ manifest: makeAppManifest({ id: 'app-u1' }) });
269
+ registerApp(app);
270
+ expect(registeredApps.has('app-u1')).toBe(true);
271
+ unregisterApp('app-u1');
272
+ expect(registeredApps.has('app-u1')).toBe(false);
273
+ });
274
+ it('force-closes to home if the app being unregistered is active', async () => {
275
+ const { activeApp, registeredApps } = await import('./registry.svelte');
276
+ const shard = makeShard({ manifest: makeShardManifest({ id: 'shard-U' }) });
277
+ registerShard(shard);
278
+ const app = makeApp({
279
+ manifest: makeAppManifest({ id: 'app-u2', requiredShards: ['shard-U'] }),
280
+ });
281
+ registerApp(app);
282
+ await launchApp('app-u2');
283
+ expect(activeApp.id).toBe('app-u2');
284
+ unregisterApp('app-u2');
285
+ expect(activeApp.id).toBeNull();
286
+ expect(registeredApps.has('app-u2')).toBe(false);
287
+ });
288
+ it('is a no-op for unknown ids', async () => {
289
+ expect(() => unregisterApp('does-not-exist')).not.toThrow();
290
+ });
291
+ });
292
+ // ---------------------------------------------------------------------------
293
+ // installPackage — evict-before-register (via registerLoadedBundle)
294
+ // ---------------------------------------------------------------------------
295
+ describe('installPackage evict-before-register (simulated via registerLoadedBundle)', () => {
296
+ beforeEach(resetFramework);
297
+ it('replaces an existing shard entry when a new version is registered', async () => {
298
+ var _a, _b;
299
+ const { registerLoadedBundle } = await import('../registry/register');
300
+ const { deactivateShard, registeredShards } = await import('../shards/activate.svelte');
301
+ const s1 = makeShard({ manifest: makeShardManifest({ id: 'S', version: '' }) });
302
+ registerLoadedBundle({ shards: [s1], apps: [] }, { version: '1.0.0', sourceRegistry: '', contractVersion: '1' });
303
+ expect((_a = registeredShards.get('S')) === null || _a === void 0 ? void 0 : _a.manifest.version).toBe('1.0.0');
304
+ deactivateShard('S');
305
+ const s2 = makeShard({ manifest: makeShardManifest({ id: 'S', version: '' }) });
306
+ registerLoadedBundle({ shards: [s2], apps: [] }, { version: '1.0.1', sourceRegistry: '', contractVersion: '1' });
307
+ expect((_b = registeredShards.get('S')) === null || _b === void 0 ? void 0 : _b.manifest.version).toBe('1.0.1');
308
+ });
309
+ });
@@ -39,8 +39,9 @@ export interface AppManifest {
39
39
  /**
40
40
  * Optional permissions this app requests beyond the default sandbox.
41
41
  * Declared in the manifest and surfaced to the user at install time
42
- * by the store app. Currently recognized: `'state:manage'` — cross-
43
- * shard zone access.
42
+ * by the store app. Currently recognized:
43
+ * - 'state:manage' — cross-shard zone access.
44
+ * - 'documents:sync' — cross-shard document sync API.
44
45
  */
45
46
  permissions?: string[];
46
47
  }
@@ -61,6 +62,10 @@ export interface AppContext {
61
62
  * Cross-shard zone management API. Only present when the app's
62
63
  * manifest declares the `'state:manage'` permission. Check with
63
64
  * `if (ctx.zones)` before use.
65
+ *
66
+ * Related permissions also recognized by the framework:
67
+ * - 'documents:sync' — cross-shard document sync API (exposed on
68
+ * shard contexts as `ctx.sync()`, not on app contexts).
64
69
  */
65
70
  zones?: ZoneManager;
66
71
  }
@@ -15,6 +15,8 @@ export interface ShellConfig {
15
15
  type: string;
16
16
  version: string;
17
17
  bundleUrl: string;
18
+ sourceRegistry?: string;
19
+ contractVersion?: string;
18
20
  }>;
19
21
  /** Mount target — CSS selector or element (defaults to '#app') */
20
22
  target?: string | HTMLElement;
@@ -15,8 +15,10 @@ import { __setEnvServerUrl } from './env/index';
15
15
  import { __setTenantId } from './documents/config';
16
16
  import { initFromBoot } from './auth/index';
17
17
  import SignInWall from './auth/SignInWall.svelte';
18
+ import { loadBundleModule } from './registry/loader';
19
+ import { registerLoadedBundle } from './registry/register';
18
20
  export async function createShell(config) {
19
- var _a, _b, _c;
21
+ var _a, _b, _c, _d, _e;
20
22
  const sUrl = (_a = config === null || config === void 0 ? void 0 : config.serverUrl) !== null && _a !== void 0 ? _a : '';
21
23
  // 1. Platform detection
22
24
  const platform = await resolvePlatform();
@@ -45,7 +47,7 @@ export async function createShell(config) {
45
47
  bootConfig = await res.json();
46
48
  }
47
49
  }
48
- catch (_d) {
50
+ catch (_f) {
49
51
  // Server unreachable — boot without auth (offline mode)
50
52
  }
51
53
  }
@@ -73,7 +75,6 @@ export async function createShell(config) {
73
75
  }
74
76
  // 5. Load server-discovered packages
75
77
  if ((_c = config === null || config === void 0 ? void 0 : config.discoveredPackages) === null || _c === void 0 ? void 0 : _c.length) {
76
- const { loadBundleModule } = await import('./registry/loader');
77
78
  for (const pkg of config.discoveredPackages) {
78
79
  try {
79
80
  const res = await fetch(pkg.bundleUrl);
@@ -83,10 +84,11 @@ export async function createShell(config) {
83
84
  }
84
85
  const bytes = await res.arrayBuffer();
85
86
  const loaded = await loadBundleModule(bytes);
86
- for (const s of loaded.shards)
87
- registerShard(s);
88
- for (const a of loaded.apps)
89
- registerApp(a);
87
+ registerLoadedBundle(loaded, {
88
+ version: pkg.version,
89
+ sourceRegistry: (_d = pkg.sourceRegistry) !== null && _d !== void 0 ? _d : '',
90
+ contractVersion: (_e = pkg.contractVersion) !== null && _e !== void 0 ? _e : '',
91
+ });
90
92
  console.log(`[sh3] Loaded discovered package: ${pkg.id}`);
91
93
  }
92
94
  catch (err) {
@@ -18,6 +18,8 @@ var __classPrivateFieldGet = (this && this.__classPrivateFieldGet) || function (
18
18
  };
19
19
  var _AutosaveControllerImpl_instances, _AutosaveControllerImpl_handle, _AutosaveControllerImpl_path, _AutosaveControllerImpl_debounceMs, _AutosaveControllerImpl_pending, _AutosaveControllerImpl_timer, _AutosaveControllerImpl_dirty, _AutosaveControllerImpl_disposed, _AutosaveControllerImpl_scheduleFlush, _AutosaveControllerImpl_clearTimer;
20
20
  import { documentChanges } from './notifications';
21
+ import { notifyJournal } from './journal-hook';
22
+ import { hashContent } from './sync/hash';
21
23
  const DEFAULT_DEBOUNCE_MS = 1000;
22
24
  /**
23
25
  * Create a document handle scoped to a tenant, shard, and file filter.
@@ -53,10 +55,13 @@ export function createDocumentHandle(tenantId, shardId, backend, options) {
53
55
  const existed = await backend.exists(tenantId, shardId, path);
54
56
  await backend.write(tenantId, shardId, path, content);
55
57
  emitChange(existed ? 'update' : 'create', path);
58
+ const hash = await hashContent(content);
59
+ await notifyJournal({ shardId, path, op: 'upsert', hash });
56
60
  },
57
61
  async delete(path) {
58
62
  await backend.delete(tenantId, shardId, path);
59
63
  emitChange('delete', path);
64
+ await notifyJournal({ shardId, path, op: 'delete', hash: null });
60
65
  },
61
66
  async exists(path) {
62
67
  return backend.exists(tenantId, shardId, path);
@@ -4,3 +4,4 @@ export { HttpDocumentBackend } from './http-backend';
4
4
  export { createDocumentHandle } from './handle';
5
5
  export { documentChanges } from './notifications';
6
6
  export { getTenantId, getDocumentBackend, __setTenantId, __setDocumentBackend, } from './config';
7
+ export * from './sync';
@@ -6,3 +6,4 @@ export { HttpDocumentBackend } from './http-backend';
6
6
  export { createDocumentHandle } from './handle';
7
7
  export { documentChanges } from './notifications';
8
8
  export { getTenantId, getDocumentBackend, __setTenantId, __setDocumentBackend, } from './config';
9
+ export * from './sync';
@@ -0,0 +1,6 @@
1
+ import type { JournalEntry } from './sync/types';
2
+ type Appender = (entry: Omit<JournalEntry, 'seq' | 'ts'>) => Promise<void>;
3
+ export declare function setJournalAppender(fn: Appender): void;
4
+ export declare function clearJournalAppender(): void;
5
+ export declare function notifyJournal(entry: Omit<JournalEntry, 'seq' | 'ts'>): Promise<void>;
6
+ export {};
@@ -0,0 +1,16 @@
1
+ /*
2
+ * Journal appender hook — lets the sync engine subscribe to regular
3
+ * shard writes/deletes without creating an import cycle between the
4
+ * document handle and the sync subsystem.
5
+ */
6
+ let appender = null;
7
+ export function setJournalAppender(fn) {
8
+ appender = fn;
9
+ }
10
+ export function clearJournalAppender() {
11
+ appender = null;
12
+ }
13
+ export async function notifyJournal(entry) {
14
+ if (appender)
15
+ await appender(entry);
16
+ }
@@ -0,0 +1 @@
1
+ export {};
@@ -0,0 +1,37 @@
1
+ import { describe, it, expect, beforeEach } from 'vitest';
2
+ import { MemoryDocumentBackend } from '../backends';
3
+ import { __setDocumentBackend, __setTenantId } from '../config';
4
+ import { __resetShardRegistryForTest, registerShard, activateShard } from '../../shards/activate.svelte';
5
+ import { __resetSyncBundlesForTest } from './singleton';
6
+ import { PERMISSION_DOCUMENTS_SYNC } from './types';
7
+ describe('ctx.sync() gating', () => {
8
+ beforeEach(() => {
9
+ __resetShardRegistryForTest();
10
+ __resetSyncBundlesForTest();
11
+ __setDocumentBackend(new MemoryDocumentBackend());
12
+ __setTenantId('tenant-a');
13
+ });
14
+ it('is undefined without documents:sync permission', async () => {
15
+ let captured;
16
+ const shard = {
17
+ manifest: { id: 's-none', version: '0', views: [] },
18
+ activate: async (ctx) => { captured = ctx; },
19
+ };
20
+ registerShard(shard);
21
+ await activateShard('s-none');
22
+ expect(captured.sync).toBeUndefined();
23
+ });
24
+ it('is a function when documents:sync is declared', async () => {
25
+ let captured;
26
+ const shard = {
27
+ manifest: { id: 's-sync', version: '0', views: [], permissions: [PERMISSION_DOCUMENTS_SYNC] },
28
+ activate: async (ctx) => { captured = ctx; },
29
+ };
30
+ registerShard(shard);
31
+ await activateShard('s-sync');
32
+ expect(typeof captured.sync).toBe('function');
33
+ const h = captured.sync();
34
+ expect(h.connectorId).toBe('s-sync');
35
+ expect(await h.grantedScopes()).toEqual([]);
36
+ });
37
+ });
@@ -0,0 +1,99 @@
1
+ <script lang="ts">
2
+ import { onMount } from 'svelte';
3
+ import SyncGrantPicker from './SyncGrantPicker.svelte';
4
+ import { createSyncRegistry, type SyncRegistry } from '../registry';
5
+ import { getDocumentBackend, getTenantId } from '../../config';
6
+ import type { GrantRecord, SyncScope, ConflictResolution } from '../types';
7
+
8
+ interface Props {
9
+ /** Optional connector-specific filter; if omitted, shows everything. */
10
+ connectorId?: string;
11
+ /** Shard IDs whose conflict artifacts should be listed. */
12
+ conflictShardIds?: string[];
13
+ /** Pending grant request, if any — embeds the picker when set. */
14
+ pendingRequest?: { connectorId: string; scope: SyncScope };
15
+ }
16
+
17
+ let { connectorId, conflictShardIds = [], pendingRequest }: Props = $props();
18
+
19
+ let registry: SyncRegistry | null = $state(null);
20
+ let grants: GrantRecord[] = $state([]);
21
+ let conflicts: ConflictResolution[] = $state([]);
22
+
23
+ async function refresh() {
24
+ if (!registry) return;
25
+ grants = await registry.list(connectorId);
26
+ const all: ConflictResolution[] = [];
27
+ for (const shardId of conflictShardIds) {
28
+ all.push(...await registry.listConflicts(shardId));
29
+ }
30
+ conflicts = all;
31
+ }
32
+
33
+ onMount(async () => {
34
+ registry = createSyncRegistry(getDocumentBackend(), getTenantId());
35
+ await refresh();
36
+ });
37
+
38
+ async function revoke(record: GrantRecord) {
39
+ if (!registry) return;
40
+ await registry.revoke(record.connectorId, record.scope);
41
+ await refresh();
42
+ }
43
+
44
+ function describeScope(s: SyncScope): string {
45
+ if (s.kind === 'tenant') return 'entire tenant';
46
+ if (s.kind === 'shard') return `shard:${s.shardId}`;
47
+ return `shard:${s.shardId}/${s.prefix}`;
48
+ }
49
+ </script>
50
+
51
+ <section class="document-sync-explorer" part="container">
52
+ <h2 part="title">Document Sync</h2>
53
+
54
+ {#if pendingRequest}
55
+ <SyncGrantPicker
56
+ connectorId={pendingRequest.connectorId}
57
+ scope={pendingRequest.scope}
58
+ onGranted={refresh}
59
+ />
60
+ {/if}
61
+
62
+ <h3 part="subtitle">Granted scopes</h3>
63
+ {#if grants.length === 0}
64
+ <p part="empty">No scopes granted yet.</p>
65
+ {:else}
66
+ <ul part="grants">
67
+ {#each grants as g}
68
+ <li>
69
+ <span part="grant-connector">{g.connectorId}</span>
70
+ <span part="grant-scope">{describeScope(g.scope)}</span>
71
+ <button type="button" onclick={() => revoke(g)} part="revoke">Revoke</button>
72
+ </li>
73
+ {/each}
74
+ </ul>
75
+ {/if}
76
+
77
+ <h3 part="subtitle">Conflicts</h3>
78
+ {#if conflicts.length === 0}
79
+ <p part="empty">No active conflicts.</p>
80
+ {:else}
81
+ <ul part="conflicts">
82
+ {#each conflicts as c}
83
+ <li>
84
+ <code part="conflict-path">{c.shardId}:{c.path}</code>
85
+ <small part="conflict-artifact">{c.conflictArtifactPath}</small>
86
+ </li>
87
+ {/each}
88
+ </ul>
89
+ {/if}
90
+ </section>
91
+
92
+ <style>
93
+ .document-sync-explorer {
94
+ display: grid;
95
+ gap: 0.75rem;
96
+ }
97
+ ul { list-style: none; padding: 0; margin: 0; }
98
+ li { display: flex; gap: 0.5rem; align-items: center; }
99
+ </style>
@@ -0,0 +1,15 @@
1
+ import type { SyncScope } from '../types';
2
+ interface Props {
3
+ /** Optional connector-specific filter; if omitted, shows everything. */
4
+ connectorId?: string;
5
+ /** Shard IDs whose conflict artifacts should be listed. */
6
+ conflictShardIds?: string[];
7
+ /** Pending grant request, if any — embeds the picker when set. */
8
+ pendingRequest?: {
9
+ connectorId: string;
10
+ scope: SyncScope;
11
+ };
12
+ }
13
+ declare const DocumentSyncExplorer: import("svelte").Component<Props, {}, "">;
14
+ type DocumentSyncExplorer = ReturnType<typeof DocumentSyncExplorer>;
15
+ export default DocumentSyncExplorer;