{
 "_note": "No.04（Braess のパラドックス・道を1本足す）の事前登録の予想（第一感）。本番の乱数（種 4001〜5000）で1本も回す前に書いた。結果を見てから書き換えない。癖込みの補正は、名指しできる機構が無いので行わない（CLAUDE.md §10）。metric は sim/results/ep04/summary.json の点区切りの道。",
 "_exploration": "正直な記録: これを書く前に、①理論（閉じた形の均衡: 道なし 65分・道あり 80分・戻ると 85分・相談して分けると 64.6875分・道を足して遅くなるのは連続の流れで 3,000〜9,000台）を計算し、②設計のための試し回しを1回した（別の種 1〜1000・掃引は種 1〜100・sim/ep04/braess_model.py --no-predictions・出力は /tmp/ep04explore/full/）。試し回しで見た量: 両世界の止まった時間（65.00／80.00）・遅くなった回 1000・全員が近道 1000・乗り換え 4000（全回）・最初の乗り換え 40.01分・途中の平均の最小 64.6875〜64.7377分・選ばれた回数（道あり 中央値 34,801・p90 42,012・最大 64,882／道なし 中央値 43・最大 245）・戻ると 85.00分・掃引の表（早くなる 1,000・2,000台／遅くなる 4,000〜8,000台／ずれ最大 0.018分）。∴ 14個すべて試し回しと理論を見た後に書いた。種が変わって動きうるのは P8・P9・P10（選ばれた回数）と P7・P14 で、P1〜P6・P11〜P13 は論理と理論からほぼ決まる。『回す前に何も知らなかった』とは言えない。",
 "written_at": "2026-11-05T05:10:21+09:00",
 "written_by": "horinouchi (ホリ)",
 "production_seeds_seen": false,
 "predictions": [
  {
   "id": "P1",
   "metric": "pair.base_minutes",
   "kind": "eq",
   "text": "道なしの世界は、1000回とも65分で止まる",
   "value": 65.0
  },
  {
   "id": "P2",
   "metric": "pair.road_minutes",
   "kind": "eq",
   "text": "道を足した世界は、1000回とも80分で止まる",
   "value": 80.0
  },
  {
   "id": "P3",
   "metric": "pair.worse",
   "kind": "eq",
   "text": "道を足して遅くなる回は、1000回中1000回",
   "value": 1000
  },
  {
   "id": "P4",
   "metric": "pair.road_all_short",
   "kind": "eq",
   "text": "道を足した世界は、1000回とも全員が近道を使って止まる",
   "value": 1000
  },
  {
   "id": "P5",
   "metric": "pair.road_moves_all_cars",
   "kind": "eq",
   "text": "道を足した世界では、どの回もすべての車がちょうど1回ずつ乗り換える",
   "value": 1000
  },
  {
   "id": "P6",
   "metric": "pair.first_switch_minutes_max",
   "kind": "range",
   "text": "最初に近道へ移った車は、どの回も40.01分ほどで着く",
   "lo": 40.0,
   "hi": 40.02
  },
  {
   "id": "P7",
   "metric": "pair.road_min_below_base",
   "kind": "eq",
   "text": "乗り換えの途中で、全体の平均がいったん65分より短くなる（1000回とも）",
   "value": 1000
  },
  {
   "id": "P8",
   "metric": "pair.road_steps_median",
   "kind": "range",
   "text": "道を足した世界が止まるまでに選ばれる回数の中央値は32,000〜38,000回",
   "lo": 32000,
   "hi": 38000
  },
  {
   "id": "P9",
   "metric": "pair.road_steps_max",
   "kind": "max",
   "text": "道を足した世界は、どの回も70,000回以内に止まる",
   "hi": 70000
  },
  {
   "id": "P10",
   "metric": "pair.base_steps_max",
   "kind": "max",
   "text": "道なしの世界は、どの回も400回以内に止まる",
   "hi": 400
  },
  {
   "id": "P11",
   "metric": "pair.back_to_upper_minutes_set",
   "kind": "eq",
   "text": "止まった後、近道の車が1台だけ元の道に戻ると85分（どの回も）",
   "value": [
    85.0
   ]
  },
  {
   "id": "P12",
   "metric": "sweep.better_cars",
   "kind": "eq",
   "text": "台数を変えると、道を足して早くなるのは1,000台と2,000台",
   "value": [
    1000,
    2000
   ]
  },
  {
   "id": "P13",
   "metric": "sweep.worse_cars",
   "kind": "eq",
   "text": "道を足して遅くなるのは4,000〜8,000台",
   "value": [
    4000,
    5000,
    6000,
    7000,
    8000
   ]
  },
  {
   "id": "P14",
   "metric": "sweep.max_abs_dev",
   "kind": "max",
   "text": "台数を変えた平均は、どの台数でも理論から0.05分以内",
   "hi": 0.05
  }
 ]
}