{
 "config": {
  "n_seq": 100,
  "n_steps": 100,
  "keep_k": 4,
  "dict_size": 40,
  "model": "Qwen/Qwen2.5-7B-Instruct",
  "seed": 20260728
 },
 "metric": "per-step increment correctness",
 "conditions": {
  "full": {
   "mean_step_acc": 0.3499,
   "acc_ci95": [
    0.3349999999999999,
    0.36479999999999996
   ],
   "first20": 0.711,
   "last20": 0.11,
   "drop": -0.601,
   "drop_ci95": [
    -0.6249999999999999,
    -0.5764999999999999
   ],
   "curve": [
    0.61,
    0.65,
    0.67,
    0.82,
    0.84,
    0.77,
    0.73,
    0.77,
    0.87,
    0.74,
    0.68,
    0.7,
    0.77,
    0.68,
    0.66,
    0.63,
    0.75,
    0.69,
    0.59,
    0.6,
    0.6,
    0.54,
    0.58,
    0.58,
    0.54,
    0.47,
    0.45,
    0.54,
    0.37,
    0.46,
    0.39,
    0.5,
    0.44,
    0.39,
    0.35,
    0.37,
    0.49,
    0.35,
    0.38,
    0.35,
    0.49,
    0.45,
    0.38,
    0.36,
    0.43,
    0.39,
    0.36,
    0.28,
    0.37,
    0.27,
    0.27,
    0.3,
    0.22,
    0.29,
    0.37,
    0.28,
    0.31,
    0.25,
    0.21,
    0.16,
    0.19,
    0.19,
    0.16,
    0.18,
    0.14,
    0.14,
    0.21,
    0.12,
    0.19,
    0.15,
    0.18,
    0.15,
    0.17,
    0.11,
    0.13,
    0.05,
    0.06,
    0.19,
    0.12,
    0.16,
    0.15,
    0.12,
    0.11,
    0.12,
    0.09,
    0.06,
    0.1,
    0.11,
    0.07,
    0.14,
    0.14,
    0.11,
    0.15,
    0.1,
    0.14,
    0.09,
    0.11,
    0.11,
    0.09,
    0.09
   ]
  },
  "oracle": {
   "mean_step_acc": 0.5802,
   "acc_ci95": [
    0.5709,
    0.5892999999999999
   ],
   "first20": 0.747,
   "last20": 0.461,
   "drop": -0.286,
   "drop_ci95": [
    -0.314,
    -0.2575
   ],
   "curve": [
    0.6,
    0.57,
    0.72,
    0.83,
    0.84,
    0.79,
    0.79,
    0.79,
    0.87,
    0.78,
    0.73,
    0.73,
    0.82,
    0.71,
    0.7,
    0.63,
    0.83,
    0.78,
    0.72,
    0.71,
    0.65,
    0.62,
    0.69,
    0.72,
    0.57,
    0.61,
    0.56,
    0.65,
    0.54,
    0.66,
    0.62,
    0.63,
    0.5,
    0.62,
    0.51,
    0.58,
    0.56,
    0.62,
    0.56,
    0.65,
    0.66,
    0.65,
    0.59,
    0.57,
    0.64,
    0.57,
    0.73,
    0.57,
    0.62,
    0.53,
    0.53,
    0.61,
    0.55,
    0.56,
    0.53,
    0.62,
    0.63,
    0.6,
    0.53,
    0.59,
    0.57,
    0.54,
    0.46,
    0.5,
    0.47,
    0.47,
    0.51,
    0.45,
    0.51,
    0.52,
    0.54,
    0.56,
    0.52,
    0.52,
    0.41,
    0.5,
    0.43,
    0.53,
    0.44,
    0.41,
    0.55,
    0.44,
    0.41,
    0.48,
    0.45,
    0.35,
    0.43,
    0.33,
    0.33,
    0.47,
    0.43,
    0.5,
    0.55,
    0.55,
    0.57,
    0.5,
    0.52,
    0.5,
    0.41,
    0.45
   ]
  },
  "hygiene": {
   "mean_step_acc": 0.5761,
   "acc_ci95": [
    0.5661,
    0.5863
   ],
   "first20": 0.606,
   "last20": 0.5715,
   "drop": -0.0345,
   "drop_ci95": [
    -0.06450000000000002,
    -0.004000000000000003
   ],
   "curve": [
    0.6,
    0.79,
    0.66,
    0.74,
    0.68,
    0.58,
    0.51,
    0.61,
    0.54,
    0.56,
    0.61,
    0.57,
    0.62,
    0.64,
    0.62,
    0.48,
    0.62,
    0.63,
    0.53,
    0.53,
    0.53,
    0.46,
    0.46,
    0.64,
    0.54,
    0.44,
    0.48,
    0.48,
    0.53,
    0.45,
    0.45,
    0.39,
    0.54,
    0.53,
    0.48,
    0.48,
    0.42,
    0.51,
    0.6,
    0.6,
    0.61,
    0.63,
    0.57,
    0.63,
    0.65,
    0.57,
    0.65,
    0.64,
    0.69,
    0.61,
    0.69,
    0.6,
    0.56,
    0.59,
    0.73,
    0.62,
    0.51,
    0.63,
    0.61,
    0.62,
    0.58,
    0.57,
    0.62,
    0.6,
    0.6,
    0.52,
    0.63,
    0.55,
    0.63,
    0.57,
    0.57,
    0.54,
    0.49,
    0.66,
    0.59,
    0.53,
    0.61,
    0.56,
    0.57,
    0.65,
    0.64,
    0.56,
    0.49,
    0.57,
    0.55,
    0.53,
    0.53,
    0.52,
    0.57,
    0.57,
    0.56,
    0.59,
    0.57,
    0.62,
    0.51,
    0.63,
    0.52,
    0.63,
    0.64,
    0.63
   ]
  },
  "both": {
   "mean_step_acc": 0.5953,
   "acc_ci95": [
    0.5848,
    0.6056
   ],
   "first20": 0.6215,
   "last20": 0.585,
   "drop": -0.0365,
   "drop_ci95": [
    -0.06649999999999999,
    -0.005500000000000002
   ],
   "curve": [
    0.6,
    0.82,
    0.64,
    0.79,
    0.72,
    0.68,
    0.64,
    0.63,
    0.63,
    0.52,
    0.57,
    0.52,
    0.64,
    0.59,
    0.63,
    0.49,
    0.62,
    0.66,
    0.51,
    0.53,
    0.59,
    0.57,
    0.59,
    0.66,
    0.55,
    0.46,
    0.49,
    0.63,
    0.69,
    0.44,
    0.38,
    0.45,
    0.57,
    0.59,
    0.48,
    0.44,
    0.46,
    0.6,
    0.6,
    0.57,
    0.69,
    0.62,
    0.62,
    0.65,
    0.65,
    0.72,
    0.62,
    0.77,
    0.63,
    0.58,
    0.63,
    0.63,
    0.59,
    0.67,
    0.65,
    0.67,
    0.55,
    0.67,
    0.64,
    0.67,
    0.6,
    0.58,
    0.57,
    0.59,
    0.53,
    0.62,
    0.65,
    0.56,
    0.6,
    0.53,
    0.64,
    0.57,
    0.56,
    0.67,
    0.56,
    0.55,
    0.55,
    0.56,
    0.55,
    0.63,
    0.61,
    0.54,
    0.53,
    0.63,
    0.6,
    0.56,
    0.5,
    0.51,
    0.63,
    0.6,
    0.58,
    0.61,
    0.61,
    0.55,
    0.64,
    0.61,
    0.6,
    0.53,
    0.65,
    0.61
   ]
  },
  "restate_only": {
   "mean_step_acc": 0.2688,
   "acc_ci95": [
    0.2595,
    0.2781
   ],
   "first20": 0.5675,
   "last20": 0.068,
   "drop": -0.49949999999999994,
   "drop_ci95": [
    -0.5230000000000001,
    -0.4755
   ],
   "curve": [
    0.61,
    0.75,
    0.65,
    0.7,
    0.7,
    0.63,
    0.64,
    0.66,
    0.6,
    0.49,
    0.54,
    0.51,
    0.53,
    0.49,
    0.56,
    0.44,
    0.55,
    0.52,
    0.37,
    0.41,
    0.46,
    0.39,
    0.43,
    0.4,
    0.38,
    0.34,
    0.32,
    0.47,
    0.31,
    0.34,
    0.27,
    0.27,
    0.31,
    0.34,
    0.3,
    0.31,
    0.29,
    0.29,
    0.28,
    0.35,
    0.34,
    0.28,
    0.26,
    0.28,
    0.33,
    0.26,
    0.27,
    0.24,
    0.26,
    0.24,
    0.21,
    0.18,
    0.09,
    0.23,
    0.25,
    0.19,
    0.2,
    0.21,
    0.18,
    0.2,
    0.16,
    0.09,
    0.19,
    0.11,
    0.08,
    0.12,
    0.23,
    0.16,
    0.12,
    0.17,
    0.15,
    0.15,
    0.12,
    0.11,
    0.11,
    0.12,
    0.08,
    0.15,
    0.12,
    0.08,
    0.12,
    0.07,
    0.04,
    0.04,
    0.03,
    0.09,
    0.06,
    0.05,
    0.05,
    0.08,
    0.07,
    0.06,
    0.11,
    0.11,
    0.06,
    0.07,
    0.08,
    0.07,
    0.06,
    0.04
   ]
  },
  "truncate_only": {
   "mean_step_acc": 0.6684,
   "acc_ci95": [
    0.6587,
    0.6783
   ],
   "first20": 0.646,
   "last20": 0.684,
   "drop": 0.03799999999999999,
   "drop_ci95": [
    0.007999999999999993,
    0.06949999999999999
   ],
   "curve": [
    0.6,
    0.58,
    0.63,
    0.8,
    0.81,
    0.76,
    0.67,
    0.76,
    0.76,
    0.68,
    0.66,
    0.65,
    0.62,
    0.59,
    0.55,
    0.59,
    0.59,
    0.59,
    0.57,
    0.46,
    0.61,
    0.53,
    0.61,
    0.57,
    0.59,
    0.52,
    0.52,
    0.64,
    0.69,
    0.6,
    0.59,
    0.47,
    0.44,
    0.53,
    0.56,
    0.45,
    0.65,
    0.58,
    0.61,
    0.69,
    0.79,
    0.76,
    0.72,
    0.68,
    0.81,
    0.66,
    0.66,
    0.76,
    0.73,
    0.77,
    0.73,
    0.83,
    0.71,
    0.73,
    0.77,
    0.69,
    0.73,
    0.71,
    0.74,
    0.67,
    0.77,
    0.78,
    0.65,
    0.72,
    0.78,
    0.72,
    0.73,
    0.69,
    0.66,
    0.67,
    0.74,
    0.64,
    0.75,
    0.76,
    0.67,
    0.58,
    0.7,
    0.67,
    0.74,
    0.72,
    0.75,
    0.73,
    0.65,
    0.71,
    0.69,
    0.66,
    0.62,
    0.68,
    0.75,
    0.6,
    0.66,
    0.69,
    0.65,
    0.64,
    0.67,
    0.62,
    0.68,
    0.74,
    0.72,
    0.77
   ]
  }
 },
 "contrasts": {
  "self_cond_long": {
   "name": "长上下文:去掉自己的错",
   "delta": 0.31499999999999995,
   "ci95": [
    0.28350000000000003,
    0.3465
   ],
   "significant": true
  },
  "self_cond_short": {
   "name": "短上下文:去掉自己的错",
   "delta": -0.0019999999999999996,
   "ci95": [
    -0.034499999999999996,
    0.030499999999999982
   ],
   "significant": false
  },
  "restate_at_long": {
   "name": "长上下文下加状态复述",
   "delta": 0.1015,
   "ci95": [
    0.07350000000000001,
    0.1295
   ],
   "significant": true
  },
  "restate_at_short": {
   "name": "短上下文下加状态复述",
   "delta": -0.0725,
   "ci95": [
    -0.10900000000000003,
    -0.035
   ],
   "significant": true
  },
  "truncate_at_norestate": {
   "name": "无复述时截断上下文",
   "delta": 0.639,
   "ci95": [
    0.6014999999999999,
    0.6775
   ],
   "significant": true
  },
  "truncate_at_restate": {
   "name": "有复述时截断上下文",
   "delta": 0.4649999999999999,
   "ci95": [
    0.43000000000000005,
    0.49900000000000005
   ],
   "significant": true
  }
 },
 "recovery_share": {
  "restate_only": 0.16888519134775382,
  "truncate_only": 1.0632279534109819,
  "hygiene": 0.9425956738768719,
  "oracle": 0.5241264559068219,
  "both": 0.9392678868552413
 }
}