Spaces:
Running
Running
| { | |
| "summary": { | |
| "n_cases": 84, | |
| "passed": 84, | |
| "pass_rate": 1.0, | |
| "by_dimension": { | |
| "task_completion": { | |
| "n": 16, | |
| "passed": 16, | |
| "rate": 1.0 | |
| }, | |
| "impact_recall": { | |
| "n": 18, | |
| "passed": 18, | |
| "rate": 1.0 | |
| }, | |
| "conflict": { | |
| "n": 16, | |
| "passed": 16, | |
| "rate": 1.0 | |
| }, | |
| "memory_transfer": { | |
| "n": 10, | |
| "passed": 10, | |
| "rate": 1.0 | |
| }, | |
| "isolation": { | |
| "n": 12, | |
| "passed": 12, | |
| "rate": 1.0 | |
| }, | |
| "temporal": { | |
| "n": 4, | |
| "passed": 4, | |
| "rate": 1.0 | |
| }, | |
| "provenance": { | |
| "n": 8, | |
| "passed": 8, | |
| "rate": 1.0 | |
| } | |
| }, | |
| "impact": { | |
| "events": 9, | |
| "clauses_rechecked": 198, | |
| "pairs": { | |
| "tp": 4, | |
| "fp": 0, | |
| "fn": 0, | |
| "precision": 1.0, | |
| "recall": 1.0 | |
| }, | |
| "cases": { | |
| "tp": 4, | |
| "fp": 0, | |
| "fn": 0, | |
| "precision": 1.0, | |
| "recall": 1.0 | |
| }, | |
| "per_event": [ | |
| { | |
| "event": "DEMO-0", | |
| "expected": [], | |
| "observed": [] | |
| }, | |
| { | |
| "event": "DEMO-1", | |
| "expected": [], | |
| "observed": [] | |
| }, | |
| { | |
| "event": "DEMO-1+after-DEMO-0", | |
| "expected": [ | |
| "T-NHX-2026-014#2.1" | |
| ], | |
| "observed": [ | |
| "T-NHX-2026-014#2.1" | |
| ] | |
| }, | |
| { | |
| "event": "DEMO-2", | |
| "expected": [ | |
| "T-CWBB-2026-21#A" | |
| ], | |
| "observed": [ | |
| "T-CWBB-2026-21#A" | |
| ] | |
| }, | |
| { | |
| "event": "DEMO-3", | |
| "expected": [], | |
| "observed": [] | |
| }, | |
| { | |
| "event": "DEMO-4", | |
| "expected": [], | |
| "observed": [] | |
| }, | |
| { | |
| "event": "RBC-cut-Pkg124", | |
| "expected": [], | |
| "observed": [] | |
| }, | |
| { | |
| "event": "RBC-cut-Pkg124+after-cut-Pkg127", | |
| "expected": [ | |
| "T-RBC-2026-31#1" | |
| ], | |
| "observed": [ | |
| "T-RBC-2026-31#1" | |
| ] | |
| }, | |
| { | |
| "event": "JN-raise-Pkg127", | |
| "expected": [ | |
| "T-JN-LB-2026-09#1" | |
| ], | |
| "observed": [ | |
| "T-JN-LB-2026-09#1" | |
| ] | |
| } | |
| ] | |
| }, | |
| "failed": [], | |
| "conflict_pr_cited": { | |
| "json": { | |
| "n_events": 275, | |
| "n_pdfs": null, | |
| "detection": { | |
| "precision": 1.0, | |
| "recall": 1.0, | |
| "f1": 1.0, | |
| "tp": 200, | |
| "fp": 0, | |
| "fn": 0 | |
| }, | |
| "routing_accuracy": 1.0, | |
| "winner_accuracy": 1.0 | |
| }, | |
| "pdf": { | |
| "n_events": null, | |
| "n_pdfs": 50, | |
| "detection": { | |
| "precision": 1.0, | |
| "recall": 1.0, | |
| "f1": 1.0, | |
| "tp": 35, | |
| "fp": 0, | |
| "fn": 0 | |
| }, | |
| "routing_accuracy": 1.0, | |
| "winner_accuracy": null | |
| } | |
| }, | |
| "leftover_eval_graphs": [], | |
| "seconds": 27.6, | |
| "llm_calls": 0, | |
| "run_at": "2026-10-18T05:20:19+00:00" | |
| } | |
| } |