{
  "schema": "DA-EX-001/comparison-review/v1",
  "initial_comparison_verdict": "FAIL",
  "initial_verifier_verdict": "PASS",
  "initial_failed_check": "same_full_journal_observations",
  "baseline_concurrent_observation": {
    "case": "concurrent_promises",
    "statuses": [
      200,
      201,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200
    ],
    "rows_after": 1
  },
  "first_repeat_concurrent_observation": {
    "case": "concurrent_promises",
    "statuses": [
      201,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200,
      200
    ],
    "rows_after": 1
  },
  "finding": "The concurrent winner index changed; both runs have one 201, fifteen 200 responses and one row. The stated property does not constrain the winner index.",
  "change": "Compare the concurrent HTTP-status multiset and rows_after. Preserve order for every sequential case. Ignore only receipt wall-clock createdAt between runs.",
  "original_handler_changed": false,
  "original_verifier_changed": false,
  "independent_external_audit": false
}