Preserve explicit target fallback

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/run.lua b/tests/run.lua
index 1afe2c8..c755c05 100644
--- a/tests/run.lua
+++ b/tests/run.lua
@@ -7751,6 +7751,23 @@ test("Opposite explicit coordination swaps current-context descriptor", function
   end
 end)
 
+test("Explicit coordination keeps code-zero target fallback", function()
+  local _, transitions = fresh_sequence_state()
+  transitions:BeginAcquisition("n", "T")
+  local host = MemoryHost.new()
+  local coordinator = sequence_coordinator.new({ host = host })
+
+  local same_repeat = coordinator:repeat_same_direction()
+  local opposite_repeat = coordinator:repeat_opposite_direction()
+
+  for _, resolution in ipairs({ same_repeat, opposite_repeat }) do
+    falsy(resolution.request.neutral)
+    same(domain.TargetKind.CODE_FALLBACK, resolution.request.target.kind)
+    same(0, resolution.request.target.first_code)
+    same("", resolution.request.target.value)
+  end
+end)
+
 for _, item in ipairs(tests) do
   local ok, failure = xpcall(item.body, debug.traceback)
   if not ok then