pub fn lower_mutation_cache(
program: &MutationProgram,
visibility: &MutationCacheVisibility,
) -> Result<MutationCacheProgram, MutationProgramError>Expand description
Lower a mutation program to role-safe cache effects.
Authorization and coverage gates are applied by the caller via
visibility. When visibility rejects an operation, the narrowest
invalidation is emitted instead of a concrete write.
§Errors
Returns validation failures for unsupported operation shapes.