form_carolingian_empire_scripted_effect

form_carolingian_empire_scripted_effect = {
	save_scope_as = scoped_ruler
	title:e_hre.holder ?= { save_scope_as = scoped_emperor }
	#De jure shifts.
	hidden_effect = {
		title:k_france = { set_de_jure_liege_title = title:e_france }
		title:k_burgundy = { set_de_jure_liege_title = title:e_france }
		title:k_aquitaine = { set_de_jure_liege_title = title:e_france }
		title:k_brittany = { set_de_jure_liege_title = title:e_france }
		title:k_frisia = { set_de_jure_liege_title = title:e_france }
		title:k_lotharingia = { set_de_jure_liege_title = title:e_france }
		title:k_bavaria = { set_de_jure_liege_title = title:e_france }
		title:k_east_francia = { set_de_jure_liege_title = title:e_france }
		title:k_italy = { set_de_jure_liege_title = title:e_france }
		title:k_navarra = { set_de_jure_liege_title = title:e_france }
		title:k_aragon = { set_de_jure_liege_title = title:e_france }
		if = {
			limit = {
				OR = {
					#exists = title:k_austria.holder
					title:k_austria = { is_titular = yes }
					title:e_hre = {
						any_in_de_jure_hierarchy = {
							continue = { tier >= tier_kingdom }
							this = title:k_austria
						}
					}
				}
			}
			title:k_austria = { set_de_jure_liege_title = title:e_france }
		}
		if = {
			limit = {
				OR = {
					#exists = title:k_switzerland.holder
					title:k_switzerland = { is_titular = yes }
					title:e_hre = {
						any_in_de_jure_hierarchy = {
							continue = { tier >= tier_kingdom }
							this = title:k_switzerland
						}
					}
				}
			}
			title:k_switzerland = { set_de_jure_liege_title = title:e_france }
		}
	}
	# Prestige
	add_prestige = major_prestige_gain
	# Law
	if = {
		limit = {
			NOT = { has_realm_law = single_heir_succession_law }
		}
		add_realm_law_skip_effects = single_heir_succession_law
	}
	# HRE goes bye-bye
	if = {
		limit = { exists = scope:scoped_emperor }
		destroy_title = title:e_hre
		scope:scoped_emperor ?= {
			add_prestige = major_prestige_loss
			add_opinion = {
				target = scope:scoped_ruler
				modifier = pretender_opinion
			}
		}
	}
	# Innovations
	every_culture_global = {
		limit = { has_cultural_pillar = heritage_frankish }
		if = {
			limit = {
				NOT = { has_innovation = innovation_knighthood }
			}
			add_innovation = innovation_knighthood
		}
		if = {
			limit = {
				NOT = { has_innovation = innovation_royal_prerogative }
			}
			add_innovation = innovation_royal_prerogative
		}
		if = {
			limit = {
				NOT = { has_innovation = innovation_heraldry }
			}
			add_innovation = innovation_heraldry
		}
	}
}

As written in game/common/scripted_effects/00_major_decisions_scripted_effects.txt.