An agent-based “proof of principle” for Walrasian macroeconomic theory