I found a few things in getGuaranteedBalance() that don't make sense to me, but I don't know which are bugs and which are a part of the Transparent Forging design.
Can you post a listing of just that one function?
Maybe the collective brain here will be able to figure it out.