export async function updateUserProfile(formData: FormData) {
  // Không có bất kỳ kiểm tra xác thực nào
  const userId = formData.get('userId') as string;
  const email = formData.get('email') as string;
  const name = formData.get('name') as string;
  const updatedUser = await db.user.update({
    where: { id: userId },
    data: { email, name }
  });
  return { success: true, user: updatedUser };
}

// .eslintrc.js
{
  "rules": {
    "auth-required": "error",
    "input-validation": "error"
  }
}

type AuthenticatedRequest = {
  user: User;
  // ...
};

@contract({
  requires: [
    auth('user'),                  // Phải xác thực
    validates(userUpdateSchema),  // Kiểm tra đầu vào
    owns('userId'),               // Phải là chủ sở hữu tài nguyên
    rateLimit('updateProfile', 5),// Giới hạn tần suất
  ],
  ensures: [
    auditLog('profile_update'),   // Ghi nhận nhật ký
    returns(userOutputSchema)     // Kiểm tra đầu ra
  ]
})
export async function updateUserProfile(
  input: UserUpdateInput,
  context: AuthContext
) {
  return userService.updateUser(input, context);
}