Archive fix-ssh-authorized-keys-spec, sync developer-environment spec

Closes the spec/implementation drift: the SSH requirement now states
that an authorized key must be provisioned, matching the live fix
already running on floep. Archived despite design.md never being
created -- deliberately skipped per its own conditional trigger rules,
confirmed before proceeding.

5 files changed, 5 insertions, 1 deletions

diff --git a/openspec/changes/fix-ssh-authorized-keys-spec/.openspec.yaml b/openspec/changes/archive/2026-09-18-fix-ssh-authorized-keys-spec/.openspec.yaml
index f2cbbe6..f2cbbe6 100644
--- a/openspec/changes/fix-ssh-authorized-keys-spec/.openspec.yaml
+++ b/openspec/changes/archive/2026-09-18-fix-ssh-authorized-keys-spec/.openspec.yaml
diff --git a/openspec/changes/fix-ssh-authorized-keys-spec/proposal.md b/openspec/changes/archive/2026-09-18-fix-ssh-authorized-keys-spec/proposal.md
index 4a598fb..4a598fb 100644
--- a/openspec/changes/fix-ssh-authorized-keys-spec/proposal.md
+++ b/openspec/changes/archive/2026-09-18-fix-ssh-authorized-keys-spec/proposal.md
diff --git a/openspec/changes/fix-ssh-authorized-keys-spec/specs/developer-environment/spec.md b/openspec/changes/archive/2026-09-18-fix-ssh-authorized-keys-spec/specs/developer-environment/spec.md
index af26016..af26016 100644
--- a/openspec/changes/fix-ssh-authorized-keys-spec/specs/developer-environment/spec.md
+++ b/openspec/changes/archive/2026-09-18-fix-ssh-authorized-keys-spec/specs/developer-environment/spec.md
diff --git a/openspec/changes/fix-ssh-authorized-keys-spec/tasks.md b/openspec/changes/archive/2026-09-18-fix-ssh-authorized-keys-spec/tasks.md
index bb00b00..bb00b00 100644
--- a/openspec/changes/fix-ssh-authorized-keys-spec/tasks.md
+++ b/openspec/changes/archive/2026-09-18-fix-ssh-authorized-keys-spec/tasks.md
diff --git a/openspec/specs/developer-environment/spec.md b/openspec/specs/developer-environment/spec.md
index e21936f..374f098 100644
--- a/openspec/specs/developer-environment/spec.md
+++ b/openspec/specs/developer-environment/spec.md
@@ -26,8 +26,12 @@ Where the user's personal dotfiles repository already owns a piece of shell or p
 - **THEN** the profile installs the tool's package but does not generate or manage a competing configuration file for it
 
 ### Requirement: SSH access is enabled by default on NixOS hosts
-Every NixOS host built from this flake's shared system module SHALL have an SSH server enabled, with password authentication and root login disabled, and SHALL permit inbound SSH traffic through its firewall.
+Every NixOS host built from this flake's shared system module SHALL have an SSH server enabled, with password authentication and root login disabled, and SHALL permit inbound SSH traffic through its firewall. The system SHALL also provision at least one authorized public key for the user, so that key-based authentication is actually reachable rather than merely configured.
 
 #### Scenario: SSH reachable with key-based auth only
 - **WHEN** a NixOS host is built from the shared system module
 - **THEN** the SSH service is enabled, password authentication and root login are disabled, and the firewall permits inbound connections on the SSH port
+
+#### Scenario: An authorized key is provisioned
+- **WHEN** a NixOS host is built from the shared system module
+- **THEN** the user account has at least one authorized public key configured, so a matching private key can actually authenticate over SSH