{
  "manifest_version": "0.1",
  "status": "FROZEN_CASE_LOCAL_BIRTH_RECORD_NOT_SHARED_SCHEMA",
  "case_id": "pearson_appliances_tout_row_pairing_uci_374_v0_1",
  "abstraction_id": "pearson_product_moment_record_pairing_v0_1",
  "abstraction_kind": "DERIVED_SCALAR_STATISTIC",
  "represented_subject_or_process": "Linear co-variation of two numeric fields over one explicitly paired finite record list",
  "formal_definition": {
    "name": "sample Pearson product-moment correlation coefficient",
    "formula": "r = sum_i((x_i - x_bar)(y_i - y_bar)) / sqrt(sum_i((x_i - x_bar)^2) * sum_i((y_i - y_bar)^2))",
    "symmetry": "r(x,y) = r(y,x)",
    "result_unit": "DIMENSIONLESS",
    "required_conditions": [
      "At least two admitted pairs",
      "Exactly one finite numeric x and one finite numeric y per admitted pair",
      "Pair identity resolved before calculation",
      "Neither admitted numeric field has zero variance"
    ]
  },
  "formation_path": {
    "input_role_x": "source-labelled Appliances field in Wh",
    "input_role_y": "source-labelled T_out field in degrees Celsius",
    "pairing_operator": "same-source-row membership",
    "source_preprocessing_by_project": "NONE",
    "numeric_lexical_rule": "Preserve exact CSV field strings in the pair fingerprint; remove surrounding ASCII whitespace only for Decimal parsing",
    "primary_numeric_algorithm": "Parse exact finite Decimal values, use an 80-digit decimal context, accumulate n*sum(x*y)-sum(x)*sum(y) and the two matching sum-of-squares terms, then divide by the Decimal square root of their product",
    "independent_crosscheck": "Binary64 centred-product calculation using math.fsum; required absolute difference from the primary result is at most 1e-12",
    "issued_representation": "Round the primary Decimal result to 15 digits after the decimal point using ROUND_HALF_EVEN; retain the higher-precision working value in the summary"
  },
  "operational_cut": {
    "observed_subject": "Exact selected rows in the G3-admitted UCI 374 CSV member",
    "observing_structure": "UCI publication surface plus this local strict parser and calculator",
    "coupling_channel": "Source-declared logging, averaging, interpolation, merge, and publication path",
    "physical_time_bridge": "UNRESOLVED",
    "cut_limit": "The abstraction receives published row pairs, not raw sensor transmissions or independently synchronized physical instants"
  },
  "evidence_floor": {
    "verification_starts_here": "Exact admitted ZIP/member bytes, frozen source metadata snapshots, case contract, and same-source-row pair fingerprint",
    "layers_not_reestablished": [
      "Sensor or meter serial identity",
      "Independent calibration and sensor-health history",
      "Raw pre-average wireless transmissions",
      "Raw hourly weather records and interpolation code",
      "Timezone, daylight-saving treatment, and physical measurement-window anchors"
    ],
    "floor_placement_status": "ACCEPTED_FOR_TABLE_LEVEL_RECORD_RELATION_ONLY",
    "selection_timing": "FIXED_BEFORE_PRIMARY_RESULT"
  },
  "validity_corridor": {
    "inside": [
      "The exact admitted UCI 374 member hash",
      "All 19735 source-order rows",
      "Appliances and T_out paired only by same-source-row membership",
      "No project imputation, resampling, lagging, clipping, standardisation, filtering, or alternate-source substitution"
    ],
    "outside_or_unresolved": [
      "Physical simultaneity",
      "Absolute-time or physical-lag interpretation",
      "Causal mechanism",
      "Population generalisation or forecasting",
      "Diagnosis, safety, valuation, dispatch, or action"
    ]
  },
  "declared_controls": {
    "common_pair_order_reversal": {
      "operation": "Reverse the order of the already formed pairs without changing pair membership",
      "purpose": "Demonstrate that the scalar does not encode chronological order",
      "acceptance_rule": "Primary Decimal r is exactly equal before and after common reversal"
    },
    "independent_y_permutation": {
      "operation": "Keep the Appliances sequence fixed and independently permute the T_out membership using 256 deterministic Fisher-Yates permutations driven by the declared SplitMix64 generator",
      "seed_decimal": 4850745924920131922,
      "trial_count": 256,
      "preserved": [
        "Appliances marginal values",
        "T_out marginal values",
        "pair count"
      ],
      "destroyed": "Original same-source-row pairing",
      "purpose": "Show whether the issued scalar depends on the declared row pairing",
      "inference_limit": "This is a destructive structure control, not a sampling-model p-value; serial dependence and exchangeability are not established"
    }
  },
  "compression_delta": [
    "Individual row identities and values are not recoverable from r",
    "Source order and temporal sequence are not represented by r",
    "Distribution shape, nonlinear organisation, subgroups, and local regimes are not represented by r alone",
    "Acquisition, averaging, interpolation, and merge history are not represented by r",
    "Physical simultaneity, mechanism, and causality are not represented by r"
  ],
  "typed_refusals": {
    "SOURCE_DRIFT": "Exact admitted source bytes do not match",
    "CONTRACT_DRIFT": "A declared contract, manifest, claim set, or birth record does not match its frozen hash",
    "SCHEMA_MISMATCH": "The published table does not have the exact admitted schema",
    "PAIR_IDENTITY_UNRESOLVED": "One-to-one same-source-row pairing cannot be established",
    "REQUIRED_VALUE_UNAVAILABLE": "A required pair member is blank, unparsable, or non-finite",
    "ZERO_VARIANCE": "Pearson denominator is zero",
    "TIME_BRIDGE_UNRESOLVED": "A request treats the source label or row membership as physical time or lag",
    "CLAIM_EXCEEDS_CEILING": "A request promotes the scalar to mechanism, causality, full relationship, prediction, diagnosis, action, public admission, or release"
  },
  "claim_ceiling": "EXACT_SAMPLE_PEARSON_STATISTIC_UNDER_FROZEN_SAME_ROW_RECORD_PAIRING_ONLY",
  "capabilities": {
    "traceable": "ESTABLISHED_TO_DECLARED_EVIDENCE_FLOOR",
    "inspectable": "ESTABLISHED_WITH_PAIR_FINGERPRINT_AND_CONTROL_OUTPUTS",
    "recomputable": "ESTABLISHED_BY_CASE_LOCAL_SCRIPT",
    "revisable": "ESTABLISHED_BY_VERSIONED_SUCCESSOR_ONLY"
  },
  "authority": {
    "claim_authority_before": "NONE",
    "claim_authority_effect": "UNCHANGED",
    "claim_authority_after": "NONE",
    "action_authority": "NONE",
    "public_case_authority": "NONE",
    "release_authority": "NONE"
  }
}