Upload pages/index.md with huggingface_hub

pages/index.md

@@ -25,5 +25,8 @@ Paper: [OpenReview gLRqqQOM9K](https://openreview.net/forum?id=gLRqqQOM9K)
 Claims 1–2 now have independent exact checks plus a source-pinned audit of the
 authors' own upward-propagation code. Claim 5 has a matched reduced-scale real
 LM run: CARS accepted 2/10 XML documents, ARS 1/10, and RS 0/10 under the same
-checkpoint, prompt, seed, token cap, and call budget. Claims 3, 4, and 6 remain
-active application experiments and are explicitly marked in progress.
+checkpoint, prompt, seed, token cap, and call budget. Claim 6 is additionally
+verified from all 174 released Llama-8B BV4/SLIA traces. Claim 3 has a
+source-pinned released-trace falsification of the reported Acrylates magnitude,
+with two same-pipeline controls. Claim 4 remains queued because the released
+PDDL trial inventory is noncanonical.