Function derive 

pub fn derive(
    records: &[Record],
    symbols: &[Symbol],
    verifier: &Verifier,
) -> Vec<Entry>

Derive status and trust for every non-relation record.