Add goldilocks-controlled-reduce (October 2026 main drop)

index.html

@@ -17,11 +17,17 @@
     <p class="lede">Topological quantum computing, quantum walks, the TLM/JXCL stack and black-hole physics.</p>
   </section>
   <div class="toolbar">
-    <input id="q" type="search" placeholder="Search 13 repositories" aria-label="Search repositories">
+    <input id="q" type="search" placeholder="Search 14 repositories" aria-label="Search repositories">
     <div class="chips"><button class="chip" data-mode="all" aria-pressed="true">All</button><button class="chip" data-mode="new" aria-pressed="false">New</button><button class="chip" data-mode="model" aria-pressed="false">Models</button><button class="chip" data-mode="dataset" aria-pressed="false">Datasets</button></div>
     <span id="count" class="count"></span>
   </div>
   <section class="grid">
+<article class="card" data-kind="model" data-new="true" data-search="goldilocks-controlled-reduce openqasm 3 controlled add-constant for goldilocks-field reduction with two clean ancillas, checked in lean 4. openqasm lean4 python model agpl-3.0">
+  <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div>
+  <h3><a href="https://huggingface.co/Snapkitty/goldilocks-controlled-reduce">goldilocks-controlled-reduce</a></h3>
+  <p>OpenQASM 3 controlled add-constant for Goldilocks-field reduction with two clean ancillas, checked in Lean 4.</p>
+  <div class="card-foot"><div class="tags"><span class="tag">openqasm</span><span class="tag">lean4</span><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/goldilocks-controlled-reduce">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/goldilocks-controlled-reduce">GitHub</a></div></div>
+</article>
 <article class="card" data-kind="model" data-new="true" data-search="tlm-jxcl-forge tlm/jxcl twin: a 100+ crate rust workspace with alloy and lean 4 verification forges. rust lean4 alloy model agpl-3.0">
   <div class="card-top"><span class="badge new">New</span><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div>
   <h3><a href="https://huggingface.co/Snapkitty/tlm-jxcl-forge">tlm-jxcl-forge</a></h3>