Creates persistent code graphs AI assistants query for architecture answers. Returns proof paths with citations, not embeddings.
