Plan.bad_email: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store/plan.bend as Plan
Lines 122-125 of cswap-bend-cli@0.1.0.0/store/plan.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&start_line=122&end_line=125

import Base

def bad_email(+email: String, +seen: String) -> String:
  "The stored credential does not belong to " ++ email ++ ": the token resolves to " ++ seen
    ++ ". Nothing was changed. This happens when the config names one account while the credential store still holds another's token (e.g. a renamed .claude.json over a live keychain item). Log in as "
    ++ email ++ " in THIS environment, then re-run."

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append