Add レアル・ジェネクス・チューリング and ミラー・リゾネーター

c38354937.lua

@@ -2,6 +2,10 @@
 function c38354937.initial_effect(c)
 	--synchro summon
 	aux.AddSynchroProcedure(c,aux.FilterBoolFunction(Card.IsSetCard,0x2),aux.NonTuner(Card.IsAttribute,ATTRIBUTE_DARK),1)
+	Synchro.AddSynchroProcedure(c,{
+		tuner_filter=function(mc,tc) return mc:IsSetCard(0x2) and Synchro.DefaultTunerFilter(mc,tc) end,
+		non_tuner_filter=function(mc,tc) return mc:IsAttribute(ATTRIBUTE_DARK) and Synchro.DefaultNonTunerFilter(mc,tc) end,
+	})
 	c:EnableReviveLimit()
 	--control
 	local e1=Effect.CreateEffect(c)

c61052897.lua

@@ -28,6 +28,7 @@ function s.initial_effect(c)
 	e3:SetProperty(EFFECT_FLAG_SINGLE_RANGE)
 	e3:SetCode(id)
 	e3:SetRange(LOCATION_MZONE)
+	e3:SetValue(s.slevel)
 	c:RegisterEffect(e3)
 end
 function s.cardiansynlevel(c,sc)
@@ -114,3 +115,10 @@ function s.spop(e,tp,eg,ep,ev,re,r,rp)
 		end
 	end
 end
+function s.slevel(e,tc)
+	if tc:IsSetCard(0x2) then
+		return {1,3}
+	else
+		return {}
+	end
+end

procedure.lua

@@ -3835,6 +3835,7 @@ end
 function Synchro.DefaultLevelMapper(card,tc)
 	local level_dict={}
 
+	local mandatory=false
 	local effs={card:IsHasEffect(EFFECT_SYNCHRO_LEVEL)}
 	if #effs>0 then
 		local val=effs[1]:GetValue()(effs[1],tc)
@@ -3845,13 +3846,24 @@ function Synchro.DefaultLevelMapper(card,tc)
 		elseif type(val)=="number" then
 			if val>=(1<<16) then -- compatibility
 				val=val>>16
+			else
+				mandatory=true
 			end
 			level_dict[val]=true
 		end
 	end
+	effs={card:IsHasEffect(61052897)} --- レアル・ジェネクス・チューリング
+	if #effs>0 then
+		local val=effs[1]:GetValue()(effs[1],tc)
+		for _, v in ipairs(val) do
+			level_dict[v]=true
+		end
+	end
 
-	-- Always include original level
-	level_dict[card:GetLevel()]=true
+	if not mandatory then
+		-- include original level
+		level_dict[card:GetLevel()]=true
+	end
 
 	-- Convert dictionary keys back to array
 	local levels={}