#!/usr/bin/env python3
# -*- coding: utf-8 -*-
"""
研究儀表板
==========
把 L4 分析層（案件歷程、法官網絡、穩定度分析、釋憲結果編碼）做成一個離線網頁，
四個分頁，雙擊即開，與主資料庫網頁互相連結。
python _pipeline\\研究儀表板.py
前置：先跑過 _pipeline\\串接案件歷程.py（產生 40_案件歷程/ 的 CSV）。
法官網絡的計算已內建於本檔，不必另外執行 法官網絡.py；
本檔會順便補寫出 法官統計.csv 與 合議庭共事.csv。
穩定度相關分頁若找不到對應 CSV 會自動略過，不會中斷。
產出：
研究儀表板.html 放在資料庫根目錄，與主網頁同層
40_案件歷程/法官統計.csv
40_案件歷程/合議庭共事.csv
口徑提醒（也寫在網頁上）：
* 法官網絡只涵蓋「串接成功之釋憲原因案件」的承審法官，
節點大小是在這批案件中的出現頻率，不是個人辦案量。
* 穩定度指標的分母才是法官 103–114 年度全部案件。兩者不可混用。
"""
import csv, json, re, sys, collections, html, datetime
from pathlib import Path
ROOT = Path(__file__).resolve().parent.parent
D = ROOT / "40_案件歷程"
IDX = ROOT / "00_索引"
OUT = ROOT / "研究儀表板.html"
MAIN = "釋字及憲法法庭資料庫.html"
csv.field_size_limit(10 ** 8)
def rd(p):
"""讀 CSV，回傳 list[dict]；檔案不存在回空 list。"""
p = Path(p)
if not p.exists():
return []
with open(p, encoding="utf-8-sig", newline="") as fh:
return list(csv.DictReader(fh))
def rdraw(p):
"""讀 CSV，回傳 (表頭, 列)，供通用表格渲染用。"""
p = Path(p)
if not p.exists():
return [], []
with open(p, encoding="utf-8-sig", newline="") as fh:
r = list(csv.reader(fh))
return (r[0], r[1:]) if r else ([], [])
TIER = [("最高行政法院", 5), ("最高法院", 5), ("高等行政法院", 4), ("高等法院", 4),
("智慧財產", 4), ("懲戒法院", 4), ("地方法院", 3)]
def tier_of(court):
for name, lv in TIER:
if name in (court or ""):
return name, lv
return (court or "其他"), 0
def chain_summary(ch):
"""一條鏈（＝一件聲請案的原因案件歷程）的摘要，全部由 CSV 欄位直接算出。"""
deep = sorted(ch, key=lambda s: -s["d"]) # 由最下級往上
tiers, seen = [], set()
for s in deep:
nm, _ = tier_of(s["ct"])
if nm not in seen:
seen.add(nm)
tiers.append(nm)
years = []
for s in ch:
m = re.match(r"(\d{2,3})", s.get("ym") or "")
if m:
years.append(int(m.group(1)))
judges = set()
for s in ch:
judges |= {j for j in (s.get("j") or "").split("、") if j.strip()}
adv = [(s.get("adv") or "（無記載）") for s in deep]
return {"n": len(ch),
"path": " → ".join(tiers),
"yr": (f"{min(years)}–{max(years)} 年" if years and min(years) != max(years)
else (f"{years[0]} 年" if years else "")),
"nj": len(judges),
"adv": " → ".join(adv),
"chg": "是" if len(set(adv)) > 1 else "否",
"root": ch[0]["no"] if ch else ""}
def court_kind(c):
c = c or ""
if c.startswith("最高行政"):
return "最高行政法院"
if c.startswith("最高"):
return "最高法院"
if "高等行政" in c:
return "高等行政法院"
if "高等法院" in c:
return "高等法院"
if "地方法院" in c:
return "地方法院"
return "其他"
# ---------------------------------------------------------------- 主資料庫標題
def load_titles():
"""從 _pipeline/資料庫.json 取出 k → {字號, 爭點}，讓儀表板顯示得懂。"""
p = ROOT / "_pipeline" / "資料庫.json"
if not p.exists():
return {}
try:
recs = json.load(open(p, encoding="utf-8"))
except Exception as e:
print(" （資料庫.json 讀取失敗，標題留白）", e)
return {}
out = {}
for r in recs:
t = ""
for lab, ps in r.get("s", []):
if lab in ("解釋爭點", "案由"):
t = " ".join(tx for _, tx in ps)
break
t = re.sub(r"\s+", " ", t).strip()
out[r["k"]] = {"z": r.get("z") or r["k"], "t": t[:80], "u": r.get("u", ""),
"roc": r.get("roc", ""), "ty": r.get("ty", "")}
return out
# ---------------------------------------------------------------- 案件歷程
def build_history(titles):
ch = rd(D / "案件歷程.csv")
dv = {r["釋憲案"]: r for r in rd(D / "辯護型態變化.csv")}
fj = rd(D / "確定終局裁判.csv")
if not ch:
return None
bycase = collections.OrderedDict()
for r in ch:
k = r["釋憲案"]
bycase.setdefault(k, {"k": k, "z": r.get("釋憲字號", ""), "rows": []})
bycase[k]["rows"].append(r)
ORD = {"確定終局裁判": 0, "前審": 1, "再前審": 2, "未命中": 9}
def step(x, depth=0):
return {"lv": x["審級"], "ct": x["法院"], "no": x["案號"], "d": depth,
"cz": x.get("案由", ""), "fin": x.get("全案終結情形", ""),
"ym": x.get("終結年月", ""), "j": x.get("法官", ""),
"adv": x.get("辯護／代理型態", ""), "cnt": x.get("當事人筆數") or x.get("被告或罪名筆數", ""),
"src": x.get("來源檔", ""), "pre": x.get("前審案號", "")}
cases = []
for k, c in bycase.items():
rows = c["rows"]
hit = [x for x in rows if x["審級"] != "未命中"]
# 一則釋憲案可能合併多位聲請人，各有各的審級鏈；
# 而一筆裁判也可能同時有多個前審（最高法院常同時列一審與二審），
# 所以每條鏈其實是一棵樹，用「上層案號」還原父子關係。
byno = {}
for x in rows:
byno.setdefault(x["案號"], x)
has_parent_col = any("上層案號" in x for x in rows)
kids = collections.defaultdict(list)
if has_parent_col:
for x in rows:
p = (x.get("上層案號") or "").strip()
if p:
kids[p].append(x)
else: # 舊版 CSV 沒有「上層案號」，退回用「前審案號」的第一個指標
for x in rows:
p = (x.get("前審案號") or "").split("；")[0].strip()
if p and p in byno:
kids[x["案號"]].append(byno[p])
used, chains = set(), []
def descend(x, depth, acc):
if x["案號"] in used:
return
used.add(x["案號"])
acc.append(step(x, depth))
for ch2 in kids.get(x["案號"], []):
descend(ch2, depth + 1, acc)
for x in sorted(rows, key=lambda r: ORD.get(r["審級"], 5)):
if x["審級"] != "確定終局裁判" or x["案號"] in used:
continue
if has_parent_col and (x.get("上層案號") or "").strip():
continue # 不是樹根，等父節點帶它
acc = []
descend(x, 0, acc)
if acc:
chains.append(acc)
miss_no = []
for x in sorted(rows, key=lambda r: ORD.get(r["審級"], 5)):
if x["案號"] in used:
continue
if x["審級"] == "未命中":
used.add(x["案號"])
miss_no.append(x["案號"])
else:
acc = []
descend(x, 0, acc)
if acc:
chains.append(acc)
ti = titles.get(k, {})
cases.append({
"k": k, "z": c["z"], "t": ti.get("t", ""), "u": ti.get("u", ""),
"n": len(hit), "nc": len(chains), "m": miss_no,
"d": dv.get(k, {}).get("辯護型態序列", ""),
"chg": dv.get(k, {}).get("是否變更", ""),
"C": chains, "S": [chain_summary(ch) for ch in chains],
})
cases.sort(key=lambda x: (-x["n"], x["k"]))
miss = [r for r in fj if not r.get("法院")]
det = {}
dp = D / "來源明細.json"
if dp.exists():
try:
det = json.load(open(dp, encoding="utf-8"))
except Exception as e:
print(" （來源明細.json 讀取失敗）", e)
return {"cases": cases, "det": det,
"stat": {"裁判": len([r for r in fj if r.get("法院")]),
"未取得": len(miss),
"串接": sum(1 for c in cases if c["n"]),
"未命中": sum(1 for c in cases if not c["n"])}}
# ---------------------------------------------------------------- 法官網絡
def build_network():
rows = [r for r in rd(D / "法官參與.csv") if (r.get("法官") or "").strip()]
if not rows:
return None
bycase = collections.defaultdict(lambda: {"法官": set(), "法院": "", "審級": "", "釋憲": set()})
for r in rows:
c = bycase[r["案號"]]
c["法官"].add(r["法官"].strip())
c["法院"] = r["法院"]
c["審級"] = r["審級"]
c["釋憲"].add(r["釋憲案"])
stat = collections.defaultdict(lambda: {"案號": set(), "釋憲": set(),
"法院": collections.Counter(),
"審級": collections.Counter(),
"夥伴": collections.Counter()})
for case, c in bycase.items():
js = sorted(c["法官"])
for j in js:
s = stat[j]
s["案號"].add(case)
s["釋憲"] |= c["釋憲"]
s["法院"][c["法院"]] += 1
s["審級"][c["審級"]] += 1
for a in js:
for b in js:
if a != b:
stat[a]["夥伴"][b] += 1
D.mkdir(exist_ok=True)
with open(D / "法官統計.csv", "w", encoding="utf-8-sig", newline="") as fh:
w = csv.writer(fh)
w.writerow(["法官", "承審件數", "涉及釋憲案數", "涉及釋憲案", "主要法院", "所有法院",
"審級分布", "共事法官人數", "最常共事者"])
for j, s in sorted(stat.items(), key=lambda x: (-len(x[1]["案號"]), x[0])):
w.writerow([j, len(s["案號"]), len(s["釋憲"]), "、".join(sorted(s["釋憲"])),
s["法院"].most_common(1)[0][0] if s["法院"] else "",
"、".join(sorted(s["法院"])),
"、".join(f"{k}:{v}" for k, v in s["審級"].most_common()),
len(s["夥伴"]),
"、".join(f"{k}({v})" for k, v in s["夥伴"].most_common(3))])
pair = collections.Counter()
paircase = collections.defaultdict(set)
for case, c in bycase.items():
js = sorted(c["法官"])
for i in range(len(js)):
for k in range(i + 1, len(js)):
pair[(js[i], js[k])] += 1
paircase[(js[i], js[k])].add(case)
with open(D / "合議庭共事.csv", "w", encoding="utf-8-sig", newline="") as fh:
w = csv.writer(fh)
w.writerow(["法官A", "法官B", "共事案件數", "共同案件"])
for (a, b), n in sorted(pair.items(), key=lambda x: -x[1]):
w.writerow([a, b, n, "；".join(sorted(paircase[(a, b)]))])
nodes, idx = [], {}
for j, s in sorted(stat.items(), key=lambda x: (-len(x[1]["案號"]), x[0])):
idx[j] = len(nodes)
mc = s["法院"].most_common(1)[0][0] if s["法院"] else ""
nodes.append({"n": j, "v": len(s["案號"]), "r": len(s["釋憲"]),
"c": court_kind(mc), "ct": mc, "p": len(s["夥伴"]),
"lv": "、".join(f"{k}:{v}" for k, v in s["審級"].most_common()),
"cs": sorted(s["案號"]),
"rk": sorted(s["釋憲"]),
"pt": [[k, v] for k, v in s["夥伴"].most_common(12)]})
links = [{"s": idx[a], "t": idx[b], "w": n} for (a, b), n in pair.items()]
return {"nodes": nodes, "links": links,
"stat": {"法官": len(nodes), "共事關係": len(links), "案件": len(bycase)}}
# ---------------------------------------------------------------- 釋憲結果編碼
def build_outcome(titles):
rows = rd(D / "釋憲結果.csv")
if not rows:
return None
out = []
for r in rows:
k = r["釋憲案"]
out.append({"k": k, "R": r.get("R碼", ""), "nm": r.get("結果", ""),
"ev": r.get("證據句", ""), "warn": r.get("警告性", ""),
"leg": r.get("課予立法義務", ""), "rel": r.get("明示救濟", ""),
"dl": r.get("定期失效期限", ""), "cf": r.get("信心", ""),
"nt": r.get("註記", ""), "t": titles.get(k, {}).get("t", "")})
out.sort(key=lambda x: x["k"])
book = ""
p = IDX / "碼表_釋憲結果.md"
if p.exists():
book = p.read_text(encoding="utf-8")
return {"rows": out, "book": book,
"dist": collections.Counter(x["R"] for x in out).most_common()}
# ---------------------------------------------------------------- 穩定度
def build_stability():
rep = ""
p = IDX / "穩定度分析報告.md"
if p.exists():
rep = p.read_text(encoding="utf-8")
tabs = []
for fn, cap in [("合議庭穩定度_對照.csv", "被聲請 vs 同格對照"),
("穩定度與釋憲結果.csv", "依釋憲結果分組"),
("穩定度診斷.csv", "分母偏誤診斷"),
("穩定度分層檢定.csv", "van Elteren 分層檢定")]:
h, r = rdraw(D / fn)
if h:
tabs.append({"f": fn, "c": cap, "h": h, "r": r})
if not rep and not tabs:
return None
return {"rep": rep, "tabs": tabs}
# ---------------------------------------------------------------- markdown
def md2html(md):
"""夠用就好的 Markdown 渲染：標題、表格、清單、粗體、行內碼、引言。"""
if not md:
return ""
out, i, lines = [], 0, md.split("\n")
def inl(t):
t = html.escape(t)
t = re.sub(r"`([^`]+)`", r"\1", t)
t = re.sub(r"\*\*([^*]+)\*\*", r"\1", t)
return t
while i < len(lines):
ln = lines[i]
if re.match(r"^\s*\|.*\|\s*$", ln) and i + 1 < len(lines) and re.match(r"^\s*\|[\s:\-|]+\|\s*$", lines[i + 1]):
hd = [c.strip() for c in ln.strip().strip("|").split("|")]
i += 2
body = []
while i < len(lines) and re.match(r"^\s*\|.*\|\s*$", lines[i]):
body.append([c.strip() for c in lines[i].strip().strip("|").split("|")])
i += 1
out.append("
" + "".join(f"
{inl(c)}
" for c in hd)
+ "
"
+ "".join("
" + "".join(f"
{inl(c)}
" for c in b) + "
" for b in body)
+ "
")
continue
m = re.match(r"^(#{1,4})\s+(.*)$", ln)
if m:
lv = len(m.group(1))
out.append(f"{inl(m.group(2))}")
i += 1
continue
if re.match(r"^\s*[-*]\s+", ln):
li = []
while i < len(lines) and re.match(r"^\s*[-*]\s+", lines[i]):
li.append("
" + inl(re.sub(r"^\s*[-*]\s+", "", lines[i])) + "
")
i += 1
out.append("
" + "".join(li) + "
")
continue
if re.match(r"^\s*\d+[.、]\s+", ln):
li = []
while i < len(lines) and re.match(r"^\s*\d+[.、]\s+", lines[i]):
li.append("
")
i += 1
out.append("" + "".join(li) + "")
continue
if ln.startswith(">"):
out.append("
" + inl(ln.lstrip("> ")) + "
")
i += 1
continue
if re.match(r"^\s*---+\s*$", ln):
out.append("")
i += 1
continue
if ln.strip():
buf = []
while i < len(lines) and lines[i].strip() and not re.match(r"^\s*[|#>\-*]|^\s*\d+[.、]\s", lines[i]):
buf.append(lines[i].strip())
i += 1
if buf:
out.append("
';
}
var LVC={'確定終局裁判':'','前審':'p','再前審':'pp','未命中':'x'};
function drawCase(k){
cur=k;
var c=HIS.cases.filter(function(x){return x.k===k})[0];
if(!c){$('#hDet').innerHTML='';return;}
var nm=esc(c.z||c.k);
var h='