==============================================================================
POWER SIMULATION -- naive_a2_d0_13   [metric: # successes (count)]
==============================================================================
model: behavior ~ stim + day + stim:day + (1|rat)   (behavior = # successes (count); day within-window)
observed groups: stim n=3, control n=7   nrep=120, alpha=0.05
ground truth: stim:day=+1.614/day, rat SD=8.46, residual SD=15.26, days=14

 true stim:day interaction = +1.614 (100% of observed)
  N/group  | per-animal power | LME power
  ------------------------------------------
  3        |  0.22            |  0.53  <- observed
  5        |  0.53            |  0.68
  8        |  0.83            |  0.88
  12       |  0.97            |  1.00
  16       |  0.98            |  0.98
  24       |  1.00            |  1.00

 true stim:day interaction = +0.8068 (50% of observed)
  N/group  | per-animal power | LME power
  ------------------------------------------
  3        |  0.12            |  0.21  <- observed
  5        |  0.21            |  0.21
  8        |  0.42            |  0.42
  12       |  0.50            |  0.53
  16       |  0.64            |  0.72
  24       |  0.78            |  0.75

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