Function query_json_contracts 

pub fn query_json_contracts<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
) -> Vec<Property<'tcx>>

Query contracts for a function from the bundled JSON backup database.

Uses get_std_contracts_from_assets for lookup with wildcard fallback, then parses each entry into a Property via entry_to_property.