Originally Posted by smd173
"we also have a house rule stating aces can be used low in all situations"
If this is the house rule, then he made a straight flush. All means all. So he had no reason to declare the Ace as low.
Regardless of house rule, the Ace cannot be both high and low in one hand. It is one or the other for any particular hand. Otherwise you'd get people calling wrap-around straights (QKA23) as legit because the A is both high and low. The game requires that a low card declaration be made, and those declarations are binding. Because the declaration comes immediately before the showdown (during construction of the final holding), any rule of high/low card use is superceded by that declaration. So at showdown, when "cards read", that A was high by implied declaration (e.g. because he declared the fours to be the lowest holding in his down cards, the A in his down cards must be high, because if it was low, then it would the be the lowest card in his hand which we know it isn't because he declared the fours to be the lowest.).
And all of this is exactly why wild cards suck. I've lost hands at goofball dealer call it home games when I held a natural straight flush and some goofball had a pair plus three wild cards for five of a kind. LOL