5. Declaration catalog: Foundations
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: Core finite matrices, task contracts, resource records, circuit syntax, and certificate data structures. 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.