1: \begin{abstract}

2: We introduce the first-order system proximal Galerkin (FOSPG) method, a locally mass-conserving, hybridizable finite element method for solving heterogeneous anisotropic diffusion and obstacle problems.

3: Like other proximal Galerkin methods, FOSPG finds solutions by solving a recursive sequence of smooth, discretized, nonlinear subproblems.

4: We establish the well-posedness and convergence of these nonlinear subproblems along with stability and error estimates under low regularity assumptions for the linearized equations obtained by solving each subproblem using Newton's method.

5: The FOSPG method exhibits several advantages, including high-order accuracy, discrete maximum principle or bound-preserving discrete solutions, and local mass conservation.

6: It also achieves prescribed solution accuracy within asymptotically mesh-independent numbers of subproblems and linear solves per subproblem iteration.

7: Numerical experiments on benchmarks for anisotropic diffusion and obstacle problems confirm these attributes.

8: Furthermore, an open-source implementation of the method is provided to facilitate broader adoption and reproducibility.

9: 

10: \vspace{1em}

11:  \smallskip

12:   \noindent \textit{Key words}. 

13:   Anisotropic diffusion, obstacle problems, high order accuracy, local mass conservation, discrete maximum principle preserving 

14:   

15:   \smallskip 

16:    

17:   \noindent \textit{MSC codes.} 35J86, 49J40, 65N30. 

18: \end{abstract}

19: