JSON stream encoding for typed lists is silently falling through to the default serializer instead of being…

JSON stream encoding for typed lists is silently falling through to the default serializer instead of being…: a task in rh-swe-bench (Harbor dataset). What the agent is asked, how it is graded, what it runs in, and its files.