Formalized-Agent-Foundations pinned by commit

Pinned at 1fffea44eece253cda1722568a3adfe34e822f03 — the current main of https://github.com/A-M-Berns/Formalized-Agent-Foundations, whose most recent change bumped its pinned dependencies and unforked Foundation, which is what made it pinnable. Toolchain matched to FAF's exactly: leanprover/lean4:v4.31.0.