--- name: fpf:query description: "Search the FPF knowledge base and display hypothesis details with assurance information" --- # Query Knowledge Search the FPF knowledge base and display hypothesis details with assurance information. ## Action (Run-Time) 1. **Search** `.fpf/knowledge/` and `.fpf/decisions/` by user query. 2. **For each found hypothesis**, display: - Basic info: title, layer (L0/L1/L2), kind, scope - If layer >= L1: read audit section for R_eff - If has dependencies: show dependency graph - Evidence summary if exists 3. **Present results** in table format. ## Search Locations | Location | Contents | |----------|----------| | `.fpf/knowledge/L0/` | Proposed hypotheses | | `.fpf/knowledge/L1/` | Verified hypotheses | | `.fpf/knowledge/L2/` | Validated hypotheses | | `.fpf/knowledge/invalid/` | Rejected hypotheses | | `.fpf/decisions/` | Design Rationale Records | | `.fpf/evidence/` | Evidence and audit files | ## Output Format ```markdown ## Search Results for "" ### Hypotheses Found | Hypothesis | Layer | Kind | R_eff | |------------|-------|------|-------| | redis-caching | L2 | system | 0.85 | | cdn-edge | L2 | system | 0.72 | ### redis-caching (L2) **Title**: Use Redis for Caching **Kind**: system **Scope**: High-load systems, Linux only **R_eff**: 0.85 **Weakest Link**: internal test (0.85) **Dependencies**: ``` [redis-caching R:0.85] └── (no dependencies) ``` **Evidence**: - ev-benchmark-redis-caching-2025-01-15 (internal, PASS) ### cdn-edge (L2) **Title**: Use CDN Edge Cache **Kind**: system **Scope**: Static content delivery **R_eff**: 0.72 **Weakest Link**: external docs (CL1 penalty) **Evidence**: - ev-research-cdn-2025-01-10 (external, PASS) ``` ## Search Methods ### By Keyword Search file contents for matching text: ``` /fpf:query caching -> Finds all hypotheses with "caching" in title or content ``` ### By Specific ID Look up a specific hypothesis: ``` /fpf:query redis-caching -> Shows full details for redis-caching -> Displays dependency tree -> Shows R_eff breakdown ``` ### By Layer Filter by knowledge layer: ``` /fpf:query L2 -> Lists all L2 hypotheses with R_eff scores ``` ### By Decision Search decision records: ``` /fpf:query DRR -> Lists all Design Rationale Records -> Shows what each DRR selected/rejected ``` ## R_eff Display For L1+ hypotheses, read the audit section and display: ```markdown **R_eff Breakdown**: - Self Score: 1.00 - Weakest Link: ev-research-redis (0.90) - Dependency Penalty: none - **Final R_eff**: 0.85 ``` ## Dependency Tree Display If hypothesis has `depends_on`, show the tree: ``` [api-gateway R:0.80] └──(CL:3)── [auth-module R:0.85] └──(CL:2)── [rate-limiter R:0.90] ``` Legend: - `R:X.XX` = R_eff score - `CL:N` = Congruence Level (1-3) ## Examples **Search by keyword:** ``` User: /fpf:query caching Results: | Hypothesis | Layer | R_eff | |------------|-------|-------| | redis-caching | L2 | 0.85 | | cdn-edge-cache | L2 | 0.72 | | lru-cache | invalid | N/A | ``` **Query specific hypothesis:** ``` User: /fpf:query redis-caching # redis-caching (L2) Title: Use Redis for Caching Kind: system Scope: High-load systems R_eff: 0.85 Evidence: 2 files ``` **Query decisions:** ``` User: /fpf:query DRR # Design Rationale Records | DRR | Date | Winner | Rejected | |-----|------|--------|----------| | DRR-2025-01-15-caching | 2025-01-15 | redis-caching | cdn-edge | ```