Defining a Record object with a single known key and its value

Question

Apologies, this is kind of complicated, and I\'ve been unable to create a simpler reproduction than what I\'ve got here. Feel free to edit the question title with something a b