[codex] Fix force-free validator context and add Lagra adapter paper#1

PimDeWitte wants to merge 15 commits into

mainPimDeWitte/pde-engine:mainfrom

codex/lagra-force-free-adapterPimDeWitte/pde-engine:codex/lagra-force-free-adapterCopy head branch name to clipboard