{
 "source": "sim/predictions.json",
 "checks": [
  {
   "id": "P1",
   "condition": "baseline_t030",
   "metric": "final.mean_same",
   "kind": "range",
   "lo": 0.7,
   "hi": 0.8,
   "text": "基準 t=0.30 の最終の同色隣人率は 70〜80%",
   "observed": 0.755105,
   "hit": true
  },
  {
   "id": "P2",
   "condition": "baseline_t030",
   "metric": "final.share_majority",
   "kind": "range",
   "lo": 0.85,
   "hi": 0.95,
   "text": "基準の最終で、隣の過半数が同色の住民は 85〜95%",
   "observed": 0.891133,
   "hit": true
  },
  {
   "id": "P3",
   "condition": "baseline_t030",
   "metric": "final.dissimilarity",
   "kind": "range",
   "lo": 0.25,
   "hi": 0.45,
   "text": "基準の最終の分離度（10×10区画の相違指数）は 0.25〜0.45",
   "observed": 0.230756,
   "hit": false
  },
  {
   "id": "P4",
   "condition": "baseline_t030",
   "metric": "steps",
   "kind": "range",
   "lo": 8,
   "hi": 25,
   "text": "基準は 8〜25 ステップで全員が満足して止まる",
   "observed": 9.3,
   "hit": true
  },
  {
   "id": "P5",
   "condition": "baseline_t033",
   "metric": "identical_to_t030",
   "kind": "bool",
   "value": true,
   "text": "t=0.33 は t=0.30 と全シードで完全に同じ結果になる（8人の隣人では 0.30〜0.33 の間に分数が無いので）",
   "observed": true,
   "hit": true
  },
  {
   "id": "P6",
   "condition": "sweep_t010",
   "metric": "final.mean_same",
   "kind": "range",
   "lo": 0.5,
   "hi": 0.58,
   "text": "t=0.10 ではほぼ混ざったまま（同色隣人率 50〜58%）",
   "observed": 0.509756,
   "hit": true
  },
  {
   "id": "P7",
   "condition": "sweep_t060",
   "metric": "converged_share",
   "kind": "range",
   "lo": 0.0,
   "hi": 0.0,
   "text": "t=0.60 は上限ステップ内に1シードも収束しない",
   "observed": 1.0,
   "hit": false
  },
  {
   "id": "P8",
   "condition": "indiff_030",
   "metric": "final.dissimilarity_ratio_to_baseline",
   "kind": "range",
   "lo": 0.35,
   "hi": 0.65,
   "text": "無頓着な住民30%で分離度は基準の 35〜65%（ほぼ半分）に下がる",
   "observed": 0.7160030508415817,
   "hit": false
  },
  {
   "id": "P9",
   "condition": "indiff_010",
   "metric": "final.dissimilarity_ratio_to_baseline",
   "kind": "range",
   "lo": 0.7,
   "hi": 0.9,
   "text": "無頓着な住民10%で分離度は基準の 70〜90% に下がる",
   "observed": 0.8884796061640868,
   "hit": true
  },
  {
   "id": "P10",
   "condition": "moveprob_020",
   "metric": "final.dissimilarity_ratio_to_baseline",
   "kind": "range",
   "lo": 0.9,
   "hi": 1.1,
   "text": "引越し確率0.2でも最終の分離度は基準と ±10% 以内",
   "observed": 0.9990336112603789,
   "hit": true
  },
  {
   "id": "P11",
   "condition": "moveprob_020",
   "metric": "steps_ratio_to_baseline",
   "kind": "range",
   "lo": 3.5,
   "hi": 6.5,
   "text": "引越し確率0.2では収束までのステップが基準の 3.5〜6.5 倍",
   "observed": 6.010752688172042,
   "hit": true
  },
  {
   "id": "P12",
   "condition": "colors3_bounded",
   "metric": "final.dissimilarity_ratio_to_baseline",
   "kind": "range",
   "lo": 1.05,
   "hi": 2.0,
   "text": "3色にすると分離度は2色より上がる（最初に不満な住民が多いので）",
   "observed": 1.10896358057862,
   "hit": true
  },
  {
   "id": "P13",
   "condition": "colors2_torus",
   "metric": "final.dissimilarity_ratio_to_baseline",
   "kind": "range",
   "lo": 0.95,
   "hi": 1.05,
   "text": "ドーナツ型（端なし）でも分離度は長方形と ±5% 以内",
   "observed": 0.9826656728319091,
   "hit": true
  }
 ],
 "hits": 10,
 "n": 13
}