From 25470cd41fd162a9570fa23cf07c221a6023eb0a Mon Sep 17 00:00:00 2001
From: Robin Jadoul <robin.jadoul@3milabs.tech>
Date: Fri, 13 Mar 2026 16:39:19 +0100
Subject: [PATCH] Fix type checking for MEMW_A

---
 spec/src/memw_aligned.toml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/spec/src/memw_aligned.toml b/spec/src/memw_aligned.toml
index 715f57c85..8df912111 100644
--- a/spec/src/memw_aligned.toml
+++ b/spec/src/memw_aligned.toml
@@ -1,4 +1,4 @@
-name = "MEMW-A"
+name = "MEMW_A"
 
 # Input
 
@@ -68,7 +68,9 @@ desc = "The timestamp at which the address was last accessed"
 name = "base_address"
 type = "DWordWL"
 desc = "Recomposing the base address from its parts"
-defs = {idx = "i", polys = [["+", ["*", ["^", 2, 16], "base_address_mid"], ["*", ["^", 2, 8], ["idx", "base_address_low", 1]], ["idx", "base_address_low", 0]], "base_address_high"]}
+def = {idx = "i", polys = [
+  { iter = 0, poly = ["+", ["*", ["^", 2, 16], "base_address_mid"], ["*", ["^", 2, 8], ["idx", "base_address_low", 1]], ["idx", "base_address_low", 0]] },
+  { iter = 1, poly = "base_address_high" }]}
 
 [[variables.virtual]]
 name = "w2"
@@ -131,10 +133,11 @@ iter = ["i", 0, 1]
 name = "consistency"
 
 [[constraints.consistency]]
-kind = "template"
+kind = "interaction"
 tag = "AND_BYTE"
 input = [["idx", "base_address_low", 0], ["+", ["*", "write2", 1], ["*", "write4", 3], ["*", "write8", 7]]]
 output = 0
+multiplicity = "μ_sum"
 
 [[constraints.consistency]]
 kind = "template"