Remove integrity gate and rely on private database access

app.py

@@ -1780,8 +1780,6 @@ def submission_guide_html() -> str:
 
 def setup_title(setup: str) -> str:
     for record in cached_reference_records():
-        if record.get("_integrity_errors"):
-            continue
         if record.get("setup") == setup and record.get("title"):
             return str(record["title"])
     return setup
@@ -1794,8 +1792,6 @@ def setup_updated(setup: str) -> str:
         if text:
             return text
     for record in cached_reference_records():
-        if record.get("_integrity_errors"):
-            continue
         if record.get("setup") != setup:
             continue
         meta = record.get("friedman_reference")
@@ -1819,12 +1815,12 @@ def setup_choices() -> list[str]:
     choices = {
         str(record["setup"])
         for record in cached_reference_records()
-        if record.get("setup") and not record.get("_integrity_errors")
+        if record.get("setup")
     }
     choices.update(
         str(record["setup"])
         for record in cached_verified_records()
-        if record.get("verified") and record.get("setup") and not record.get("_integrity_errors")
+        if record.get("verified") and record.get("setup")
     )
     return sorted(choices, key=lambda setup: (setup_title(setup).lower(), setup.lower()))
 
@@ -1929,8 +1925,6 @@ def author_credit_html(author: str) -> str:
 def existing_author_choices() -> list[str]:
     seen: dict[str, str] = {}
     for record in [*cached_reference_records(), *cached_verified_records()]:
-        if record.get("_integrity_errors"):
-            continue
         name = display_author(record)
         normalized = name.strip()
         if not normalized or normalized.lower() in {"unknown", "anonymous"}:
@@ -2131,20 +2125,6 @@ def previous_bests_table(record: dict[str, Any]) -> str:
     )
 
 
-def integrity_status_text(record: dict[str, Any], visual_record: dict[str, Any]) -> str:
-    errors = list(record.get("_integrity_errors") or [])
-    if visual_record is not record:
-        errors.extend(list(visual_record.get("_integrity_errors") or []))
-    if errors:
-        return "failed: " + "; ".join(esc(error) for error in errors)
-    integrity = record.get("integrity") or visual_record.get("integrity")
-    if isinstance(integrity, dict) and integrity.get("signature"):
-        return "verified with signed record and solution hashes"
-    if isinstance(integrity, dict):
-        return "verified with record and solution hashes"
-    return "legacy row; no integrity stamp"
-
-
 def visual_provenance(record: dict[str, Any], visual_record: dict[str, Any]) -> str:
     source_case = str(visual_record.get("monotone_upper_bound_from_case") or "").strip()
     if source_case:
@@ -2198,7 +2178,6 @@ def record_detail_rows(record: dict[str, Any], visual_record: dict[str, Any], so
     rows: list[str] = []
     rows.append(detail_row("Rendering", esc(visual_provenance(record, visual_record))))
     rows.append(detail_row("Record date", record_date_with_source(record)))
-    rows.append(detail_row("Database integrity", esc(integrity_status_text(record, visual_record))))
     if record.get("record_type") == "reference" and visual_record.get("verified"):
         if is_trivial_record(record):
             rows.append(

packing_benchmark/store.py

@@ -9,7 +9,6 @@ from typing import Any
 
 from .dates import date_from_friedman_record, date_from_submission
 from .hub_sync import maybe_sync_dataset
-from .integrity import attach_integrity_status, seal_record
 from .renderer import svg_markup
 from .verifier import (
     DEFAULT_TOLERANCE,
@@ -95,7 +94,7 @@ class SolutionStore:
         with self.records_path.open() as f:
             for line in f:
                 if line.strip():
-                    records.append(attach_integrity_status(json.loads(line), self.root))
+                    records.append(json.loads(line))
         return records
 
     def load_reference_records(self) -> list[dict[str, Any]]:
@@ -105,7 +104,7 @@ class SolutionStore:
         with self.references_path.open() as f:
             for line in f:
                 if line.strip():
-                    records.append(attach_integrity_status(json.loads(line), self.root))
+                    records.append(json.loads(line))
         return records
 
     def normalized_public_record(self, record: dict[str, Any]) -> dict[str, Any]:
@@ -126,12 +125,11 @@ class SolutionStore:
         references = [
             self.normalized_public_record(r)
             for r in self.load_reference_records()
-            if not r.get("_integrity_errors")
         ]
         verified = [
             self.normalized_public_record(r)
             for r in self.load_records()
-            if r.get("verified") and not r.get("_integrity_errors")
+            if r.get("verified")
         ]
         if setup and setup != "All":
             references = [r for r in references if r.get("setup") == setup]
@@ -184,11 +182,10 @@ class SolutionStore:
 
     def write_records(self, records: list[dict[str, Any]]) -> None:
         tmp = self.records_path.with_suffix(".tmp")
-        signed_at = datetime.now(UTC).isoformat(timespec="seconds")
         with tmp.open("w") as f:
             for record in records:
                 clean = clean_record_for_storage(record)
-                f.write(json.dumps(seal_record(clean, self.root, signed_at=signed_at), sort_keys=True) + "\n")
+                f.write(json.dumps(clean, sort_keys=True) + "\n")
         tmp.replace(self.records_path)
 
     def solution_for_record(self, record: dict[str, Any]) -> dict[str, Any]:
@@ -235,7 +232,7 @@ class SolutionStore:
         candidates = [
             self.normalized_public_record(record)
             for record in self.load_reference_records()
-            if not record.get("_integrity_errors") and str(record.get("case")) == case
+            if str(record.get("case")) == case
         ]
         if metric_symbol:
             symbol_candidates = [record for record in candidates if str(record.get("metric_symbol") or "s") == metric_symbol]
@@ -284,15 +281,13 @@ class SolutionStore:
         candidates.extend(
             self.normalized_public_record(record)
             for record in self.load_reference_records()
-            if not record.get("_integrity_errors")
-            and str(record.get("case")) == case
+            if str(record.get("case")) == case
             and str(record.get("metric_symbol") or "s") == metric_symbol
         )
         candidates.extend(
             self.normalized_public_record(record)
             for record in self.load_records()
             if record.get("verified")
-            and not record.get("_integrity_errors")
             and str(record.get("case")) == case
             and str(record.get("metric_symbol") or "s") == metric_symbol
         )