==============================================================================
POWER SIMULATION -- right_only_d0_13   [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.7/day, rat SD=3.135e-15, residual SD=14.12, days=14

 true stim:day interaction = +1.7 (100% of observed)
  N/group  | per-animal power | LME power
  ------------------------------------------
  3        |  0.28            |  0.67  <- observed
  5        |  0.67            |  0.82
  8        |  0.92            |  0.94
  12       |  1.00            |  1.00
  16       |  1.00            |  1.00
  24       |  1.00            |  1.00

 true stim:day interaction = +0.8501 (50% of observed)
  N/group  | per-animal power | LME power
  ------------------------------------------
  3        |  0.15            |  0.24  <- observed
  5        |  0.23            |  0.28
  8        |  0.48            |  0.53
  12       |  0.56            |  0.62
  16       |  0.75            |  0.82
  24       |  0.87            |  0.85

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