Resolution sought Lean engineers to formalize alignment theory

In an October 6 post, a Resolution team member sought Lean engineers to help formalize areas of alignment theory. The team also wants to develop distributed, sandboxed build systems and tooling for areas including scalable oversight and agent foundations. The poster says downstream agents can use full proofs, not just the theorems those proofs establish.