{
  "checks": [
    {
      "owner": 0,
      "original_and_archive_bytes_equal": true,
      "typed_post_fsync_object_equal": true,
      "all_pins_rehashed": true
    },
    {
      "owner": 1,
      "original_and_archive_bytes_equal": true,
      "typed_post_fsync_object_equal": true,
      "all_pins_rehashed": true
    },
    {
      "owner": 2,
      "original_and_archive_bytes_equal": true,
      "typed_post_fsync_object_equal": true,
      "all_pins_rehashed": true
    }
  ],
  "stage2_source_manifest_sha256": "036bd46cc3bb33999040810c5a05df864ccedad68451cd01f00e3c215a298812",
  "source_files_verified": 24,
  "dependencies_identical_to_previously_verified_v1": true,
  "mpmath_source_files_previously_verified": 87,
  "source_imported_or_executed": false,
  "scientific_arithmetic": false,
  "proposed_state_only": true,
  "parent_independent_review_pending": true,
  "separate_start_instruction_required": true
}