pub fn program_ids(tx: &FullTx) -> Vec<[u8; 32]>
Every program the transaction invokes, in first-use order, deduplicated. Solana forbids an ALT-sourced program id, so this is complete without any lookup-table resolution.