From cc3b8899e96d333d238f19340fcf7ca503821441 Mon Sep 17 00:00:00 2001
From: Phillip Davis <phdavis1027@gmail.com>
Date: Tue, 3 Mar 2026 16:08:11 -0500
Subject: [PATCH] test(port-out-pin): execute rejects unregistered

---
 test/property/test_port_out_pin.rb | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/test/property/test_port_out_pin.rb b/test/property/test_port_out_pin.rb
index d76106eef398dbeabb105abc297cf2d70ba6c712..82e77609b77e43e6d5d95d5b99befbbab4faecf6 100644
--- a/test/property/test_port_out_pin.rb
+++ b/test/property/test_port_out_pin.rb
@@ -34,4 +34,22 @@ class PortOutPinPropertyTest < Minitest::Test
 		}
 	end
 	em :test_execute_returns_form_for_registered_user
+
+	def test_execute_rejects_unregistered_user
+		property_of {
+			PortOutPinExecuteCmd
+				.new(REDIS)
+				.redis_state { |_jid, _phone| @redis.reset! }
+				.generate
+		}.check { |_metadata, example|
+			process_stanza(example['stanza'])
+
+			assert_equal 1, written.length
+			reply = written.shift
+			assert_kind_of Blather::StanzaError, reply
+			assert_equal :auth, reply.type
+			assert_equal :registration_required, reply.name
+		}
+	end
+	em :test_execute_rejects_unregistered_user
 end