{
  "summary_version": "0.1",
  "case_id": "pearson_appliances_tout_row_pairing_uci_374_v0_1",
  "invocation_id": "pearson_appliances_tout_same_row_full_member_v0_1",
  "abstraction_id": "pearson_product_moment_record_pairing_v0_1",
  "source_kind": "REAL_PUBLIC_PUBLISHED_RECORD",
  "requested_relation": "TABLE_LEVEL_SAME_ROW_SAMPLE_PEARSON_STATISTIC",
  "contract": {
    "pair_count": 19735,
    "pairing_identity": "same-source-row membership",
    "source_order_preserved": true,
    "input_normalisation": "NONE",
    "directional_sign": "NOT_APPLICABLE",
    "timezone": "UNKNOWN",
    "physical_time_bridge": "UNRESOLVED"
  },
  "primary_result": {
    "statistic": "sample Pearson product-moment correlation coefficient",
    "r_decimal_working": "0.099154650739959596897047774560179047999676932676681354550337169074243245365970531",
    "r_issued_15dp": "0.099154650739960",
    "result_unit": "DIMENSIONLESS",
    "n_pairs": 19735,
    "binary64_crosscheck_r_17g": "0.099154650739959591",
    "crosscheck_absolute_difference": "0.000000000000000006897047774560179047999676933",
    "crosscheck_tolerance": "0.000000000001"
  },
  "declared_components": {
    "sum_Appliances": "1928010",
    "sum_T_out": "146269.200000000000290397855485345298896",
    "sum_Appliances_squared": "395787900",
    "sum_T_out_squared": "1642073.866825396833508408269844090942786867544638517023133508766353734816",
    "sum_cross_product": "15356500.91666666654624297821580299875564",
    "mean_Appliances_Wh": "97.694958196098302508234101849505953889029642766658221434000506713959969597162402",
    "mean_T_out_C": "7.4116645553585001413933547243651025536356726627818596402330884215860146947048391",
    "minimum_Appliances_Wh": "10",
    "maximum_Appliances_Wh": "1080",
    "minimum_T_out_C": "-5",
    "maximum_T_out_C": "26.100000000000001"
  },
  "pair_fingerprint_sha256": "5AB3AAF96AB76F6324ADCE9930D0C22BEDEB2CA6DBFEB00A0313B1EC5D579EEA",
  "controls": {
    "common_pair_order_reversal_exactly_preserves_r": true,
    "independent_y_permutation_summary": {
      "minimum_r_15dp": "-0.019566823654895",
      "maximum_r_15dp": "0.019941338789332",
      "mean_r_15dp": "0.000480965323752",
      "sample_sd_r_15dp": "0.007152197979379",
      "absolute_r_at_least_observed_count": 0,
      "observed_absolute_r_exceeds_all_controls": true
    },
    "independent_y_permutation_role": "DESTRUCTIVE_PAIRING_CONTROL_NOT_INFERENTIAL_P_VALUE",
    "physical_lag": "WITHHOLD_TIME_BRIDGE_UNRESOLVED"
  },
  "information_fate": {
    "pair_list": "EXTERNALLY_RETAINED_BY_SOURCE_HASH_AND_PAIR_FINGERPRINT",
    "individual_rows_in_scalar": "AGGREGATED_NOT_RECOVERABLE_FROM_R",
    "source_order_in_scalar": "DISCARDED",
    "distribution_and_nonlinear_structure_in_scalar": "NOT_REPRESENTED",
    "formation_history_in_scalar": "NOT_REPRESENTED_RETAINED_IN_MANIFEST",
    "physical_time_and_causality": "NOT_ESTABLISHED"
  },
  "claim_ceiling": "EXACT_SAMPLE_PEARSON_STATISTIC_UNDER_FROZEN_SAME_ROW_RECORD_PAIRING_ONLY",
  "checks": {
    "exact_source_and_schema": true,
    "pair_count_and_identity": true,
    "required_values_present": true,
    "primary_decimal_result_valid": true,
    "binary64_crosscheck_within_tolerance": true,
    "common_pair_reversal_exactly_preserves_r": true,
    "physical_lag_result_withheld": true
  }
}