Simplify family navigation and leaderboard

app.py

@@ -30,7 +30,6 @@ DATA_DIR = SPACE_ROOT / "data"
 DATA_DIR.mkdir(parents=True, exist_ok=True)
 HYDRATE_STATUS = maybe_hydrate_from_dataset(DATA_DIR)
 STORE = SolutionStore(DATA_DIR)
-FAMILY_PROMPT = "Select a family..."
 
 
 CSS = """
@@ -178,6 +177,31 @@ gradio-app,
   color: #fff !important;
 }
 
+.page-actions {
+  padding: 12px 0 0;
+}
+
+.home-button {
+  display: inline-block;
+  min-height: 32px;
+  padding: 6px 11px;
+  background: var(--paper);
+  border: 1px solid var(--line);
+  border-radius: 4px;
+  color: var(--ink) !important;
+  font-size: 14px;
+  font-weight: 700;
+  line-height: 1.25;
+  text-decoration: none !important;
+}
+
+.home-button:hover,
+.home-button:focus-visible {
+  background: #fffaf0;
+  outline: 2px solid var(--line);
+  outline-offset: 2px;
+}
+
 .section {
   padding: 30px 0 8px;
 }
@@ -247,14 +271,6 @@ gradio-app,
   border-radius: var(--radius);
 }
 
-.family-card.inner-tri { border-top: 7px solid var(--tri); }
-.family-card.inner-cir { border-top: 7px solid var(--cir); }
-.family-card.inner-squ { border-top: 7px solid var(--squ); }
-.family-card.inner-pen { border-top: 7px solid var(--pen); }
-.family-card.inner-hex { border-top: 7px solid var(--hex); }
-.family-card.inner-oct { border-top: 7px solid var(--oct); }
-.family-card.inner-dom { border-top: 7px solid var(--dom); }
-
 .family-card:hover,
 .family-card:focus-visible {
   background: #fffaf0;
@@ -328,16 +344,6 @@ gradio-app,
   height: 154px;
 }
 
-.open-label {
-  display: inline-block;
-  margin-top: 10px;
-  color: var(--ink);
-  font-size: 13px;
-  font-weight: 700;
-  text-decoration: underline;
-  text-underline-offset: 2px;
-}
-
 .record-book {
   padding: 10px 0 0;
 }
@@ -541,13 +547,6 @@ gradio-app,
   overflow-wrap: anywhere;
 }
 
-.back-link {
-  display: inline-block;
-  margin-top: 14px;
-  color: var(--ink) !important;
-  font-size: 13px;
-}
-
 .page-card {
   background: var(--paper);
   border: 1px solid var(--line);
@@ -1269,7 +1268,6 @@ def family_card(summary: dict[str, Any], coordinates: dict[str, dict[str, Any]])
           <div class="family-code">{esc(setup)}</div>
           <h3>{esc(summary["title"])}</h3>
           <span class="inner-chip {esc(cls)}">{esc(shape_phrase(item_code, plural=True))}</span>
-          <span class="open-label">Open records</span>
         </div>
       </div>
     </a>
@@ -1323,7 +1321,6 @@ def family_page_html(setup: str | None = None) -> str:
           <div class="family-code">{esc(setup)}</div>
           <h2>{esc(summary["title"])}</h2>
           <p class="family-subtitle">{family_description(summary)}</p>
-          <a class="back-link" href="./">Back to all families</a>
         </div>
       </div>
       <div class="record-grid">{cards}</div>
@@ -1334,7 +1331,13 @@ def family_page_html(setup: str | None = None) -> str:
 
 
 def top_nav() -> str:
-    return ""
+    return """
+    <nav class="page-actions" aria-label="Page navigation">
+      <div class="contain">
+        <a class="home-button" href="./">All families</a>
+      </div>
+    </nav>
+    """
 
 
 @lru_cache(maxsize=4)
@@ -1402,20 +1405,6 @@ def browse_page_for_request(request: gr.Request):
     return directory_html()
 
 
-def empty_family_html() -> str:
-    return """
-    <main class="packing-shell">
-      <section class="section">
-        <div class="contain">
-          <div class="page-card">
-            <p>Select a family to view verified coordinate renderings and record details.</p>
-          </div>
-        </div>
-      </section>
-    </main>
-    """
-
-
 def condensed_case_links(cases: list[str]) -> str:
     grouped: dict[str, list[int]] = {}
     for case in cases:
@@ -1443,6 +1432,8 @@ def leaderboard_html() -> str:
     coordinates = coordinate_records_by_case()
     for record in STORE.public_records(show_all=False):
         author = display_author(record)
+        if author.strip().lower() == "trivial":
+            continue
         entry = rows.setdefault(author, {"wins": 0, "verified": 0, "orange": 0, "cases": []})
         entry["wins"] += 1
         if record.get("record_type") == "verified":
@@ -1591,16 +1582,6 @@ def submit_solution(
         return f"### Submission rejected\n\n- {exc}", "", json_text, directory_html(), leaderboard_html()
 
 
-def update_family_page(setup: str):
-    if not setup or setup == FAMILY_PROMPT:
-        return empty_family_html()
-    return family_page_html(setup)
-
-
-def choose_family(setup: str):
-    return family_page_html(setup), setup
-
-
 THEME = gr.themes.Base()
 
 
@@ -1615,16 +1596,6 @@ with gr.Blocks(title="Packing Benchmark") as demo:
         with gr.Tab("Families"):
             browse_page = gr.HTML(loading_html())
 
-        with gr.Tab("Family Records"):
-            choices = setup_choices()
-            family_select = gr.Dropdown(
-                choices=[FAMILY_PROMPT, *choices],
-                value=FAMILY_PROMPT,
-                label="Family",
-                elem_id="family-selector",
-            )
-            family_page = gr.HTML(empty_family_html())
-
         with gr.Tab("Leaderboard"):
             leaderboard_page = gr.HTML(leaderboard_html())
 
@@ -1648,7 +1619,6 @@ with gr.Blocks(title="Packing Benchmark") as demo:
                 normalized_json = gr.Textbox(label="Normalized JSON", lines=10)
 
     demo.load(browse_page_for_request, outputs=[browse_page], show_progress="hidden")
-    family_select.change(update_family_page, inputs=[family_select], outputs=[family_page])
     verify_btn.click(verify_only, inputs=[json_code, json_file, tolerance], outputs=[report, preview, normalized_json])
     submit_btn.click(
         submit_solution,