Function semantic_resolution_contract_digest 

pub fn semantic_resolution_contract_digest() -> String

Return a deterministic digest of the live semantic resolution-key contract.

This deliberately describes only the provider-backed imports, calls, and Cargo depends-on behavior implemented here. The broader accepted relation- family inventory remains a later, independently versioned responsibility.