def verify_live

cswap-bend-cli@0.1.0.0 · swrun.bend:189

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/swlive.bend as L
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase

189# Claude Code on macOS prefers a keychain login over ~/.claude/.credentials.json,
190# so a file-only switch can be silently undone: it rewrites oauthAccount from
191# the keychain login. Wait `opts`, read ~/.claude.json again, and if it no
192# longer names the target report `live-login-overridden`. The keychain is never
193# touched; the remedy is the user's.
194def verify_live(+ctx: SBase.Ctx, +delay_ms: U32, +target: String, +temail: String, +torg: String) -> Act.of(Unit):
195  do ActM<Unit>:
196    Act.lift(Unit, IO.sleep(delay_ms))
197    l : L.Live <- L.read_live(ctx)
198    verify2(l, target, temail, torg)