name: こちょぼの人形祀り
card_text: このカード名の効果は1ターンに1度しか使用できない。
  1:このカードが手札・墓地に存在する場合、フィールドの機械族モンスター1体を対象として発動できる。
  このカードを特殊召喚し、対象のモンスターの攻撃力を半分にする。
  この効果で特殊召喚したこのカードは、レベルが対象のモンスターと同じになり、フィールドから離れた場合に除外される。
  この効果の発動後、ターン終了時まで自分はXモンスターしかEXデッキから特殊召喚できない。
lua: local s, id, o = GetID()
  function s.initial_effect(c)
  	--spsummon
  	local e1 = Effect.CreateEffect(c)
  	e1:SetCategory(CATEGORY_SPECIAL_SUMMON)
  	e1:SetType(EFFECT_TYPE_IGNITION)
  	e1:SetRange(LOCATION_HAND + LOCATION_GRAVE)
  	e1:SetProperty(EFFECT_FLAG_CARD_TARGET)
  	e1:SetCountLimit(1, id)
  	e1:SetTarget(s.sptg)
  	e1:SetOperation(s.spop)
  	c:RegisterEffect(e1)
  end
  function s.cfilter(c)
  	return c:IsFaceup() and c:IsRace(RACE_MACHINE) and c:IsLevelAbove(1)
  end
  function s.sptg(e, tp, eg, ep, ev, re, r, rp, chk, chkc)
  	local c = e:GetHandler()
  	if chkc then
  		return chkc:IsLocation(LOCATION_MZONE) and s.cfilter(chkc)
  	end
  	if chk == 0 then
  		return Duel.IsExistingTarget(s.cfilter, tp, LOCATION_MZONE, LOCATION_MZONE, 1, nil) and Duel.GetLocationCount(tp, LOCATION_MZONE) > 0 and c:IsCanBeSpecialSummoned(e, 0, tp, false, false)
  	end
  	Duel.Hint(HINT_SELECTMSG, tp, HINTMSG_TARGET)
  	Duel.SelectTarget(tp, s.cfilter, tp, LOCATION_MZONE, LOCATION_MZONE, 1, 1, nil)
  	Duel.SetOperationInfo(0, CATEGORY_SPECIAL_SUMMON, c, 1, 0, 0)
  end
  function s.spop(e, tp, eg, ep, ev, re, r, rp)
  	local c = e:GetHandler()
  	local tc = Duel.GetFirstTarget()
  	if c:IsRelateToEffect(e) and aux.NecroValleyFilter()(c) and Duel.SpecialSummonStep(c, 0, tp, tp, false, false, POS_FACEUP) then
  		if tc:IsFaceup() and tc:IsType(TYPE_MONSTER) and not tc:IsImmuneToEffect(e) then
  			local e1 = Effect.CreateEffect(c)
  			e1:SetType(EFFECT_TYPE_SINGLE)
  			e1:SetCode(EFFECT_SET_ATTACK_FINAL)
  			e1:SetReset(RESET_EVENT + RESETS_STANDARD)
  			e1:SetValue(math.ceil(tc:GetAttack() / 2))
  			tc:RegisterEffect(e1)
  			local e2 = Effect.CreateEffect(c)
  			e2:SetType(EFFECT_TYPE_SINGLE)
  			e2:SetCode(EFFECT_CHANGE_LEVEL)
  			e2:SetValue(tc:GetLevel())
  			e2:SetReset(RESET_EVENT + RESETS_STANDARD + RESET_DISABLE)
  			c:RegisterEffect(e2)
  		end
  		Duel.SpecialSummonComplete()
  		local e3 = Effect.CreateEffect(c)
  		e3:SetType(EFFECT_TYPE_SINGLE)
  		e3:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
  		e3:SetProperty(EFFECT_FLAG_CANNOT_DISABLE)
  		e3:SetReset(RESET_EVENT + RESETS_REDIRECT)
  		e3:SetValue(LOCATION_REMOVED)
  		c:RegisterEffect(e3, true)
  	end
  	local e4 = Effect.CreateEffect(e:GetHandler())
  	e4:SetType(EFFECT_TYPE_FIELD)
  	e4:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
  	e4:SetProperty(EFFECT_FLAG_PLAYER_TARGET)
  	e4:SetTargetRange(1, 0)
  	e4:SetReset(RESET_PHASE + PHASE_END)
  	e4:SetTarget(s.splimit)
  	Duel.RegisterEffect(e4, tp)
  end
  function s.splimit(e, c)
  	return not c:IsType(TYPE_XYZ) and c:IsLocation(LOCATION_EXTRA)
  end
  
  
