Function well_formed 

pub(crate) fn well_formed<T: NodeType>(
    proposal: &Proposal<T>,
    epoch_height: u64,
) -> Result<Parts<'_, T>, MalformedProposal>

Everything a proposal claims about its own block and its parent, checked without signatures.

Returns the certificates whose signatures a validator verifies next, and the epoch to resolve their committee through.