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"
 }