From ac7726df46c7760a4257c1c30e26d1a8e4cf1c6b Mon Sep 17 00:00:00 2001
From: Aaron Sinclair <aaron.sinclair@bettercomp.com>
Date: Sat, 15 Nov 2025 03:57:15 -0800
Subject: [PATCH] Wire up reactive signal updates to conditionals
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Critical change that makes conditionals reactive:

- Added signal_conditional_deps map to track dependencies
- Added _extract_signals_from_expr() to find signals in expressions
- Populate dependency map during _collect_conditionals()
- Replace TODO comments in signal setters with reevaluate calls

How it works:
1. During collection, analyze if/match test/subject expressions
2. Extract all signal names referenced in conditions
3. Build map: signal_name -> [conditional_ids that use it]
4. When signal is updated (assign/augassign), call reevaluate for each dependent conditional

Example: set_tab_0() now:
  store i32 0, i32* @signal_Tabs_tab_index
  call void @reevaluate_conditional_4()
  call void @reevaluate_conditional_5()
  call void @reevaluate_conditional_6()
  call void @reevaluate_conditional_7()

This makes tabs fully interactive!

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
---
 examples/tabs/Tabs.ll                         |  30 ++++++++--
 examples/tabs/Tabs.wasm                       | Bin 7656 -> 8748 bytes
 .../llvm_codegen_signals.cpython-313.pyc      | Bin 47325 -> 49080 bytes
 ritz/llvm_codegen_signals.py                  |  54 ++++++++++++++++--
 4 files changed, 74 insertions(+), 10 deletions(-)

diff --git a/examples/tabs/Tabs.ll b/examples/tabs/Tabs.ll
index ad1953f..99536cd 100644
--- a/examples/tabs/Tabs.ll
+++ b/examples/tabs/Tabs.ll
@@ -121,7 +121,10 @@ entry:
 define void @set_setting_0() {
 entry:
   store i32 0, i32* @signal_VerticalTabs_setting_tab
-  ; TODO: Update DOM nodes bound to setting_tab
+  call void @reevaluate_conditional_0()
+  call void @reevaluate_conditional_1()
+  call void @reevaluate_conditional_2()
+  call void @reevaluate_conditional_3()
   ret void
 }
 
@@ -129,7 +132,10 @@ entry:
 define void @set_setting_1() {
 entry:
   store i32 1, i32* @signal_VerticalTabs_setting_tab
-  ; TODO: Update DOM nodes bound to setting_tab
+  call void @reevaluate_conditional_0()
+  call void @reevaluate_conditional_1()
+  call void @reevaluate_conditional_2()
+  call void @reevaluate_conditional_3()
   ret void
 }
 
@@ -137,7 +143,10 @@ entry:
 define void @set_setting_2() {
 entry:
   store i32 2, i32* @signal_VerticalTabs_setting_tab
-  ; TODO: Update DOM nodes bound to setting_tab
+  call void @reevaluate_conditional_0()
+  call void @reevaluate_conditional_1()
+  call void @reevaluate_conditional_2()
+  call void @reevaluate_conditional_3()
   ret void
 }
 
@@ -609,7 +618,10 @@ entry:
 define void @set_tab_0() {
 entry:
   store i32 0, i32* @signal_Tabs_tab_index
-  ; TODO: Update DOM nodes bound to tab_index
+  call void @reevaluate_conditional_4()
+  call void @reevaluate_conditional_5()
+  call void @reevaluate_conditional_6()
+  call void @reevaluate_conditional_7()
   ret void
 }
 
@@ -617,7 +629,10 @@ entry:
 define void @set_tab_1() {
 entry:
   store i32 1, i32* @signal_Tabs_tab_index
-  ; TODO: Update DOM nodes bound to tab_index
+  call void @reevaluate_conditional_4()
+  call void @reevaluate_conditional_5()
+  call void @reevaluate_conditional_6()
+  call void @reevaluate_conditional_7()
   ret void
 }
 
@@ -625,7 +640,10 @@ entry:
 define void @set_tab_2() {
 entry:
   store i32 2, i32* @signal_Tabs_tab_index
-  ; TODO: Update DOM nodes bound to tab_index
+  call void @reevaluate_conditional_4()
+  call void @reevaluate_conditional_5()
+  call void @reevaluate_conditional_6()
+  call void @reevaluate_conditional_7()
   ret void
 }
 
