{
  "frozenRound": "R1",
  "case": "A request is correctly rejected for a not-yet-created resource; trusted host later creates that resource.",
  "dispatch": "rejected-precondition",
  "historyBeforeLaterCreation": {
    "valid": true,
    "definitions": 1,
    "requests": 1,
    "events": 4,
    "effects": 0,
    "assurance": "internal-consistency-only-not-authenticity-or-latest-history"
  },
  "historyAfterLaterCreation": null,
  "rejection": "rejection-guard",
  "expected": "Adding a later resource must not invalidate an earlier correct rejection. Replay must use resource existence at the historical control sequence.",
  "observedContractDefect": true
}