Obtaining nested Jacobian matrix from nonlinear residual and fieldsplit preconditioning

Maybe this is besides the question that you’re asking, but block preconditioning with fieldsplit is already very doable for mixed spaces, also for nonlinear problems. See for example:

Other resources that I found quite useful are Rafinex-external-RIFLE / FEniCSx-pctools · GitLab and ambit/src/ambit_fe/solver/preconditioner.py at master · marchirschvogel/ambit · GitHub