rfc: search plan truth, retrieval algebra, analyzed lexical search, and the query kernel

crates/omnigraph-gqt/cases/bm25_statistics_ignore_eligibility_filter.gqt

@@ -0,0 +1,80 @@
+# issue: none
+# notes: `Doc` holds ten rows, four in group "e" (three "alpha", one "beta") and six "beta" rows in
+# notes: group "o"; `Four` holds only the four group-"e" rows. The query "alpha beta" filtered to
+# notes: group "e" ranks an alpha row first: the filter is a prefilter and BM25 statistics come from
+# notes: the whole field (alpha is rare in ten). The same four rows as their own type rank the beta
+# notes: row first (beta is rare in four). Same eligible rows, different winner; the analyzed
+# notes: lexical search RFC (docs/rfcs/2026-09-18-analyzed-lexical-search.md) chooses the field
+# notes: corpus, so this pins the current answer as the contract.
+
+--- runner
+timeout_ms: 10000
+environments:
+  - target: omnigraph-engine
+    storage: local-filesystem
+
+--- schema
+node Doc {
+    slug: String @key
+    group: String
+    title: String @index
+}
+
+node Four {
+    slug: String @key
+    title: String @index
+}
+
+--- seed
+{"type":"Doc","data":{"slug":"e1","group":"e","title":"alpha kiwi"}}
+{"type":"Doc","data":{"slug":"e2","group":"e","title":"alpha mango"}}
+{"type":"Doc","data":{"slug":"e3","group":"e","title":"alpha pear"}}
+{"type":"Doc","data":{"slug":"e4","group":"e","title":"beta plum"}}
+{"type":"Doc","data":{"slug":"o1","group":"o","title":"beta fig"}}
+{"type":"Doc","data":{"slug":"o2","group":"o","title":"beta lime"}}
+{"type":"Doc","data":{"slug":"o3","group":"o","title":"beta kale"}}
+{"type":"Doc","data":{"slug":"o4","group":"o","title":"beta yam"}}
+{"type":"Doc","data":{"slug":"o5","group":"o","title":"beta corn"}}
+{"type":"Doc","data":{"slug":"o6","group":"o","title":"beta bean"}}
+{"type":"Four","data":{"slug":"f1","title":"alpha kiwi"}}
+{"type":"Four","data":{"slug":"f2","title":"alpha mango"}}
+{"type":"Four","data":{"slug":"f3","title":"alpha pear"}}
+{"type":"Four","data":{"slug":"f4","title":"beta plum"}}
+
+--- query
+query filtered_in_ten($q: String) {
+    match {
+        $d: Doc { group: "e" }
+    }
+    return { $d.slug }
+    order { bm25($d.title, $q) }
+    limit 1
+}
+
+--- params
+{"q": "alpha beta"}
+
+--- expect ordered
+{"d.slug": "e1"}
+
+--- expect shape
+d.slug: String
+
+--- query
+query same_rows_as_four($q: String) {
+    match {
+        $f: Four
+    }
+    return { $f.slug }
+    order { bm25($f.title, $q) }
+    limit 1
+}
+
+--- params
+{"q": "alpha beta"}
+
+--- expect ordered
+{"f.slug": "f4"}
+
+--- expect shape
+f.slug: String

docs/rfcs/README.md

@@ -198,6 +198,8 @@ then dated RFCs by date.
 | [0044](0044-edge-keys.md) | Edge keys: derived edge identity | maintainer | draft | in-progress |
 | [0045](0045-gq-logic-tests.md) | GQ logic tests | maintainer | draft | partial |
 | [0046](0046-index-status.md) | Read-only index status | maintainer | draft | not-started |
+| [0047](0047-search-plan-truth.md) | Search plan truth: projectable ranking, deterministic order, and loud search failures | public | accepted | not-started |
+| [0048](0048-search-contracts.md) | Search contracts and retrieval algebra | public | draft | not-started |
 | [0049](0049-control-plane-seams.md) | Control-plane seams: observe, readiness witness, bounded shutdown | maintainer | accepted | partial |
 | [0051](0051-json-output-via-arrow.md) | JSON output via Arrow | maintainer | draft | partial |
 | [0052](0052-managed-control-plane-cli.md) | Managed control-plane CLI | maintainer | accepted | complete |
@@ -217,4 +219,6 @@ then dated RFCs by date.
 | [2026-09-09](2026-09-09-identity-credentials-and-applied-policy.md) | Identity credentials and applied policy authorization | maintainer | accepted | complete |
 | [2026-09-14](2026-09-14-compatibility-surfaces.md) | Compatibility surfaces | maintainer | draft | not-started |
 | [2026-09-16](2026-09-16-session-settings.md) | Session settings | maintainer | draft | in-progress |
+| [2026-09-18](2026-09-18-analyzed-lexical-search.md) | Analyzed lexical search: schema-owned matching and ranking | public | draft | not-started |
+| [2026-09-18](2026-09-18-gq-composition-and-language-evolution.md) | GQ composition and language evolution | maintainer | draft | not-started |
 | [2026-09-24](2026-09-24-shared-expression-model.md) | Shared expression model | maintainer | draft | in-progress |