Allow no-record submissions through n100

README.md

@@ -44,7 +44,8 @@ packing-verifier verify solution.json --json
 
 The local command checks geometry and reports the same metric used by the
 Space. The live Space still applies the record gate: existing cases must
-improve the current top metric by at least `0.0001`.
+improve the current top metric by at least `0.0001`; cases with no current
+record can be submitted through `n = 100`.
 
 ## Persistence
 

app.py

@@ -40,6 +40,7 @@ FAVICON_PATH = SPACE_ROOT / "assets" / "favicon.svg"
 HYDRATE_STATUS = maybe_hydrate_from_dataset(DATA_DIR)
 STORE = SolutionStore(DATA_DIR)
 SUBMISSION_MIN_IMPROVEMENT = 1.0e-4
+SUBMISSION_MAX_NEW_CASE_N = 100
 VERIFIER_REPO_URL = "https://github.com/Nathan-Roll1/packing-verifier"
 
 
@@ -1658,7 +1659,7 @@ EXAMPLES_MD = f"""### How Submission Works
 
 Paste one canonical coordinate JSON object, click **Verify**, then click **Submit Entry** if it passes.
 
-The geometry tolerance is fixed by the evaluator and is not user-selectable. For an existing case, a submission must improve the current top metric by at least `0.0001` to be accepted as a new record. In these tables, smaller metric values are better.
+The geometry tolerance is fixed by the evaluator and is not user-selectable. For an existing case, a submission must improve the current top metric by at least `0.0001` to be accepted as a new record. Cases with no current record can be submitted through `n = {SUBMISSION_MAX_NEW_CASE_N}`. In these tables, smaller metric values are better.
 
 ### Test Locally With The Open Verifier
 
@@ -1687,9 +1688,10 @@ This prefilled example is a verified `triincir@3` coordinate layout and a good s
 - Use radians for `rotation_radians`.
 - Click **Verify** before submitting; the preview is rendered from the same canonical JSON that is archived.
 - Existing cases must beat the current top metric by at least `0.0001`.
+- Cases with no current record can be submitted when `n <= {SUBMISSION_MAX_NEW_CASE_N}`.
 """
 
-SCHEMA_DOCS_MD = """### Canonical Fields
+SCHEMA_DOCS_MD = f"""### Canonical Fields
 
 Required top-level fields:
 
@@ -1708,7 +1710,7 @@ Supported shape specs:
 - `circle`: `radius` or `diameter`
 - `rectangle`: `width` and `height`
 
-The verifier uses a fixed geometry tolerance. Existing cases must improve the current top metric by at least `0.0001` before they can be submitted as records.
+The verifier uses a fixed geometry tolerance. Existing cases must improve the current top metric by at least `0.0001` before they can be submitted as records. Cases with no current record can be submitted through `n = {SUBMISSION_MAX_NEW_CASE_N}`.
 """ + f"""
 
 ### Four Circles In A Square
@@ -2771,7 +2773,7 @@ def submit_schema_intro_html() -> str:
             <div>
               <h2>Submit Entry</h2>
               <p class="section-note">
-                Paste one canonical coordinate JSON object. Existing cases must beat the current top metric by at least 0.0001.
+                Paste one canonical coordinate JSON object. Existing cases must beat the current top metric by at least 0.0001; new no-record cases are accepted through n={SUBMISSION_MAX_NEW_CASE_N}.
                 The open-source local verifier is available at <a href="{esc(VERIFIER_REPO_URL)}" target="_blank" rel="noopener noreferrer">github.com/Nathan-Roll1/packing-verifier</a>.
               </p>
             </div>
@@ -2825,12 +2827,21 @@ def submitted_metric_for_result(result: dict[str, Any], current: dict[str, Any]
 def submission_gate(result: dict[str, Any]) -> tuple[bool, str]:
     if not result.get("ok"):
         return False, "Geometry verification failed."
+    try:
+        submitted_n = int(result.get("n") or 0)
+    except (TypeError, ValueError):
+        return False, "The evaluator could not determine the number of submitted items."
     current = current_top_for_case(str(result.get("case") or ""))
     symbol, submitted_metric = submitted_metric_for_result(result, current)
     if submitted_metric is None:
         return False, "The evaluator could not compute a submitted metric."
     if current is None:
-        return True, "No current top record exists for this case; a valid geometry can be submitted."
+        if submitted_n > SUBMISSION_MAX_NEW_CASE_N:
+            return (
+                False,
+                f"No current top record exists for this case, and new no-record cases are accepted only through n={SUBMISSION_MAX_NEW_CASE_N}.",
+            )
+        return True, f"No current top record exists for this case; valid new cases can be submitted through n={SUBMISSION_MAX_NEW_CASE_N}."
     current_symbol = str(current.get("metric_symbol") or symbol)
     if current_symbol != symbol:
         return False, f"Submitted metric symbol {symbol!r} does not match current record metric symbol {current_symbol!r}."
@@ -2880,7 +2891,7 @@ def result_markdown(result: dict[str, Any], gate: tuple[bool, str] | None = None
 
 
 def empty_report_markdown() -> str:
-    return "### Ready To Verify\n\nPaste canonical JSON, then run the verifier. Existing cases must improve the current top metric by at least `0.0001`."
+    return f"### Ready To Verify\n\nPaste canonical JSON, then run the verifier. Existing cases must improve the current top metric by at least `0.0001`; cases with no current record can be submitted through `n = {SUBMISSION_MAX_NEW_CASE_N}`."
 
 
 def empty_preview_html() -> str:
@@ -2992,7 +3003,7 @@ with gr.Blocks(
                 with gr.Column(scale=7, elem_classes=["submit-editor"]):
                     with gr.Group(elem_classes=["submit-panel"]):
                         gr.HTML('<div class="submit-panel-title">Paste JSON</div>')
-                        gr.HTML('<p class="submit-panel-note">Paste one canonical coordinate JSON object. The evaluator uses a fixed tolerance and requires a 0.0001 metric improvement for existing cases.</p>')
+                        gr.HTML(f'<p class="submit-panel-note">Paste one canonical coordinate JSON object. The evaluator uses a fixed tolerance, requires a 0.0001 metric improvement for existing cases, and accepts new no-record cases through n={SUBMISSION_MAX_NEW_CASE_N}.</p>')
                         json_code = gr.Textbox(
                             **supported_gradio_kwargs(
                                 gr.Textbox,