Refresh leaderboard on accepted submissions

app.py

@@ -2920,7 +2920,14 @@ def submit_solution(
         preflight = verify_solution(solution, tolerance=DEFAULT_TOLERANCE).as_dict()
         gate_ok, gate_message = submission_gate(preflight)
         if not gate_ok:
-            return result_markdown(preflight, (gate_ok, gate_message)), preview_html(solution), json.dumps(solution, indent=2, sort_keys=True), gr.update(), gr.update()
+            return (
+                result_markdown(preflight, (gate_ok, gate_message)),
+                preview_html(solution),
+                json.dumps(solution, indent=2, sort_keys=True),
+                gr.update(),
+                gr.update(),
+                gr.update(),
+            )
         record, result = STORE.append_verified_submission(
             solution,
             submitter=submitter,
@@ -2931,17 +2938,34 @@ def submit_solution(
         stored = STORE.solution_for_record(record)
         pretty = json.dumps(stored, indent=2, sort_keys=True)
         sync_status = record.get("sync_status", "dataset sync disabled")
-        message = result_markdown(result, (gate_ok, gate_message)) + f"\n\nSaved as record `{record['id']}`.\n\nDataset sync: `{sync_status}`."
         clear_page_caches()
+        current = current_top_for_case(str(record.get("case") or result.get("case") or ""))
+        leaderboard_updated = bool(current and str(current.get("id")) == str(record.get("id")))
+        leaderboard_status = (
+            f"\n\n### Leaderboard Updated\n\nRecord `{record['id']}` is now the current public top for `{record['case']}`."
+            if leaderboard_updated
+            else (
+                "\n\n### Leaderboard Not Changed\n\n"
+                "The entry was archived, but another row is still the current public top for this case."
+            )
+        )
+        message = (
+            result_markdown(result, (gate_ok, gate_message))
+            + f"\n\nSaved as record `{record['id']}`."
+            + leaderboard_status
+            + f"\n\nDataset sync: `{sync_status}`."
+        )
+        refreshed_home = family_page_html(str(record.get("setup") or result.get("setup") or "")) if record.get("setup") or result.get("setup") else directory_html()
         return (
             message,
             preview_html(stored),
             pretty,
             leaderboard_html(),
             gr.update(choices=existing_author_choices(), value=submitter),
+            refreshed_home,
         )
     except Exception as exc:
-        return f"### Submission Rejected\n\n- {exc}", empty_preview_html(), json_text, gr.update(), gr.update()
+        return f"### Submission Rejected\n\n- {exc}", empty_preview_html(), json_text, gr.update(), gr.update(), gr.update()
 
 
 THEME = gr.themes.Base()
@@ -3035,7 +3059,7 @@ with gr.Blocks(
     submit_btn.click(
         submit_solution,
         inputs=[json_code, submitter, notes, source_url],
-        outputs=[report, preview, normalized_json, leaderboard_page, submitter],
+        outputs=[report, preview, normalized_json, leaderboard_page, submitter, browse_page],
     )
 
 

packing_benchmark/store.py

@@ -308,6 +308,37 @@ class SolutionStore:
             return None
         return min(candidates, key=metric_float)
 
+    def refresh_leaderboard_flags(self, records: list[dict[str, Any]]) -> list[dict[str, Any]]:
+        references = [
+            self.normalized_public_record(record)
+            for record in self.load_reference_records()
+        ]
+        reference_best: dict[tuple[str, str], dict[str, Any]] = {}
+        for record in references:
+            key = (str(record.get("case")), str(record.get("metric_symbol") or "s"))
+            if key not in reference_best or metric_float(record) < metric_float(reference_best[key]):
+                reference_best[key] = record
+
+        verified_best: dict[tuple[str, str], dict[str, Any]] = {}
+        for record in records:
+            if not record.get("verified"):
+                record["leaderboard_current_best"] = False
+                continue
+            record["record_type"] = "verified"
+            key = (str(record.get("case")), str(record.get("metric_symbol") or "s"))
+            if key not in verified_best or metric_float(record) < metric_float(verified_best[key]):
+                verified_best[key] = record
+
+        current_verified_ids: set[str] = set()
+        for key, coordinate in verified_best.items():
+            reference = reference_best.get(key)
+            if reference is None or metric_strictly_better(coordinate, reference):
+                current_verified_ids.add(str(coordinate.get("id")))
+
+        for record in records:
+            record["leaderboard_current_best"] = str(record.get("id")) in current_verified_ids
+        return records
+
     def append_verified_submission(
         self,
         solution: dict[str, Any],
@@ -383,13 +414,16 @@ class SolutionStore:
                 "notes": notes.strip(),
                 "solution_path": str(solution_path.relative_to(self.root.parent)),
                 "svg_path": str(svg_path.relative_to(self.root.parent)),
+                "record_type": "verified",
             }
             records.append(record)
+            self.refresh_leaderboard_flags(records)
             self.write_records(records)
             try:
                 record["sync_status"] = maybe_sync_dataset(self.root)
             except Exception:
                 records = [existing for existing in self.load_records() if existing.get("id") != rid]
+                self.refresh_leaderboard_flags(records)
                 self.write_records(records)
                 solution_path.unlink(missing_ok=True)
                 svg_path.unlink(missing_ok=True)