{
  "contract_version": "0.1",
  "status": "FROZEN_CASE_LOCAL_INVOCATION_CONTRACT_BEFORE_PRIMARY_RESULT",
  "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",
  "requested_relation": "Compute one sample Pearson statistic over Appliances and T_out from every exact source-order row of the admitted UCI 374 member under same-source-row membership",
  "disposition_subject": "declared table-level statistic for this exact invocation",
  "frozen_inputs": {
    "project_contract": {
      "path": "PROJECT_CONTRACT_v0.4.md",
      "sha256": "541F867BEFEC668ECE200BC810F60B137F2D978FCF782CB649D26FEA4775011C"
    },
    "case_contract": {
      "path": "cases/pearson_appliances_tout/CASE_CONTRACT.md",
      "sha256": "0A7D0D7002FDDFC708BC2FAD716CA6F03EDDB0A6CF760C7857DF160324356762"
    },
    "function_birth_manifest": {
      "path": "cases/pearson_appliances_tout/FUNCTION_BIRTH_MANIFEST_v0.1.json",
      "sha256": "AE204980BC3B8B5174B4B8C207622BC4EEC85CF80ED4785C7ECEDF1168BF5DC5"
    },
    "source_manifest": {
      "path": "cases/pearson_appliances_tout/sources/source_manifest.json",
      "sha256": "363C8D040748A20855C04B276D527266AB8B5FC04D648E434C54CA8480E80CFC"
    },
    "selected_member": {
      "path": "cases/pearson_appliances_tout/sources/energydata_complete.csv",
      "bytes": 11979363,
      "sha256": "2820BF712AD0275CB18B85A05250926100D8E65EBB9F4D2D016CA91EA152A25D"
    },
    "g3_admission": {
      "path": "reviews/G3_SOURCE_ADMISSION_v0.1.json",
      "sha256": "EF190B1C5C9E3C8A843209AE007B01680A2223B3F099BECFFC333CA57ABFC2E6"
    },
    "g3_receipt": {
      "path": "reviews/G3_SOURCE_ADMISSION_RECEIPT_v0.1.json",
      "sha256": "3DB5FAC66A03B9842C3DCD2B7152B869FF1E04C8040BE7F0510AC50703A5C292"
    },
    "candidate_claims": {
      "path": "cases/pearson_appliances_tout/claims/candidate_claims.json",
      "sha256": "7F700C7C03E65413B4A66B6421E8071CE088313E4AB7ADD1417F826A6B0A9FF5"
    }
  },
  "identity": {
    "distribution": "UCI dataset 374 / DOI 10.24432/C5VC8G",
    "table_grain": "one exact source-published row",
    "row_identity": "one-based data-row number plus exact unique date field string",
    "pair_identity": "Appliances and T_out from the same exact source row",
    "pairing_label": "same-source-row membership",
    "expected_pair_count": 19735
  },
  "time_spine": {
    "source_label_format": "YYYY-MM-DD HH:MM:SS",
    "expected_first_label": "2016-01-11 17:00:00",
    "expected_last_label": "2016-05-27 18:00:00",
    "expected_source_order_step": "nominal 10 minutes",
    "timezone": "UNKNOWN",
    "daylight_saving_treatment": "UNKNOWN",
    "appliances_window_anchor": "UNKNOWN",
    "weather_interpolation_method_anchor_support": "UNKNOWN",
    "admitted_relation": "SOURCE_LABEL_AND_SAME_ROW_MEMBERSHIP_ONLY",
    "physical_time_bridge": "UNRESOLVED"
  },
  "channels_and_roles": {
    "date": {
      "role": "record identity label",
      "unit": "source string"
    },
    "Appliances": {
      "role": "x response field",
      "unit": "Wh"
    },
    "T_out": {
      "role": "y context field",
      "unit": "degree Celsius after source-side interpolation and merge"
    }
  },
  "sign_and_normalisation": {
    "directional_sign": "NOT_APPLICABLE",
    "input_normalisation": "NONE",
    "formula_internal_centring_and_scaling": "DECLARED_IN_FUNCTION_BIRTH_RECORD"
  },
  "parser_and_missingness": {
    "encoding": "UTF-8",
    "csv_header": "EXACT_29_COLUMN_HEADER_FROM_G3_RECEIPT",
    "numeric_lexical_rule": "Preserve raw field strings for pair fingerprint; strip surrounding ASCII whitespace only before Decimal parsing",
    "required_values": "date, Appliances, and T_out must all be nonblank on every admitted row",
    "finite_numeric_requirement": true,
    "imputation": "FORBIDDEN",
    "resampling": "FORBIDDEN",
    "lagging": "FORBIDDEN",
    "filtering": "FORBIDDEN",
    "alternate_uci_api_data_csv": "EXCLUDED_AS_PRIMARY_SOURCE",
    "prepublication_acquisition_or_interpolation_gaps": "UNKNOWN"
  },
  "pair_fingerprint": {
    "algorithm": "SHA-256",
    "canonical_line": "one_based_row_number<TAB>exact_date<TAB>exact_Appliances_field<TAB>exact_T_out_field<LF>",
    "header": "NONE",
    "purpose": "Bind the issued scalar and controls to the exact ordered pair list without duplicating the full source table"
  },
  "numeric_method": {
    "primary": "80-digit Decimal raw-sum Pearson formula declared in the Function Birth Manifest",
    "crosscheck": "binary64 centred-products with math.fsum",
    "crosscheck_absolute_tolerance": "1e-12",
    "issued_decimal_places": 15,
    "rounding": "ROUND_HALF_EVEN"
  },
  "controls": {
    "common_pair_order_reversal": "REQUIRED_EXACT_DECIMAL_EQUALITY",
    "independent_y_permutation": {
      "generator": "SplitMix64 feeding descending Fisher-Yates indices",
      "seed_decimal": 4850745924920131922,
      "trial_count": 256,
      "result_role": "DESTRUCTIVE_PAIRING_CONTROL_NOT_INFERENTIAL_P_VALUE"
    },
    "physical_lag": "REFUSED_NOT_COMPUTED_TIME_BRIDGE_UNRESOLVED"
  },
  "evidence_floor": {
    "accepted_inputs": [
      "Exact frozen source and contract objects listed above",
      "Source-declared formation statements retained in the source manifest"
    ],
    "verification_starts_here": "Frozen member bytes, strict schema and row checks, and canonical same-row pair fingerprint",
    "floor_placement_status": "ACCEPTED_FOR_THIS_TABLE_LEVEL_INVOCATION_ONLY",
    "selection_timing": "FIXED_BEFORE_PRIMARY_RESULT"
  },
  "output_grain": {
    "primary": "one dimensionless scalar tied to 19735 exact pairs",
    "custody": "one pair-fingerprint manifest",
    "controls": "one common-reversal result plus 256 independent-permutation control results",
    "verdicts": "one verdict per frozen candidate claim",
    "receipt": "one evaluation receipt"
  },
  "claim_ceiling": "EXACT_SAMPLE_PEARSON_STATISTIC_UNDER_FROZEN_SAME_ROW_RECORD_PAIRING_ONLY",
  "current_call": {
    "execution_check_status": "NOT_RUN",
    "qualification_review_state": "OPEN_PENDING_EXECUTION",
    "result_disposition": "NOT_REQUESTED_UNTIL_EXECUTION",
    "audit_state": "CLOSED_FOR_INVOCATION_SELECTION",
    "reopen_triggers": [
      "AMBIGUITY",
      "CLAIM_EXPANSION",
      "BOUNDARY_CROSSING",
      "WORLD_CONTRADICTION",
      "CONSEQUENCE_ESCALATION"
    ]
  },
  "authority": {
    "claim_authority_before": "NONE",
    "claim_authority_effect": "UNCHANGED",
    "claim_authority_after": "NONE",
    "action_authority": "NONE",
    "public_case_authority": "NONE",
    "release_authority": "NONE"
  }
}
