Plain meaning
Start with the shortest useful explanation before going deeper.
The public key that uniquely identifies a deployed program. It's the address of the program's executable account. When invoking a program, the instruction specifies the program_id. Anchor's `declare_id!()` macro hardcodes the expected program ID. PDAs are derived relative to a program's ID, tying state to the specific program.