{
  "version": "DungLang Civilization v2.2",
  "optimizer": {
    "original_nodes": 8,
    "optimized_nodes": 2,
    "folded_nodes": 6,
    "philosophy_calls": 0,
    "axiom_break_prob": 0.0
  },
  "federation": [
    {
      "case": "common success",
      "trace_equal": true,
      "surface_diff": true,
      "left_frontend": "💩ScatLang",
      "right_frontend": "🌊SeaIR",
      "left_steps": 24,
      "right_steps": 24,
      "left_error": null,
      "right_error": null,
      "kont_equal": true
    },
    {
      "case": "philosophy fail",
      "trace_equal": true,
      "surface_diff": true,
      "left_frontend": "🦍DungLang",
      "right_frontend": "🍠YakiimoIR",
      "left_steps": 2,
      "right_steps": 2,
      "left_error": {
        "step": 1,
        "control_kind": "EvalExpr",
        "expr_kind": "PhilosophyExpr",
        "kont_kind": "AssignK",
        "kont_depth": 1,
        "env_keys": [],
        "observed_count": 0,
        "frontend": "🦍DungLang",
        "error_type": "哲学ゴリラ例外",
        "error_message": "おならとは誰のものか"
      },
      "right_error": {
        "step": 1,
        "control_kind": "EvalExpr",
        "expr_kind": "PhilosophyExpr",
        "kont_kind": "AssignK",
        "kont_depth": 1,
        "env_keys": [],
        "observed_count": 0,
        "frontend": "🍠YakiimoIR",
        "error_type": "哲学ゴリラ例外",
        "error_message": "おならとは誰のものか"
      },
      "kont_equal": true
    }
  ],
  "temporal_rewrites": [
    {
      "step": 88,
      "kind": "history_rewrite",
      "detail": "🍌×10で過去改変",
      "frontend": "🦍DungLang",
      "era": "meta",
      "erased_event": "💨 Lv7(マンモス)",
      "rewritten_as": "最初から存在しなかったことになった"
    },
    {
      "step": 88,
      "kind": "history_rewrite",
      "detail": "🍌×10で過去改変",
      "frontend": "🦍DungLang",
      "era": "meta",
      "erased_event": "🌍 ウホ族→バナナ族 濃度7 バナナ14本",
      "rewritten_as": "最初から存在しなかったことになった"
    }
  ],
  "civilization_diff": {
    "official_history_count": 0,
    "archaeological_artifact_count": 2,
    "full_log_count": 7,
    "missing_from_official": [
      "💨 Lv7(マンモス)",
      "🌍 ウホ族→バナナ族 濃度7 バナナ14本",
      "🍌×10で過去改変",
      "🪨 壁画痕跡: 💨 Lv7(マンモス)",
      "🍌×10で過去改変",
      "🪨 壁画痕跡: 🌍 ウホ族→バナナ族 濃度7 バナナ14本",
      "🍌×10 → 2件の公式歴史を改変"
    ]
  },
  "ghost_odor_v21": {
    "step": 1,
    "kind": "ghost_odor",
    "detail": "👻 Ghost Odor Lv1: 臭いだけ存在・犯人不在",
    "frontend": "🦣CaveA+🦣CaveB",
    "era": "liminal",
    "cave_a": "🦣CaveA",
    "cave_b": "🦣CaveB",
    "odor_level": 1
  },
  "two_phase_commit": [
    {
      "cave_a": "🦣CaveA",
      "cave_b": "🦣CaveB",
      "odor_level": 5,
      "final_status": "COMMITTED",
      "logs": [
        {
          "cave": "🦣CaveA",
          "phase": "Prepare",
          "status": "PREPARED",
          "step": 1,
          "detail": "OK"
        },
        {
          "cave": "🦣CaveB",
          "phase": "Prepare",
          "status": "PREPARED",
          "step": 1,
          "detail": "OK"
        },
        {
          "cave": "🦣CaveA",
          "phase": "Commit",
          "status": "COMMITTED",
          "step": 2,
          "detail": "CommittedOdor Lv5"
        },
        {
          "cave": "🦣CaveB",
          "phase": "Commit",
          "status": "COMMITTED",
          "step": 2,
          "detail": "観測確定"
        }
      ],
      "ghost_event": null,
      "artifacts": []
    },
    {
      "cave_a": "🦣CaveA",
      "cave_b": "🦣CaveB",
      "odor_level": 7,
      "final_status": "GHOST",
      "logs": [
        {
          "cave": "🦣CaveA",
          "phase": "Prepare",
          "status": "PREPARED",
          "step": 1,
          "detail": "OK"
        },
        {
          "cave": "🦣CaveB",
          "phase": "Prepare",
          "status": "ROLLED_BACK",
          "step": 1,
          "detail": "unbound variable: missing_observer"
        },
        {
          "cave": "🦣CaveA",
          "phase": "Commit",
          "status": "COMMITTED",
          "step": 2,
          "detail": "CommittedOdor Lv7"
        },
        {
          "cave": "🦣CaveB",
          "phase": "Rollback",
          "status": "ROLLED_BACK",
          "step": 2,
          "detail": "RolledBackOdor"
        },
        {
          "cave": "Coordinator",
          "phase": "Ghost",
          "status": "GHOST",
          "step": 2,
          "detail": "Ghost Odor確定"
        }
      ],
      "ghost_event": {
        "step": 1,
        "kind": "ghost_odor",
        "detail": "👻 Ghost Odor Lv7: 🦣CaveAコミット済み・🦣CaveBロールバック",
        "frontend": "🦣CaveA+🦣CaveB",
        "era": "liminal",
        "cave_a": "🦣CaveA",
        "cave_b": "🦣CaveB",
        "odor_level": 7
      },
      "artifacts": [
        {
          "step": 1,
          "kind": "artifact",
          "detail": "🪨 2PC壁画: 🦣CaveAの排出痕跡（コミット済み）",
          "frontend": "ArchaeologyIR",
          "era": "archaeological",
          "artifact_id": "2PC-A-1",
          "source_event": "👻 Ghost Odor Lv7: 🦣CaveAコミット済み・🦣CaveBロールバック",
          "confidence": 0.91
        },
        {
          "step": 1,
          "kind": "artifact",
          "detail": "🪨 2PC壁画: 🦣CaveBのロールバック痕跡",
          "frontend": "ArchaeologyIR",
          "era": "archaeological",
          "artifact_id": "2PC-B-1",
          "source_event": "👻 Ghost Odor Lv7: 🦣CaveAコミット済み・🦣CaveBロールバック",
          "confidence": 0.68
        }
      ]
    },
    {
      "cave_a": "🦣CaveA",
      "cave_b": "🦣CaveB",
      "odor_level": 0,
      "final_status": "ROLLED_BACK",
      "logs": [
        {
          "cave": "🦣CaveA",
          "phase": "Prepare",
          "status": "ROLLED_BACK",
          "step": 1,
          "detail": "unbound variable: ghost_a"
        },
        {
          "cave": "🦣CaveB",
          "phase": "Prepare",
          "status": "ROLLED_BACK",
          "step": 1,
          "detail": "unbound variable: ghost_b"
        },
        {
          "cave": "🦣CaveA",
          "phase": "Rollback",
          "status": "ROLLED_BACK",
          "step": 2,
          "detail": "Clean"
        },
        {
          "cave": "🦣CaveB",
          "phase": "Rollback",
          "status": "ROLLED_BACK",
          "step": 2,
          "detail": "Clean"
        }
      ],
      "ghost_event": null,
      "artifacts": []
    }
  ],
  "type_inference": [
    {
      "name": "純粋プログラム",
      "ok": true,
      "bindings": {
        "x": "PURE"
      }
    },
    {
      "name": "外交危機プログラム",
      "ok": true,
      "bindings": {
        "__diplomatic__": "DIPLOMATIC"
      }
    },
    {
      "name": "哲学型エラー",
      "ok": false,
      "bindings": {
        "q": "PHILOSOPHY"
      }
    },
    {
      "name": "哲学型＋外交（複合汚染）",
      "ok": false,
      "bindings": {
        "q": "PHILOSOPHY",
        "lv": "PURE",
        "__diplomatic__": "DIPLOMATIC"
      }
    }
  ],
  "witness_council": [
    {
      "artifact_id": "ART-88-1",
      "original_confidence": 0.85,
      "adjusted_confidence": 0.664,
      "verdict": "DISPUTED",
      "votes": [
        {
          "witness": "研究ゴリラ",
          "vote": "信頼",
          "reason": "証拠と一致（0.91）",
          "weight": 1.0
        },
        {
          "witness": "気象ゴリラ",
          "vote": "保留",
          "reason": "要追加調査（0.61）",
          "weight": 1.0
        },
        {
          "witness": "法務ゴリラ",
          "vote": "保留",
          "reason": "要追加調査（0.56）",
          "weight": 2.0
        },
        {
          "witness": "哲学ゴリラ",
          "vote": "除外",
          "reason": "🚫 哲学ゴリラ: 自動除外（前科: 無限ループ×3、バナナ没収済み）",
          "weight": 0.0
        }
      ],
      "council_note": "証人の意見が割れている。引き続き追跡ウホ。"
    },
    {
      "artifact_id": "ART-88-2",
      "original_confidence": 0.85,
      "adjusted_confidence": 0.504,
      "verdict": "DISPUTED",
      "votes": [
        {
          "witness": "研究ゴリラ",
          "vote": "信頼",
          "reason": "証拠と一致（0.91）",
          "weight": 1.0
        },
        {
          "witness": "気象ゴリラ",
          "vote": "保留",
          "reason": "要追加調査（0.50）",
          "weight": 1.0
        },
        {
          "witness": "法務ゴリラ",
          "vote": "疑義",
          "reason": "証拠不十分（0.30）",
          "weight": 2.0
        },
        {
          "witness": "哲学ゴリラ",
          "vote": "除外",
          "reason": "🚫 哲学ゴリラ: 自動除外（前科: 無限ループ×3、バナナ没収済み）",
          "weight": 0.0
        }
      ],
      "council_note": "証人の意見が割れている。引き続き追跡ウホ。"
    },
    {
      "artifact_id": "GHOST-A-001",
      "original_confidence": 0.72,
      "adjusted_confidence": 0.636,
      "verdict": "DISPUTED",
      "votes": [
        {
          "witness": "研究ゴリラ",
          "vote": "信頼",
          "reason": "証拠と一致（0.75）",
          "weight": 1.0
        },
        {
          "witness": "気象ゴリラ",
          "vote": "保留",
          "reason": "要追加調査（0.63）",
          "weight": 1.0
        },
        {
          "witness": "法務ゴリラ",
          "vote": "保留",
          "reason": "要追加調査（0.58）",
          "weight": 2.0
        },
        {
          "witness": "哲学ゴリラ",
          "vote": "除外",
          "reason": "🚫 哲学ゴリラ: 自動除外（前科: 無限ループ×3、バナナ没収済み）",
          "weight": 0.0
        }
      ],
      "council_note": "証人の意見が割れている。引き続き追跡ウホ。"
    },
    {
      "artifact_id": "GHOST-B-001",
      "original_confidence": 0.64,
      "adjusted_confidence": 0.597,
      "verdict": "DISPUTED",
      "votes": [
        {
          "witness": "研究ゴリラ",
          "vote": "信頼",
          "reason": "証拠と一致（0.74）",
          "weight": 1.0
        },
        {
          "witness": "気象ゴリラ",
          "vote": "保留",
          "reason": "要追加調査（0.65）",
          "weight": 1.0
        },
        {
          "witness": "法務ゴリラ",
          "vote": "保留",
          "reason": "要追加調査（0.50）",
          "weight": 2.0
        },
        {
          "witness": "哲学ゴリラ",
          "vote": "除外",
          "reason": "🚫 哲学ゴリラ: 自動除外（前科: 無限ループ×3、バナナ没収済み）",
          "weight": 0.0
        }
      ],
      "council_note": "証人の意見が割れている。引き続き追跡ウホ。"
    },
    {
      "artifact_id": "2PC-A-1",
      "original_confidence": 0.91,
      "adjusted_confidence": 0.632,
      "verdict": "DISPUTED",
      "votes": [
        {
          "witness": "研究ゴリラ",
          "vote": "信頼",
          "reason": "証拠と一致（0.89）",
          "weight": 1.0
        },
        {
          "witness": "気象ゴリラ",
          "vote": "疑義",
          "reason": "証拠不十分（0.32）",
          "weight": 1.0
        },
        {
          "witness": "法務ゴリラ",
          "vote": "信頼",
          "reason": "証拠と一致（0.66）",
          "weight": 2.0
        },
        {
          "witness": "哲学ゴリラ",
          "vote": "除外",
          "reason": "🚫 哲学ゴリラ: 自動除外（前科: 無限ループ×3、バナナ没収済み）",
          "weight": 0.0
        }
      ],
      "council_note": "証人の意見が割れている。引き続き追跡ウホ。"
    },
    {
      "artifact_id": "2PC-B-1",
      "original_confidence": 0.68,
      "adjusted_confidence": 0.48,
      "verdict": "DISPUTED",
      "votes": [
        {
          "witness": "研究ゴリラ",
          "vote": "信頼",
          "reason": "証拠と一致（0.76）",
          "weight": 1.0
        },
        {
          "witness": "気象ゴリラ",
          "vote": "保留",
          "reason": "要追加調査（0.50）",
          "weight": 1.0
        },
        {
          "witness": "法務ゴリラ",
          "vote": "疑義",
          "reason": "証拠不十分（0.33）",
          "weight": 2.0
        },
        {
          "witness": "哲学ゴリラ",
          "vote": "除外",
          "reason": "🚫 哲学ゴリラ: 自動除外（前科: 無限ループ×3、バナナ没収済み）",
          "weight": 0.0
        }
      ],
      "council_note": "証人の意見が割れている。引き続き追跡ウホ。"
    }
  ],
  "verdict_summary": {
    "VERIFIED": 0,
    "DISPUTED": 6,
    "SEALED": 0
  }
}