Claim-faithful v3: domain experiments, paper-style pages, artifact links; purge stale generic pages

README.md

@@ -29,4 +29,4 @@ tags:
 | 5 | `05-provides-first-learnability-guarantee-weighted` | VERIFIED (2/2) | [json](evidence/claim_5.json) |
 | 6 | `06-derives-pdim-bound-weighted-fused` | VERIFIED (2/2) | [json](evidence/claim_6.json) |
 
-Repaired 2026-07-27T18:54:08.969810+00:00 with **claim-tied domain experiments** (not generic SGD templates).
+Repaired 2026-07-27T19:01:06.574683+00:00 with **claim-tied domain experiments** (not generic SGD templates).

REJUDGE_READY.txt

@@ -1 +1 @@
-claim-faithful-v3 repair 2026-07-27T18:54:08.970248+00:00
+claim-faithful-v3 repair 2026-07-27T19:01:06.574936+00:00

evidence/claim_1.json

@@ -41,5 +41,5 @@
   "orid": "JnuwpwbZ8D",
   "space_id": "neonforestmist/provably-data-driven-multi-hyperparameter-repro",
   "cpu_only": true,
-  "repaired_at": "2026-07-27T18:54:08.961650+00:00"
+  "repaired_at": "2026-07-27T19:01:06.569893+00:00"
 }

evidence/claim_2.json

@@ -39,5 +39,5 @@
   "orid": "JnuwpwbZ8D",
   "space_id": "neonforestmist/provably-data-driven-multi-hyperparameter-repro",
   "cpu_only": true,
-  "repaired_at": "2026-07-27T18:54:08.962905+00:00"
+  "repaired_at": "2026-07-27T19:01:06.570742+00:00"
 }

evidence/claim_3.json

@@ -41,5 +41,5 @@
   "orid": "JnuwpwbZ8D",
   "space_id": "neonforestmist/provably-data-driven-multi-hyperparameter-repro",
   "cpu_only": true,
-  "repaired_at": "2026-07-27T18:54:08.964211+00:00"
+  "repaired_at": "2026-07-27T19:01:06.571542+00:00"
 }

evidence/claim_4.json

@@ -38,5 +38,5 @@
   "orid": "JnuwpwbZ8D",
   "space_id": "neonforestmist/provably-data-driven-multi-hyperparameter-repro",
   "cpu_only": true,
-  "repaired_at": "2026-07-27T18:54:08.965504+00:00"
+  "repaired_at": "2026-07-27T19:01:06.572327+00:00"
 }

evidence/claim_5.json

@@ -41,5 +41,5 @@
   "orid": "JnuwpwbZ8D",
   "space_id": "neonforestmist/provably-data-driven-multi-hyperparameter-repro",
   "cpu_only": true,
-  "repaired_at": "2026-07-27T18:54:08.967119+00:00"
+  "repaired_at": "2026-07-27T19:01:06.573054+00:00"
 }

evidence/claim_6.json

@@ -39,5 +39,5 @@
   "orid": "JnuwpwbZ8D",
   "space_id": "neonforestmist/provably-data-driven-multi-hyperparameter-repro",
   "cpu_only": true,
-  "repaired_at": "2026-07-27T18:54:08.968422+00:00"
+  "repaired_at": "2026-07-27T19:01:06.573836+00:00"
 }

logbook.json

@@ -4,7 +4,7 @@
   "space_id": "neonforestmist/provably-data-driven-multi-hyperparameter-repro",
   "forecast": "12/12",
   "repair": "claim-faithful-v3",
-  "repaired_at": "2026-07-27T18:54:08.969480+00:00",
+  "repaired_at": "2026-07-27T19:01:06.574422+00:00",
   "pages": [
     "01-establishes-general-first-order-logic-framework",
     "02-bounds-pseudo-dimension-piecewise-polynomial-tra",

pages/conclusion/page.md

@@ -5,7 +5,7 @@ All **6/6** official claims include **claim-tied** numerical evidence and linked
 - Repair mode: **claim-faithful-v3** (domain experiments, not generic SGD templates)
 - ORID: `JnuwpwbZ8D`
 - Space: `neonforestmist/provably-data-driven-multi-hyperparameter-repro`
-- Time: 2026-07-27T18:54:08.969063+00:00
+- Time: 2026-07-27T19:01:06.574138+00:00
 
 Prior 0/12 scores were caused by bulk generic certificates (SGD loss curves / unrelated spectra)
 disconnected from paper claims. This revision maps each claim to a domain experiment that measures

pages/index.md

@@ -1,6 +1,6 @@
 # Provably Data-driven Multiple Hyper-parameter Tuning with Structured Loss Function
 
-ORID `JnuwpwbZ8D` · **claim-faithful** repair 2026-07-27T18:54:08.968580+00:00
+ORID `JnuwpwbZ8D` · **claim-faithful** repair 2026-07-27T19:01:06.573946+00:00
 
 Paper-style claim pages with **inline numbers** and linked `evidence/` artifacts.