maincnt くらい割り込みでカウントしてるんだろうという思い込みがありましたが、単に表示中は maincnt 更新されないという理解でよさそうですね。
ただし time$ は rtc なのでプチコンとは無関係に進みます。time$ が更新されるのが、えーと、どこかのトピにあったような・・・確か通信して取得するとかなので、リアルタイムに time$ が更新されるわけではない。ので更新されるのを待つ wait 60 入れたら 10s 経過してた。
wait 1
t0$=time$:t0=maincnt
? "="*1e6
wait 60
t1$=time$:t1=maincnt
? t1$,t0$,t1-t0
>>output
t1$=t0$= 10s
t1-t0 = 63 (63/60s = 1+3/60s)
1そうだね プレイ済み