Archive add-gnome-extension-manager, sync desktop-applications spec

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01HngxrvqEzq8oBEBDtrYJyB

5 files changed, 11 insertions, 0 deletions

diff --git a/openspec/changes/add-gnome-extension-manager/.openspec.yaml b/openspec/changes/archive/2026-09-24-add-gnome-extension-manager/.openspec.yaml
index 75289e4..75289e4 100644
--- a/openspec/changes/add-gnome-extension-manager/.openspec.yaml
+++ b/openspec/changes/archive/2026-09-24-add-gnome-extension-manager/.openspec.yaml
diff --git a/openspec/changes/add-gnome-extension-manager/proposal.md b/openspec/changes/archive/2026-09-24-add-gnome-extension-manager/proposal.md
index d1d686d..d1d686d 100644
--- a/openspec/changes/add-gnome-extension-manager/proposal.md
+++ b/openspec/changes/archive/2026-09-24-add-gnome-extension-manager/proposal.md
diff --git a/openspec/changes/add-gnome-extension-manager/specs/desktop-applications/spec.md b/openspec/changes/archive/2026-09-24-add-gnome-extension-manager/specs/desktop-applications/spec.md
index 87a7043..87a7043 100644
--- a/openspec/changes/add-gnome-extension-manager/specs/desktop-applications/spec.md
+++ b/openspec/changes/archive/2026-09-24-add-gnome-extension-manager/specs/desktop-applications/spec.md
diff --git a/openspec/changes/add-gnome-extension-manager/tasks.md b/openspec/changes/archive/2026-09-24-add-gnome-extension-manager/tasks.md
index 6bec0aa..6bec0aa 100644
--- a/openspec/changes/add-gnome-extension-manager/tasks.md
+++ b/openspec/changes/archive/2026-09-24-add-gnome-extension-manager/tasks.md
diff --git a/openspec/specs/desktop-applications/spec.md b/openspec/specs/desktop-applications/spec.md
index ec5e7fe..12720ba 100644
--- a/openspec/specs/desktop-applications/spec.md
+++ b/openspec/specs/desktop-applications/spec.md
@@ -37,3 +37,14 @@ GNOME Tweaks SHALL be included in the provisioned package set only where the GNO
 #### Scenario: Excluded on a standalone activation
 - **WHEN** the shared home profile is activated standalone, not as part of a NixOS system (for example via `home-manager switch` on a non-NixOS machine)
 - **THEN** GNOME Tweaks is not included in the provisioned package set, regardless of the host's operating system
+
+### Requirement: GNOME Extension Manager is provisioned only where GNOME is enabled
+GNOME Extension Manager SHALL be included in the provisioned package set only where the GNOME desktop is enabled (every NixOS host built from this flake's shared system module), and SHALL be excluded wherever GNOME is not known to be enabled, including standalone (non-NixOS) home-manager activations of the shared profile.
+
+#### Scenario: Included on a NixOS host with GNOME enabled
+- **WHEN** the shared home profile is activated as part of a NixOS host built from this flake's shared system module, where GNOME is enabled
+- **THEN** GNOME Extension Manager is included in the provisioned package set
+
+#### Scenario: Excluded on a standalone activation
+- **WHEN** the shared home profile is activated standalone, not as part of a NixOS system (for example via `home-manager switch` on a non-NixOS machine)
+- **THEN** GNOME Extension Manager is not included in the provisioned package set, regardless of the host's operating system