Roslyn annotates record copy constructors with SetsRequiredMembersAttribute when records have required members. Treat that attribute as allowed only on constructor-owned synthesized record members so copy constructors are recognized and required init auto-properties do not leak backing-field accesses.
Assisted-by: OpenCode:openai/gpt-5.5:OpenCode