source_text: こちょぼの人形祀り
  このカード名の効果は1ターンに1度しか使用できない。
  1:このカードが手札・墓地に存在する場合、フィールドの機械族モンスター1体を対象として発動できる。
  このカードを特殊召喚し、対象のモンスターの攻撃力を半分にする。
  この効果で特殊召喚したこのカードは、レベルが対象のモンスターと同じになり、フィールドから離れた場合に除外される。
  この効果の発動後、ターン終了時まで自分はXモンスターしかEXデッキから特殊召喚できない。
target_text: -- こちょぼの人形祀り
  local s, id, o = GetID()
  function s.initial_effect(c)
  	--spsummon
  	local e1 = Effect.CreateEffect(c)
  	e1:SetCategory(CATEGORY_SPECIAL_SUMMON)
  	e1:SetType(EFFECT_TYPE_IGNITION)
  	e1:SetRange(LOCATION_HAND + LOCATION_GRAVE)
  	e1:SetProperty(EFFECT_FLAG_CARD_TARGET)
  	e1:SetCountLimit(1, id)
  	e1:SetTarget(s.sptg)
  	e1:SetOperation(s.spop)
  	c:RegisterEffect(e1)
  end
  function s.cfilter(c)
  	return c:IsFaceup() and c:IsRace(RACE_MACHINE) and c:IsLevelAbove(1)
  end
  function s.sptg(e, tp, eg, ep, ev, re, r, rp, chk, chkc)
  	local c = e:GetHandler()
  	if chkc then
  		return chkc:IsLocation(LOCATION_MZONE) and s.cfilter(chkc)
  	end
  	if chk == 0 then
  		return Duel.IsExistingTarget(s.cfilter, tp, LOCATION_MZONE, LOCATION_MZONE, 1, nil) and Duel.GetLocationCount(tp, LOCATION_MZONE) > 0 and c:IsCanBeSpecialSummoned(e, 0, tp, false, false)
  	end
  	Duel.Hint(HINT_SELECTMSG, tp, HINTMSG_TARGET)
  	Duel.SelectTarget(tp, s.cfilter, tp, LOCATION_MZONE, LOCATION_MZONE, 1, 1, nil)
  	Duel.SetOperationInfo(0, CATEGORY_SPECIAL_SUMMON, c, 1, 0, 0)
  end
  function s.spop(e, tp, eg, ep, ev, re, r, rp)
  	local c = e:GetHandler()
  	local tc = Duel.GetFirstTarget()
  	if c:IsRelateToEffect(e) and aux.NecroValleyFilter()(c) and Duel.SpecialSummonStep(c, 0, tp, tp, false, false, POS_FACEUP) then
  		if tc:IsFaceup() and tc:IsType(TYPE_MONSTER) and not tc:IsImmuneToEffect(e) then
  			local e1 = Effect.CreateEffect(c)
  			e1:SetType(EFFECT_TYPE_SINGLE)
  			e1:SetCode(EFFECT_SET_ATTACK_FINAL)
  			e1:SetReset(RESET_EVENT + RESETS_STANDARD)
  			e1:SetValue(math.ceil(tc:GetAttack() / 2))
  			tc:RegisterEffect(e1)
  			local e2 = Effect.CreateEffect(c)
  			e2:SetType(EFFECT_TYPE_SINGLE)
  			e2:SetCode(EFFECT_CHANGE_LEVEL)
  			e2:SetValue(tc:GetLevel())
  			e2:SetReset(RESET_EVENT + RESETS_STANDARD + RESET_DISABLE)
  			c:RegisterEffect(e2)
  		end
  		Duel.SpecialSummonComplete()
  		local e3 = Effect.CreateEffect(c)
  		e3:SetType(EFFECT_TYPE_SINGLE)
  		e3:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
  		e3:SetProperty(EFFECT_FLAG_CANNOT_DISABLE)
  		e3:SetReset(RESET_EVENT + RESETS_REDIRECT)
  		e3:SetValue(LOCATION_REMOVED)
  		c:RegisterEffect(e3, true)
  	end
  	local e4 = Effect.CreateEffect(e:GetHandler())
  	e4:SetType(EFFECT_TYPE_FIELD)
  	e4:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
  	e4:SetProperty(EFFECT_FLAG_PLAYER_TARGET)
  	e4:SetTargetRange(1, 0)
  	e4:SetReset(RESET_PHASE + PHASE_END)
  	e4:SetTarget(s.splimit)
  	Duel.RegisterEffect(e4, tp)
  end
  function s.splimit(e, c)
  	return not c:IsType(TYPE_XYZ) and c:IsLocation(LOCATION_EXTRA)
  end
  
  