docs(impl): isolate global HIR type validation#676

sanohiro merged 3 commits into

mainsanohiro/align:mainfrom

agent/pkg-db-l2b-a2-am-split-plansanohiro/align:agent/pkg-db-l2b-a2-am-split-planCopy head branch name to clipboard