Remove withdraw invariant for boundary-expanding PR scenario

rore · rore · commit 3a626464cfd7 · 2026-02-18T17:25:27.000+02:00
diff --git a/spec/withdraw.bear.yaml b/spec/withdraw.bear.yaml
@@ -31,6 +31,3 @@ block:
       port: idempotency
       getOp: get
       putOp: put
-  invariants:
-    - kind: non_negative
-      field: balance
