11. Declaration catalog: AutomationAndMemory
This chapter is generated from the Lean source. Every node denotes one explicit public declaration, and every Lean link is checked during the Blueprint build. Definitions appear in source order before later results whenever the source module does so.
Reader orientation: Typed controller state, agent contracts, literature memory, and explicit open-problem records. Each card separates an accessible reading cue from formal status, the source docstring, and the authoritative Lean panel. The standalone Library Explorer adds full-text search and filters across every chapter.