Source: https://docs.arbitrum.io/stylus-by-example/sending_ether
There should be at least a section describing how Solidity's receive function should be implemented in Stylus.
The closes thing to this is a comment above the fn send_to_stylus_contract
function in the code example describing a Stylus program that has a receiveEther
function.