From 8476562888c8ddab92ef324319d26a33037d7cd2 Mon Sep 17 00:00:00 2001
From: Dmitrii Vasilev <admin@t27.ai>
Date: Sat, 16 May 2026 01:34:23 +0000
Subject: [PATCH] =?UTF-8?q?chore(ica-w40-001):=20align=20sparsity=5Fwitnes?=
 =?UTF-8?q?s.json=20OP=5FSPARSE=5FMASK=200xE8=E2=86=920xED?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 assertions/sparsity_witness.json | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/assertions/sparsity_witness.json b/assertions/sparsity_witness.json
index 800cf42435..adf5ed8453 100644
--- a/assertions/sparsity_witness.json
+++ b/assertions/sparsity_witness.json
@@ -7,8 +7,8 @@
   "author": "Vasilev Dmitrii <admin@t27.ai>",
   "opcode": {
     "name": "OP_SPARSE_MASK",
-    "value": "0xE8",
-    "chain_range": "0xD0..0xE8",
+    "value": "0xED",
+    "chain_range": "0xD0..0xED",
     "isa": "TRI-27"
   },
   "physics": {
@@ -208,5 +208,6 @@
       "repo": "trios",
       "artifact": "docs/phd/chapters/glava_91_sparsity.tex"
     }
-  ]
+  ],
+  "ica": "ICA-W40-001: opcode shifted from 0xE8 (occupied by OP_SPARSE_SKIP) to 0xED per Coq t27 e78816f + Rust tt-true 8286580 truth"
 }