{
  "schema": "tnfr.sine-two-pulse-inference-evidence.v1",
  "artifacts": [
    {
      "file": "two-pulse-inference-v1.protocol.json",
      "bytes": 32071,
      "sha256": "d2a0731c813c24383812aa3e7906ec310a14606400a5e129d7c95c7f4b70e2e4"
    },
    {
      "file": "two-pulse-inference-v1.source.zip",
      "bytes": 54800,
      "sha256": "5abff67d487287ad3d4949d970f5c6a448bd4e62dec8a212e817008ede031e38"
    },
    {
      "file": "two-pulse-inference-v1.json",
      "bytes": 3456558,
      "sha256": "f2b2c6ce3104e0de24420a0be6d7faee2f47fcceacea65a52f21b94930c836b2"
    }
  ],
  "source_base_commit": "d86753763fcdd65eddf52c87dd3c5c74348129ce",
  "runtime_overlays": [],
  "source_reconstruction": "Checkout base revision; all runtime owners are unchanged. Restore archived helper/evaluator/worker/protocol; theorem archive is prospective prefix. Included runtime snapshots match base source modulo checkout line endings.",
  "evaluation": "First fixed two-window fourth-order complete36-coordinate trajectory per source, three supplied cases, full endpoint carry, phase-only events. One isolated public inverse worker per case with primary, false-angle, false-gain and equal-amplitude controls. No search, retry, precision change, reset or old producer execution.",
  "result_owner": "../../../theory/nodal/SINE_TWO_PULSE_INFERENCE.md#sine-two-pulse-inference-result",
  "status": "certified_reserved_joint_inference",
  "frozen_stopping_rule": {
    "case-1.source_admitted": true,
    "case-1.phase_only_first_event": true,
    "case-1.first_complete_horizon": true,
    "case-1.second_complete_horizon": true,
    "case-1.full_state_handoff": true,
    "case-1.phase_only_second_event": true,
    "case-1.shared_middle_readout": true,
    "case-1.sensor_admitted": true,
    "case-1.numerical_reading_halfwidths": true,
    "case-1.public_only_packet": true,
    "case-1.primary_bounded_candidate": true,
    "case-1.primary_rank_certified": true,
    "case-1.nominal_angle_covered": true,
    "case-1.actual_angle_covered": true,
    "case-1.held_gain_covered": true,
    "case-1.actual_angle_resolution": true,
    "case-1.gain_resolution": true,
    "case-1.false_angle_prior_excluded": true,
    "case-1.false_gain_prior_excluded": true,
    "case-1.equal_amplitude_rank_abstention": true,
    "case-1.first_heat_alternative_excluded": true,
    "case-1.second_heat_alternative_excluded": true,
    "case-2.source_admitted": true,
    "case-2.phase_only_first_event": true,
    "case-2.first_complete_horizon": true,
    "case-2.second_complete_horizon": true,
    "case-2.full_state_handoff": true,
    "case-2.phase_only_second_event": true,
    "case-2.shared_middle_readout": true,
    "case-2.sensor_admitted": true,
    "case-2.numerical_reading_halfwidths": true,
    "case-2.public_only_packet": true,
    "case-2.primary_bounded_candidate": true,
    "case-2.primary_rank_certified": true,
    "case-2.nominal_angle_covered": true,
    "case-2.actual_angle_covered": true,
    "case-2.held_gain_covered": true,
    "case-2.actual_angle_resolution": true,
    "case-2.gain_resolution": true,
    "case-2.false_angle_prior_excluded": true,
    "case-2.false_gain_prior_excluded": true,
    "case-2.equal_amplitude_rank_abstention": true,
    "case-2.first_heat_alternative_excluded": true,
    "case-2.second_heat_alternative_excluded": true,
    "case-3.source_admitted": true,
    "case-3.phase_only_first_event": true,
    "case-3.first_complete_horizon": true,
    "case-3.second_complete_horizon": true,
    "case-3.full_state_handoff": true,
    "case-3.phase_only_second_event": true,
    "case-3.shared_middle_readout": true,
    "case-3.sensor_admitted": true,
    "case-3.numerical_reading_halfwidths": true,
    "case-3.public_only_packet": true,
    "case-3.primary_bounded_candidate": true,
    "case-3.primary_rank_certified": true,
    "case-3.nominal_angle_covered": true,
    "case-3.actual_angle_covered": true,
    "case-3.held_gain_covered": true,
    "case-3.actual_angle_resolution": true,
    "case-3.gain_resolution": true,
    "case-3.false_angle_prior_excluded": true,
    "case-3.false_gain_prior_excluded": true,
    "case-3.equal_amplitude_rank_abstention": true,
    "case-3.first_heat_alternative_excluded": true,
    "case-3.second_heat_alternative_excluded": true
  },
  "frozen_stopping_rule_passed": true,
  "scope": "Finite conditional software geometry/gain marginals under a known law/clock and held affine sensor; not physical calibration, independent observation, joint candidate realization, full-state reconstruction or law uniqueness.",
  "provenance_limitations": "Archived bytes/hashes permit recovery and consistency checks, not independent chronology/execution authentication. Public primitive packet is a declared software information boundary. Retained numerical certificate audit does not repeat derivative execution."
}