Archive add-ghostty-gnome-tweaks-dark-mode, sync specs

Ghostty, the GNOME Tweaks gating requirement, and the GNOME dark-mode
default were already implemented and committed; this syncs the
delta specs into openspec/specs/desktop-applications and
openspec/specs/gnome-desktop and moves the change to archive/.

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

8 files changed, 23 insertions, 1 deletions

diff --git a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/.openspec.yaml b/openspec/changes/archive/2026-09-24-add-ghostty-gnome-tweaks-dark-mode/.openspec.yaml
index 75289e4..75289e4 100644
--- a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/.openspec.yaml
+++ b/openspec/changes/archive/2026-09-24-add-ghostty-gnome-tweaks-dark-mode/.openspec.yaml
diff --git a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/design.md b/openspec/changes/archive/2026-09-24-add-ghostty-gnome-tweaks-dark-mode/design.md
index 72262d1..72262d1 100644
--- a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/design.md
+++ b/openspec/changes/archive/2026-09-24-add-ghostty-gnome-tweaks-dark-mode/design.md
diff --git a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/proposal.md b/openspec/changes/archive/2026-09-24-add-ghostty-gnome-tweaks-dark-mode/proposal.md
index 44969e4..44969e4 100644
--- a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/proposal.md
+++ b/openspec/changes/archive/2026-09-24-add-ghostty-gnome-tweaks-dark-mode/proposal.md
diff --git a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/specs/desktop-applications/spec.md b/openspec/changes/archive/2026-09-24-add-ghostty-gnome-tweaks-dark-mode/specs/desktop-applications/spec.md
index ccc88e4..ccc88e4 100644
--- a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/specs/desktop-applications/spec.md
+++ b/openspec/changes/archive/2026-09-24-add-ghostty-gnome-tweaks-dark-mode/specs/desktop-applications/spec.md
diff --git a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/specs/gnome-desktop/spec.md b/openspec/changes/archive/2026-09-24-add-ghostty-gnome-tweaks-dark-mode/specs/gnome-desktop/spec.md
index f9344b4..f9344b4 100644
--- a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/specs/gnome-desktop/spec.md
+++ b/openspec/changes/archive/2026-09-24-add-ghostty-gnome-tweaks-dark-mode/specs/gnome-desktop/spec.md
diff --git a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/tasks.md b/openspec/changes/archive/2026-09-24-add-ghostty-gnome-tweaks-dark-mode/tasks.md
index 15eca5b..15eca5b 100644
--- a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/tasks.md
+++ b/openspec/changes/archive/2026-09-24-add-ghostty-gnome-tweaks-dark-mode/tasks.md
diff --git a/openspec/specs/desktop-applications/spec.md b/openspec/specs/desktop-applications/spec.md
index 8758177..ec5e7fe 100644
--- a/openspec/specs/desktop-applications/spec.md
+++ b/openspec/specs/desktop-applications/spec.md
@@ -7,7 +7,7 @@ Provisions everyday desktop GUI applications (chat, communication, and music cli
 ## Requirements
 
 ### Requirement: Desktop GUI applications are provisioned via the shared home profile
-The shared home-manager profile SHALL include Slack, Discord, Spotify, teams-for-linux, Firefox, and the Bitwarden desktop client as GUI application packages, available wherever that profile is activated and the underlying package supports the current system.
+The shared home-manager profile SHALL include Slack, Discord, Spotify, teams-for-linux, Firefox, the Bitwarden desktop client, and Ghostty as GUI application packages, available wherever that profile is activated and the underlying package supports the current system. GNOME Tweaks is provisioned per the separate requirement below, since its availability depends on GNOME being enabled rather than on platform support alone.
 
 #### Scenario: GUI app available after activation
 - **WHEN** the shared home profile is activated on a system for which a given desktop application's package is supported
@@ -26,3 +26,14 @@ teams-for-linux SHALL be provisioned only on Linux systems, consistent with its
 #### Scenario: Excluded on a non-Linux system
 - **WHEN** the shared home profile is activated on a non-Linux system
 - **THEN** teams-for-linux is not included in the provisioned package set
+
+### Requirement: GNOME Tweaks is provisioned only where GNOME is enabled
+GNOME Tweaks 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 Tweaks 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 Tweaks is not included in the provisioned package set, regardless of the host's operating system
diff --git a/openspec/specs/gnome-desktop/spec.md b/openspec/specs/gnome-desktop/spec.md
index 3351d13..06eabbe 100644
--- a/openspec/specs/gnome-desktop/spec.md
+++ b/openspec/specs/gnome-desktop/spec.md
@@ -33,3 +33,14 @@ The desktop environment SHALL support printing to CUPS-compatible printers, and
 #### Scenario: A network printer is discoverable
 - **WHEN** a network printer advertises itself on the local network
 - **THEN** it can be discovered and configured for printing without the host's firewall blocking the discovery traffic
+
+### Requirement: GNOME defaults to dark mode
+Every NixOS host built from this flake's shared system module SHALL configure its GNOME desktop session to use dark mode (`color-scheme: prefer-dark`) as the default appearance, while leaving the setting changeable by the user.
+
+#### Scenario: Fresh session uses dark mode
+- **WHEN** a user who has not previously changed the GNOME appearance setting logs into a NixOS host built from this flake's shared system module
+- **THEN** the GNOME desktop session appears in dark mode
+
+#### Scenario: User can still switch to light mode
+- **WHEN** a user opens GNOME Settings' Appearance page on a host built from this flake's shared system module
+- **THEN** the user can select light mode, and that choice takes effect and persists across future logins