Function adjoint_objective_gradient 

pub fn adjoint_objective_gradient<R>(
    linearization: &AcceptedLinearization<'_, R>,
    objective: &ScalarObjectiveLinearization,
    properties: LinearOperatorProperties,
    solver: LinearSolveRequest<'_>,
) -> Result<AdjointGradient, Diagnostic>
where
    R: LinearizedRelation<f64> + ?Sized,

Compose one accepted relation and one objective intended for its accepted point.

This typed entry point validates the complete unknown/Parameter layout, then uses the same transposed action and solver path as adjoint_gradient. Cross-artifact accepted-point identity remains the responsibility of the analysis/run provenance layer.

Errors

Returns EQ0704 when objective and relation dimensions differ, and preserves solver/capability diagnostics from the adjoint solve.