Mark tlm-p3-gate, p3q-tsql and tlm-jxcl as affected by SNAPKITTY-SA-2026-001

index.html

@@ -52,11 +52,11 @@
   <p>Logarithmic-spiral detection in synthetic black-hole entropy matrices.</p>
   <div class="card-foot"><div class="tags"><span class="tag">python</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/black-hole-entropy-spiral">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/black-hole-entropy-spiral">GitHub</a></div></div>
 </article>
-<article class="card" data-kind="model" data-new="false" data-search="p3q-tsql p3q-tlm: an f2^8 cryptographic pipeline with formal verification and reversible quantum-circuit simulation. t-sql lean4 model agpl-3.0">
-  <div class="card-top"><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div>
+<article class="card" data-kind="model" data-new="false" data-search="defective security advisory snapkitty-sa-2026-001 p3q-tsql p3q-tlm: an f2^8 cryptographic pipeline with formal verification and reversible quantum-circuit simulation. t-sql lean4 model agpl-3.0">
+  <div class="card-top"><span class="badge" style="background:#fee2e2;color:#b91c1c">Defective</span><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div>
   <h3><a href="https://huggingface.co/Snapkitty/p3q-tsql">p3q-tsql</a></h3>
-  <p>P3Q-TLM: an F2^8 cryptographic pipeline with formal verification and reversible quantum-circuit simulation.</p>
-  <div class="card-foot"><div class="tags"><span class="tag">t-sql</span><span class="tag">lean4</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/p3q-tsql">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/p3q-tsql">GitHub</a></div></div>
+  <p>Contains a defective AES MixColumns gate (SNAPKITTY-SA-2026-001). P3Q-TLM: an F2^8 pipeline with Lean files and reversible quantum-circuit simulation.</p>
+  <div class="card-foot"><div class="tags"><span class="tag">t-sql</span><span class="tag">lean4</span></div><div class="links"><a class="link" href="https://huggingface.co/datasets/Snapkitty/tlm-p3-gate/blob/main/SECURITY-ADVISORY.md">Advisory</a><a class="link" href="https://huggingface.co/Snapkitty/p3q-tsql">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/p3q-tsql">GitHub</a></div></div>
 </article>
 <article class="card" data-kind="model" data-new="false" data-search="quantum-kernel quantum computational kernel. tda-to-braid-to-lattice surgery pipeline for heavy-hex hardware. python qiskit model tri-license">
   <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div>
@@ -88,17 +88,17 @@
   <p>C++ compiler core with MLIR dialect, multiplicity functor, contractivity receipts, LLVM codegen.</p>
   <div class="card-foot"><div class="tags"><span class="tag">c++</span><span class="tag">mlir</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/sovereign-pirtm">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/sovereign-pirtm">GitHub</a></div></div>
 </article>
-<article class="card" data-kind="model" data-new="false" data-search="tlm-jxcl jxcl: the 64-bit isa for the tlm pipeline, with gf(2^8) arithmetic and logarithmic-spiral memory addressing. vhdl rust model tri-license">
-  <div class="card-top"><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div>
+<article class="card" data-kind="model" data-new="false" data-search="defective security advisory snapkitty-sa-2026-001 tlm-jxcl jxcl: the 64-bit isa for the tlm pipeline, with gf(2^8) arithmetic and logarithmic-spiral memory addressing. vhdl rust model tri-license">
+  <div class="card-top"><span class="badge" style="background:#fee2e2;color:#b91c1c">Defective</span><span class="badge kind">model</span><span class="badge lic">Tri-License</span></div>
   <h3><a href="https://huggingface.co/Snapkitty/tlm-jxcl">tlm-jxcl</a></h3>
-  <p>JXCL: the 64-bit ISA for the TLM pipeline, with GF(2^8) arithmetic and logarithmic-spiral memory addressing.</p>
-  <div class="card-foot"><div class="tags"><span class="tag">vhdl</span><span class="tag">rust</span></div><div class="links"><a class="link" href="https://huggingface.co/Snapkitty/tlm-jxcl">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/tlm-jxcl">GitHub</a></div></div>
+  <p>Contains a defective AES MixColumns gate (SNAPKITTY-SA-2026-001). JXCL: the 64-bit ISA for the TLM pipeline, with GF(2^8) arithmetic and logarithmic-spiral addressing.</p>
+  <div class="card-foot"><div class="tags"><span class="tag">vhdl</span><span class="tag">rust</span></div><div class="links"><a class="link" href="https://huggingface.co/datasets/Snapkitty/tlm-p3-gate/blob/main/SECURITY-ADVISORY.md">Advisory</a><a class="link" href="https://huggingface.co/Snapkitty/tlm-jxcl">Hugging Face</a><a class="link" href="https://github.com/SNAPKITTYWEST/tlm-jxcl">GitHub</a></div></div>
 </article>
-<article class="card" data-kind="dataset" data-new="false" data-search="tlm-p3-gate tlm p3 gate-level dataset for the classical-quantum interface. vhdl dataset agpl-3.0">
-  <div class="card-top"><span class="badge kind">dataset</span><span class="badge lic">AGPL-3.0</span></div>
+<article class="card" data-kind="dataset" data-new="false" data-search="defective security advisory snapkitty-sa-2026-001 tlm-p3-gate tlm p3 gate-level dataset for the classical-quantum interface. vhdl dataset agpl-3.0">
+  <div class="card-top"><span class="badge" style="background:#fee2e2;color:#b91c1c">Defective</span><span class="badge kind">dataset</span><span class="badge lic">AGPL-3.0</span></div>
   <h3><a href="https://huggingface.co/datasets/Snapkitty/tlm-p3-gate">tlm-p3-gate</a></h3>
-  <p>TLM P3 gate-level dataset for the classical-quantum interface.</p>
-  <div class="card-foot"><div class="tags"><span class="tag">vhdl</span></div><div class="links"><a class="link" href="https://huggingface.co/datasets/Snapkitty/tlm-p3-gate">Hugging Face</a></div></div>
+  <p>DEFECTIVE, do not use (SNAPKITTY-SA-2026-001): gate-level AES MixColumns that does not compute AES; tests and Lean proofs do not hold.</p>
+  <div class="card-foot"><div class="tags"><span class="tag">vhdl</span></div><div class="links"><a class="link" href="https://huggingface.co/datasets/Snapkitty/tlm-p3-gate/blob/main/SECURITY-ADVISORY.md">Advisory</a><a class="link" href="https://huggingface.co/datasets/Snapkitty/tlm-p3-gate">Hugging Face</a></div></div>
 </article>
 <article class="card" data-kind="model" data-new="false" data-search="tlm-quantum recursive vacuum-fluctuation quantum-number pipeline producing deterministic 32-bit outputs over gf(2^8). algol python model agpl-3.0">
   <div class="card-top"><span class="badge kind">model</span><span class="badge lic">AGPL-3.0</span></div>