diff --git a/examples/tabs/Tabs.wasm b/examples/tabs/Tabs.wasm
index 431e63efd479f5522e11ad69f8f8fc81a54ffbb6..897da2a687fe5301911541cc976db9a62b4acce3 100755
GIT binary patch
literal 8748
zcmd5?O>7&-6`tivj-(aEmFS-&c9NCy=R}b$Qa^5d^433T(Yj3&r$u|ASL90EddU@*
zOU24XI;3q54&pRUk+?#mgHZ&93kZ$T>Y#%P7(rV2phHlkMGk5Zv_1r_4ryVa2HN*C
zyWFKn#VCA;6F=_Ey!qzMoA14S<XBj>iXwzi4(vKB#95&%oK+UYS#@Cnq_P0b6g;Kg
zQ@T{UI=B0WwSsTYx>nIHSV5s;`R8n3s5sOQLq*@V0=r<lcEzp+q67PN=&#uUs0Y3?
zRS#@dPeb>VQ!N$jIaDQxz6L~KpO^D9&}q%i+Mrr2J8nsIhNyBiX@r8^nq18Hyg;PX
zd`>7S*c|*(V3YE%0)N`|r#e+dq;@T(4lfAv>VO9F8p#!sYa~}mUMIOu@&?HdNPb9i
zgXG5~KO%XP<Yy$eNPbRoljNr)Z;@Qg;<~r#`4xJ8ndC*17f8NE@)F5ql1n7tC3%J9
zHIl0&*GR6Dyh?I~<YE`Db)B9!SiaGLT|BTM8{85&plJ8}r_b6|u`8ZGpA!9r!i&J6
zLeX;FLNW0Cn&`^Rz=6Y|2TpaS5Li>9`=OdMQ?=Z}cWpm#K=q6@MYIStRFOfF#OL&+
z<2|E7>nnOdg3&^;?)$(QRY}VZW`LT~W!rXZb^$4%s$o}9wyWIL!7#Z9rjucElFjNa
zo|6L_hcNeqT@9EnhRH`T-3*ftVS0E@J_e(OT@9GtdwtuUv)nqy4Vv!+j)#sK6TON3
z=R`Wu&WpZm!KpeyV%Dh0v;!O!dKO~0TC#nb0**v8M1ONHZd(kr0MChRJMf&?orK9T
z_@3ro0^i#LJTLaO1J8?llQ4M(zpuHM!0&GXJ|_0>N$h<L=n98BDh><~XTmm9B;8Uu
zCmu*B=UBO~rE*?8m{88MawgF^#+^DdXDnn+KT`{Al0+Y9xx|=wC@ar19#z6fWAs7P
z0X<6gc`>+0#va97)URfVPf=S8bz{6?dsIBkCX7cW>}DIsLmT%nmB(Z3-Wzr`*u9To
zCL)-78D=7cxsT^e#9;0ZyBaY28D=tqIlwTJA<P3jXEFx!VA$1wd8i%1j)+I1z30TE
z(Q{rr)`Cpq;_-Gs<KkeFljF?PCz^YSsZX{5pAf_Cz$e60Ntg)+A8GC-@Ix)YC&l4*
z;FDrB2{Xyyx#nI1&$j?SBF2(5Jrc&)IFmkXGwF?%$~iHSP?j+^*itz!CKJjs#)cA|
zW4zqM%$Oq~V;*5jflV^T9&NeAm^h-z7{llhU+FCrN;R)gwyGu9Rv+turWIHPNUQ4O
zTA@%2tm3(X>%FKR1Wj(0otd)wM7mIzalI+X>{F0=)F(l?Y+JM38U`F{A<k2v$}d+Q
z904SVO4sJ*p<ZQg&&|hjDWP>?iE<Dgdho#zlkm8%C>;yXGO-1<3k;jeGabjw6?$AF
zxr$Q9VN*dhLKzgA0lKG#6!SWcKLa@Hq<#bCP|Ey(K2_Ed`wi7d8Dc-+TputRIGu*j
z%+#qNVSdOk$IK0a`Ix3F=1262Q(?Zs2p>xG^<M3&qNEngPf=-5q>eTIV>A0ysNGaB
z^<=uk+$7+e1SkyHQm?9+${>KkM$&40-24o+KqCd#kw)rNI+f7ak{XI;s-&TwN-GJC
z&sjqQ^JvGK_WRJ^<N#$*`aE(tx!NSRv%~3JzElohQxtUpe1beMQxR?M#ukL+44g9_
zwt$bjO_%e?mP_5b0)+czm$|Izu#WlbZu7rAI#Tr)-Fk=K$r=i3{Hg~ult@DfHP$4F
zSDA`3V8CPmq4OFdu3v-UlNf2oInXdP#7PJminT_h(ZNH|(9sWpC9!w`45W*u9aNM%
zFdhP`Ns;!jeV3s4QagA2o!zn6)z%%Pp+MnJ8aJdnK9KI<Q~*H+z9V;FstBW>QqOUu
zQDZ2~BF7S0M2Q#?4}VA?1kt?D#%U(Z-^n4(iftWogB`Ne)7BxRp_o$RW9g8Oq(eBV
z#T|l45BVJ?vzSBv-+b8KAqn$$a!9k{+lsPl!Mr)39~h#X_1S>_z>tbzzcrvgIMjhp
zuXaH^r7&9l+O4O|A8~m7mO=^RSnp(Mem-DO#-Kzz*cm44Fkt#r%+{I#=@jy=(E%Tn
zT!jHCSTj0JU=uhDvMC*Z5y?wyQ>4<`@Apt>uWNWr7>uC|t=eom@;f@(_#8vgc35Mv
zx7`}cZAaF(jqJR}<~IFsAMdkwTkLQ#-E0@EaX9i7<-Nu^DW*Ip^ew!MS!!=mmTw&F
zS{EEFH92plF>mU-hF}h)KFUveChA$2J=v&dL-y=T@Sy>?9tYf%%JdQl$z!DSd$5MN
zg)ddCVQxtpa1C=y)-a1%80H%0Hfox$P{+$Cfjf&?u3-ozR>NGxajao3kosFFfzp@g
zvqcSaG0Qa!;WTQPWrjIsE)mSTG+i;T&?k5-R>LfVb1<vxkH{Kk1(lj=7=lmKFjooq
z8UaE!*;d2E#?4jK+E&BFHP)m?vWAIkth0t@uJDe-8V39w)iC69C;-^u<Z5<1I~=#k
z$M$7$c%z1aZBRzKYg-VKGszm}uF~Z)#pZjMWhv?Y36rj@X`qsMRijGg_V)BkQz(Al
zgQ_Mha>6N!DW}9T0URT-)O<P1nVXLoUt=jg(jltR7J(d%GKW~pWe)ij%bXZDz-kK0
zrZNXHFd($2F;_KgZETOqFxp-#Tj8zNH1ke(2{V^=_UXU)?f)9TBI2*KhMi5T(G<m$
zQ{p~-OZxPZ^yvi*F?hEDEc=wcR$*x%X#>S0)Jo)4Dx;tuW}sJjDrYMtVqQGW00h@c
zO}=UJYFlf+(5pMm`~t83g}r)}O31{Ep{-YG3Y3&QCGORCrB|;=uW|;CdljlGA}eHG
zB3jI=RB$baUcK|=-ORWqueP=J3%$D2OfJc;W%Y3`$yT%a1eauMS$(p(B>N-2xn)VV
z(ody9oWJYRU6k`<C7F!jJ1oiI<v=XE-Y6TWCi@4bray2^wz;h?3C&vUYpz(rk>%|p
zKZm>rUp|Q;DRYAr;Fzg+0U3^LwH>*bq2*$8nu@;PG<HD=b|ur;#RgA~yHGlJYx_u}
zzWGU17%S%Awv(426!W4kEsIJqc7$TCY#WKki;>d4ku2~w^w8v%!6Mh&+J>qdK+UFN
zvB4m)gBcVHJkWn76)jGu{%@q*r+n%gJfTIM3SSp~j9;$do5Xe<Jmn#JRlN>iR7T?2
z-sUe5`r}d01?I0l9Q7>8p2P7|jn%G~<A7JC@>m<?KS$A%GT-E{4sCe@^{KYhy_YV-
zex`1{bLpqXv%WKD73W3CnG^7<+z4EB*69K65dyr)EV@>$CO*0R_CHr&GoI%=u$q{Y
z_g*6~r$+j-R@F9a-}ih`vZv}ZBhzqU1(&JcvMTmb<2fgI$#|g#ZJaQI;FeQ`=B$|Y
zy=lj_N1W=kC*VRg@T#KjhATc}gO=rj8BXz>a2@gWDqJr)B|~1Vi4(Y(aoQ`vD&L--
zMts962F{!<q{;}I*08bcRcx{K&TGrY*YK%Up9-A7#je+{fIG+-Xk1=2%+j1yE!w5T
zZp9g=VjDm3s<7S*XO4^Vm?-CQspztgTVO{aFUq;Z5VvqB**{8J*gq=ZCm$^v_iwlz
zb6wN+$%Bw?X&i{TscHS+w5l_8YX&SkS)Fm6S{Y8dSKAXm=-7<qUM+tDe(g1md#-DP
z%e?AQ<AhVg-)2jK|Cn%hHxD<QHE`~1Fyhq%VQ%(ndlUYNVJ@b%+{yE^whvB%BX*5b
zaD!g=ZI~Y+$M?p3GuPAF?nHOUK65jz_0wT}&vuJ&UVLcgVxM;6OxdX!@c+D5_YFK%
zqh!^}Q=a9Q4x#m?>++aWnf3g@ss;vf%&-E(GG<&n+Cu{JvzGm2=?&vKy9gGuubp5X
zV!lu7$ARzEfqB&LRclc3WVrkJdIj!j=MDH#Jb><%jHbi+5!Vb!X#fXh;??)j#*kd*
zRz@2?ZB^l<*g&gT^y;v<By0`MKUuLH_oz{am^tP{^c*VLbFhrA4V<<sQ?_r^9N557
zBR`s-fQ59eKUzM7fj#Kj<Z-V$?aaU#@LIFJJ#E7sK+&!NI9zBOaHC`t;l6gp^Bw4%
zvf=msqp(!JmjC4PGKPH^bFc!~h+L5bIRhQXJ#cRoeRl$`&@oqPPk+_6>VY#|cMUkR
zS+7R7z{ZPCP&Q!7X~;1K+&JL#vzRtW2_b6YTqdx5yzrZr#Mw2RsnlU%$Pj$tP#exx
zA$|Dpk0`+Uk?GmMbE?6xHdS}e0iEy`f4B>;2uI-GTnuNT?T!TVvvzH`r&4zzJHQpS
F{XeoS>jnS-

literal 7656
zcma)BO>Er86&@}nMH01IN^3hmc9PL1ahxb}w5uOCK85v9TC{G{#A(r9*3>SgWz8iQ
zBv-L=kq&9=LxMPsQ#h{B=wK8<;Q~Tqv^w~pgAure4>|-zTI8SxMw>&>>W~%&YM_1Z
z&2X38AI153%X#x=-Z$U8H*Z8TGpH(zG37wt8OF{qW%-P<%+9FG%OI6yXr|yP^`X+Q
zTJGY=kAq^#x6IHgT8>q<+>rI4UI%?(g+((AeS5ART1-WC8q{;PTP|9QXiB=_<`kiI
zPL9uj(yY}iFfCPVr_6eB_#V*uR?RU>7R+3%n*LeK7qg&42}G(D9HD_4armAWvXolL
zGbII!gXO^*<^Kx&!oQvMsa{oKslL_Jv&+o5I;w%ZPI80fI>~D!Z;`x7a+Bl@lAn_N
zgya^<k4b(`@(YqXB)=rNP4YI$J0#C%(eLXd?~-PPo-dKSNb(Jm7f60U@(RgSl4~Td
zk=!78o#ZCTt0dP+uJog?8}z&-<U2j65*=HzAzBPO6z#tM4x4>dtLphnDK=6pz6vo^
zESZi|EQOvQu>Q;f>;ddUXuAu=(41ofj|TRFYdXd6TYhMR>1lJ0b}F(^SqAqlK4vf-
z*Gw`k(ay7>M7zM!*`n>*VX@@7WjnMzbT`R{b!-<WAzlNE;zCs-RamiHp-QEtl?WzP
z9hU7<-S;7M)t(1@%UU#@I);AILnaGB>Xt2^^xz4nWqPX?{j-q{81rmY0LsTO_C~5E
z#y){DFY`dXPhiX!BaHpsFy>h{i6$>F?rGH$#=RXd7T7)ks1U<A5UH9N2L;ALgi#Y1
z3k{4z-7pr|{Yf+hf$@P>En$4H1I8)#(B8yOOhHV-o=>v<qqLh*TWoo{qj8=cNEqjZ
z@o-1u0(&@NToA^YgmOwKb-~P3#LS3b1~AD88|}u-6nmtj_bK*hRt8=?s~AsX_CeM`
zI+U$*Y;3R0J<7R;Ud>YeG}<gTfcb{)N%mOdInN$%JQvs#9eAH+2Sp%E$6{koq-w^-
zUctb0#K1nmz;uIw`@1nP&7Mp~!L*2tL#<khji)+boMBH3Kr=Cn4@9aa#s>w)nF!-U
z0^>{r<Nj_KXV`cW&5XeKOskeKPISOH%MJ@bvoVYZB2^RP!vf=Mgz*u9akhc+(QX)L
z*|SMBvjXE}tCle4J77G*3dvYJ66M&G2>Pfkf}VFY&a>%+vCOftj>ZKxlQ5P!mP;t7
zguBNCGe;t39v932CYfVTbYtcSo9*a*iXG8pj$!t&uMHK8<-jXeOt<V<>cK&1nxR>Q
z^Iv^ZD;9&$ES)Vn-mB^%uoSI|y--n~N*9X@jyDH2X$}r0^=UA!SY}PM#$g_6;XKcP
zsVJ_Za{^|9taL2VJUpcA8@%#JKE<?tyrLX}he3ScY&Lo{VvkBwo5II)N^04-IH0o}
zGk)D~tZBN!nep2J<9~yC3Z8y7psRY1uu#zAH-liIG%S?J;`%7Zxs46s*;q#?2IDv#
z!OF4ydarQ}x=*0vV@l6*)NvxGKnK{r(DS?;xPi@F3a(rDt8%uVs~iByIcOQ$Aw{_d
z@SL?8(i+-V35KtAqvIcfj+OqdbdZGt7bUW|CF!^+>DZKX03l-4hH_Fcazk#_F-4Vx
zP?vEdB18<mMMNmZP5MP9fDRxR35lj?U1xJQ6YzH<q}8x1A-4n}tAkw$Aq&Nj7N1H&
zK9PiMwGon%gnZmi2zD7CM}&x>pGrbL=|D&{MR!6H@OLAm)$lz<>035FAJzBgDBiyq
z)eq!UjQpKZ{oz~>KE2rw`IN$J`P+c57(Wr|^?OPs3}U@UNaM><j#+4I;~K_#Q_qWk
zqr4baRrt$9<La0)1V26SqiBXY#&~K>(ReSW7i|A+NmvPkmwZ#ElJAcODYZ8>+$M~d
zNJgl(yY~Enwl+S7E7~qTR))IySnJxe+19hWkL@=5XdNF3b~~(aCEbb(d|XwKtlPvp
zi+IOh!Tm52uWE2srF+Egz?S1l#DKxxAyqS!F>nQ$npWfe#usP>7AehuJpzl=$#g1V
zu_G;LC(%MZnN|`OUkVEiH&z^U&o*|JPU&V;DTa(HjD#L8rS`6Zhe<OGulGY3Qd6Ar
zX*}iiz8s8!^Ol_G!wt=*)IeBCn=Pr?mx$ixgq!gRx25qzabup+@52gp2iJxb>W&Or
zdTdmvJEI1zSZJw2U8c2sh&e<l^=C{eS+Sr_y{S>1y4#*yG=$dsA=Ip>ghfLXLk@{C
zXPnPc*@Qo~MPA-Tw2)<xZ~}Qw!Si+{%avvkqb21S7O|Bq*kchB17F7`pgvE($s&ex
zU>($+!@X@{Z7z?BEG@4SRyea-M&9cxVdU!Woc>#!?Qe+#AbwyqakhA)A&Mb~#5uhr
zIlU-3eFMn=PGMTXDV95;^@5~?Dj~5dD&d8QRWbAuu?ZVWzsX7nQ_y9nm75k;yQ2L{
zR(Biu6|DYMuzHm)2=UyA?S2cZGz2aTVo03T4<xHsB&(}!tU}EsR@d5DrE<C!u_}gs
zAX&ZAfmN8|URdpl_A6Q4ZKNo;*RuMQD7YJ0eOeUU>sfuKwc!2<PdZs}*GK5!kH_z(
zr0XiKGFEV94&P(JU6*{^XdbgvasP=&(;r2}-EONo5v-Nr)_N56thM+263)FbCL$zd
zYzYHM9y;tnMm;-SdoE<iU2F`;!@qGE(0<ok1s$;KndU0C#NarElH8s4o@PDxS>xKH
z7=LdMUYbHNF6a_jqjU)(6l1-uC!Q}nrF|<|5V!OQa>rzm{&w1C)j5QwxC*ROM6kqF
zfTALC6`;5=u2GIaS!lZo#QKd5v}(Hw#4WB%i{w=xZm}sWGy_7e<5i#;@4%Xf_t-H3
zt2>`+P(?BNA54(jB1X5wfLJ(0kqB4UpW+{SaI0;%!I;cZVSO7Wqe}ut;$3l>)ekl_
zZ-{KupKfSYrRFe?J8cHe<@khGrE#H)@n0Ibo-*DQ*VwL64z~|&bzmR8$o_@8^Zv!3
z^A~-4(JU>ovc1UQFX{>Seo?0fcs&^62a1wo1_Ar*@_YZ<c#FR*-d_i7QNFXDfH48t
z*G$*qmhXE$D_e8*g^79i-T<E_zGGIcqx>a1e2u>nKpO{4;N+(5LbJwdzBg|>)`acO
zdknslgr3XlPUP_g3#?2BVA!Rz%(2-wU3leem$`f`&W@uqe#$F@m+#Kc<NVw#h4!Mw
zq{#$AYhtW;Rg3Ms|JEA+20jJ#xzG+BRK0x#=pZoAxV*xR@}lXMta4(t?6h6A_>Vjn
z{JnDe7^_UNN&#IpUet>g;3yVYC7<XLE$m9_C&>!+lMG%zXxTWw(Q=GUO}k%igrudp
zA;z|*jeOg57wYB$AUokMICfBhogUKm#y2`PVr@t(9EUeG{FvuB7EtE7NBMC(!1pR;
zCjK$ti@_3nod|&3S~%g=L-;#wNZXg-CpPCwTFaj}SF?N|3AWhbC*i|b-M3(TW9InU
zM7$ZBX>CtJ9Yvq9oz_NZvwmPXCD<>qX~xR1cKme34mkX`<kfwSyUNREP?_^gzkC?c
z8;&FT>}t*PL(>g8#uzt4Zt?{OxAriDYNBO7TYZPWWR(E1;MxwCAm@j*5$yP09U_nP
zo*OXZLPn@xu2<p1$P$MaS|O;{Gnx+jN3q6bNW<h{OmX!?#25vav6IoJPnj<4lmKX!
zN?skD%YY3K{)wt-J4bmPa^`s-vgdHwS_C(`HhRjc&RISWY*@fiUYIP*fFoTSX}FK3
zfi>vb>@m-sw-;a!gs+-!&0FyPu4Dx;Ied)b@EVnu;2X|@=i8v1v*2CbQE)Y)6+XMX
zhG`$=9C!eX7%MVBPJ`l@2lTqg-EsK*g=eMq+}AC$9@_JDhr^!Lynwzv@mKAz!ePiM
zIAb`xEyU*+@z@|EoFZUnGok6@%ldg4IDO-pY8@QI2_aq<2IE;5jt?KcjRN|K`C91N
sZaA*Z)t$2tPWT0GydPihPr#?t@l0d66X8<L3dRSkbq7ud_-tkUA7oKHeE<Le

diff --git a/ritz/__pycache__/llvm_codegen_signals.cpython-313.pyc b/ritz/__pycache__/llvm_codegen_signals.cpython-313.pyc
index abab61b3f2f07d19eda945011178cacd6f78fece..ba36d0bb03acf62fb565f993a365aeacd31e1bc9 100644
GIT binary patch
delta 6626
zcmb_gc~o2Hm4EL^dJ>Wl0t6B=%VRT$#Rh{h;0+TeUch*faqSoz%OHasknksYqe-yi
zse_wogMDMyY3<r+Ph-1TimiAKJ=1h>rp|2b83>#}Uem@&XWAxndWOV4nQ79rbMN=W
zVt3}u{4wJ2d*5=u?cU$L_j~UbA4@}jl5BV5<IMv8diT2mt6scr8<HfK4*p*HR$qLJ
zp+#;nR!Ro!_R1}$7MV(wdaunb?AJ4!ccC|dmlC{j_se?CC}rn;c9crwr9><x@lq0&
zl6ff^OAcOgcvJ45qmNIL$~#j~%*jisUf2C%Tq=$CIse-}H}7+K=e4AH(_3V31|DS2
z!L-BSEGBOzmvnn|yx%!<a=t_s@0{mNIb%qRQ+Op^t7P*^hE~bpl}xH+>9Vx8Jl>{g
zm3&^w_Qt~s!@P_K&fFrS-U_%xE*IZe$SZkX5AIy%-9@}5e@;s=Z<){gC2t9@6~t<#
zyjJL4z&sshPZ_*n*d{t4P5#BhWkR#iWh2wm&r7ugtt<!&sb-(9c_pkRPS-jFkFJSH
zSbfBk1f|9wJDuS`N6^>R+7=472O@zGmD~M2@S*XP_zeh~4w+WeiT(O<Qy%=<^qcrB
z9C}S+Irw1tpvFBcR)AuDRQf=K?k98L+vcU>AgJcGNqmQ<>2;fhEy-}8!U2la4ErqA
z@HaJ9xN12BO1%lntS+p_TW$z~MNn|}TXLc2IX7&wE*6vEq_x~ltFjb=R01b~iy#wz
zYJFeKfmh>K$~D*!o`k#cn@y9&rTweNt%b1K)}3A~xII&4g55EZP&ArQG?q{@Vk%))
z8eS9qnXN}O*I`+e0`062*4T?=ez+PqY|j<T;9K@;@lhDJUoc$|1!1?aTZSWvH6FQH
zsFb`C8pyO?-z{&&LCvC9M}%CAa`aP#t-=-)tg1=L`Ab0vO3jj2PyIn1mJAwoYqtx6
z4-d8#eA`mzOJ3vL34;2K%8aP#KG8hM8~1>yv``4@oAt@U+B#gr&}`TWo4%G}S&F;y
zAvYG{8dx_r8wzj_yliUbyV#Nd@4J%Wm*0&`RfG-onh`d9U3(($EKxNvO}Ah<4nrmF
zV=JkkkNCq8wv38$i21w1evg5z!YU&<)&SWl74@_AP1LxVr1ggbkxq}y(y4{pkV|os
zK12e#4u1su*HZs#IG2)_O7;lL2nzm=9b**o*ftnRStss~x>I+H`LvHYtFNbO1HncD
zTD-|)f<9+TfOAK6xB8Dnn6E9;s<A)Zx{rmrv9X7-Od3Kv@fbCl6R*@b@{iU)a9@aR
zB>_&xd@5~22pbXh(Dsx%ZF}YL{#Vjr#OaVbsDBbZa+ddvn~J7n!JRpgRy3Yg)W2>r
zHS4nebf|yLWP<B_>S%&;dG%OA;T;rk*NnPrhCIWMjMg@cxf@R#CllT0t40%ZE_aM2
zmd=$}H(J{?=H7VPc*mVSV7w~}O2L3-GCA{d`^5bE(fRdb$@P<U^#iLX9A$l@j<Ugd
zqmJd1=nM9eQG3bNoul@e347hBy>8g~wtd}QBM$#0O>h@;|4{X$kv0iWF#RJl=<xq;
zBl7AjvI==EdPUA=iBlBmHSGyO-S)CA(<21|S}JS?3`NZnTz@i!2<Jj?m-0wnn?cWK
z*o~qGevk@hdR;cnQKnrA%KNgxooq27%X5+C`k0)vPd_a({X{CGd3ZdTyMmFgfP2s6
zD|<}6<qvCAP&6tiL0`8&tT6vRKl2CM{Ow90sQ7{kX~G{4V}M+sQM?cj#yO`N+d@!x
z*0o19AxXj!Uoe8czzM<$EhE?b!FKj24e%mhFAp)hs9}aks<|!H-Q#1vNQi|=pPWt_
zn`o$721<sj@PFd%w^1bg62dXzPLiYF2wy&@^x2)?u${J@|MIxKc*-Hzo&C0{WWkm+
zF#lA``5j~N^Y2)bpKUtTbiQ(8UhU|-+M&u}`G?EK=B*vKuA9uvxzzc5=jA5`_r9H3
zGhm*K%@vu*S}~fnVyJg4YyI2yhL3eZR_&Bkn>%iL?nlSs3+`C$hC2zV{kCYPD=dnI
za3(D$nH0j3=rsEMp+L~1V>$45Y5C#;_+46ocq5wPE|pO9q4ec_btGjt<m)=<=Lw5Z
z++rStUYoL9>F5gW^>rzMibV?R#KvirCzBM{yCD$qcZW5N%X3`WMtTkf{lQ2p*_x3T
ztCm<ABo9~P1Hl0NDSe)}2r?FB!?FyU_`_&J#tEIQMKl;!mW%5lDZ5tY0cJC7$<A3A
z+Xatgv%AoB`Gcx~`GOsOjB4EOJ86qs;aYYjCeL3Yz8Ou<*=Z=E37Rmu&J6a5d_WlK
zDkvHg7Sd+RkqPPWT0x5VUi2RezGM(PA*b|2I#+HnO<sf$Cbv~$!z$rcX}S3C(YvM3
z=up3X<?~C9k>GIx9z9P`=_vxf4Ub++wc1`_v^)#5?8oIU$7&P_>k){a+MX7pmKI8J
zA~Y?!Ev^RpSJP7abrc<D{920)m*DX;1=3dqxMX(1?I#oA_L&kGu2?K>S3vA{7?<L#
zzA6F!__Wj3%rCC!=BP1r^YX>T6~<=0P4Jp3baPxhFP5beJMeF2xj1t2HKNZ>3+g||
zhyx=}r{G;9PBhR|Msu?Pr?SAU%5r$?>1683m2tS0$FX=GBT9H2;~6`aw~aJ5!Q3q4
zSR0=qq1gyo$EuB9J8y*J%}%g^>;HD3{Qvbp9f^2J%cv?z<+)e(Vfg6?s&d4~Fh{Z=
zv{q&6+k9PJaHSzjClz|&Qq{6l$~T|ID@qvSh@bmMev`)tA6GfMX9+?{PBpa#{fAo*
z`IyI~5tD4IxkDWHJL==<PBnFfeC<?K%@_p_c13ts5aq)r1mXhyG(Mc9$xAs$PcBK6
z(~!R5ak#joW1AyuB4@>D&Wf?*6_dFI6S*r#b5{;q#&a9b8z)`qm(0(bCtRLUmuIA8
z)5zxSBb#=N?ASR{)bh4#*C#q5Z-Y3c6C5k25(NxrsnfA$=Qu2={-=%qKT~JX)JDPP
zfmZW8SW@$I3%}0r3&lprs9oZm@!<RXs|p^gtrAzlcWSrk$-QB~of=JAddeoQf(z^F
z<YU;zj>8A*=8FRmw|<fM94uR3EH*&r`d^7Bps`_rtoa@sYxs}c4WvLlU8-0U7Mn1(
z&BO$Dj;1;b-)zjY%<KiD$v-r{BVV9#1*CXuU|%cq;{_*h$iF5!vSGlH$3qug!PsSl
zUXxPT?TfT^de{rpc8uUS{Kej!l>=1#4#7bJya)>HIfCyZsD@S+3Pt#xie07FYY0uM
zvBwvQ_*sxGhkx1IyoZ>9OW=<J^k+In*`<oLjPetEncx+IuMxaTaDVh+KcKcj1l7>y
z3;SEO1n?rY61~~?;rX`eJy9yYMsSmW!k8zH9isBAx(-uS(;1f3IDhaU#(W>{b%=Vr
z2p*S4e=ROkD_7G|C~tT4_0lL4ote|$5<a+hzaKA-<QlJ2pQYWu&qp2+Xg{Kg0oF{7
zm_g8Zk=8EXUNj^7DNRZ`QLS^vFJia&1pJ6G$u~&yZwY=va2tNoUMXJWX(;QI0kZsY
z;$YO{za=NrHB`0i#mv&ysU@;y(Jvlz=`55Yr|qePoJhFp&?>P5dPD9)jbtc*xoAd5
zYC@~OJAilL2&$zU^CCM3KMEDQIlcI8_XC=er-^r{v>L>oGMV(JF5+(fy+)@fMIY-q
zpm!Hit4#Np?r^Vxte>yhtP?(staKg6?j~(2@+^<UR^Wrx!-j)-%Qz`!sDP{|>+odG
z0#xEV{w)nNYZjwC#Ciy(;FW_pdD`x%{%;6jdQl(_YCkPFErDG}v-wqvUjgc)nTH0Y
zLhj{sRaFf~1OBddHGx0ytvGg7V6hPJ>5)xZ2%uPbUkLauPFy6mMf;E5mQd$Sk2j@6
zQAT6>jQ_A}aQ*T8K5{CIy8QizACkOt+79TuWQstW##?^shiEDV;acqS$YV7(4riem
zHBL7gq~(K`$3M{2nO^>y-`Kcq!@4bNpfn>v7ua_o+VR9&`o0F5n|nR?uq#w;B#;Qc
zPcT9-MnEk1%&I7RnZhZnP<EMhuvu1V#^c_|O=i(dM*CI`c*H=vYL0aJgRL<1REGT5
zH206-=TFs0dJ%RXRm?M5cqUqRqD2yG;Nn-@MWnbU_5>o`9cd6(1aTm&LqJn&cK#e+
zz{<pEH0flAw3;7I5K&qrkO-nQm@{sUai~p4y?<^Xc)j1{;eq6SgD?ZiKdAFBpzmrn
zpvQ`@L&p<k(dJX@4e}<MeKUOT>t%gBAaK(Cj2bC4^y>LtmTUT-sd1Dy5_j2KRG(2l
zi^CO>Ju^{_@gT=lJwcM3EPR(-^9i$xQcXPQJ5c*fCDC^Y-Xn;I&Sxtu6un~M3SNA+
zLQcV@)I#p$c$zZ<MsXr)8mO0|o6fu;Rq_*%$7?U&T+OGks)}W7FE!J_SS!IE0v`fw
zKf7x087yFaSgr)xx_gvfS-Yobf#Nzz-ax=3rcn6-rSlu^4(d2d;3dgeJlI7Ibf0JE
z;q$Xa;`1>7T%LFq8qVcQR$Y{xd)T;~Z}MMBhNqHWQ|UJdn8QNBwyr?iV-LLF@pq2c
zap2y?7y5W0e1Jp5E00w*bcGK4nYQB(Y35n3d_>g{f+{oobQ0)c{0s^;lbKXqPpHR}
zJjYg6e-{tO+GmF<T!Ae?0LP^@Vh~y`t&Nkh8m1-Sz4kQu_cV(_wldI1ma6FQE`2Je
zk_no$BXN_^`FpEjdB_R&D>;@qN`U28@@37M(0Qdq&c@k$8)K5$@Ya=-eVsTM%|bfY
zw$BgwfPwf)$#R}KKCh)e{A_e2qM8UX#<5t5a_I(KOx0r)i{N*~4Oh#>&(MYDi-)2w
zUTu(MIz*dv`h5pjUYbawFHo2{9JGrxD#t=W5I%n?Q~Z#BdZ~KZAzq6%ylfN;_y;R-
zC$j8_5~$vVBgs`%8DH;1?f%)pM_<VlKf)K$bSv2>*wGp}+T*_g!>_#Qpmf4NeBmpZ
zn^we6pzzIC-7+0r&4kN#rzv)s9*Vy6>K`S1C7ZmyWDU2sk@<VNd~JTl6~mpAyD8^J
z8_i7FEyiKIA!v(t1%m#t=0IP99XHCwcj1{EnPN4*$)&@aH&VnON8i1XC8pc?`?Quy
zoHSV$K`KEuIA6=iQK(24ewIPNU5ZqPXQ0=eCQlJ;er;tRzB0vZs-sdOK`sIJHxrf0
z2+9fQg9KYZu!x|7U?D*z!D0e>3t&|Q7YHsQsJZ}NF8IA`3AGXJ*&hh>B2LTjO-*25
z5K!3B+?z<vJ|o~%<0>Sjvuap+bFuYTn4?Y#@91l$^lo_krebg#il?gKg`3INEJNw}
z+<O8(rs`q%X8MZ7hV|mr$lyam$%AXJJvk*%eK_wPe@+F(B!hEqFII>1hQqf!_XI57
zD}?{NS(%w<*ezaNJ(xV$Ht4$6G$l}dC~}WK?=?o(|JCosk^{tK8M%WLVqBNAs^wa>
d(Dsc45eN;r#6!?O^hm<01hL=~fslWD`!8TGQU(A3

delta 5356
zcmZ`-d32Li7XRLt<ZGIyX-bo(Ew%l+H{EDxD{G-xR75RHC~~w|)AXaHO_TbPmI@rp
z2snU_0(V3i!CjQ&2F3+O9mR3s96jzH#!m%3<2X9!j8<h_aCGM0_m!r2w150^@4N5a
zci-LK`+Deq@`qo^j&IV_Z4&;a^yY*%>^<l>B+K8*a8$l^q|Tq7C-s`S!=Kt==}<aS
z8f6Pk^ecW_quK8evJ8KnKSNMXq@04vL@HBIlaQJus4Rchujp_InG0vR1?Bc<Cufa}
zZ{-of?1{p0S&oo-{J9-D{=5#wKe@x2R3S;@23!64VrH)2G*Lcwn6rc|?+ha$&EiNc
z5Q546teuwJ)I!1J8;mNLvkaz4Fa-uvESN&U%qtO$>MuQW*A4|;SSDmeXY7jZ6|!<6
zD;7!?RS2fUUx^1a#9lE{I$@+rjFbtv?5`GF`50FtxC(zQuk5jTr@$wc<xGKD%7@eZ
zQo9s(Q2gm{3UL_*jUJYfbDrjUB(JHB%gCPR&4iUHe}P8p@7eY6v~>uYQ$I;BK*@fY
z7vT>tg*w~0tRCXFOW8Z{y6tkdAL`N;pgy>BwF@@b?dEoAX%+<T$bu7T4%na8w9}r>
za^c|oJh0kV;EeRN2P7#?QqiKNMPhskv%r(~dX@>F*?n%>j=Kr62|NTj(2)KyD+0G;
zu5vaG#NL2Q9ZMkL=vTc`o_DlPa=MOXRK1x|^>#+h8`c_br&ZGt+Th4_*@@*D%b9I1
zvbr4V<`wXSvq}-?nGT;iOOz=jX@D!2dEj`i73wlwY&o=M?y+{G;Bx758UC3$BNGqV
zDEnpfxV6{ZFE5k9H_2u0F?%hE-(}^R>Si1ISMfPSnB!V3&Sw#+M7b7@X<iF&L6*}z
zz7URPH=L8?7t!Ei1l_zQ6kqLCcs`Bf5VQ~oKb(V<ZtBtEC_kS@TcO!gI+>0VQxH`A
z+pvLC+4FV;eg4>?TyUQ!m#s=1@m$X4kx^}4GtZ<M=I&51uA9(SZbIH`G6GG$6Dndf
zdWG6zD6OX@)u)vzL1be-_&(QXd)HbeydGrmQJyPdDp<i-1#}b^XOYo-5-l|MMne(W
z0d^FYDYZ0IjJonuR%?N7jc-YuD6ExnReEu=M?}jq6bKJ$A~$(Csi}lOv1@JzlITs5
zBv~{p{9*~kwf-1iN<t-h3f&Qm_76lOS|r{X3G{22!;cl$Gar0Btq7D72fH!hF4<^O
zT1e4sxUIaIT>u}H&s5rIU@_!Z6gQ1+C}NP@&=l4px`hWKJ=)lYdTKBl>Fx|gRz<lV
z`YRfhsi;JsLWhLER%Ed~iDMO)S*l218`jjgE-w=X#~2D!!_{@P(kE69*Sgu`i5qG!
zv9J#Kbn3<;;nFIcz`Y1DnO2Q0YoKK{V%fe1CwnpRWW#kP^l9s~a^E1W7$Tq);KKxK
z2!uVD5u)P8jnX~vRkNoa$0@<|l+}SqcUa?k>Z-v=(C}p|3Swpi$~?pFMs(~H`Gf?M
zroYHqA%Amj_P@};o1}K;XQFG%GgnAbU>I6<SFj-LxH=Cmm@xpMEmiQ^Rf^gmH<1@e
zr_|%@agHyuie;bEGSfSf1WRtuh7G$@!P#nt7dBU>q_&$KlHUePR%XL91?g~Nw;etS
zxM@zB1+}D!&FxS-%Y!}g$mZ&d)OHK5NEhoI?Fx*{nvs$r#*{O(^ltHzX|7+I*5ky6
zIWoH@dp26DD}h)n)DzK_cz|Px@-8?syP$ZMx@^(>MKjg*f$l(DQ|B+bSdB!xwV2u!
z9gK9V@u&)x=Gh~cp@viGsv3)9vrt0~Q`NFIOe#uo-PWn~hvJ>u@BmL{45#qx*3O8w
zrgJF3y(vb<Q$TnriBd)FkW9CRqk(Qg*|-)P49AJ)T{tV2f`FlOCgZn`7T1ad`mQ-s
z`I2U>2gjVAs!aFIwjH)(&Z0M+MQ@ZYI6C=g`WwZ|-*sLxnkhM}M<+>+N!!b}cHDB=
z+wjVqS8{)I`rYr(WohIxegQ!neA+TCpHhs6X|svh+=K&TMbJLajW<N!yyYyMcz)hp
z4%PzN;ugioX?S39IokwpEuPA@fMrQFTL``-e`mwsURtLZDGnDb{jTI9(r2b_%r8c=
z4ZFyAy7O%~!nZ=uUz#><4VLjv|9fmZgqPK@+{Er>+g+tCG>>{U|0BX$t6JF~hzD1D
z`Asx7X3)i<;yIg$-$f8YI3-tl`4-}CM$j#tJQ|I2(fIe!=w5_2J!K#ek83=Ft?1!U
z`xO)<+yVb6Cr+7Eb*0W`^4n>_9Rzn0Ttjdd!I?G9@20VP5Ohm05Ysx1R{AFzrHtdZ
zL9loF$bCfKPq3eWnu9l$_Y$4-P9L#`i;&V&wa6egQ_N}pAW1~q%`uXY!pQvu!b=gF
z?=beqBUAFlc$5aM<bqDf>&whONPJqiwkkmR8R{O^S%@!#d3{+kkB}yEgl>-wcJ*pO
zp<*h3Tr3fK!+|agDu04zK1pzh;4s|K*T{BIr_T@}>f~A=7!M6;*Cf8_JECNfje1%a
zw(#I;qoK`8yv%b<m6f#Ih$K>NYtyj1X>p@2byIg}h*NA&&4RNwdZ1vatX9;oT&13J
z)`(g4V?SPRvcqCM8}5XGAvfCw*A7+Zi9{2wI!0TP>-lR0t?<fFJ$n%TJ2XxHktLee
zTxrg$K!L6d1bCo7w$>t=gb~ILcy8U?9O~?Ch6<`KugsfC(>(C3FP$y&WIQ`C?<rv7
z;^Zrd5|({P%WOsv%{1Cg@DEtCzPQY=iujKZVm1UyOXJUI{bx(?(N-0XuTN#J#AoXd
z$cm`)C2-qFzA{$p&y6h35r-C6hb*)ht3MR0ZLv7!R6pL<O^Kx&UX-z_b2hfQMT&|u
zj8_of3+pzPUHmMn@LG+Rk~mWf4(J(1&kU{VBz>Wvk-3KZQO*ky_FE?OOc8^F@b8U<
z>?`m&Chsg!Orce+3E!r-%ykQC2}PWX(z%tW3kk@6ejCAy1V;&Gfp4q3dc0C5l#np5
zm*xmZr;Tk7S8lCS9--j_aPQU`@(<()FI$<gZR?O1PDjC7m#PK>;jlUs4RzyNOpD-i
zsgu*u+c-x&{cIEMpMoZyZ5SKFwWBy9o^AQ?>h&3HbK-;Rd*l&up#PwVe@pNk!LRz6
z1m6?<y00f0zBVfCx82Q8p^6w?!Xjt5LMg<*2Hzt^idcIi_%_ui3b!w`D55JahUiW8
zBS&bK$fM_pqCT+JOu28k`~@0(Neq%&{xb1K9EkcE0kb0+4bjF#3|=MqIRwev&q!v3
zZWTtkuov;yY1W$r`0&7}!_-|3Y0HQd)^)+at_H=%(8-l_ai&jn#s0)wyUvjnymj#Y
zPPleIFIR}uP%-ls0uhJJNa?Izx8e&DeHfwl!{+=#u<e=GbuG&95@=RK!Ttettzz^c
zqxA134f_!Aly0KMQIm;YMPn-nwh~YZp002=8Z6!l{Caq3PZj$E{B2Ju+X_GJDU*-O
ziPF92rZfxNbXrLrj=xXv0RmoB(MT{H3icVXNuEZu&Ky$R1^e!~b40YXU*s0$o7b*e
z!qGJvH!MC*nv-UqAU24gD;&Q~LIcJbsBA^?=%#__fH!MGxa?Y3v<>6+T~7x15a6YI
z&u3lW*tbCW5f{g@;Lg766r(J@z@rvf=zGhWxP9NZN;V}|n{gm<0y_QL>D1(R)>xtM
z;avMfH^7$<l_|!-A@AWD#e>_ey(l@mZdC`a$GC{P7cmg0{6&PsQ7LrZ(+vS><G#a>
z$l<tdCB#044>>{6<L!LhOE=?H5XbMC|2^zuUt%4VvjvG2k6b9@dF!sug=Y>P%bi1d
zW$q%CxkQhB-*v%5j~1}w@am)WY+d4~M^jh@P1V_Dm|nwbX!=TAMP;HZS|o@M*5tzK
z#|jj(S$w;B>=d0yPiOq90c{iT$6j)Mgfj6Bj2|_5NTZ@6xajdbyz#KFrk;MWZcAME
z_|Gza&}=(2ZJ~&C3fBh0fuP2PM?__c8l|j2Glt{X_QYj1mcaNNF!m0IB3ev%j4uJ}
zVIO-FW*#n3rqMe36!O5}VK>{JxbAQvo0%cLMUDHyL#7rGWD}?aA_wz{noK}W6UX3%
z@cEx7GcQ=4nmcj{jf#kxh@vlPUQ8g$%}Uf1f_eh_(B(dYsRZ<4#~TP53Dyxb5o{;e
zfuNg0SpVW#bvBLBZNa}H_<>+lszLmkNa{I8VShpFmjoimgbPKYO@ot9HQA5Il60-~
zo_WTo*#k{atEC=G_2^WyrSkrgQ3-zzl$@lWQG0=<_7<e^XS4;bdOAP9#8Q2K{6OoW
ztOE=7Up*=z`&{Ws`Z>9f!P`$a7O0jL?Ed)&vJM0f<m_)7m54tSKPi4s&QFv*^8-6K
zOzEm%j$o>Y|1<EU2Zi&}$nq3|C>_a8lnp_*&hC$P4~Dfl{7MKudtQd$!79F%2*srT
E1M-Y1tN;K2

diff --git a/ritz/llvm_codegen_signals.py b/ritz/llvm_codegen_signals.py
index db2afab..627c6db 100644
--- a/ritz/llvm_codegen_signals.py
+++ b/ritz/llvm_codegen_signals.py
@@ -37,6 +37,9 @@ class SignalLLVMIRGenerator:
         # Track signal-to-DOM bindings for updates
         self.signal_dom_bindings: dict[str, list[str]] = {}  # signal_name -> [dom_node_ids]
 
+        # Track signal-to-conditional dependencies for reactivity
+        self.signal_conditional_deps: dict[str, list[int]] = {}  # signal_name -> [conditional_ids]
+
         # Track current component for signal scoping
         self.current_component = None
 
@@ -67,6 +70,7 @@ class SignalLLVMIRGenerator:
             self.event_handlers = []
             self.conditionals = []
             self.conditional_map = {}
+            self.signal_conditional_deps = {}
 
             # Collect signals, handlers, and conditionals for this component
             self._collect_signals_and_handlers(component)
@@ -133,6 +137,44 @@ class SignalLLVMIRGenerator:
 
         scan_statements(component["body"])
 
+        # Build signal -> conditional dependency map
+        for cond_info in self.conditionals:
+            cond_id = cond_info["id"]
+            if cond_info["type"] == "if":
+                # Extract signals from test expression
+                signals = self._extract_signals_from_expr(cond_info["test"])
+            elif cond_info["type"] == "match":
+                # Extract signals from subject expression
+                signals = self._extract_signals_from_expr(cond_info["subject"])
+            else:
+                signals = []
+
+            # Register this conditional as dependent on these signals
+            for signal_name in signals:
+                if signal_name not in self.signal_conditional_deps:
+                    self.signal_conditional_deps[signal_name] = []
+                self.signal_conditional_deps[signal_name].append(cond_id)
+
+    def _extract_signals_from_expr(self, expr: dict[str, Any]) -> list[str]:
+        """Extract signal names referenced in an expression."""
+        signals = []
+
+        if expr["type"] == "name":
+            # Direct signal reference
+            signal_name = expr["id"]
+            if signal_name in self.signals:
+                signals.append(signal_name)
+        elif expr["type"] == "compare":
+            # Comparison expression - check left and right
+            signals.extend(self._extract_signals_from_expr(expr["left"]))
+            for comparator in expr.get("comparators", []):
+                signals.extend(self._extract_signals_from_expr(comparator))
+        elif expr["type"] == "constant":
+            # Constants don't reference signals
+            pass
+
+        return signals
+
     def _emit_header(self) -> None:
         """Emit module header."""
         self.lines.append("; Generated by Ritz Framework with Signals")
@@ -248,8 +290,10 @@ class SignalLLVMIRGenerator:
                 # Store the value
                 self.lines.append(f"  store i32 {value_var}, i32* {self._signal_global(signal_name)}")
 
-                # TODO: Trigger DOM updates
-                self.lines.append(f"  ; TODO: Update DOM nodes bound to {signal_name}")
+                # Trigger reactive updates for conditionals that depend on this signal
+                if signal_name in self.signal_conditional_deps:
+                    for cond_id in self.signal_conditional_deps[signal_name]:
+                        self.lines.append(f"  call void @reevaluate_conditional_{cond_id}()")
         elif stmt["type"] == "augassign":
             # Handle signal updates (count += 1)
             signal_name = stmt["target"]
@@ -267,8 +311,10 @@ class SignalLLVMIRGenerator:
                 # Store back
                 self.lines.append(f"  store i32 %{result_var}, i32* {self._signal_global(signal_name)}")
 
-                # TODO: Trigger DOM updates for this signal
-                self.lines.append(f"  ; TODO: Update DOM nodes bound to {signal_name}")
+                # Trigger reactive updates for conditionals that depend on this signal
+                if signal_name in self.signal_conditional_deps:
+                    for cond_id in self.signal_conditional_deps[signal_name]:
+                        self.lines.append(f"  call void @reevaluate_conditional_{cond_id}()")
 
     def _emit_conditional_functions(self) -> None:
         """Emit init and reevaluate functions for each conditional."""