submit: drop dead form fields, meta.json is the only source

Before: the Submit tab carried four text inputs (submission name,
submitter name, agent URL, notes) alongside the zip upload, and
handle_submit took them as args but ignored everything except the
agree checkbox. They survived chunk 2's move from "form-driven
stub" to "meta.json contract" only to keep the gr.click signature
stable across one commit; chunk 3 didn't touch them either.

After: Submit tab is just zip upload + agree checkbox + submit
button. handle_submit signature is (zip_file, agree). All five
submission fields come from meta.json inside the zip, full stop.
Cuts 30 lines of UI + 4 unused handler params; removes a real
user-confusion source (filling the form did nothing).

app.py

@@ -74,25 +74,12 @@ stack, put it here or in `notes`.
 and stripped to a single line. Shown in the per-submission detail view,
 not in the main leaderboard table.
 
-`meta.json` inside the zip is the source of truth for all five
-submission fields. The form below ticks the "agree to publish" gate
-and lets you smoke-test the UI; the other text fields aren't read by
-the handler today.
+All five fields come from `meta.json` inside the zip, no separate
+form to fill in. The agree-checkbox below is the in-UI confirmation
+on top of `meta.json`'s `agree_to_publish: true`.
 """
         )
         zip_in = gr.File(label="Submission ZIP", file_types=[".zip"])
-        with gr.Row():
-            submission_name_in = gr.Textbox(
-                label="Submission name",
-                placeholder='e.g. "MyAgent v2.3" or "build123d baseline (Claude Opus 4.7)"',
-            )
-            submitter_in = gr.Textbox(label="Submitter name")
-        with gr.Row():
-            agent_url_in = gr.Textbox(
-                label="Agent / paper URL (optional)",
-                placeholder="https://github.com/...",
-            )
-            notes_in = gr.Textbox(label="Notes (optional)")
         agree_in = gr.Checkbox(
             label="I agree to publish this result on the public leaderboard."
         )
@@ -100,14 +87,7 @@ the handler today.
         submit_out = gr.Markdown()
         submit_btn.click(
             fn=handle_submit,
-            inputs=[
-                zip_in,
-                submission_name_in,
-                submitter_in,
-                agent_url_in,
-                notes_in,
-                agree_in,
-            ],
+            inputs=[zip_in, agree_in],
             outputs=submit_out,
         )
 

submit.py

@@ -15,8 +15,8 @@ Validation gates, in order:
 3. ``meta.json`` schema: required keys present, types sane,
    ``agree_to_publish`` is literally ``true``, ``notes`` is non-empty
    when present and within the per-submission cap. Single source of
-   truth for submitter / submission identity; the form fields above
-   are advisory for chunk 2 and ignored except for the agree gate.
+   truth for submitter / submission identity; the Gradio form only
+   carries the zip and the in-UI agree checkbox.
 4. Fixture-set match: the set of folders inside the zip equals the
    set of fixture directories in :func:`cadgenbench.common.paths.data_inputs_dir`
    (no missing, no extras).
@@ -93,27 +93,17 @@ class _HubWriteError(Exception):
     """Raised when a Hub upload fails after validation succeeded."""
 
 
-def handle_submit(
-    zip_file,
-    submission_name: str,  # noqa: ARG001 - kept for UI compat; meta.json wins
-    submitter: str,  # noqa: ARG001 - kept for UI compat; meta.json wins
-    agent_url: str,  # noqa: ARG001 - kept for UI compat; meta.json wins
-    notes: str,  # noqa: ARG001 - kept for UI compat; meta.json wins
-    agree: bool,
-) -> str:
+def handle_submit(zip_file, agree: bool) -> str:
     """Validate a submission upload and return a markdown UI message.
 
     Returns one of:
       - An error string starting with ``**Error:**`` for form-level
         rejects (missing zip, unticked agree box).
       - A rejection string starting with ``**Submission rejected.**``
-        for any of the deeper validation gates.
-      - A success string starting with ``**Validation OK.**`` carrying
-        the would-be ``submission_id``.
-
-    The form fields other than ``agree`` are accepted to keep the
-    Gradio click signature stable, but ``meta.json`` inside the zip
-    is the source of truth for submitter / submission identity.
+        for any of the deeper validation gates or Hub-write failures.
+      - A success string starting with ``**Queued.**`` carrying the
+        minted ``submission_id`` once the pending row + zip are on
+        the Hub.
     """
     form_err = _validate_form(zip_file, agree)
     if form_err is not None: