Programs are processes.

Core mainnet programs, checked live against the RPC — existence, executable flag, owner and account size. Nothing listed here is assumed.