Function inspect_contracts 

pub fn inspect_contracts(
    nodes: &[Node],
    edges: &[Edge],
    evidence: &[Evidence],
    compatibility: &[ContractCompatibility],
    request: &ContractRequest,
) -> Result<ContractReport, InterfaceError>

Performs a bounded contract operation over immutable graph inputs.

Evidence notes are never copied into the returned report. Missing links and missing compatibility inputs remain explicit unknown coverage rather than evidence of safety.

Errors

Returns InterfaceError for malformed requests, duplicate identities, missing requested entities, or unsupported bounds.