We prove a generalization of Krieger's embedding theorem, in the spirit of zero-error information theory. Specifically, given a mixing shift of finite type $X$, a mixing sofic shift $Y$, and a surjective sliding block code $π: X \to Y$, we give necessary and sufficient conditions for a subshift $Z$ of topological entropy strictly lower than that of $Y$ to admit an embedding $ψ: Z \to X$ such that $π\circ ψ$ is injective.