==============================================================================
POWER SIMULATION -- right_only_d0_10   [metric: # successes (count)]
==============================================================================
model: behavior ~ stim + day + stim:day + (1|rat)   (behavior = # successes (count); day within-window)
observed groups: stim n=4, control n=3   nrep=120, alpha=0.05
ground truth: stim:day=+1.73/day, rat SD=5.346, residual SD=11.96, days=11

 true stim:day interaction = +1.73 (100% of observed)
  N/group  | per-animal power | LME power
  ------------------------------------------
  3        |  0.22            |  0.39  <- observed
  5        |  0.52            |  0.65
  8        |  0.80            |  0.82
  12       |  0.97            |  0.98
  16       |  0.98            |  0.98
  24       |  1.00            |  1.00

 true stim:day interaction = +0.865 (50% of observed)
  N/group  | per-animal power | LME power
  ------------------------------------------
  3        |  0.12            |  0.12  <- observed
  5        |  0.11            |  0.18
  8        |  0.31            |  0.32
  12       |  0.38            |  0.41
  16       |  0.62            |  0.62
  24       |  0.74            |  0.71

Read the per-animal column as the honest power; LME is optimistic (obs-level DF).