Spaces:
Sleeping
Sleeping
Fixed all pages
Browse files- cli/main.py +60 -23
- configs/simulate.sample.toml +3 -3
- eda/load_clean.py +18 -3
- scheduler/dashboard/pages/3_Simulation_Workflow.py +175 -133
- scheduler/dashboard/utils/simulation_runner.py +111 -0
- scheduler/dashboard/utils/ui_input_parser.py +45 -0
cli/main.py
CHANGED
|
@@ -36,9 +36,15 @@ console = Console(legacy_windows=False)
|
|
| 36 |
|
| 37 |
@app.command()
|
| 38 |
def eda(
|
| 39 |
-
skip_clean: bool = typer.Option(
|
| 40 |
-
|
| 41 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 42 |
) -> None:
|
| 43 |
"""Run the EDA pipeline (load, explore, extract parameters)."""
|
| 44 |
console.print("[bold blue]Running EDA Pipeline[/bold blue]")
|
|
@@ -60,7 +66,9 @@ def eda(
|
|
| 60 |
console.print("Data loaded and cleaned")
|
| 61 |
|
| 62 |
if not skip_viz:
|
| 63 |
-
task = progress.add_task(
|
|
|
|
|
|
|
| 64 |
run_exploration()
|
| 65 |
progress.update(task, completed=True)
|
| 66 |
console.print("Visualizations generated")
|
|
@@ -92,8 +100,12 @@ def generate(
|
|
| 92 |
interactive: bool = typer.Option(
|
| 93 |
False, "--interactive", help="Prompt for parameters interactively"
|
| 94 |
),
|
| 95 |
-
n_cases: int = typer.Option(
|
| 96 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
| 97 |
end_date: str = typer.Option("2023-12-31", "--end", help="End date (YYYY-MM-DD)"),
|
| 98 |
output: str = typer.Option(
|
| 99 |
"data/generated/cases.csv", "--output", "-o", help="Output CSV file"
|
|
@@ -178,7 +190,9 @@ def generate(
|
|
| 178 |
user_dist = _parse_case_type_dist(case_type_dist)
|
| 179 |
|
| 180 |
gen = CaseGenerator(start=start, end=end, seed=seed)
|
| 181 |
-
cases = gen.generate(
|
|
|
|
|
|
|
| 182 |
# Write primary cases file
|
| 183 |
CaseGenerator.to_csv(cases, output_path)
|
| 184 |
# Also write detailed hearings history alongside, for the dashboard/classifier
|
|
@@ -209,14 +223,22 @@ def simulate(
|
|
| 209 |
interactive: bool = typer.Option(
|
| 210 |
False, "--interactive", help="Prompt for parameters interactively"
|
| 211 |
),
|
| 212 |
-
cases_csv: str = typer.Option(
|
| 213 |
-
|
| 214 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 215 |
policy: str = typer.Option(
|
| 216 |
"readiness", "--policy", "-p", help="Scheduling policy (fifo/age/readiness)"
|
| 217 |
),
|
| 218 |
seed: int = typer.Option(42, "--seed", help="Random seed"),
|
| 219 |
-
log_dir: str = typer.Option(
|
|
|
|
|
|
|
| 220 |
) -> None:
|
| 221 |
"""Run court scheduling simulation."""
|
| 222 |
console.print(f"[bold blue]Running {days}-day simulation[/bold blue]")
|
|
@@ -238,7 +260,9 @@ def simulate(
|
|
| 238 |
update={
|
| 239 |
"cases": Path(cases_csv) if cases_csv else scfg.cases,
|
| 240 |
"days": days if days else scfg.days,
|
| 241 |
-
"start": (
|
|
|
|
|
|
|
| 242 |
"policy": policy if policy else scfg.policy,
|
| 243 |
"seed": seed if seed else scfg.seed,
|
| 244 |
"log_dir": (Path(log_dir) if log_dir else scfg.log_dir),
|
|
@@ -249,12 +273,16 @@ def simulate(
|
|
| 249 |
cases_csv = typer.prompt("Cases CSV", default=cases_csv)
|
| 250 |
days = typer.prompt("Days to simulate", default=days)
|
| 251 |
start_date = (
|
| 252 |
-
typer.prompt(
|
|
|
|
|
|
|
| 253 |
or None
|
| 254 |
)
|
| 255 |
policy = typer.prompt("Policy [readiness|fifo|age]", default=policy)
|
| 256 |
seed = typer.prompt("Random seed", default=seed)
|
| 257 |
-
log_dir =
|
|
|
|
|
|
|
| 258 |
scfg = SimulateConfig(
|
| 259 |
cases=Path(cases_csv),
|
| 260 |
days=days,
|
|
@@ -268,9 +296,13 @@ def simulate(
|
|
| 268 |
path = scfg.cases
|
| 269 |
if path.exists():
|
| 270 |
cases = CaseGenerator.from_csv(path)
|
| 271 |
-
start = scfg.start or (
|
|
|
|
|
|
|
| 272 |
else:
|
| 273 |
-
console.print(
|
|
|
|
|
|
|
| 274 |
start = scfg.start or date_cls.today().replace(day=1)
|
| 275 |
gen = CaseGenerator(start=start, end=start.replace(day=28), seed=scfg.seed)
|
| 276 |
cases = gen.generate(n_cases=5 * 151)
|
|
@@ -315,7 +347,9 @@ def simulate(
|
|
| 315 |
gini_disp = gini(disp_times) if disp_times else 0.0
|
| 316 |
|
| 317 |
console.print("\n[bold]Disposal Metrics:[/bold]")
|
| 318 |
-
console.print(
|
|
|
|
|
|
|
| 319 |
console.print(f" Gini coefficient: {gini_disp:.3f}")
|
| 320 |
|
| 321 |
console.print("\n[bold]Efficiency:[/bold]")
|
|
@@ -333,14 +367,15 @@ def simulate(
|
|
| 333 |
raise typer.Exit(code=1)
|
| 334 |
|
| 335 |
|
| 336 |
-
# RL training command removed
|
| 337 |
-
|
| 338 |
-
|
| 339 |
@app.command()
|
| 340 |
def workflow(
|
| 341 |
-
n_cases: int = typer.Option(
|
|
|
|
|
|
|
| 342 |
sim_days: int = typer.Option(384, "--days", "-d", help="Simulation days"),
|
| 343 |
-
output_dir: str = typer.Option(
|
|
|
|
|
|
|
| 344 |
seed: int = typer.Option(42, "--seed", help="Random seed"),
|
| 345 |
) -> None:
|
| 346 |
"""Run full workflow: EDA -> Generate -> Simulate -> Report."""
|
|
@@ -417,7 +452,9 @@ def dashboard(
|
|
| 417 |
app_path = Path(__file__).parent.parent / "scheduler" / "dashboard" / "app.py"
|
| 418 |
|
| 419 |
if not app_path.exists():
|
| 420 |
-
console.print(
|
|
|
|
|
|
|
| 421 |
raise typer.Exit(code=1)
|
| 422 |
|
| 423 |
# Run streamlit
|
|
|
|
| 36 |
|
| 37 |
@app.command()
|
| 38 |
def eda(
|
| 39 |
+
skip_clean: bool = typer.Option(
|
| 40 |
+
False, "--skip-clean", help="Skip data loading and cleaning"
|
| 41 |
+
),
|
| 42 |
+
skip_viz: bool = typer.Option(
|
| 43 |
+
False, "--skip-viz", help="Skip visualization generation"
|
| 44 |
+
),
|
| 45 |
+
skip_params: bool = typer.Option(
|
| 46 |
+
False, "--skip-params", help="Skip parameter extraction"
|
| 47 |
+
),
|
| 48 |
) -> None:
|
| 49 |
"""Run the EDA pipeline (load, explore, extract parameters)."""
|
| 50 |
console.print("[bold blue]Running EDA Pipeline[/bold blue]")
|
|
|
|
| 66 |
console.print("Data loaded and cleaned")
|
| 67 |
|
| 68 |
if not skip_viz:
|
| 69 |
+
task = progress.add_task(
|
| 70 |
+
"Step 2/3: Generate visualizations...", total=None
|
| 71 |
+
)
|
| 72 |
run_exploration()
|
| 73 |
progress.update(task, completed=True)
|
| 74 |
console.print("Visualizations generated")
|
|
|
|
| 100 |
interactive: bool = typer.Option(
|
| 101 |
False, "--interactive", help="Prompt for parameters interactively"
|
| 102 |
),
|
| 103 |
+
n_cases: int = typer.Option(
|
| 104 |
+
10000, "--cases", "-n", help="Number of cases to generate"
|
| 105 |
+
),
|
| 106 |
+
start_date: str = typer.Option(
|
| 107 |
+
"2022-01-01", "--start", help="Start date (YYYY-MM-DD)"
|
| 108 |
+
),
|
| 109 |
end_date: str = typer.Option("2023-12-31", "--end", help="End date (YYYY-MM-DD)"),
|
| 110 |
output: str = typer.Option(
|
| 111 |
"data/generated/cases.csv", "--output", "-o", help="Output CSV file"
|
|
|
|
| 190 |
user_dist = _parse_case_type_dist(case_type_dist)
|
| 191 |
|
| 192 |
gen = CaseGenerator(start=start, end=end, seed=seed)
|
| 193 |
+
cases = gen.generate(
|
| 194 |
+
n_cases, stage_mix_auto=True, case_type_distribution=user_dist
|
| 195 |
+
)
|
| 196 |
# Write primary cases file
|
| 197 |
CaseGenerator.to_csv(cases, output_path)
|
| 198 |
# Also write detailed hearings history alongside, for the dashboard/classifier
|
|
|
|
| 223 |
interactive: bool = typer.Option(
|
| 224 |
False, "--interactive", help="Prompt for parameters interactively"
|
| 225 |
),
|
| 226 |
+
cases_csv: str = typer.Option(
|
| 227 |
+
"data/generated/cases.csv", "--cases", help="Input cases CSV"
|
| 228 |
+
),
|
| 229 |
+
days: int = typer.Option(
|
| 230 |
+
384, "--days", "-d", help="Number of working days to simulate"
|
| 231 |
+
),
|
| 232 |
+
start_date: str = typer.Option(
|
| 233 |
+
None, "--start", help="Simulation start date (YYYY-MM-DD)"
|
| 234 |
+
),
|
| 235 |
policy: str = typer.Option(
|
| 236 |
"readiness", "--policy", "-p", help="Scheduling policy (fifo/age/readiness)"
|
| 237 |
),
|
| 238 |
seed: int = typer.Option(42, "--seed", help="Random seed"),
|
| 239 |
+
log_dir: str = typer.Option(
|
| 240 |
+
None, "--log-dir", "-o", help="Output directory for logs"
|
| 241 |
+
),
|
| 242 |
) -> None:
|
| 243 |
"""Run court scheduling simulation."""
|
| 244 |
console.print(f"[bold blue]Running {days}-day simulation[/bold blue]")
|
|
|
|
| 260 |
update={
|
| 261 |
"cases": Path(cases_csv) if cases_csv else scfg.cases,
|
| 262 |
"days": days if days else scfg.days,
|
| 263 |
+
"start": (
|
| 264 |
+
date_cls.fromisoformat(start_date) if start_date else scfg.start
|
| 265 |
+
),
|
| 266 |
"policy": policy if policy else scfg.policy,
|
| 267 |
"seed": seed if seed else scfg.seed,
|
| 268 |
"log_dir": (Path(log_dir) if log_dir else scfg.log_dir),
|
|
|
|
| 273 |
cases_csv = typer.prompt("Cases CSV", default=cases_csv)
|
| 274 |
days = typer.prompt("Days to simulate", default=days)
|
| 275 |
start_date = (
|
| 276 |
+
typer.prompt(
|
| 277 |
+
"Start date (YYYY-MM-DD) or blank", default=start_date or ""
|
| 278 |
+
)
|
| 279 |
or None
|
| 280 |
)
|
| 281 |
policy = typer.prompt("Policy [readiness|fifo|age]", default=policy)
|
| 282 |
seed = typer.prompt("Random seed", default=seed)
|
| 283 |
+
log_dir = (
|
| 284 |
+
typer.prompt("Log dir (or blank)", default=log_dir or "") or None
|
| 285 |
+
)
|
| 286 |
scfg = SimulateConfig(
|
| 287 |
cases=Path(cases_csv),
|
| 288 |
days=days,
|
|
|
|
| 296 |
path = scfg.cases
|
| 297 |
if path.exists():
|
| 298 |
cases = CaseGenerator.from_csv(path)
|
| 299 |
+
start = scfg.start or (
|
| 300 |
+
max(c.filed_date for c in cases) if cases else date_cls.today()
|
| 301 |
+
)
|
| 302 |
else:
|
| 303 |
+
console.print(
|
| 304 |
+
f"[yellow]Warning:[/yellow] {path} not found. Generating test cases..."
|
| 305 |
+
)
|
| 306 |
start = scfg.start or date_cls.today().replace(day=1)
|
| 307 |
gen = CaseGenerator(start=start, end=start.replace(day=28), seed=scfg.seed)
|
| 308 |
cases = gen.generate(n_cases=5 * 151)
|
|
|
|
| 347 |
gini_disp = gini(disp_times) if disp_times else 0.0
|
| 348 |
|
| 349 |
console.print("\n[bold]Disposal Metrics:[/bold]")
|
| 350 |
+
console.print(
|
| 351 |
+
f" Cases disposed: {res.disposals:,} ({res.disposals / len(cases):.1%})"
|
| 352 |
+
)
|
| 353 |
console.print(f" Gini coefficient: {gini_disp:.3f}")
|
| 354 |
|
| 355 |
console.print("\n[bold]Efficiency:[/bold]")
|
|
|
|
| 367 |
raise typer.Exit(code=1)
|
| 368 |
|
| 369 |
|
|
|
|
|
|
|
|
|
|
| 370 |
@app.command()
|
| 371 |
def workflow(
|
| 372 |
+
n_cases: int = typer.Option(
|
| 373 |
+
10000, "--cases", "-n", help="Number of cases to generate"
|
| 374 |
+
),
|
| 375 |
sim_days: int = typer.Option(384, "--days", "-d", help="Simulation days"),
|
| 376 |
+
output_dir: str = typer.Option(
|
| 377 |
+
"data/workflow_run", "--output", "-o", help="Output directory"
|
| 378 |
+
),
|
| 379 |
seed: int = typer.Option(42, "--seed", help="Random seed"),
|
| 380 |
) -> None:
|
| 381 |
"""Run full workflow: EDA -> Generate -> Simulate -> Report."""
|
|
|
|
| 452 |
app_path = Path(__file__).parent.parent / "scheduler" / "dashboard" / "app.py"
|
| 453 |
|
| 454 |
if not app_path.exists():
|
| 455 |
+
console.print(
|
| 456 |
+
f"[bold red]Error:[/bold red] Dashboard app not found at {app_path}"
|
| 457 |
+
)
|
| 458 |
raise typer.Exit(code=1)
|
| 459 |
|
| 460 |
# Run streamlit
|
configs/simulate.sample.toml
CHANGED
|
@@ -4,7 +4,7 @@ days = 384
|
|
| 4 |
# start = "2024-01-01" # optional; if omitted, uses max filed_date in cases
|
| 5 |
policy = "readiness" # readiness|fifo|age
|
| 6 |
seed = 42
|
| 7 |
-
|
| 8 |
-
|
| 9 |
-
|
| 10 |
# log_dir = "data/sim_runs/example"
|
|
|
|
| 4 |
# start = "2024-01-01" # optional; if omitted, uses max filed_date in cases
|
| 5 |
policy = "readiness" # readiness|fifo|age
|
| 6 |
seed = 42
|
| 7 |
+
duration_percentile = "median" # median|p90
|
| 8 |
+
courtrooms = 5 # optional; uses engine default if omitted
|
| 9 |
+
daily_capacity = 151 # optional; uses engine default if omitted
|
| 10 |
# log_dir = "data/sim_runs/example"
|
eda/load_clean.py
CHANGED
|
@@ -60,6 +60,7 @@ def _null_summary(df: pl.DataFrame, name: str) -> None:
|
|
| 60 |
def load_raw() -> tuple[pl.DataFrame, pl.DataFrame]:
|
| 61 |
try:
|
| 62 |
import duckdb
|
|
|
|
| 63 |
if DUCKDB_FILE.exists():
|
| 64 |
print(f"Loading raw data from DuckDB: {DUCKDB_FILE}")
|
| 65 |
conn = duckdb.connect(str(DUCKDB_FILE))
|
|
@@ -72,6 +73,8 @@ def load_raw() -> tuple[pl.DataFrame, pl.DataFrame]:
|
|
| 72 |
except Exception as e:
|
| 73 |
print(f"[WARN] DuckDB load failed ({e}), falling back to CSV...")
|
| 74 |
print("Loading raw data from CSVs (fallback)...")
|
|
|
|
|
|
|
| 75 |
cases = pl.read_csv(
|
| 76 |
CASES_FILE,
|
| 77 |
try_parse_dates=True,
|
|
@@ -95,7 +98,9 @@ def clean_and_augment(
|
|
| 95 |
# Standardise date columns if needed
|
| 96 |
for col in ["DATE_FILED", "DECISION_DATE", "REGISTRATION_DATE", "LAST_SYNC_TIME"]:
|
| 97 |
if col in cases.columns and cases[col].dtype == pl.Utf8:
|
| 98 |
-
cases = cases.with_columns(
|
|
|
|
|
|
|
| 99 |
|
| 100 |
# Deduplicate on keys
|
| 101 |
if "CNR_NUMBER" in cases.columns:
|
|
@@ -158,7 +163,10 @@ def clean_and_augment(
|
|
| 158 |
hearings.filter(pl.col("BusinessOnDate").is_not_null())
|
| 159 |
.sort(["CNR_NUMBER", "BusinessOnDate"])
|
| 160 |
.with_columns(
|
| 161 |
-
(
|
|
|
|
|
|
|
|
|
|
| 162 |
.over("CNR_NUMBER")
|
| 163 |
.alias("HEARING_GAP_DAYS")
|
| 164 |
)
|
|
@@ -175,7 +183,14 @@ def clean_and_augment(
|
|
| 175 |
)
|
| 176 |
cases = cases.join(gap_stats, on="CNR_NUMBER", how="left")
|
| 177 |
else:
|
| 178 |
-
for col in [
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 179 |
cases = cases.with_columns(pl.lit(None).alias(col))
|
| 180 |
|
| 181 |
# Fill some basics
|
|
|
|
| 60 |
def load_raw() -> tuple[pl.DataFrame, pl.DataFrame]:
|
| 61 |
try:
|
| 62 |
import duckdb
|
| 63 |
+
|
| 64 |
if DUCKDB_FILE.exists():
|
| 65 |
print(f"Loading raw data from DuckDB: {DUCKDB_FILE}")
|
| 66 |
conn = duckdb.connect(str(DUCKDB_FILE))
|
|
|
|
| 73 |
except Exception as e:
|
| 74 |
print(f"[WARN] DuckDB load failed ({e}), falling back to CSV...")
|
| 75 |
print("Loading raw data from CSVs (fallback)...")
|
| 76 |
+
if not CASES_FILE.exists() or not HEAR_FILE.exists():
|
| 77 |
+
raise FileNotFoundError("One or both CSV files are missing.")
|
| 78 |
cases = pl.read_csv(
|
| 79 |
CASES_FILE,
|
| 80 |
try_parse_dates=True,
|
|
|
|
| 98 |
# Standardise date columns if needed
|
| 99 |
for col in ["DATE_FILED", "DECISION_DATE", "REGISTRATION_DATE", "LAST_SYNC_TIME"]:
|
| 100 |
if col in cases.columns and cases[col].dtype == pl.Utf8:
|
| 101 |
+
cases = cases.with_columns(
|
| 102 |
+
pl.col(col).str.strptime(pl.Date, "%d-%m-%Y", strict=False)
|
| 103 |
+
)
|
| 104 |
|
| 105 |
# Deduplicate on keys
|
| 106 |
if "CNR_NUMBER" in cases.columns:
|
|
|
|
| 163 |
hearings.filter(pl.col("BusinessOnDate").is_not_null())
|
| 164 |
.sort(["CNR_NUMBER", "BusinessOnDate"])
|
| 165 |
.with_columns(
|
| 166 |
+
(
|
| 167 |
+
(pl.col("BusinessOnDate") - pl.col("BusinessOnDate").shift(1))
|
| 168 |
+
/ timedelta(days=1)
|
| 169 |
+
)
|
| 170 |
.over("CNR_NUMBER")
|
| 171 |
.alias("HEARING_GAP_DAYS")
|
| 172 |
)
|
|
|
|
| 183 |
)
|
| 184 |
cases = cases.join(gap_stats, on="CNR_NUMBER", how="left")
|
| 185 |
else:
|
| 186 |
+
for col in [
|
| 187 |
+
"GAP_MEAN",
|
| 188 |
+
"GAP_MEDIAN",
|
| 189 |
+
"GAP_P25",
|
| 190 |
+
"GAP_P75",
|
| 191 |
+
"GAP_STD",
|
| 192 |
+
"N_GAPS",
|
| 193 |
+
]:
|
| 194 |
cases = cases.with_columns(pl.lit(None).alias(col))
|
| 195 |
|
| 196 |
# Fill some basics
|
scheduler/dashboard/pages/3_Simulation_Workflow.py
CHANGED
|
@@ -9,7 +9,6 @@ Multi-step workflow:
|
|
| 9 |
|
| 10 |
from __future__ import annotations
|
| 11 |
|
| 12 |
-
import subprocess
|
| 13 |
from datetime import date, datetime
|
| 14 |
from pathlib import Path
|
| 15 |
|
|
@@ -107,11 +106,15 @@ if st.session_state.workflow_step == 1:
|
|
| 107 |
)
|
| 108 |
|
| 109 |
start_date = st.date_input(
|
| 110 |
-
"Filing period start",
|
|
|
|
|
|
|
| 111 |
)
|
| 112 |
|
| 113 |
end_date = st.date_input(
|
| 114 |
-
"Filing period end",
|
|
|
|
|
|
|
| 115 |
)
|
| 116 |
|
| 117 |
with col2:
|
|
@@ -124,7 +127,9 @@ if st.session_state.workflow_step == 1:
|
|
| 124 |
)
|
| 125 |
|
| 126 |
output_dir = st.text_input(
|
| 127 |
-
"Output directory",
|
|
|
|
|
|
|
| 128 |
)
|
| 129 |
|
| 130 |
st.info(f"Cases will be saved to: {output_dir}/cases.csv")
|
|
@@ -142,13 +147,21 @@ if st.session_state.workflow_step == 1:
|
|
| 142 |
col_a, col_b, col_c = st.columns(3)
|
| 143 |
|
| 144 |
with col_a:
|
| 145 |
-
rsa_pct = st.number_input(
|
| 146 |
-
|
| 147 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 148 |
|
| 149 |
with col_b:
|
| 150 |
ca_pct = st.number_input("CA %", 0, 100, 20, help="Civil Appeal")
|
| 151 |
-
ccc_pct = st.number_input(
|
|
|
|
|
|
|
| 152 |
cp_pct = st.number_input("CP %", 0, 100, 9, help="Civil Petition")
|
| 153 |
|
| 154 |
with col_c:
|
|
@@ -156,55 +169,92 @@ if st.session_state.workflow_step == 1:
|
|
| 156 |
"CMP %", 0, 100, 3, help="Civil Miscellaneous Petition"
|
| 157 |
)
|
| 158 |
|
| 159 |
-
total_pct =
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 160 |
if total_pct != 100:
|
| 161 |
st.error(f"Total: {total_pct}% (must be 100%)")
|
| 162 |
else:
|
| 163 |
st.success(f"Total: {total_pct}%")
|
| 164 |
else:
|
| 165 |
st.info("Using default distribution from historical data")
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 166 |
|
| 167 |
if st.button("Generate Cases", type="primary", use_container_width=True):
|
| 168 |
with st.spinner(f"Generating {n_cases:,} cases..."):
|
| 169 |
try:
|
| 170 |
-
|
| 171 |
-
|
| 172 |
-
|
| 173 |
-
|
| 174 |
-
|
| 175 |
-
|
| 176 |
-
|
| 177 |
-
|
| 178 |
-
|
| 179 |
-
|
| 180 |
-
|
| 181 |
-
|
| 182 |
-
|
| 183 |
-
|
| 184 |
-
|
| 185 |
-
|
| 186 |
-
|
| 187 |
-
end_date.isoformat(),
|
| 188 |
-
"--output",
|
| 189 |
-
str(cases_file),
|
| 190 |
-
"--seed",
|
| 191 |
-
str(seed),
|
| 192 |
-
],
|
| 193 |
-
capture_output=True,
|
| 194 |
-
text=True,
|
| 195 |
-
cwd=str(Path.cwd()),
|
| 196 |
)
|
| 197 |
|
| 198 |
-
|
| 199 |
-
|
| 200 |
-
|
| 201 |
-
|
| 202 |
-
|
| 203 |
-
|
| 204 |
-
|
| 205 |
-
|
| 206 |
-
|
| 207 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 208 |
except Exception as e:
|
| 209 |
st.error(f"Error generating cases: {e}")
|
| 210 |
|
|
@@ -253,7 +303,9 @@ if st.session_state.workflow_step == 1:
|
|
| 253 |
cases_file = temp_path / "uploaded_cases.csv"
|
| 254 |
df.to_csv(cases_file, index=False)
|
| 255 |
|
| 256 |
-
if st.button(
|
|
|
|
|
|
|
| 257 |
st.session_state.cases_ready = True
|
| 258 |
st.session_state.cases_path = str(cases_file)
|
| 259 |
st.session_state.workflow_step = 2
|
|
@@ -305,7 +357,11 @@ elif st.session_state.workflow_step == 2:
|
|
| 305 |
)
|
| 306 |
|
| 307 |
seed_sim = st.number_input(
|
| 308 |
-
"Random seed",
|
|
|
|
|
|
|
|
|
|
|
|
|
| 309 |
)
|
| 310 |
|
| 311 |
log_dir = st.text_input(
|
|
@@ -394,7 +450,9 @@ elif st.session_state.workflow_step == 2:
|
|
| 394 |
st.rerun()
|
| 395 |
|
| 396 |
with col2:
|
| 397 |
-
if st.button(
|
|
|
|
|
|
|
| 398 |
st.session_state.workflow_step = 3
|
| 399 |
st.rerun()
|
| 400 |
|
|
@@ -425,98 +483,71 @@ elif st.session_state.workflow_step == 3:
|
|
| 425 |
if st.button("Start Simulation", type="primary", use_container_width=True):
|
| 426 |
with st.spinner("Running simulation... This may take several minutes."):
|
| 427 |
try:
|
| 428 |
-
|
| 429 |
-
|
| 430 |
-
|
| 431 |
-
|
| 432 |
-
|
| 433 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 434 |
)
|
|
|
|
|
|
|
|
|
|
| 435 |
run_dir = base_out_dir / f"v{CLI_VERSION}_{ts}"
|
| 436 |
run_dir.mkdir(parents=True, exist_ok=True)
|
| 437 |
|
| 438 |
-
#
|
| 439 |
st.session_state.sim_config["log_dir"] = str(run_dir)
|
| 440 |
|
| 441 |
-
|
| 442 |
-
cmd = [
|
| 443 |
-
"uv",
|
| 444 |
-
"run",
|
| 445 |
-
"court-scheduler",
|
| 446 |
-
"simulate",
|
| 447 |
-
"--cases",
|
| 448 |
-
config["cases"],
|
| 449 |
-
"--days",
|
| 450 |
-
str(config["days"]),
|
| 451 |
-
"--policy",
|
| 452 |
-
config["policy"],
|
| 453 |
-
"--seed",
|
| 454 |
-
str(config["seed"]),
|
| 455 |
-
]
|
| 456 |
-
|
| 457 |
-
if config.get("start"):
|
| 458 |
-
cmd.extend(["--start", config["start"]])
|
| 459 |
-
|
| 460 |
-
# Always pass the per-run output directory
|
| 461 |
-
cmd.extend(["--log-dir", str(run_dir)])
|
| 462 |
-
|
| 463 |
-
# Run simulation
|
| 464 |
-
result = subprocess.run(
|
| 465 |
-
cmd,
|
| 466 |
-
capture_output=True,
|
| 467 |
-
text=True,
|
| 468 |
-
cwd=str(Path.cwd()),
|
| 469 |
-
)
|
| 470 |
-
|
| 471 |
-
if result.returncode == 0:
|
| 472 |
-
st.success("Simulation completed successfully")
|
| 473 |
|
| 474 |
-
|
| 475 |
-
st.session_state.sim_results = {
|
| 476 |
-
"success": True,
|
| 477 |
-
"output": result.stdout,
|
| 478 |
-
"log_dir": str(run_dir),
|
| 479 |
-
"completed_at": datetime.now().isoformat(),
|
| 480 |
-
}
|
| 481 |
|
| 482 |
-
|
| 483 |
-
|
| 484 |
-
|
| 485 |
-
|
| 486 |
-
|
| 487 |
-
|
| 488 |
-
)
|
| 489 |
-
events_path = log_dir_path / "events.csv"
|
| 490 |
-
if events_path.exists():
|
| 491 |
-
generator = CauseListGenerator(events_path)
|
| 492 |
-
# Save directly in the run directory (no subfolder)
|
| 493 |
-
compiled_path = generator.generate_daily_lists(log_dir_path)
|
| 494 |
-
summary_path = log_dir_path / "daily_summaries.csv"
|
| 495 |
-
# Store generated paths for display in Step 4
|
| 496 |
-
st.session_state.sim_results["cause_lists"] = {
|
| 497 |
-
"compiled": str(compiled_path),
|
| 498 |
-
"summary": str(summary_path),
|
| 499 |
-
}
|
| 500 |
-
st.info(f"Daily cause lists generated in {log_dir_path}")
|
| 501 |
-
else:
|
| 502 |
-
st.warning(
|
| 503 |
-
f"events.csv not found at {events_path}. Skipping cause list generation."
|
| 504 |
-
)
|
| 505 |
-
except Exception as gen_err:
|
| 506 |
-
st.warning(f"Failed to generate daily cause lists: {gen_err}")
|
| 507 |
|
| 508 |
-
|
| 509 |
-
|
| 510 |
-
|
| 511 |
-
|
| 512 |
-
|
| 513 |
-
st.code(result.stderr, language="text")
|
| 514 |
|
| 515 |
-
st.session_state.sim_results = {
|
| 516 |
-
"
|
| 517 |
-
"
|
| 518 |
}
|
| 519 |
|
|
|
|
|
|
|
|
|
|
| 520 |
except Exception as e:
|
| 521 |
st.error(f"Error running simulation: {e}")
|
| 522 |
st.session_state.sim_results = {
|
|
@@ -565,7 +596,9 @@ elif st.session_state.workflow_step == 4:
|
|
| 565 |
for file in files:
|
| 566 |
col1, col2 = st.columns([3, 1])
|
| 567 |
with col1:
|
| 568 |
-
st.markdown(
|
|
|
|
|
|
|
| 569 |
with col2:
|
| 570 |
if file.suffix in [".csv", ".txt"]:
|
| 571 |
with open(file, "rb") as f:
|
|
@@ -573,7 +606,9 @@ elif st.session_state.workflow_step == 4:
|
|
| 573 |
label="Download",
|
| 574 |
data=f.read(),
|
| 575 |
file_name=file.name,
|
| 576 |
-
mime="text/csv"
|
|
|
|
|
|
|
| 577 |
key=f"download_{file.name}",
|
| 578 |
)
|
| 579 |
|
|
@@ -594,7 +629,10 @@ elif st.session_state.workflow_step == 4:
|
|
| 594 |
x=metrics_df.index,
|
| 595 |
y="disposal_rate",
|
| 596 |
title="Disposal Rate Over Time",
|
| 597 |
-
labels={
|
|
|
|
|
|
|
|
|
|
| 598 |
)
|
| 599 |
st.plotly_chart(fig, use_container_width=True)
|
| 600 |
|
|
@@ -611,7 +649,9 @@ elif st.session_state.workflow_step == 4:
|
|
| 611 |
|
| 612 |
# Show summary statistics
|
| 613 |
st.markdown("### Summary Statistics")
|
| 614 |
-
st.dataframe(
|
|
|
|
|
|
|
| 615 |
|
| 616 |
except Exception as e:
|
| 617 |
st.warning(f"Could not load metrics: {e}")
|
|
@@ -660,7 +700,9 @@ elif st.session_state.workflow_step == 4:
|
|
| 660 |
else None
|
| 661 |
)
|
| 662 |
if events_csv and events_csv.exists():
|
| 663 |
-
if st.button(
|
|
|
|
|
|
|
| 664 |
try:
|
| 665 |
# Save directly alongside events.csv (run directory root)
|
| 666 |
out_dir = events_csv.parent
|
|
|
|
| 9 |
|
| 10 |
from __future__ import annotations
|
| 11 |
|
|
|
|
| 12 |
from datetime import date, datetime
|
| 13 |
from pathlib import Path
|
| 14 |
|
|
|
|
| 106 |
)
|
| 107 |
|
| 108 |
start_date = st.date_input(
|
| 109 |
+
"Filing period start",
|
| 110 |
+
value=date(2022, 1, 1),
|
| 111 |
+
help="Start date for case filings",
|
| 112 |
)
|
| 113 |
|
| 114 |
end_date = st.date_input(
|
| 115 |
+
"Filing period end",
|
| 116 |
+
value=date(2023, 12, 31),
|
| 117 |
+
help="End date for case filings",
|
| 118 |
)
|
| 119 |
|
| 120 |
with col2:
|
|
|
|
| 127 |
)
|
| 128 |
|
| 129 |
output_dir = st.text_input(
|
| 130 |
+
"Output directory",
|
| 131 |
+
value="data/generated",
|
| 132 |
+
help="Directory to save generated cases",
|
| 133 |
)
|
| 134 |
|
| 135 |
st.info(f"Cases will be saved to: {output_dir}/cases.csv")
|
|
|
|
| 147 |
col_a, col_b, col_c = st.columns(3)
|
| 148 |
|
| 149 |
with col_a:
|
| 150 |
+
rsa_pct = st.number_input(
|
| 151 |
+
"RSA %", 0, 100, 20, help="Regular Second Appeal"
|
| 152 |
+
)
|
| 153 |
+
rfa_pct = st.number_input(
|
| 154 |
+
"RFA %", 0, 100, 17, help="Regular First Appeal"
|
| 155 |
+
)
|
| 156 |
+
crp_pct = st.number_input(
|
| 157 |
+
"CRP %", 0, 100, 20, help="Civil Revision Petition"
|
| 158 |
+
)
|
| 159 |
|
| 160 |
with col_b:
|
| 161 |
ca_pct = st.number_input("CA %", 0, 100, 20, help="Civil Appeal")
|
| 162 |
+
ccc_pct = st.number_input(
|
| 163 |
+
"CCC %", 0, 100, 11, help="Civil Contempt"
|
| 164 |
+
)
|
| 165 |
cp_pct = st.number_input("CP %", 0, 100, 9, help="Civil Petition")
|
| 166 |
|
| 167 |
with col_c:
|
|
|
|
| 169 |
"CMP %", 0, 100, 3, help="Civil Miscellaneous Petition"
|
| 170 |
)
|
| 171 |
|
| 172 |
+
total_pct = (
|
| 173 |
+
rsa_pct
|
| 174 |
+
+ rfa_pct
|
| 175 |
+
+ crp_pct
|
| 176 |
+
+ ca_pct
|
| 177 |
+
+ ccc_pct
|
| 178 |
+
+ cp_pct
|
| 179 |
+
+ cmp_pct
|
| 180 |
+
)
|
| 181 |
if total_pct != 100:
|
| 182 |
st.error(f"Total: {total_pct}% (must be 100%)")
|
| 183 |
else:
|
| 184 |
st.success(f"Total: {total_pct}%")
|
| 185 |
else:
|
| 186 |
st.info("Using default distribution from historical data")
|
| 187 |
+
from scheduler.dashboard.utils.ui_input_parser import (
|
| 188 |
+
build_case_type_distribution,
|
| 189 |
+
merge_with_default_config,
|
| 190 |
+
)
|
| 191 |
+
|
| 192 |
+
case_type_dist_dict = None
|
| 193 |
+
if use_custom_dist:
|
| 194 |
+
case_type_dist_dict = build_case_type_distribution(
|
| 195 |
+
rsa_pct,
|
| 196 |
+
rfa_pct,
|
| 197 |
+
crp_pct,
|
| 198 |
+
ca_pct,
|
| 199 |
+
ccc_pct,
|
| 200 |
+
cp_pct,
|
| 201 |
+
cmp_pct,
|
| 202 |
+
)
|
| 203 |
|
| 204 |
if st.button("Generate Cases", type="primary", use_container_width=True):
|
| 205 |
with st.spinner(f"Generating {n_cases:,} cases..."):
|
| 206 |
try:
|
| 207 |
+
from cli.config import load_generate_config
|
| 208 |
+
from scheduler.data.case_generator import CaseGenerator
|
| 209 |
+
|
| 210 |
+
DEFAULT_GENERATE_CFG_PATH = Path("configs/generate.sample.toml")
|
| 211 |
+
config_from_file = None
|
| 212 |
+
|
| 213 |
+
if DEFAULT_GENERATE_CFG_PATH.exists():
|
| 214 |
+
config_from_file = load_generate_config(
|
| 215 |
+
DEFAULT_GENERATE_CFG_PATH
|
| 216 |
+
)
|
| 217 |
+
cfg = merge_with_default_config(
|
| 218 |
+
config_from_file,
|
| 219 |
+
n_cases=n_cases,
|
| 220 |
+
start_date=start_date,
|
| 221 |
+
end_date=end_date,
|
| 222 |
+
output_dir=output_dir,
|
| 223 |
+
seed=seed,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 224 |
)
|
| 225 |
|
| 226 |
+
# Prepare output dir
|
| 227 |
+
cfg.output.parent.mkdir(parents=True, exist_ok=True)
|
| 228 |
+
|
| 229 |
+
case_type_dist_dict = None
|
| 230 |
+
if use_custom_dist:
|
| 231 |
+
from scheduler.dashboard.utils.ui_input_parser import (
|
| 232 |
+
build_case_type_distribution,
|
| 233 |
+
)
|
| 234 |
+
|
| 235 |
+
case_type_dist_dict = build_case_type_distribution(
|
| 236 |
+
rsa_pct, rfa_pct, crp_pct, ca_pct, ccc_pct, cp_pct, cmp_pct
|
| 237 |
+
)
|
| 238 |
+
|
| 239 |
+
gen = CaseGenerator(start=cfg.start, end=cfg.end, seed=cfg.seed)
|
| 240 |
+
|
| 241 |
+
cases = gen.generate(
|
| 242 |
+
cfg.n_cases,
|
| 243 |
+
stage_mix_auto=True,
|
| 244 |
+
case_type_distribution=case_type_dist_dict,
|
| 245 |
+
)
|
| 246 |
+
|
| 247 |
+
# Save files
|
| 248 |
+
CaseGenerator.to_csv(cases, cfg.output)
|
| 249 |
+
hearings_path = cfg.output.parent / "hearings.csv"
|
| 250 |
+
CaseGenerator.to_hearings_csv(cases, hearings_path)
|
| 251 |
+
|
| 252 |
+
st.success(f"Generated {len(cases):,} cases successfully!")
|
| 253 |
+
st.session_state.cases_ready = True
|
| 254 |
+
st.session_state.cases_path = str(cfg.output)
|
| 255 |
+
st.session_state.workflow_step = 2
|
| 256 |
+
st.rerun()
|
| 257 |
+
|
| 258 |
except Exception as e:
|
| 259 |
st.error(f"Error generating cases: {e}")
|
| 260 |
|
|
|
|
| 303 |
cases_file = temp_path / "uploaded_cases.csv"
|
| 304 |
df.to_csv(cases_file, index=False)
|
| 305 |
|
| 306 |
+
if st.button(
|
| 307 |
+
"Use This Dataset", type="primary", use_container_width=True
|
| 308 |
+
):
|
| 309 |
st.session_state.cases_ready = True
|
| 310 |
st.session_state.cases_path = str(cases_file)
|
| 311 |
st.session_state.workflow_step = 2
|
|
|
|
| 357 |
)
|
| 358 |
|
| 359 |
seed_sim = st.number_input(
|
| 360 |
+
"Random seed",
|
| 361 |
+
min_value=0,
|
| 362 |
+
max_value=9999,
|
| 363 |
+
value=42,
|
| 364 |
+
help="Seed for reproducibility",
|
| 365 |
)
|
| 366 |
|
| 367 |
log_dir = st.text_input(
|
|
|
|
| 450 |
st.rerun()
|
| 451 |
|
| 452 |
with col2:
|
| 453 |
+
if st.button(
|
| 454 |
+
"Next: Run Simulation ->", type="primary", use_container_width=True
|
| 455 |
+
):
|
| 456 |
st.session_state.workflow_step = 3
|
| 457 |
st.rerun()
|
| 458 |
|
|
|
|
| 483 |
if st.button("Start Simulation", type="primary", use_container_width=True):
|
| 484 |
with st.spinner("Running simulation... This may take several minutes."):
|
| 485 |
try:
|
| 486 |
+
from cli.config import load_simulate_config
|
| 487 |
+
from scheduler.dashboard.utils.simulation_runner import (
|
| 488 |
+
merge_simulation_config,
|
| 489 |
+
run_simulation_dashboard,
|
| 490 |
+
)
|
| 491 |
+
|
| 492 |
+
DEFAULT_SIM_CFG_PATH = Path("configs/simulate.sample.toml")
|
| 493 |
+
if DEFAULT_SIM_CFG_PATH.exists():
|
| 494 |
+
default_cfg = load_simulate_config(DEFAULT_SIM_CFG_PATH)
|
| 495 |
+
else:
|
| 496 |
+
default_cfg = (
|
| 497 |
+
load_simulate_config(Path("parameter_sweep.toml"))
|
| 498 |
+
if Path("parameter_sweep.toml").exists()
|
| 499 |
+
else None
|
| 500 |
+
)
|
| 501 |
+
|
| 502 |
+
if default_cfg is None:
|
| 503 |
+
st.error("No default simulate config found.")
|
| 504 |
+
st.stop()
|
| 505 |
+
|
| 506 |
+
merged_cfg = merge_simulation_config(
|
| 507 |
+
default_cfg,
|
| 508 |
+
cases_path=config["cases"],
|
| 509 |
+
days=config["days"],
|
| 510 |
+
start_date=date.fromisoformat(config["start"])
|
| 511 |
+
if config.get("start")
|
| 512 |
+
else None,
|
| 513 |
+
policy=config["policy"],
|
| 514 |
+
seed=config["seed"],
|
| 515 |
+
log_dir=config["log_dir"],
|
| 516 |
)
|
| 517 |
+
|
| 518 |
+
ts = datetime.now().strftime("%Y%m%d_%H%M%S")
|
| 519 |
+
base_out_dir = Path(config["log_dir"])
|
| 520 |
run_dir = base_out_dir / f"v{CLI_VERSION}_{ts}"
|
| 521 |
run_dir.mkdir(parents=True, exist_ok=True)
|
| 522 |
|
| 523 |
+
# Update session config
|
| 524 |
st.session_state.sim_config["log_dir"] = str(run_dir)
|
| 525 |
|
| 526 |
+
result = run_simulation_dashboard(merged_cfg, run_dir)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 527 |
|
| 528 |
+
st.success("Simulation completed successfully!")
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 529 |
|
| 530 |
+
st.session_state.sim_results = {
|
| 531 |
+
"success": True,
|
| 532 |
+
"output": result["summary"],
|
| 533 |
+
"log_dir": str(run_dir),
|
| 534 |
+
"completed_at": datetime.now().isoformat(),
|
| 535 |
+
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 536 |
|
| 537 |
+
events_path = result["events_path"]
|
| 538 |
+
if events_path.exists():
|
| 539 |
+
generator = CauseListGenerator(events_path)
|
| 540 |
+
compiled_path = generator.generate_daily_lists(run_dir)
|
| 541 |
+
summary_path = run_dir / "daily_summaries.csv"
|
|
|
|
| 542 |
|
| 543 |
+
st.session_state.sim_results["cause_lists"] = {
|
| 544 |
+
"compiled": str(compiled_path),
|
| 545 |
+
"summary": str(summary_path),
|
| 546 |
}
|
| 547 |
|
| 548 |
+
st.session_state.workflow_step = 4
|
| 549 |
+
st.rerun()
|
| 550 |
+
|
| 551 |
except Exception as e:
|
| 552 |
st.error(f"Error running simulation: {e}")
|
| 553 |
st.session_state.sim_results = {
|
|
|
|
| 596 |
for file in files:
|
| 597 |
col1, col2 = st.columns([3, 1])
|
| 598 |
with col1:
|
| 599 |
+
st.markdown(
|
| 600 |
+
f"- `{file.name}` ({file.stat().st_size / 1024:.1f} KB)"
|
| 601 |
+
)
|
| 602 |
with col2:
|
| 603 |
if file.suffix in [".csv", ".txt"]:
|
| 604 |
with open(file, "rb") as f:
|
|
|
|
| 606 |
label="Download",
|
| 607 |
data=f.read(),
|
| 608 |
file_name=file.name,
|
| 609 |
+
mime="text/csv"
|
| 610 |
+
if file.suffix == ".csv"
|
| 611 |
+
else "text/plain",
|
| 612 |
key=f"download_{file.name}",
|
| 613 |
)
|
| 614 |
|
|
|
|
| 629 |
x=metrics_df.index,
|
| 630 |
y="disposal_rate",
|
| 631 |
title="Disposal Rate Over Time",
|
| 632 |
+
labels={
|
| 633 |
+
"x": "Day",
|
| 634 |
+
"disposal_rate": "Disposal Rate",
|
| 635 |
+
},
|
| 636 |
)
|
| 637 |
st.plotly_chart(fig, use_container_width=True)
|
| 638 |
|
|
|
|
| 649 |
|
| 650 |
# Show summary statistics
|
| 651 |
st.markdown("### Summary Statistics")
|
| 652 |
+
st.dataframe(
|
| 653 |
+
metrics_df.describe(), use_container_width=True
|
| 654 |
+
)
|
| 655 |
|
| 656 |
except Exception as e:
|
| 657 |
st.warning(f"Could not load metrics: {e}")
|
|
|
|
| 700 |
else None
|
| 701 |
)
|
| 702 |
if events_csv and events_csv.exists():
|
| 703 |
+
if st.button(
|
| 704 |
+
"Generate Daily Cause Lists Now", use_container_width=False
|
| 705 |
+
):
|
| 706 |
try:
|
| 707 |
# Save directly alongside events.csv (run directory root)
|
| 708 |
out_dir = events_csv.parent
|
scheduler/dashboard/utils/simulation_runner.py
ADDED
|
@@ -0,0 +1,111 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
from __future__ import annotations
|
| 2 |
+
from pathlib import Path
|
| 3 |
+
from datetime import date
|
| 4 |
+
|
| 5 |
+
from cli.config import SimulateConfig
|
| 6 |
+
from scheduler.data.case_generator import CaseGenerator
|
| 7 |
+
from scheduler.simulation.engine import CourtSim, CourtSimConfig
|
| 8 |
+
from scheduler.core.case import CaseStatus
|
| 9 |
+
from scheduler.metrics.basic import gini
|
| 10 |
+
|
| 11 |
+
|
| 12 |
+
def merge_simulation_config(
|
| 13 |
+
default_cfg: SimulateConfig,
|
| 14 |
+
cases_path: str,
|
| 15 |
+
days: int,
|
| 16 |
+
start_date: date | None,
|
| 17 |
+
policy: str,
|
| 18 |
+
seed: int,
|
| 19 |
+
log_dir: str,
|
| 20 |
+
) -> SimulateConfig:
|
| 21 |
+
"""Merge UI inputs with default simulation config."""
|
| 22 |
+
return SimulateConfig(
|
| 23 |
+
cases=Path(cases_path) if cases_path else default_cfg.cases,
|
| 24 |
+
days=days or default_cfg.days,
|
| 25 |
+
start=start_date or default_cfg.start,
|
| 26 |
+
policy=policy or default_cfg.policy,
|
| 27 |
+
seed=seed if seed is not None else default_cfg.seed,
|
| 28 |
+
log_dir=Path(log_dir) if log_dir else default_cfg.log_dir,
|
| 29 |
+
)
|
| 30 |
+
|
| 31 |
+
|
| 32 |
+
def run_simulation_dashboard(scfg: SimulateConfig, run_dir: Path):
|
| 33 |
+
"""
|
| 34 |
+
Execute simulation based on the provided Streamlit configuration.
|
| 35 |
+
"""
|
| 36 |
+
|
| 37 |
+
# ------------------------------------------------------------------
|
| 38 |
+
# Load case data
|
| 39 |
+
# ------------------------------------------------------------------
|
| 40 |
+
path = scfg.cases
|
| 41 |
+
if path.exists():
|
| 42 |
+
cases = CaseGenerator.from_csv(path)
|
| 43 |
+
start = scfg.start or (
|
| 44 |
+
max(c.filed_date for c in cases) if cases else date.today()
|
| 45 |
+
)
|
| 46 |
+
else:
|
| 47 |
+
# Fallback (CLI fallback behaviour)
|
| 48 |
+
start = scfg.start or date.today().replace(day=1)
|
| 49 |
+
gen = CaseGenerator(start=start, end=start.replace(day=28), seed=scfg.seed)
|
| 50 |
+
cases = gen.generate(n_cases=5 * 151)
|
| 51 |
+
|
| 52 |
+
# ------------------------------------------------------------------
|
| 53 |
+
# Build CourtSimConfig
|
| 54 |
+
# ------------------------------------------------------------------
|
| 55 |
+
cfg = CourtSimConfig(
|
| 56 |
+
start=start,
|
| 57 |
+
days=scfg.days,
|
| 58 |
+
seed=scfg.seed,
|
| 59 |
+
policy=scfg.policy,
|
| 60 |
+
duration_percentile=scfg.duration_percentile,
|
| 61 |
+
log_dir=run_dir,
|
| 62 |
+
)
|
| 63 |
+
|
| 64 |
+
# ------------------------------------------------------------------
|
| 65 |
+
# Run simulation
|
| 66 |
+
# ------------------------------------------------------------------
|
| 67 |
+
sim = CourtSim(cfg, cases)
|
| 68 |
+
res = sim.run()
|
| 69 |
+
|
| 70 |
+
# ------------------------------------------------------------------
|
| 71 |
+
# Collect metrics exactly like CLI
|
| 72 |
+
# ------------------------------------------------------------------
|
| 73 |
+
disp_times = [
|
| 74 |
+
(c.disposal_date - c.filed_date).days
|
| 75 |
+
for c in cases
|
| 76 |
+
if c.disposal_date is not None and c.status == CaseStatus.DISPOSED
|
| 77 |
+
]
|
| 78 |
+
gini_disp = gini(disp_times) if disp_times else 0.0
|
| 79 |
+
|
| 80 |
+
summary_text = f"""
|
| 81 |
+
Simulation Complete!
|
| 82 |
+
Horizon: {cfg.start} -> {res.end_date} ({cfg.days} days)
|
| 83 |
+
|
| 84 |
+
Hearing Metrics:
|
| 85 |
+
Total: {res.hearings_total}
|
| 86 |
+
Heard: {res.hearings_heard} ({res.hearings_heard / max(1, res.hearings_total):.1%})
|
| 87 |
+
Adjourned: {res.hearings_adjourned} ({res.hearings_adjourned / max(1, res.hearings_total):.1%})
|
| 88 |
+
|
| 89 |
+
Disposal Metrics:
|
| 90 |
+
Disposed: {res.disposals} ({res.disposals / len(cases):.1%})
|
| 91 |
+
Gini coefficient: {gini_disp:.3f}
|
| 92 |
+
|
| 93 |
+
Efficiency:
|
| 94 |
+
Utilization: {res.utilization:.2%}
|
| 95 |
+
Avg hearings/day: {res.hearings_total / max(1, cfg.days):.2f}
|
| 96 |
+
"""
|
| 97 |
+
|
| 98 |
+
(run_dir / "report.txt").write_text(summary_text, encoding="utf-8")
|
| 99 |
+
|
| 100 |
+
# -------------------------------------------------------
|
| 101 |
+
# Locate generated CSVs (if they exist)
|
| 102 |
+
# -------------------------------------------------------
|
| 103 |
+
metrics_path = run_dir / "metrics.csv"
|
| 104 |
+
events_path = run_dir / "events.csv"
|
| 105 |
+
|
| 106 |
+
return {
|
| 107 |
+
"summary": summary_text,
|
| 108 |
+
"end_date": res.end_date,
|
| 109 |
+
"metrics_path": metrics_path if metrics_path.exists() else None,
|
| 110 |
+
"events_path": events_path if events_path.exists() else None,
|
| 111 |
+
}
|
scheduler/dashboard/utils/ui_input_parser.py
ADDED
|
@@ -0,0 +1,45 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
from pathlib import Path
|
| 2 |
+
from cli.config import GenerateConfig
|
| 3 |
+
|
| 4 |
+
|
| 5 |
+
def merge_with_default_config(
|
| 6 |
+
default_cfg: GenerateConfig,
|
| 7 |
+
n_cases: int,
|
| 8 |
+
start_date,
|
| 9 |
+
end_date,
|
| 10 |
+
output_dir: str,
|
| 11 |
+
seed: int,
|
| 12 |
+
) -> GenerateConfig:
|
| 13 |
+
"""Merge UI values with the repo's default generate config."""
|
| 14 |
+
return GenerateConfig(
|
| 15 |
+
n_cases=n_cases or default_cfg.n_cases,
|
| 16 |
+
start=start_date or default_cfg.start,
|
| 17 |
+
end=end_date or default_cfg.end,
|
| 18 |
+
output=Path(output_dir) / "cases.csv" if output_dir else default_cfg.output,
|
| 19 |
+
seed=seed if seed is not None else default_cfg.seed,
|
| 20 |
+
)
|
| 21 |
+
|
| 22 |
+
|
| 23 |
+
def build_case_type_distribution(
|
| 24 |
+
rsa_pct: int,
|
| 25 |
+
rfa_pct: int,
|
| 26 |
+
crp_pct: int,
|
| 27 |
+
ca_pct: int,
|
| 28 |
+
ccc_pct: int,
|
| 29 |
+
cp_pct: int,
|
| 30 |
+
cmp_pct: int,
|
| 31 |
+
) -> dict[str, float]:
|
| 32 |
+
"""Convert percentage inputs into a probability distribution."""
|
| 33 |
+
total = rsa_pct + rfa_pct + crp_pct + ca_pct + ccc_pct + cp_pct + cmp_pct
|
| 34 |
+
if total == 0:
|
| 35 |
+
return {}
|
| 36 |
+
|
| 37 |
+
return {
|
| 38 |
+
"RSA": rsa_pct / total,
|
| 39 |
+
"RFA": rfa_pct / total,
|
| 40 |
+
"CRP": crp_pct / total,
|
| 41 |
+
"CA": ca_pct / total,
|
| 42 |
+
"CCC": ccc_pct / total,
|
| 43 |
+
"CP": cp_pct / total,
|
| 44 |
+
"CMP": cmp_pct / total,
|
| 45 |
+
}
|