{
  "scope": "C890–C900 independent source and exact arithmetic review",
  "status": "PASS",
  "checks": {
    "eleven_contiguous_records": true,
    "all_bound_sources_match": true,
    "all_current_artifact_bindings_match": true,
    "six_literal_rows_match": true,
    "six_anchored_lifts_exact": true,
    "six_macro_output_formulas_literal_in_source": true,
    "lower_cumulative_pair_literal_in_source": true,
    "roles_preserved": true,
    "complete_response_field": true,
    "response_law": true,
    "body_projection_loses_placement": true,
    "body_plus_target_recovers_numeric_pair": true,
    "ordered_carrier_source_rows": true,
    "ordered_incidence_changes": true,
    "lifted_changes_complete": true,
    "hinge_exact_and_literal": true,
    "proposed_offering_guard_preserved": true,
    "generated_heads_and_textual_total_guards": true,
    "terminal_branch_exact": true,
    "terminal_gain_field": true,
    "retained_subdivision_literal": true,
    "uniform_transport_comparison_exact": true,
    "uniform_transport_not_retention": true,
    "civil_arm_partitions": true,
    "complete_civil_translation": true,
    "civil_no_year_zero": true
  },
  "check_count": 26,
  "passed": 26,
  "details": {
    "bound_artifacts": 11,
    "independently_calculated_response": [
      [
        5,
        0,
        60,
        60
      ],
      [
        0,
        -70,
        840,
        770
      ],
      [
        -3,
        -3,
        0,
        -3
      ],
      [
        -30,
        -30,
        0,
        -30
      ]
    ],
    "terminal_comparison": {
      "retained_partition": [
        146853,
        147
      ],
      "uniform_P_life": "3430/23",
      "uniform_P_boundary": "47958/23",
      "displacement": "49/23",
      "preimage": "1449/10"
    },
    "source_phase_guard": "1936 is the source whole-year cumulative upper display, not exact1936.5. Cumulative and regular roles remain distinct.",
    "source_premise_guard": "Multiplier12, Covenant2081, proposed offering2051/Isaac age15, and external1BC/AD30 are source premises. Macro heads are generated, and144060/144900 are derived companions."
  },
  "source63_sha256": "180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35",
  "C900_record_sha256": "bc6da5fb1e124e00503fbe6b4aa5b0ac7f7522eabca878b9d30691a5f84bf22a",
  "corrections_required": []
}