Function emit_hardcoded_credential_facts 

pub fn emit_hardcoded_credential_facts<I>(
    store: &mut FactStore,
    prov: &FactProvenance,
    sites: I,
) -> usize
where
    I: IntoIterator<Item = HardcodedCredentialSite>,

Emit one HardcodedCredential fact per site (SEC003).