THPDFCorpusCaseInfo Record
CaseID, FailureSignature, ContentSHA256, FileName i MetadataFileName identyfikują jeden zapisany przypadek korpusu wraz z jego plikami towarzyszącymi
OriginalBytes, PreviousBytes i StoredBytes śledzą rozmiar przypadku w kolejnych przebiegach minimalizacji i zapisu
Action raportuje, czy przypadek został dodany, zastąpiony czy pozostawiony istniejący, a Minimization niesie statystyki delta-debuggingu tego przebiegu