Working Paper · Peter Kelly

LP–PM–ERT Alignment Architecture

Static HTML build (no client-side markdown fetch). Choose the full paper or a shorter note.

Full PDF Short PDF Lean4 proofs (zip)

Source markdown: lp_pm_ert_paper_long.md / lp_pm_ert_paper_short.md.