Procedural memory for AI coding agents: transforms scattered session history into persistent, cross-agent memory so every agent learns from every other