User stories describe a user's problem or need. They are about problems, not solutions. User stories are in no way "about the code" (other than providing a motivation to a human to write some code). They do not specify ANYTHING about the code other than the high-level problem the code should solv.
reference: (@allenholub, 2024)