
Given a list of strings where each string is a JSON test result record, write a function that returns a summary dictionary with the total number of valid records, passed tests, failed tests, skipped tests, and a list of unique failed test names in first-seen order. Ignore malformed JSON records and records missing either name or status. Treat status values case-insensitively.
1 <= len(records) <= 10^41 and 10^3pass, fail, and skip after lowercasing