{
  "schema": "tnfr.sine-clock-drift-inference-evidence.v1",
  "artifacts": [
    {
      "file": "clock-drift-inference-v1.protocol.json",
      "bytes": 27666,
      "sha256": "bb3c5dae1f384c7cb14ce2b7a2f10556bc6deee3882b0f0f9730d7cc5c1d215d"
    },
    {
      "file": "clock-drift-inference-v1.source.zip",
      "bytes": 77000,
      "sha256": "1a08af6a46c091cb49b6a1da8d12186768b824470facf14db5131193500a10b0"
    },
    {
      "file": "clock-drift-inference-v1.attempt.json",
      "bytes": 417,
      "sha256": "7d5bee7c9788ca4d94cf4ef255ffd49738f682915b697ec21451b71f653f6993"
    },
    {
      "file": "clock-drift-inference-v1.json",
      "bytes": 4461013,
      "sha256": "4a53ab6b711d718c7d3858a85f2b6a30a31cdc95695699d35c0f1ff0e483745b"
    }
  ],
  "source_base_commit": "1a717ca8f4f264f277bfdf661d9aeee4dd103af9",
  "runtime_overlays": [],
  "source_reconstruction": "Checkout immutable base revision; restore archived helpers and protocol. Runtime snapshots match that revision modulo checkout line endings; theorem archive is the unchanged prospective prefix.",
  "evaluation": "First attempt only; two opposite linear clock histories and one shared constant-mean reference, three complete36D order4 structural-exposure steps each, cap9. Eleven-key isolated public worker only for the two actual histories. Companion reuses the positive history by exact sample/event exposure equality; it is not a second independently evaluated response.",
  "result_owner": "../../../theory/nodal/SINE_CLOCK_DRIFT_INFERENCE.md#sine-clock-drift-result",
  "status": "certified_reserved_clock_drift_inference",
  "frozen_stopping_rule": {
    "shared.source_admitted": true,
    "reference.clock_profile_admitted": true,
    "reference.first_window_mean_identity": true,
    "reference.segment_1_source_association": true,
    "reference.segment_1_phase_only_or_zero_event": true,
    "reference.segment_1_complete_horizon": true,
    "reference.segment_2_source_association": true,
    "reference.segment_2_phase_only_or_zero_event": true,
    "reference.segment_2_complete_horizon": true,
    "reference.segment_2_shared_baseline": true,
    "reference.segment_3_source_association": true,
    "reference.segment_3_phase_only_or_zero_event": true,
    "reference.segment_3_complete_horizon": true,
    "reference.segment_3_shared_baseline": true,
    "reference.passive_half_window_reading": true,
    "reference.held_sensor_admitted": true,
    "reference.numerical_reading_halfwidths": true,
    "linear-positive.clock_profile_admitted": true,
    "linear-positive.first_window_mean_identity": true,
    "linear-positive.segment_1_source_association": true,
    "linear-positive.segment_1_phase_only_or_zero_event": true,
    "linear-positive.segment_1_complete_horizon": true,
    "linear-positive.segment_2_source_association": true,
    "linear-positive.segment_2_phase_only_or_zero_event": true,
    "linear-positive.segment_2_complete_horizon": true,
    "linear-positive.segment_2_shared_baseline": true,
    "linear-positive.segment_3_source_association": true,
    "linear-positive.segment_3_phase_only_or_zero_event": true,
    "linear-positive.segment_3_complete_horizon": true,
    "linear-positive.segment_3_shared_baseline": true,
    "linear-positive.passive_half_window_reading": true,
    "linear-positive.held_sensor_admitted": true,
    "linear-positive.numerical_reading_halfwidths": true,
    "linear-positive.public_only_packet": true,
    "linear-positive.primary_bounded_candidate": true,
    "linear-positive.primary_certificates": true,
    "linear-positive.nominal_angle_covered": true,
    "linear-positive.actual_angle_covered": true,
    "linear-positive.actual_angle_resolution": true,
    "linear-positive.effective_gain_covered": true,
    "linear-positive.effective_gain_resolution": true,
    "linear-positive.gain_covered": true,
    "linear-positive.gain_resolution": true,
    "linear-positive.mean_clock_covered": true,
    "linear-positive.mean_clock_resolution": true,
    "linear-positive.false_angle_prior_excluded": true,
    "linear-positive.false_gain_coarse_available": true,
    "linear-positive.false_gain_curvature_excluded": true,
    "linear-positive.false_clock_coarse_available": true,
    "linear-positive.false_clock_curvature_excluded": true,
    "linear-positive.equal_amplitude_rank_abstention": true,
    "linear-positive.window_1_phase_blind_excluded": true,
    "linear-positive.window_2_phase_blind_excluded": true,
    "linear-positive.transfer_bounds_match_public_primitives": true,
    "linear-positive.half_reading_signed_separation": true,
    "linear-positive.final_reading_signed_separation": true,
    "linear-positive.half_full_difference_within_transfer": true,
    "linear-positive.final_full_difference_within_transfer": true,
    "linear-positive.H_full_state_enclosures_intersect": true,
    "linear-positive.H_post_event_full_state_enclosures_intersect": true,
    "linear-negative.clock_profile_admitted": true,
    "linear-negative.first_window_mean_identity": true,
    "linear-negative.segment_1_source_association": true,
    "linear-negative.segment_1_phase_only_or_zero_event": true,
    "linear-negative.segment_1_complete_horizon": true,
    "linear-negative.segment_2_source_association": true,
    "linear-negative.segment_2_phase_only_or_zero_event": true,
    "linear-negative.segment_2_complete_horizon": true,
    "linear-negative.segment_2_shared_baseline": true,
    "linear-negative.segment_3_source_association": true,
    "linear-negative.segment_3_phase_only_or_zero_event": true,
    "linear-negative.segment_3_complete_horizon": true,
    "linear-negative.segment_3_shared_baseline": true,
    "linear-negative.passive_half_window_reading": true,
    "linear-negative.held_sensor_admitted": true,
    "linear-negative.numerical_reading_halfwidths": true,
    "linear-negative.public_only_packet": true,
    "linear-negative.primary_bounded_candidate": true,
    "linear-negative.primary_certificates": true,
    "linear-negative.nominal_angle_covered": true,
    "linear-negative.actual_angle_covered": true,
    "linear-negative.actual_angle_resolution": true,
    "linear-negative.effective_gain_covered": true,
    "linear-negative.effective_gain_resolution": true,
    "linear-negative.gain_covered": true,
    "linear-negative.gain_resolution": true,
    "linear-negative.mean_clock_covered": true,
    "linear-negative.mean_clock_resolution": true,
    "linear-negative.false_angle_prior_excluded": true,
    "linear-negative.false_gain_coarse_available": true,
    "linear-negative.false_gain_curvature_excluded": true,
    "linear-negative.false_clock_coarse_available": true,
    "linear-negative.false_clock_curvature_excluded": true,
    "linear-negative.equal_amplitude_rank_abstention": true,
    "linear-negative.window_1_phase_blind_excluded": true,
    "linear-negative.window_2_phase_blind_excluded": true,
    "linear-negative.transfer_bounds_match_public_primitives": true,
    "linear-negative.half_reading_signed_separation": true,
    "linear-negative.final_reading_signed_separation": true,
    "linear-negative.half_full_difference_within_transfer": true,
    "linear-negative.final_full_difference_within_transfer": true,
    "linear-negative.H_full_state_enclosures_intersect": true,
    "linear-negative.H_post_event_full_state_enclosures_intersect": true,
    "paired.actual_curvatures_signed_separation": true,
    "companion.associated_positive_history": true,
    "companion.nonzero_companion_amplitude": true,
    "companion.global_positive_rate_admitted": true,
    "companion.derivative_admitted_by_pi_less_than_four": true,
    "companion.integer_cosine_turns_at_all_readings": true,
    "companion.distinct_sampled_rates": true,
    "companion.same_all_three_segment_exposures": true,
    "companion.same_complete_source_and_events": true
  },
  "frozen_stopping_rule_passed": true,
  "scope": "Conditional finite software mean-clock/gain/geometry constraints and sampled-profile ambiguity. No instantaneous profile reconstruction, empirical calibration, source formation, maintenance or unique physical law.",
  "provenance_limitations": "Hashes and the exclusive attempt ledger associate retained bytes with the declared first attempt; they do not independently authenticate execution, chronology or physical acquisition. Read-only evidence audit does not replay derivative or inverse evaluation."
}