clarify that offer give/want are "at most" and "at least"

Agoric / documentation

User documentation

https://agoric.com/documentation/

Apache License 2.0

15 stars 40 forks source link

clarify that offer give/want are "at most" and "at least" #1227

Open dckc opened 1 week ago

dckc commented 1 week ago

Definition: Offer safety means that the user is guaranteed to either get what they wanted

https://docs.agoric.com/guides/zoe/offer-safety.html#offer-safety

It's not clear that the way it actually works is that they're guaranteed to get what they wanted or more.

That is: AmountMath.isGTE.

cc @tgrecojs

dckc commented 1 week ago

Jorge reminds us of an office hours session where MarkM joined to talk about offer patterns (IOU link).