When executing a function in an unregistered contract in the PXE, the PXE should query a node for the contract instance and class, in case it was made publicly available.
Note that not all functions (private or public) in the contract may have been broadcasted, but if the ones that are executed in the tx were, the tx simulation and proving in the PXE should just work. This requires the PXE being fine with having partial information for a contract.
When executing a function in an unregistered contract in the PXE, the PXE should query a node for the contract instance and class, in case it was made publicly available.
Note that not all functions (private or public) in the contract may have been broadcasted, but if the ones that are executed in the tx were, the tx simulation and proving in the PXE should just work. This requires the PXE being fine with having partial information for a contract.