1 files changed, 5 insertions, 1 deletions

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