Function validate_proposal_action_ids 

pub fn validate_proposal_action_ids(
    proposal: &ActionProposal,
) -> Result<(), String>

Validate the proposal-local action identity boundary used by DAG execution, action receipts, results, and state-transition attribution. A retry reuses one admitted action id across attempts; two declared actions may not share an id because every downstream join would become ambiguous.