Index 476 verified experimental models

README.md

@@ -8,7 +8,7 @@ tags:
 
 Terminal fine-tuned models for studying correctness and verified output support. Browse by study, base model, domain, method and seed; restore each export from its recorded immutable revision.
 
-**Paper artifact collection · 470 / 707 selected exports verified. Transfer is in progress.**
+**Paper artifact collection · 476 / 707 selected exports verified. Transfer is in progress.**
 
 The fixed archival selection contains admitted completed models from the source studies listed below. Counts describe archive availability, not live training progress or a replacement for the papers’ frozen analysis sets.
 
@@ -39,14 +39,14 @@ The broader paper collection is being expanded to additional baselines, ablation
 | [E86](experiments/E86/README.md) | Fixed semantic without replay · Falcon3-1B | 0 / 25 |
 | [E87](experiments/E87/README.md) | Historical fixed-semantic probe · Qwen2.5-3B | 5 / 5 |
 | [E109](experiments/E109/README.md) | Repaired Python replay comparators | 5 / 10 |
-| [E112-R1](experiments/E112-R1/README.md) | Verified-support semantic + proposal bundle | 0 / 49 |
+| [E112-R1](experiments/E112-R1/README.md) | Verified-support semantic + proposal bundle | 6 / 49 |
 | [E121](experiments/E121/README.md) | Fixed-bank exemplar survival | 0 / 5 |
 
 ## Artifact availability
 
 | Scientific records selected | Deployable model exports | Verified model exports | Model weights unavailable |
 | ---: | ---: | ---: | ---: |
-| 762 | 707 | 470 | 55 |
+| 762 | 707 | 476 | 55 |
 
 Model weights are unavailable for 55 retained scientific records: E95 (55). Their metadata and admitted results remain part of the research record; they are excluded from the downloadable-model catalog.
 

catalog.json

