{"service":"SciLib-GRC21","mode":"C21 (Structure-aware Graph + Vector RAG)","description":"Graph-structured premise retrieval for Lean 4","pipeline":["1. Feature extraction (regex, 0 LLM)","2. Pattern classification (9 patterns)","3. Seed resolution (SPARQL → GraphDB)","4. Graph expansion (usesInType, usesInValue)","5. PostgreSQL enrichment (lean_code, attrs)","6. Candidate classification (apply/rw/simp/def)","7. Structured formatting","8. Vector augmentation (Qdrant)"],"config":{"graphdb_url":"http://graphdb:7200/repositories/SciLib","pg_host":"postgres","qdrant_host":"qdrant","qdrant_collection":"scilib_mathlib_v1"}}