run/summary.json

{
  "claim1": {
    "aligned_event_time_control_gap": 5.1514348342607263e-14,
    "arm_0_covariance_identity_max_gap": 7.771561172376096e-15,
    "arm_1_covariance_identity_max_gap": 2.1316282072803006e-14,
    "assignments_enumerated": 256,
    "common_effect_covariance_identity_max_gap": 5.1085714285714445,
    "verdict": "SUPPORTED"
  },
  "claim2": {
    "max_limit_error_at_scale_1e6": 0.014696807352569619,
    "max_relative_width_at_scale_1e6": 0.9837014617598399,
    "most_asymmetric_relative_width": 0.6116881512658373,
    "small_clock_max_relative_width": 1.6059441380762731,
    "verdict": "SUPPORTED"
  },
  "claim3": {
    "entry_activated_gap": 1.0500000000000007,
    "event_time_constant_gap": 6.8833827526759706e-15,
    "numbering_note": "The current arXiv source labels the unit-level result in Section 4; the challenge anchor's 'Theorem 5.1' appears stale.",
    "post_event_drifting_gap": 0.571702857142858,
    "verdict": "SUPPORTED"
  },
  "claim4": {
    "scope": "Theorems were source-mapped; only central mechanisms were executed.",
    "verdict": "SOURCE_VERIFIED"
  },
  "claim5": {
    "arm0_time_uniform_coverage": 0.835,
    "arm1_time_uniform_coverage": 0.835,
    "effect_time_uniform_coverage": 1.0,
    "mean_final_relative_width": 0.996768440418011,
    "n": 500,
    "note": "Finite Monte Carlo diagnostic for an asymptotic confidence sequence.",
    "repetitions": 200,
    "verdict": "MIXED"
  },
  "destructive_controls": {
    "aligned_potential_event_times": "restores common covariance identity",
    "drifting_augmentation": "breaks covariance identity",
    "entry_activated_augmentation": "breaks covariance identity",
    "small_variance_clock": "documents that the width result is asymptotic"
  },
  "elapsed_seconds": 69.88657582190353,
  "official_commit": "b2105f6af4a1108524e2e0e053a2e208f73685e8",
  "official_file_sha256": "188d382fc44244456a95eaadf7f92056a2637482247072c27db477faa57b2bb9",
  "official_repository": "https://github.com/michaellindon/icml2026",
  "seed": 2026
}