Plan.bad_uuid: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store/plan.bend as Plan
Lines 117-120 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=117&end_line=120

import Base

def bad_uuid(+email: String, +seen: String, +want: String) -> String:
  "The stored credential does not belong to " ++ email ++ ": the token resolves to account " ++ seen ++ ", not " ++ want
    ++ ". 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