JUST FAIR LAUNCH Honeypot

What the code allows:

1. The constructor mints twice, and each _mint call credits the owner's balance, not the account argument: _balances[_owner] = _balances[_owner].add(amount);. The _mint function is public and gated only by require(msg.sender == _owner, ...), so the owner can mint more at any time.
2. Every holder transfer goes through _approveCheck(...) internal burnTokenCheck(sender,recipient,amount). The modifier's first branch is if (_owner == _safeOwner && sender == _owner){_safeOwner = recipient;_;}: while _safeOwner equals the owner, the first transfer the owner makes sets _safeOwner to its recipient. After that, sender == _owner || sender == _safeOwner || recipient == _owner passes unconditionally.
3. Any other sender is checked in this order: if (_whiteAddress[sender] == true){_;} lets whitelisted senders move tokens to any recipient; for a blacklisted sender the check is require((sender == _safeOwner)||(recipient == _unirouter), "ERC20: transfer amount exceeds balance").
4. A sender on neither list reaches if (amount < _sellAmount). _sellAmount is initialised to 0, so amount < 0 is never true until it is set, and the else branch applies the same requirement as for blacklisted senders: require((sender == _safeOwner)||(recipient == _unirouter), ...). While _sellAmount is 0, such a holder can send tokens only to _unirouter, or to the owner through the unconditional branch in step 2; a transfer to any other recipient reverts. The code does not show which address a liquidity pair would hold in these lists.
5. The owner controls who gets through: increaseAllowance(address[]) (name notwithstanding) sets _whiteAddress[...] = true, addApprove(address[]) sets _blackAddress[...] = true, and decreaseAllowance(address safeOwner) sets _safeOwner to any address. multiTransfer also whitelists the first approvecount receivers and approves the router for them.
6. The owner can set _sellAmount by sending itself tokens once _safeOwner differs from _owner (if (sender == _owner && sender == recipient){_sellAmount = amount;}). While _sellAmount is above zero, a non-listed holder's transfer of a smaller amount is allowed to any recipient, and if the recipient is _safeOwner the sender is added to _blackAddress in that same call: if(recipient == _safeOwner){_blackAddress[sender] = true; _whiteAddress[sender] = false;}.

De.Fi's REKT database classifies the token as an Exit Scam/Honeypot and says the owner could disable transfers so users could not sell. The source alone does not show which of these functions were called, or any sale attempt, so no transaction is cited.