@@ -1,9 +1,9 @@
 {
   "schema": "experiment-model-archive-catalog-v1",
-  "updated_at_utc": "2026-09-11T18:30:30.655096+00:00",
+  "updated_at_utc": "2026-09-11T18:33:00.256408+00:00",
   "repo_id": "od2961/maxent-grpo-models",
   "expected_model_count": 707,
-  "verified_model_count": 470,
+  "verified_model_count": 476,
   "models": [
     {
       "experiment": "E100",
@@ -329,6 +329,78 @@
       "local_weights_retired": true,
       "export_bytes": 3348983622
     },
+    {
+      "experiment": "E112-R1",
+      "model": "Falcon3-1B-Instruct",
+      "domain": "countdown",
+      "method": "verified_support_discovery",
+      "seed": 55,
+      "step": 3073,
+      "repo_prefix": "experiments/E112-R1/Falcon3-1B-Instruct/countdown/verified_support_discovery/seed-55/step-03073",
+      "commit_sha": "84e784c10b904062a75bdfd9c854b96a6a79df4d",
+      "local_weights_retired": true,
+      "export_bytes": 3348983622
+    },
+    {
+      "experiment": "E112-R1",
+      "model": "Falcon3-1B-Instruct",
+      "domain": "countdown",
+      "method": "verified_support_discovery",
+      "seed": 56,
+      "step": 3073,
+      "repo_prefix": "experiments/E112-R1/Falcon3-1B-Instruct/countdown/verified_support_discovery/seed-56/step-03073",
+      "commit_sha": "240d248dbbb6cfa8b5dbd989de77e9f9b71b63a3",
+      "local_weights_retired": true,
+      "export_bytes": 3348983622
+    },
+    {
+      "experiment": "E112-R1",
+      "model": "Falcon3-1B-Instruct",
+      "domain": "countdown",
+      "method": "verified_support_discovery",
+      "seed": 57,
+      "step": 3073,
+      "repo_prefix": "experiments/E112-R1/Falcon3-1B-Instruct/countdown/verified_support_discovery/seed-57/step-03073",
+      "commit_sha": "60c7d9f383912e1969f5ecf5a38e15e998fe71a2",
+      "local_weights_retired": true,
+      "export_bytes": 3348983622
+    },
+    {
+      "experiment": "E112-R1",
+      "model": "Falcon3-1B-Instruct",
+      "domain": "countdown",
+      "method": "verified_support_discovery",
+      "seed": 58,
+      "step": 3073,
+      "repo_prefix": "experiments/E112-R1/Falcon3-1B-Instruct/countdown/verified_support_discovery/seed-58/step-03073",
+      "commit_sha": "27c3efc0ab3bf56284c60fd3965edf5c0a3e23a9",
+      "local_weights_retired": true,
+      "export_bytes": 3348983622
+    },
+    {
+      "experiment": "E112-R1",
+      "model": "Falcon3-1B-Instruct",
+      "domain": "graph_coloring",
+      "method": "verified_support_discovery",
+      "seed": 55,
+      "step": 3073,
+      "repo_prefix": "experiments/E112-R1/Falcon3-1B-Instruct/graph_coloring/verified_support_discovery/seed-55/step-03073",
+      "commit_sha": "049be19138fb25ceb3f2178ad89c48937f333353",
+      "local_weights_retired": true,
+      "export_bytes": 3348983622
+    },
+    {
+      "experiment": "E112-R1",
+      "model": "Falcon3-1B-Instruct",
+      "domain": "graph_coloring",
+      "method": "verified_support_discovery",
+      "seed": 56,
+      "step": 3073,
+      "repo_prefix": "experiments/E112-R1/Falcon3-1B-Instruct/graph_coloring/verified_support_discovery/seed-56/step-03073",
+      "commit_sha": "15e2f9cc9b4822cf6120dcd61500e7bb7a634a89",
+      "local_weights_retired": true,
+      "export_bytes": 3348983622
+    },
     {
       "experiment": "E114",
       "model": "Qwen2.5-3B-Instruct",

experiments/E112-R1/README.md

@@ -18,14 +18,14 @@ These are terminal exports from the registered eight-pass training horizon. The
 
 | Registered new training cells | Scientific records selected | Deployable exports selected | Verified exports |
 | ---: | ---: | ---: | ---: |
-| 75 | 49 | 49 | 0 |
+| 75 | 49 | 49 | 6 |
 
 Scientific records preserve the admitted result identity. Deployable exports additionally have available model weights; verified exports have completed remote verification. Cells outside the fixed selection are not silently counted, and unverified model folders are not linked below.
 
 | Model | Verified / selected | Seeds in selection |
 | --- | ---: | --- |
 | [Qwen2.5-0.5B-Instruct](#model-qwen05b) | 0 / 25 | 43, 44, 45, 46, 47 |
-| [Falcon3-1B-Instruct](#model-falcon1b) | 0 / 24 | 55, 56, 57, 58, 59 |
+| [Falcon3-1B-Instruct](#model-falcon1b) | 6 / 24 | 55, 56, 57, 58, 59 |
 
 ## Methods and collections
 
@@ -34,7 +34,8 @@ Scientific records preserve the admitted result identity. Deployable exports add
 
 ReplayDr.GRPO augmented with semantic regularization and an isolated verified proposal sampler; a bundled comparison.
 
-Transfer in progress; no verified collection links for this method yet.
+- [Falcon3-1B-Instruct · Countdown](https://huggingface.co/od2961/maxent-grpo-models/tree/main/experiments/E112-R1/Falcon3-1B-Instruct/countdown/verified_support_discovery) — 4 verified exports. Exact immutable revisions are in the model tables below.
+- [Falcon3-1B-Instruct · Graph Coloring](https://huggingface.co/od2961/maxent-grpo-models/tree/main/experiments/E112-R1/Falcon3-1B-Instruct/graph_coloring/verified_support_discovery) — 2 verified exports. Exact immutable revisions are in the model tables below.
 
 <a id="models"></a>
 ## Verified models
@@ -44,16 +45,24 @@ Browse by domain: [Countdown](#domain-countdown) · [Graph Coloring](#domain-gra
 <a id="domain-countdown"></a>
 ### Countdown
 
-**0 / 9** selected exports verified.
+**4 / 9** selected exports verified.
 
-Transfer in progress. No verified model folders are available in this subset yet.
+| Model | Method | Seed | Terminal export | Immutable revision |
+| --- | --- | ---: | --- | --- |
+| Falcon3-1B-Instruct | Verified-support semantic + proposal bundle | 55 | [step 3073](https://huggingface.co/od2961/maxent-grpo-models/tree/84e784c10b904062a75bdfd9c854b96a6a79df4d/experiments/E112-R1/Falcon3-1B-Instruct/countdown/verified_support_discovery/seed-55/step-03073) | [`84e784c10b90`](https://huggingface.co/od2961/maxent-grpo-models/tree/84e784c10b904062a75bdfd9c854b96a6a79df4d/experiments/E112-R1/Falcon3-1B-Instruct/countdown/verified_support_discovery/seed-55/step-03073) |
+| Falcon3-1B-Instruct | Verified-support semantic + proposal bundle | 56 | [step 3073](https://huggingface.co/od2961/maxent-grpo-models/tree/240d248dbbb6cfa8b5dbd989de77e9f9b71b63a3/experiments/E112-R1/Falcon3-1B-Instruct/countdown/verified_support_discovery/seed-56/step-03073) | [`240d248dbbb6`](https://huggingface.co/od2961/maxent-grpo-models/tree/240d248dbbb6cfa8b5dbd989de77e9f9b71b63a3/experiments/E112-R1/Falcon3-1B-Instruct/countdown/verified_support_discovery/seed-56/step-03073) |
+| Falcon3-1B-Instruct | Verified-support semantic + proposal bundle | 57 | [step 3073](https://huggingface.co/od2961/maxent-grpo-models/tree/60c7d9f383912e1969f5ecf5a38e15e998fe71a2/experiments/E112-R1/Falcon3-1B-Instruct/countdown/verified_support_discovery/seed-57/step-03073) | [`60c7d9f38391`](https://huggingface.co/od2961/maxent-grpo-models/tree/60c7d9f383912e1969f5ecf5a38e15e998fe71a2/experiments/E112-R1/Falcon3-1B-Instruct/countdown/verified_support_discovery/seed-57/step-03073) |
+| Falcon3-1B-Instruct | Verified-support semantic + proposal bundle | 58 | [step 3073](https://huggingface.co/od2961/maxent-grpo-models/tree/27c3efc0ab3bf56284c60fd3965edf5c0a3e23a9/experiments/E112-R1/Falcon3-1B-Instruct/countdown/verified_support_discovery/seed-58/step-03073) | [`27c3efc0ab3b`](https://huggingface.co/od2961/maxent-grpo-models/tree/27c3efc0ab3bf56284c60fd3965edf5c0a3e23a9/experiments/E112-R1/Falcon3-1B-Instruct/countdown/verified_support_discovery/seed-58/step-03073) |
 
 <a id="domain-graph_coloring"></a>
 ### Graph Coloring
 
-**0 / 10** selected exports verified.
+**2 / 10** selected exports verified.
 
-Transfer in progress. No verified model folders are available in this subset yet.
+| Model | Method | Seed | Terminal export | Immutable revision |
+| --- | --- | ---: | --- | --- |
+| Falcon3-1B-Instruct | Verified-support semantic + proposal bundle | 55 | [step 3073](https://huggingface.co/od2961/maxent-grpo-models/tree/049be19138fb25ceb3f2178ad89c48937f333353/experiments/E112-R1/Falcon3-1B-Instruct/graph_coloring/verified_support_discovery/seed-55/step-03073) | [`049be19138fb`](https://huggingface.co/od2961/maxent-grpo-models/tree/049be19138fb25ceb3f2178ad89c48937f333353/experiments/E112-R1/Falcon3-1B-Instruct/graph_coloring/verified_support_discovery/seed-55/step-03073) |
+| Falcon3-1B-Instruct | Verified-support semantic + proposal bundle | 56 | [step 3073](https://huggingface.co/od2961/maxent-grpo-models/tree/15e2f9cc9b4822cf6120dcd61500e7bb7a634a89/experiments/E112-R1/Falcon3-1B-Instruct/graph_coloring/verified_support_discovery/seed-56/step-03073) | [`15e2f9cc9b48`](https://huggingface.co/od2961/maxent-grpo-models/tree/15e2f9cc9b4822cf6120dcd61500e7bb7a634a89/experiments/E112-R1/Falcon3-1B-Instruct/graph_coloring/verified_support_discovery/seed-56/step-03073) |
 
 <a id="domain-python_factors"></a>
 ### Python Factors
@@ -86,7 +95,7 @@ Transfer in progress; this model family has no verified exports in the index yet
 <a id="model-falcon1b"></a>
 ### Falcon3-1B-Instruct
 
-Transfer in progress; this model family has no verified exports in the index yet.
+[Browse verified collections](https://huggingface.co/od2961/maxent-grpo-models/tree/main/experiments/E112-R1/Falcon3-1B-Instruct). Domain tables above provide exact model revisions.
 
 <a id="comparators"></a>
 ## Comparators and analysis scope