{
  "actual": [
    "T",
    "T",
    "F",
    "F",
    "F",
    "T",
    "T",
    "T",
    "F",
    "T",
    "F",
    "F",
    "F",
    "T",
    "F",
    "F",
    "F",
    "F"
  ],
  "actual_codes": [],
  "claim_boundary": "This receipt checks the declared Tau normalizations only. It is not evidence of a complete distributed protocol.",
  "expected": [
    "T",
    "T",
    "F",
    "F",
    "F",
    "T",
    "T",
    "T",
    "F",
    "T",
    "F",
    "F",
    "F",
    "T",
    "F",
    "F",
    "F",
    "F"
  ],
  "expected_codes": [],
  "passed": true,
  "review_subject": {
    "commit": "4baf38cbad096fdbe7c41c46e4b41d35c9ba44d2",
    "repository": "taumorrow/tau-lang-demos",
    "source": "consensus_decomposed.tau"
  },
  "schema": "formal-philosophy.tau-peer-review-replay.v2",
  "spec": "examples/tau/consensus_decomposed_review_addendum_v1.tau",
  "spec_sha256": "2729e1d11abbca76bb59d105245c7575ec8c070b220b34ebec86b14b24ccc092",
  "tau_binary_name": "tau",
  "tau_exit_code": 0,
  "tau_version_output": "Tau Language Framework version 0.7.0-alpha (401d756b)"
}