Appendix H: Lean Knowledge Base & AI Integration