gpu_results.json

{
  "paper": {
    "challenge_id": "62070",
    "openreview_id": "k7XzObg9Hy",
    "arxiv_id": "2512.07112"
  },
  "environment": {
    "device": "cuda",
    "device_name": "Tesla T4",
    "dtype": "float32",
    "torch": "2.7.1+cu128",
    "numpy": "2.2.6"
  },
  "official_commit": "13769c736a220e51f0ce74e292222d8df4697714",
  "memory_audit": {
    "rows": [
      {
        "m": 7,
        "n": 64,
        "level": 1,
        "observed": 448,
        "padding_aware_formula": 448,
        "full_adam": 896,
        "compression_ratio": 0.5,
        "mini_regime": false
      },
      {
        "m": 7,
        "n": 64,
        "level": 2,
        "observed": 224,
        "padding_aware_formula": 224,
        "full_adam": 896,
        "compression_ratio": 0.25,
        "mini_regime": false
      },
      {
        "m": 7,
        "n": 64,
        "level": 3,
        "observed": 112,
        "padding_aware_formula": 112,
        "full_adam": 896,
        "compression_ratio": 0.125,
        "mini_regime": false
      },
      {
        "m": 7,
        "n": 64,
        "level": 5,
        "observed": 28,
        "padding_aware_formula": 28,
        "full_adam": 896,
        "compression_ratio": 0.03125,
        "mini_regime": false
      },
      {
        "m": 7,
        "n": 64,
        "level": 6,
        "observed": 14,
        "padding_aware_formula": 14,
        "full_adam": 896,
        "compression_ratio": 0.015625,
        "mini_regime": true
      },
      {
        "m": 13,
        "n": 96,
        "level": 1,
        "observed": 1248,
        "padding_aware_formula": 1248,
        "full_adam": 2496,
        "compression_ratio": 0.5,
        "mini_regime": false
      },
      {
        "m": 13,
        "n": 96,
        "level": 2,
        "observed": 624,
        "padding_aware_formula": 624,
        "full_adam": 2496,
        "compression_ratio": 0.25,
        "mini_regime": false
      },
      {
        "m": 13,
        "n": 96,
        "level": 3,
        "observed": 312,
        "padding_aware_formula": 312,
        "full_adam": 2496,
        "compression_ratio": 0.125,
        "mini_regime": false
      },
      {
        "m": 13,
        "n": 96,
        "level": 5,
        "observed": 78,
        "padding_aware_formula": 78,
        "full_adam": 2496,
        "compression_ratio": 0.03125,
        "mini_regime": false
      },
      {
        "m": 13,
        "n": 96,
        "level": 7,
        "observed": 26,
        "padding_aware_formula": 26,
        "full_adam": 2496,
        "compression_ratio": 0.010416666666666666,
        "mini_regime": true
      },
      {
        "m": 31,
        "n": 128,
        "level": 1,
        "observed": 3968,
        "padding_aware_formula": 3968,
        "full_adam": 7936,
        "compression_ratio": 0.5,
        "mini_regime": false
      },
      {
        "m": 31,
        "n": 128,
        "level": 2,
        "observed": 1984,
        "padding_aware_formula": 1984,
        "full_adam": 7936,
        "compression_ratio": 0.25,
        "mini_regime": false
      },
      {
        "m": 31,
        "n": 128,
        "level": 3,
        "observed": 992,
        "padding_aware_formula": 992,
        "full_adam": 7936,
        "compression_ratio": 0.125,
        "mini_regime": false
      },
      {
        "m": 31,
        "n": 128,
        "level": 5,
        "observed": 248,
        "padding_aware_formula": 248,
        "full_adam": 7936,
        "compression_ratio": 0.03125,
        "mini_regime": false
      },
      {
        "m": 31,
        "n": 128,
        "level": 7,
        "observed": 62,
        "padding_aware_formula": 62,
        "full_adam": 7936,
        "compression_ratio": 0.0078125,
        "mini_regime": true
      },
      {
        "m": 17,
        "n": 130,
        "level": 1,
        "observed": 2210,
        "padding_aware_formula": 2210,
        "full_adam": 4420,
        "compression_ratio": 0.5,
        "mini_regime": false
      },
      {
        "m": 17,
        "n": 130,
        "level": 2,
        "observed": 1122,
        "padding_aware_formula": 1122,
        "full_adam": 4420,
        "compression_ratio": 0.25384615384615383,
        "mini_regime": false
      },
      {
        "m": 17,
        "n": 130,
        "level": 3,
        "observed": 578,
        "padding_aware_formula": 578,
        "full_adam": 4420,
        "compression_ratio": 0.13076923076923078,
        "mini_regime": false
      },
      {
        "m": 17,
        "n": 130,
        "level": 5,
        "observed": 170,
        "padding_aware_formula": 170,
        "full_adam": 4420,
        "compression_ratio": 0.038461538461538464,
        "mini_regime": false
      },
      {
        "m": 17,
        "n": 130,
        "level": 8,
        "observed": 34,
        "padding_aware_formula": 34,
        "full_adam": 4420,
        "compression_ratio": 0.007692307692307693,
        "mini_regime": true
      }
    ],
    "max_state_count_error": 0,
    "max_foam_mini_2m_error": 0
  },
  "decomposition_audit": {
    "max_reconstruction_error": 4.440892098500626e-16,
    "max_residual_block_mean": 3.3306690738754696e-16,
    "max_residual_energy_ratio": 0.9989563898123707,
    "energy_ratio_bound": 1.0
  },
  "update_oracle_audit": {
    "max_parameter_error": 1.5883162374219495e-07,
    "max_first_moment_error": 8.214625502045436e-08,
    "max_second_moment_error": 1.2804465043814162e-07
  },
  "convergence_audit": {
    "objective": "sum(1-cos(W)); L=1, sigma=0, bounded gradient",
    "levels": [
      {
        "level": 1,
        "records": [
          {
            "T": 128,
            "min_gradient_squared": 988.2904052734375,
            "normalized_by_logT_over_sqrtT": 2304.443490542998
          },
          {
            "T": 256,
            "min_gradient_squared": 504.2938537597656,
            "normalized_by_logT_over_sqrtT": 1455.084483939996
          },
          {
            "T": 512,
            "min_gradient_squared": 68.78498077392578,
            "normalized_by_logT_over_sqrtT": 249.49430122980786
          },
          {
            "T": 1024,
            "min_gradient_squared": 0.0002507749595679343,
            "normalized_by_logT_over_sqrtT": 0.0011577337297529252
          },
          {
            "T": 2048,
            "min_gradient_squared": 0.0,
            "normalized_by_logT_over_sqrtT": 0.0
          },
          {
            "T": 4096,
            "min_gradient_squared": 0.0,
            "normalized_by_logT_over_sqrtT": 0.0
          }
        ],
        "envelope_terminal_over_initial": 0.0
      },
      {
        "level": 2,
        "records": [
          {
            "T": 128,
            "min_gradient_squared": 968.2592163085938,
            "normalized_by_logT_over_sqrtT": 2257.7358196280916
          },
          {
            "T": 256,
            "min_gradient_squared": 506.63409423828125,
            "normalized_by_logT_over_sqrtT": 1461.8369906056803
          },
          {
            "T": 512,
            "min_gradient_squared": 71.64733123779297,
            "normalized_by_logT_over_sqrtT": 259.8765114277653
          },
          {
            "T": 1024,
            "min_gradient_squared": 9.306976426159963e-05,
            "normalized_by_logT_over_sqrtT": 0.0004296681195421269
          },
          {
            "T": 2048,
            "min_gradient_squared": 0.0,
            "normalized_by_logT_over_sqrtT": 0.0
          },
          {
            "T": 4096,
            "min_gradient_squared": 0.0,
            "normalized_by_logT_over_sqrtT": 0.0
          }
        ],
        "envelope_terminal_over_initial": 0.0
      },
      {
        "level": 4,
        "records": [
          {
            "T": 128,
            "min_gradient_squared": 960.7246704101562,
            "normalized_by_logT_over_sqrtT": 2240.1671625236568
          },
          {
            "T": 256,
            "min_gradient_squared": 509.66680908203125,
            "normalized_by_logT_over_sqrtT": 1470.5875559366973
          },
          {
            "T": 512,
            "min_gradient_squared": 72.63885498046875,
            "normalized_by_logT_over_sqrtT": 263.4729291420439
          },
          {
            "T": 1024,
            "min_gradient_squared": 5.920568582951091e-06,
            "normalized_by_logT_over_sqrtT": 2.7333039788372918e-05
          },
          {
            "T": 2048,
            "min_gradient_squared": 0.0,
            "normalized_by_logT_over_sqrtT": 0.0
          },
          {
            "T": 4096,
            "min_gradient_squared": 0.0,
            "normalized_by_logT_over_sqrtT": 0.0
          }
        ],
        "envelope_terminal_over_initial": 0.0
      },
      {
        "level": 6,
        "records": [
          {
            "T": 128,
            "min_gradient_squared": 978.9442749023438,
            "normalized_by_logT_over_sqrtT": 2282.650676223937
          },
          {
            "T": 256,
            "min_gradient_squared": 528.105712890625,
            "normalized_by_logT_over_sqrtT": 1523.7909861048709
          },
          {
            "T": 512,
            "min_gradient_squared": 76.36292266845703,
            "normalized_by_logT_over_sqrtT": 276.9807277209358
          },
          {
            "T": 1024,
            "min_gradient_squared": 2.9536338388425065e-06,
            "normalized_by_logT_over_sqrtT": 1.363581725407973e-05
          },
          {
            "T": 2048,
            "min_gradient_squared": 0.0,
            "normalized_by_logT_over_sqrtT": 0.0
          },
          {
            "T": 4096,
            "min_gradient_squared": 0.0,
            "normalized_by_logT_over_sqrtT": 0.0
          }
        ],
        "envelope_terminal_over_initial": 0.0
      }
    ],
    "proof_series": [
      {
        "T": 128,
        "harmonic_over_sqrt_sum": 0.25614486443446827,
        "normalized_rate_constant": 0.5972650977206586
      },
      {
        "T": 256,
        "harmonic_over_sqrt_sum": 0.2003326007400988,
        "normalized_rate_constant": 0.5780376992322585
      },
      {
        "T": 512,
        "harmonic_over_sqrt_sum": 0.15556936728137716,
        "normalized_rate_constant": 0.564275371540753
      },
      {
        "T": 1024,
        "harmonic_over_sqrt_sum": 0.12004065790068358,
        "normalized_rate_constant": 0.5541825979467673
      },
      {
        "T": 2048,
        "harmonic_over_sqrt_sum": 0.09209572728637756,
        "normalized_rate_constant": 0.5466209993766055
      },
      {
        "T": 4096,
        "harmonic_over_sqrt_sum": 0.07029065655951743,
        "normalized_rate_constant": 0.5408425687426405
      }
    ],
    "max_terminal_envelope_ratio": 0.0,
    "proof_rate_constant_range": [
      0.5408425687426405,
      0.5972650977206586
    ]
  },
  "gates": {
    "claim_1_state_memory_formula": true,
    "claim_2_fold_residual_decomposition": true,
    "claim_3_official_update_matches_equations": true,
    "claim_4_convergence_rate_mechanism": true
  },
  "all_pass": true,
  "duration_seconds": 8.627116650999938
}