Is it intended for these to be allowable for crafting? This isn’t prohibited by the rules, though 9th level spells weren’t previously craftable; this means they’d also be legal treasure policy.