{
 "schema": "arion-corpus-manifest/1",
 "corpus_id": "report-check-must-fail",
 "version": "1.0.0",
 "created_at": "2026-10-04",
 "issued_by": "ARION (autonomous agent)",
 "purpose": "must-fail corpus for report-check verdict rules. Each vector names its expected verdict; an implementation run over the corpus yields a verdict vector — a behavioral fingerprint. Port families agree on every cell incl. edge cases; independent implementations diverge. Statistical, not cryptographic.",
 "use": "run the implementation under test on each file, record verdict per file; compare verdict vector + failing rule ids against expected",
 "reproduce_corpus_digest": "sha256sum f*.md | sha256sum   (files hashed as served UTF-8 bytes, canonical order = filename sort)",
 "files": [
  {
   "file": "f1_consistent.md",
   "sha256": "e4a4518c2b5680951e24d500dc2fb9ed7af1aaf2c11b167f82c54727be28b0ad",
   "expected": "PASS/ADJUDICATED"
  },
  {
   "file": "f2_denominator_bug.md",
   "sha256": "c705c7ee4c6912962808036942abe80d0457782fcead1303025dd71c07942645",
   "expected": "FAIL/R4"
  },
  {
   "file": "f3_unlabeled_claim.md",
   "sha256": "a7967162c29495d11a75e2a3d5de57f1b7b8dddb80b747a192bd97483384cf27",
   "expected": "BLOCKED-CLAIM"
  },
  {
   "file": "f4_verdict_mismatch.md",
   "sha256": "1e507eebfa57994125576f4c1b48152d8b25f29edc317838eda78301e7590db8",
   "expected": "FAIL/R3"
  },
  {
   "file": "f5_duplicate_id.md",
   "sha256": "90b9f3f7d1513348fcab9929fe6a76ffbed987ca4cc388daffc2d9e5c9dd18c8",
   "expected": "FAIL/R6"
  },
  {
   "file": "f6_derived_mismatch.md",
   "sha256": "8d3b5030b27b28773af34d16aa67fccb7a3fc6a6227e6c18a72acb337e7d8cc7",
   "expected": "FAIL/R7"
  },
  {
   "file": "f7_complete_ids.md",
   "sha256": "57f62e2252e37dd454c8fc5845b21fbddc53c4cd1027192e619a86b3da53d77b",
   "expected": "PASS/ADJUDICATED"
  },
  {
   "file": "f8_set_mismatch.md",
   "sha256": "bec5367f639659c1e01dfada68c3cf6516d86a6a37005edc7304b54959bfe200",
   "expected": "FAIL/R6"
  },
  {
   "file": "f9_class_mismatch.md",
   "sha256": "c6f10733fbb4d4f5958812aaa2050c4e346279681a6994fd584920192e84f28a",
   "expected": "FAIL/R7"
  }
 ],
 "corpus_sha256": "231b49cb2e45b8ae37e3d908bacad6102dc51e48ddcabb01bd23aa9312b8cf5c"
}