Pinitsdv commented on PR #8628:
URL: https://github.com/apache/texera/pull/8628#issuecomment-6129577314
<html>
<body>
<!--StartFragment--><p style="box-sizing: border-box; border: 0px solid
color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px; outline-color: rgb(85, 152,
231); scrollbar-width: thin; app-region: initial; margin-block: 0px;
padding-inline: 0px; min-width: 0px; text-rendering: optimizelegibility;
text-wrap: pretty; unicode-bidi: plaintext; color: rgb(240, 239, 236);
font-family: anthropic-serif, "Anthropic Serif Fallback Georgia",
"Anthropic Serif Fallback Times", "Anthropic Serif Fallback
DejaVu", "Anthropic Serif Fallback Noto", Georgia, "Arial
Hebrew", "Noto Sans Hebrew", "Times New Roman", Times,
"PingFang SC", "Microsoft YaHei", "Noto Sans CJK
SC", "PingFang TC", "Microsoft JhengHei", "Noto
Sans CJK TC", "Hiragino Sans", "Yu Gothic", Meiryo,
"Noto Sans CJK JP", "Apple SD Gothic Neo", "Malgun
Gothic", &q
uot;Noto Sans CJK KR", "Kohinoor Devanagari", "Kohinoor
Bangla", "Kohinoor Telugu", "Tamil Sangam MN",
"Kohinoor Gujarati", "Malayalam Sangam MN", "Nirmala
UI", "Noto Sans Devanagari UI", "Noto Sans
Devanagari", "Noto Sans Bengali UI", "Noto Sans
Bengali", "Noto Sans Telugu UI", "Noto Sans Telugu",
"Noto Sans Tamil UI", "Noto Sans Tamil", "Noto Sans
Gujarati UI", "Noto Sans Gujarati", "Noto Sans Kannada
UI", "Noto Sans Kannada", "Noto Sans Malayalam UI",
"Noto Sans Malayalam", Thonburi, "Leelawadee UI",
"Noto Sans Thai UI", "Noto Sans Thai", Kefa, Ebrima,
"Noto Sans Ethiopic", "Abyssinica SIL", serif; font-size:
15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:
normal; font-weight: 400; letter-sp
acing: normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width:
0px; white-space-collapse: collapse; background-color: rgb(26, 26, 25);
text-decoration-thickness: initial; text-decoration-style: initial;
text-decoration-color: initial;">Thanks both for the careful look.</p><h2
id="user-content-initialization-retry-carloea2"
class="epitaxy-document-heading" style="box-sizing: border-box; border: 0px
solid color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px; outline-color:
rgb(85, 152, 231); scrollbar-width: thin; app-region: initial; font-size:
1.35em; font-weight: 500; padding-inline: 0px; --cds-font-axis-wght:
"wght" 560,; font-variation-settings: "wght" 460;
font-family: anthropic-serif, "Anthropic Serif Fallback Georgia",
"Anthropic Serif Fallback Times", "Anthropic Serif Fallback
DejaVu", "Anthropic Serif Fallback Noto", Georgia, "Arial H
ebrew", "Noto Sans Hebrew", "Times New Roman", Times,
"PingFang SC", "Microsoft YaHei", "Noto Sans CJK
SC", "PingFang TC", "Microsoft JhengHei", "Noto
Sans CJK TC", "Hiragino Sans", "Yu Gothic", Meiryo,
"Noto Sans CJK JP", "Apple SD Gothic Neo", "Malgun
Gothic", "Noto Sans CJK KR", "Kohinoor Devanagari",
"Kohinoor Bangla", "Kohinoor Telugu", "Tamil Sangam
MN", "Kohinoor Gujarati", "Malayalam Sangam MN",
"Nirmala UI", "Noto Sans Devanagari UI", "Noto Sans
Devanagari", "Noto Sans Bengali UI", "Noto Sans
Bengali", "Noto Sans Telugu UI", "Noto Sans Telugu",
"Noto Sans Tamil UI", "Noto Sans Tamil", "Noto Sans
Gujarati UI", "Noto Sans Gujarati", "Noto Sans Kannada
UI",
"Noto Sans Kannada", "Noto Sans Malayalam UI", "Noto
Sans Malayalam", Thonburi, "Leelawadee UI", "Noto Sans Thai
UI", "Noto Sans Thai", Kefa, Ebrima, "Noto Sans
Ethiopic", "Abyssinica SIL", serif; margin-block: 37.5px 0px;
--_prose-h-space: 2.5; line-height: 1.25; min-width: 0px; text-rendering:
optimizelegibility; text-wrap: balance; unicode-bidi: plaintext; color:
rgb(240, 239, 236); font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; letter-spacing: normal; orphans: 2; text-align:
start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px;
-webkit-text-stroke-width: 0px; white-space-collapse: collapse;
background-color: rgb(26, 26, 25); text-decoration-thickness: initial;
text-decoration-style: initial; text-decoration-color: initial;">Initialization
retry (@carloea2)</h2><p style="box-sizing: border-box; border: 0px solid
color(srgb 1 1 1 / 0.1); margin: 0p
x; padding: 0px; outline-color: rgb(85, 152, 231); scrollbar-width: thin;
app-region: initial; margin-block: 10.005px 0px; padding-inline: 0px;
min-width: 0px; text-rendering: optimizelegibility; text-wrap: pretty;
unicode-bidi: plaintext; color: rgb(240, 239, 236); font-family:
anthropic-serif, "Anthropic Serif Fallback Georgia", "Anthropic
Serif Fallback Times", "Anthropic Serif Fallback DejaVu",
"Anthropic Serif Fallback Noto", Georgia, "Arial Hebrew",
"Noto Sans Hebrew", "Times New Roman", Times,
"PingFang SC", "Microsoft YaHei", "Noto Sans CJK
SC", "PingFang TC", "Microsoft JhengHei", "Noto
Sans CJK TC", "Hiragino Sans", "Yu Gothic", Meiryo,
"Noto Sans CJK JP", "Apple SD Gothic Neo", "Malgun
Gothic", "Noto Sans CJK KR", "Kohinoor Devanagari",
"Kohinoor Bangla", "Kohi
noor Telugu", "Tamil Sangam MN", "Kohinoor Gujarati",
"Malayalam Sangam MN", "Nirmala UI", "Noto Sans
Devanagari UI", "Noto Sans Devanagari", "Noto Sans Bengali
UI", "Noto Sans Bengali", "Noto Sans Telugu UI",
"Noto Sans Telugu", "Noto Sans Tamil UI", "Noto Sans
Tamil", "Noto Sans Gujarati UI", "Noto Sans Gujarati",
"Noto Sans Kannada UI", "Noto Sans Kannada", "Noto
Sans Malayalam UI", "Noto Sans Malayalam", Thonburi,
"Leelawadee UI", "Noto Sans Thai UI", "Noto Sans
Thai", Kefa, Ebrima, "Noto Sans Ethiopic", "Abyssinica
SIL", serif; font-size: 15px; font-style: normal; font-variant-ligatures:
normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal;
orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows:
2; wor
d-spacing: 0px; -webkit-text-stroke-width: 0px; white-space-collapse:
collapse; background-color: rgb(26, 26, 25); text-decoration-thickness:
initial; text-decoration-style: initial; text-decoration-color: initial;">Fixed
in<span> </span><code data-epitaxy-inline-code="" style="box-sizing:
border-box; border: 0.730994px solid color(srgb 1 1 1 / 0.1); margin: 0px;
padding: 0.12em 0.36em; outline-color: rgb(85, 152, 231); scrollbar-width:
thin; app-region: initial; font-family: anthropic-mono, ui-monospace,
monospace, "SF Mono", ui-monospace, Menlo, Consolas, monospace;
font-feature-settings: "calt" 0, "liga" 0;
font-variation-settings: normal; font-size: 0.9em; color: rgb(240, 239, 236);
background: none 0% 0% / auto repeat scroll padding-box border-box color(srgb 1
1 1 / 0.05); white-space: pre-wrap; overflow-wrap: break-word; border-radius:
4px; line-height: 1; margin-block-start: 0px; font-variant-ligatures: none;
text-rendering: optimizelegibility;
-webkit-box-decoration-break: clone; box-decoration-break:
clone;">b3c486d</code>.<span> </span><code data-epitaxy-inline-code=""
style="box-sizing: border-box; border: 0.730994px solid color(srgb 1 1 1 /
0.1); margin: 0px; padding: 0.12em 0.36em; outline-color: rgb(85, 152, 231);
scrollbar-width: thin; app-region: initial; font-family: anthropic-mono,
ui-monospace, monospace, "SF Mono", ui-monospace, Menlo, Consolas,
monospace; font-feature-settings: "calt" 0, "liga" 0;
font-variation-settings: normal; font-size: 0.9em; color: rgb(240, 239, 236);
background: none 0% 0% / auto repeat scroll padding-box border-box color(srgb 1
1 1 / 0.05); white-space: pre-wrap; overflow-wrap: break-word; border-radius:
4px; line-height: 1; font-variant-ligatures: none; text-rendering:
optimizelegibility; -webkit-box-decoration-break: clone; box-decoration-break:
clone;">ready()</code><span> </span>now drops the cached promise when loading
fails, so a later search make
s a fresh attempt, while callers that arrive during an attempt still share
that one attempt.</p><p style="box-sizing: border-box; border: 0px solid
color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px; outline-color: rgb(85, 152,
231); scrollbar-width: thin; app-region: initial; margin-block: 15px 0px;
padding-inline: 0px; min-width: 0px; text-rendering: optimizelegibility;
text-wrap: pretty; unicode-bidi: plaintext; color: rgb(240, 239, 236);
font-family: anthropic-serif, "Anthropic Serif Fallback Georgia",
"Anthropic Serif Fallback Times", "Anthropic Serif Fallback
DejaVu", "Anthropic Serif Fallback Noto", Georgia, "Arial
Hebrew", "Noto Sans Hebrew", "Times New Roman", Times,
"PingFang SC", "Microsoft YaHei", "Noto Sans CJK
SC", "PingFang TC", "Microsoft JhengHei", "Noto
Sans CJK TC", "Hiragino Sans", "Yu Gothic", Meiryo,
"Noto Sa
ns CJK JP", "Apple SD Gothic Neo", "Malgun Gothic",
"Noto Sans CJK KR", "Kohinoor Devanagari", "Kohinoor
Bangla", "Kohinoor Telugu", "Tamil Sangam MN",
"Kohinoor Gujarati", "Malayalam Sangam MN", "Nirmala
UI", "Noto Sans Devanagari UI", "Noto Sans
Devanagari", "Noto Sans Bengali UI", "Noto Sans
Bengali", "Noto Sans Telugu UI", "Noto Sans Telugu",
"Noto Sans Tamil UI", "Noto Sans Tamil", "Noto Sans
Gujarati UI", "Noto Sans Gujarati", "Noto Sans Kannada
UI", "Noto Sans Kannada", "Noto Sans Malayalam UI",
"Noto Sans Malayalam", Thonburi, "Leelawadee UI",
"Noto Sans Thai UI", "Noto Sans Thai", Kefa, Ebrima,
"Noto Sans Ethiopic", "Abyssinica SIL", serif; font-size:
15px; font-style: normal; font-va
riant-ligatures: normal; font-variant-caps: normal; font-weight: 400;
letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width:
0px; white-space-collapse: collapse; background-color: rgb(26, 26, 25);
text-decoration-thickness: initial; text-decoration-style: initial;
text-decoration-color: initial;">Added<span> </span><code
data-epitaxy-inline-code="" style="box-sizing: border-box; border: 0.730994px
solid color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0.12em 0.36em;
outline-color: rgb(85, 152, 231); scrollbar-width: thin; app-region: initial;
font-family: anthropic-mono, ui-monospace, monospace, "SF Mono",
ui-monospace, Menlo, Consolas, monospace; font-feature-settings:
"calt" 0, "liga" 0; font-variation-settings: normal;
font-size: 0.9em; color: rgb(240, 239, 236); background: none 0% 0% / auto
repeat scroll padding-box border-box color(srgb 1 1 1 / 0.05); w
hite-space: pre-wrap; overflow-wrap: break-word; border-radius: 4px;
line-height: 1; margin-block-start: 0px; font-variant-ligatures: none;
text-rendering: optimizelegibility; -webkit-box-decoration-break: clone;
box-decoration-break:
clone;">semantic-operator-search.service.spec.ts</code><span> </span>with four
cases: the retry, one load shared across concurrent searches, the ranking
order, and the filtering to operators the palette is offering. The retry case
fails against the previous implementation — that is how it was checked.</p><div
data-not-prose="" style="box-sizing: border-box; border: 0px solid color(srgb 1
1 1 / 0.1); margin: 0px; padding: 0px; outline-color: rgb(85, 152, 231);
scrollbar-width: thin; app-region: initial; margin-block: 15px 0px; min-width:
0px; text-rendering: optimizelegibility; color: rgb(240, 239, 236);
font-family: anthropic-serif, "Anthropic Serif Fallback Georgia",
"Anthropic Serif Fallback Times", "Anthropic Serif Fallba
ck DejaVu", "Anthropic Serif Fallback Noto", Georgia,
"Arial Hebrew", "Noto Sans Hebrew", "Times New
Roman", Times, "PingFang SC", "Microsoft YaHei",
"Noto Sans CJK SC", "PingFang TC", "Microsoft
JhengHei", "Noto Sans CJK TC", "Hiragino Sans",
"Yu Gothic", Meiryo, "Noto Sans CJK JP", "Apple SD
Gothic Neo", "Malgun Gothic", "Noto Sans CJK KR",
"Kohinoor Devanagari", "Kohinoor Bangla", "Kohinoor
Telugu", "Tamil Sangam MN", "Kohinoor Gujarati",
"Malayalam Sangam MN", "Nirmala UI", "Noto Sans
Devanagari UI", "Noto Sans Devanagari", "Noto Sans Bengali
UI", "Noto Sans Bengali", "Noto Sans Telugu UI",
"Noto Sans Telugu", "Noto Sans Tamil UI", "Noto Sans
Tamil", "Noto Sans Guj
arati UI", "Noto Sans Gujarati", "Noto Sans Kannada
UI", "Noto Sans Kannada", "Noto Sans Malayalam UI",
"Noto Sans Malayalam", Thonburi, "Leelawadee UI",
"Noto Sans Thai UI", "Noto Sans Thai", Kefa, Ebrima,
"Noto Sans Ethiopic", "Abyssinica SIL", serif; font-size:
15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:
normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align:
start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px;
-webkit-text-stroke-width: 0px; white-space: normal; background-color: rgb(26,
26, 25); text-decoration-thickness: initial; text-decoration-style: initial;
text-decoration-color: initial;"><div class="epitaxy-codeblock relative
max-w-full w-fit min-w-[min(100%,318px)]" style="box-sizing: border-box;
border: 0px solid color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px;
outline-color: rgb(85, 152,
231); scrollbar-width: thin; app-region: initial; position: relative; width:
318.051px; max-width: 100%; min-width: min(100%, 318px); text-rendering:
optimizelegibility;"><div class="relative" style="box-sizing: border-box;
border: 0px solid color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px;
outline-color: rgb(85, 152, 231); scrollbar-width: thin; app-region: initial;
position: relative; text-rendering: optimizelegibility;"><div
data-code-text="cd frontend
node --max-old-space-size=8192 ./node_modules/@angular/cli/bin/ng.js test
--watch=false \
--include="src/app/workspace/service/semantic-search/semantic-operator-search.service.spec.ts"
\
--include="src/app/workspace/component/left-panel/operator-menu/operator-menu.component.spec.ts"
Test Files 2 passed (2)
Tests 21 passed (21)" class="epitaxy-diff epitaxy-fence rounded-lg
overflow-clip" style="box-sizing: border-box; border: 0px solid color(srgb 1 1
1 / 0.1); margin: 0px; padding: 0px; outline-color: rgb(85, 152, 231);
scrollbar-width: thin; app-region: initial; border-radius: 8px; overflow: clip;
text-rendering: optimizelegibility; --diffs-font-size: calc(calc(.9375rem * 1)
- .125rem); --diffs-line-height: calc(calc(calc(.9375rem * 1) - .125rem) *
1.54); --diffs-font-family: "anthropic-mono", ui-monospace,
monospace, "SF Mono", ui-monospace, Menlo, Consolas, monospace;
--diffs-header-font-family: "anthropic-sans", system-ui, "Segoe
UI", Roboto, Helvetica, Arial, "PingFang SC", "PingFang
TC", "Hiragino Sans", "Apple SD Gothic Neo",
"Kohinoor Devanagari", "Kohinoor Bangla", "Kohinoor
Telugu", "Tamil Sangam MN", "Kohinoor Gujarati",
"Malayalam
Sangam MN", "Nirmala UI", "Noto Sans Devanagari UI",
"Noto Sans Devanagari", "Noto Sans Bengali UI", "Noto
Sans Bengali", "Noto Sans Telugu UI", "Noto Sans
Telugu", "Noto Sans Tamil UI", "Noto Sans Tamil",
"Noto Sans Gujarati UI", "Noto Sans Gujarati", "Noto
Sans Kannada UI", "Noto Sans Kannada", "Noto Sans Malayalam
UI", "Noto Sans Malayalam", Thonburi, "Leelawadee UI",
"Noto Sans Thai UI", "Noto Sans Thai", Kefa, Ebrima,
"Noto Sans Ethiopic", "Abyssinica SIL", sans-serif,
ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto,
"PingFang SC", "PingFang TC", "Hiragino Sans",
"Apple SD Gothic Neo", sans-serif; --diffs-addition-color-override:
#32d74b; --diffs-deletion-color-override: #ff2c56;
--diffs-modified-color-override: #6d
a7ec; --diffs-gap-inline: calc(.5rem * 1); --diffs-gap-block: calc(.25rem *
1); position: relative;"><diffs-container style="--diffs-font-fallback:
"SF Mono", Monaco, Consolas, "Ubuntu Mono",
"Liberation Mono",
"Courier New", monospace; --diffs-header-font-fallback:
system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica
Neue",
"Noto Sans", "Liberation Sans", Arial, sans-serif;
--diffs-mixer: light-dark(#000, #fff); --diffs-gap-fallback: 8px;
--diffs-scrollbar-gutter-fallback: 6px; --diffs-scrollbar-gutter: 12px;
--diffs-added-light: #0dbe4e; --diffs-added-dark: #5ecc71;
--diffs-modified-light: #009fff; --diffs-modified-dark: #69b1ff;
--diffs-deleted-light: #ff2e3f; --diffs-deleted-dark: #ff6762;
--diffs-warning-light: #d5a910; --diffs-warning-dark: #ffd452; color-scheme:
dark; font-family: anthropic-sans, system-ui, "Segoe UI", Roboto,
Helvetica, Arial, "PingFang SC", "PingFang TC",
"Hiragino Sans", "Apple SD Gothic Neo", "Kohinoor
Devanagari", "Kohinoor Bangla", "Kohinoor Telugu",
"Tamil Sangam MN", "Kohinoor Gujarati", "Malayalam
Sangam MN", "Nirmala UI", "Noto Sans Devanagari UI",
"Noto Sans Devanagari", "Noto Sans Bengali UI",
"Noto Sans Bengali", "Noto Sans Telugu UI", "Noto
Sans Telugu", "Noto Sans Tamil UI", "Noto Sans Tamil",
"Noto Sans Gujarati UI", "Noto Sans Gujarati", "Noto
Sans Kannada UI", "Noto Sans Kannada", "Noto Sans Malayalam
UI", "Noto Sans Malayalam", Thonburi, "Leelawadee UI",
"Noto Sans Thai UI", "Noto Sans Thai", Kefa, Ebrima,
"Noto Sans Ethiopic", "Abyssinica SIL", sans-serif,
ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto,
"PingFang SC", "PingFang TC", "Hiragino Sans",
"Apple SD Gothic Neo", sans-serif; font-size: 13px; line-height:
20.02px; font-feature-settings: normal; --diffs-bg: light-dark(#ffffff,
#1a1a19); --diffs-bg-buffer: light-dark(color-mix(in lab, light-dark(#ffffff,
#1a1a19) 92%, light-dark(#000, #fff)), color-mix(in lab, light-dark(#ffffff,
#1a1a19)
92%, light-dark(#000, #fff))); --diffs-bg-context: light-dark(color-mix(in
lab, light-dark(#ffffff, #1a1a19) 98.5%, light-dark(#000, #fff)), color-mix(in
lab, light-dark(#ffffff, #1a1a19) 92.5%, light-dark(#000, #fff)));
--diffs-bg-context-gutter: light-dark(color-mix(in lab, light-dark(color-mix(in
lab, light-dark(#ffffff, #1a1a19) 98.5%, light-dark(#000, #fff)), color-mix(in
lab, light-dark(#ffffff, #1a1a19) 92.5%, light-dark(#000, #fff))) 90%,
light-dark(#ffffff, #1a1a19)), color-mix(in lab, light-dark(color-mix(in lab,
light-dark(#ffffff, #1a1a19) 98.5%, light-dark(#000, #fff)), color-mix(in lab,
light-dark(#ffffff, #1a1a19) 92.5%, light-dark(#000, #fff))) 45%,
light-dark(#ffffff, #1a1a19))); --diffs-bg-separator: light-dark(color-mix(in
lab, light-dark(#ffffff, #1a1a19) 96%, light-dark(#000, #fff)), color-mix(in
lab, light-dark(#ffffff, #1a1a19) 85%, light-dark(#000, #fff))); --diffs-fg:
light-dark(#1a1a1a, #eaecf0); --diffs-fg-number: light-dark(color-mix(in lab,
light-dark(#
1a1a1a, #eaecf0) 65%, light-dark(#ffffff, #1a1a19)), color-mix(in lab,
light-dark(#1a1a1a, #eaecf0) 65%, light-dark(#ffffff, #1a1a19)));
--diffs-fg-conflict-marker: light-dark(color-mix(in lab, light-dark(#1a1a1a,
#eaecf0) 65%, light-dark(#ffffff, #1a1a19)), color-mix(in lab,
light-dark(#1a1a1a, #eaecf0) 65%, light-dark(#ffffff, #1a1a19)));
--diffs-deletion-base: #ff2c56; --diffs-addition-base: #32d74b;
--diffs-modified-base: #6da7ec; --diffs-bg-deletion: light-dark(color-mix(in
lab, light-dark(#ffffff, #1a1a19) 88%, #ff2c56), color-mix(in lab,
light-dark(#ffffff, #1a1a19) 80%, #ff2c56)); --diffs-bg-deletion-emphasis:
light-dark(rgb(from #ff2c56 r g b / .15), rgb(from #ff2c56 r g b / .2));
--diffs-bg-addition: light-dark(color-mix(in lab, light-dark(#ffffff, #1a1a19)
88%, #32d74b), color-mix(in lab, light-dark(#ffffff, #1a1a19) 80%, #32d74b));
--diffs-bg-addition-emphasis: light-dark(rgb(from #32d74b r g b / .15),
rgb(from #32d74b r g b / .2)); --diffs-selection-base: #6da7ec; --dif
fs-selection-number-fg: light-dark(color-mix(in lab, #6da7ec 65%,
light-dark(#000, #fff)), color-mix(in lab, #6da7ec 75%, light-dark(#000,
#fff))); background-color: rgb(26, 26, 25); color: rgb(234, 236, 240); display:
block; --diffs-scrollbar-gutter-measured: 12px; --diffs-dark: #eaecf0;
--diffs-dark-bg: #1a1a19; --diffs-dark-addition-color: #32d74b;
--diffs-dark-deletion-color: #ff3a30; --diffs-dark-modified-color: #0099ff;
--diffs-light: #1a1a1a; --diffs-light-bg: #ffffff;
--diffs-light-addition-color: #1e9e3c; --diffs-light-deletion-color: #ff3a30;
--diffs-light-modified-color: #0073e6; box-sizing: border-box; border: 0px
solid color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px; outline-color:
rgb(85, 152, 231); scrollbar-width: thin; app-region: initial; text-rendering:
optimizelegibility; --lightningcss-light: ; --lightningcss-dark: initial;"><pre
data-file="" data-disable-line-numbers="" data-overflow="wrap"
style="box-sizing: border-box; isolation: isolate; font-family: anth
ropic-mono, ui-monospace, monospace, "SF Mono", ui-monospace, Menlo,
Consolas, monospace; outline: none; margin: 0px; padding: 8px 45.7982px 8px
17.7982px; display: block; background-color: rgb(26, 26, 25);
--diffs-grid-number-column-width: minmax(min-content, max-content);
--diffs-code-grid: minmax(min-content, max-content) 1fr; letter-spacing:
calc(-1ch + round(up, 1ch, 0.015625px)); font-feature-settings:
"liga", "clig", "calt";
--diffs-min-number-column-width-default: 1ch;"><code data-code=""
style="box-sizing: border-box; isolation: isolate; font-family: anthropic-mono,
ui-monospace, monospace, "SF Mono", ui-monospace, Menlo, Consolas,
monospace; outline: none; margin: 0px; padding: 4px 0px 0px; display: grid;
background-color: rgb(26, 26, 25); contain: content; grid-auto-flow: dense;
grid-template-columns: minmax(min-content, max-content) 1fr; overflow: clip;
overscroll-behavior-x: none; tab-size: 2; scrollbar-gutter: stable; a
lign-self: flex-start; padding-block: 0px;"><div data-gutter=""
style="box-sizing: border-box; grid-template-rows: subgrid;
grid-template-columns: subgrid; z-index: 3; background-color: rgb(26, 26, 25);
grid-area: span 7 / 1; display: grid; position: relative;"><div
data-line-type="context" data-column-number="1" data-line-index="0"
style="box-sizing: content-box; --diffs-computed-decoration-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-diff-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-selected-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-editor-active-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-hovered-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-hover-mix-target: light-dark(#000, #fff);
--diffs-line-bg: light-dark(#ffffff, #1a1a19); color: lab(63.8948 -0.153136
-1.17806); background-color: rgb(26, 26, 25); --diffs-selection-mix-target:
#6da7ec; --diffs-selection-emphasis-mix-target: #6da7ec; padding-inline: 1ch;
position: relative; text-ali
gn: right; user-select: none; padding: 0px; border-right: 0px; min-width:
0px;"></div><div data-line-type="context" data-column-number="2"
data-line-index="1" style="box-sizing: content-box;
--diffs-computed-decoration-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-diff-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-selected-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-editor-active-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-hovered-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-hover-mix-target: light-dark(#000, #fff); --diffs-line-bg:
light-dark(#ffffff, #1a1a19); color: lab(63.8948 -0.153136 -1.17806);
background-color: rgb(26, 26, 25); --diffs-selection-mix-target: #6da7ec;
--diffs-selection-emphasis-mix-target: #6da7ec; padding-inline: 1ch; position:
relative; text-align: right; user-select: none; padding: 0px; border-right:
0px; min-width: 0px;"></div><div data-line-type="context"
data-column-number="3" data-line-index="2" style="box-sizing
: content-box; --diffs-computed-decoration-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-diff-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-selected-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-editor-active-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-hovered-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-hover-mix-target: light-dark(#000, #fff); --diffs-line-bg:
light-dark(#ffffff, #1a1a19); color: lab(63.8948 -0.153136 -1.17806);
background-color: rgb(26, 26, 25); --diffs-selection-mix-target: #6da7ec;
--diffs-selection-emphasis-mix-target: #6da7ec; padding-inline: 1ch; position:
relative; text-align: right; user-select: none; padding: 0px; border-right:
0px; min-width: 0px;"></div><div data-line-type="context"
data-column-number="4" data-line-index="3" style="box-sizing: content-box;
--diffs-computed-decoration-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-diff-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-selected-line-bg: lig
ht-dark(#ffffff, #1a1a19); --diffs-computed-editor-active-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-hovered-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-hover-mix-target: light-dark(#000, #fff);
--diffs-line-bg: light-dark(#ffffff, #1a1a19); color: lab(63.8948 -0.153136
-1.17806); background-color: rgb(26, 26, 25); --diffs-selection-mix-target:
#6da7ec; --diffs-selection-emphasis-mix-target: #6da7ec; padding-inline: 1ch;
position: relative; text-align: right; user-select: none; padding: 0px;
border-right: 0px; min-width: 0px;"></div><div data-line-type="context"
data-column-number="5" data-line-index="4" style="box-sizing: content-box;
--diffs-computed-decoration-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-diff-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-selected-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-editor-active-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-hovered-line-bg: light-dark(#ffffff, #1a1a19); --diffs-hover-m
ix-target: light-dark(#000, #fff); --diffs-line-bg: light-dark(#ffffff,
#1a1a19); color: lab(63.8948 -0.153136 -1.17806); background-color: rgb(26, 26,
25); --diffs-selection-mix-target: #6da7ec;
--diffs-selection-emphasis-mix-target: #6da7ec; padding-inline: 1ch; position:
relative; text-align: right; user-select: none; padding: 0px; border-right:
0px; min-width: 0px;"></div><div data-line-type="context"
data-column-number="6" data-line-index="5" style="box-sizing: content-box;
--diffs-computed-decoration-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-diff-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-selected-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-editor-active-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-hovered-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-hover-mix-target: light-dark(#000, #fff); --diffs-line-bg:
light-dark(#ffffff, #1a1a19); color: lab(63.8948 -0.153136 -1.17806);
background-color: rgb(26, 26, 25); --diffs-selection-m
ix-target: #6da7ec; --diffs-selection-emphasis-mix-target: #6da7ec;
padding-inline: 1ch; position: relative; text-align: right; user-select: none;
padding: 0px; border-right: 0px; min-width: 0px;"></div><div
data-line-type="context" data-column-number="7" data-line-index="6"
style="box-sizing: content-box; --diffs-computed-decoration-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-diff-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-selected-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-editor-active-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-hovered-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-hover-mix-target: light-dark(#000, #fff);
--diffs-line-bg: light-dark(#ffffff, #1a1a19); color: lab(63.8948 -0.153136
-1.17806); background-color: rgb(26, 26, 25); --diffs-selection-mix-target:
#6da7ec; --diffs-selection-emphasis-mix-target: #6da7ec; padding-inline: 1ch;
position: relative; text-align: right; user-select: none; padding: 0px;
border-right: 0
px; min-width: 0px;"></div></div><div data-content="" style="box-sizing:
border-box; grid-template-rows: subgrid; grid-template-columns: subgrid;
background-color: rgb(26, 26, 25); grid-area: span 7 / 2; min-width: 0px;
display: grid;"><div data-line="1" data-line-type="context" data-line-index="0"
style="box-sizing: border-box; --diffs-computed-decoration-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-diff-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-selected-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-editor-active-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-hovered-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-hover-mix-target: light-dark(#000, #fff);
--diffs-line-bg: light-dark(#ffffff, #1a1a19); color: rgb(234, 236, 240);
background-color: rgb(26, 26, 25); --diffs-selection-mix-target: #6da7ec;
--diffs-selection-emphasis-mix-target: #6da7ec; padding-inline: 0px; position:
relative; white-space: pre-wrap; word-break: break-word; min-height
: 1lh;"><span style="box-sizing: border-box; color: rgb(234, 236, 240);
background-color: rgba(0, 0, 0, 0); font-weight: 400; font-style: normal;
text-decoration: rgb(234, 236, 240);">cd frontend</span></div><div
data-line="2" data-line-type="context" data-line-index="1" style="box-sizing:
border-box; --diffs-computed-decoration-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-diff-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-selected-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-editor-active-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-hovered-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-hover-mix-target: light-dark(#000, #fff); --diffs-line-bg:
light-dark(#ffffff, #1a1a19); color: rgb(234, 236, 240); background-color:
rgb(26, 26, 25); --diffs-selection-mix-target: #6da7ec;
--diffs-selection-emphasis-mix-target: #6da7ec; padding-inline: 0px; position:
relative; white-space: pre-wrap; word-break: break-word; min-height:
1lh;"><span style="box-siz
ing: border-box; color: rgb(234, 236, 240); background-color: rgba(0, 0, 0,
0); font-weight: 400; font-style: normal; text-decoration: rgb(234, 236,
240);">node --max-old-space-size=8192 ./node_modules/@angular/cli/bin/ng.js
test --watch=false \</span></div><div data-line="3" data-line-type="context"
data-line-index="2" style="box-sizing: border-box;
--diffs-computed-decoration-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-diff-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-selected-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-editor-active-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-hovered-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-hover-mix-target: light-dark(#000, #fff); --diffs-line-bg:
light-dark(#ffffff, #1a1a19); color: rgb(234, 236, 240); background-color:
rgb(26, 26, 25); --diffs-selection-mix-target: #6da7ec;
--diffs-selection-emphasis-mix-target: #6da7ec; padding-inline: 0px; position:
relative; white-space: pre-wrap; word-break:
break-word; min-height: 1lh;"><span style="box-sizing: border-box; color:
rgb(234, 236, 240); background-color: rgba(0, 0, 0, 0); font-weight: 400;
font-style: normal; text-decoration: rgb(234, 236, 240);">
--include="src/app/workspace/service/semantic-search/semantic-operator-search.service.spec.ts"
\</span></div><div data-line="4" data-line-type="context" data-line-index="3"
style="box-sizing: border-box; --diffs-computed-decoration-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-diff-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-selected-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-editor-active-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-hovered-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-hover-mix-target: light-dark(#000, #fff);
--diffs-line-bg: light-dark(#ffffff, #1a1a19); color: rgb(234, 236, 240);
background-color: rgb(26, 26, 25); --diffs-selection-mix-target: #6da7ec;
--diffs-selection-emphasis-mix-target: #6da7ec; padding-inline: 0
px; position: relative; white-space: pre-wrap; word-break: break-word;
min-height: 1lh;"><span style="box-sizing: border-box; color: rgb(234, 236,
240); background-color: rgba(0, 0, 0, 0); font-weight: 400; font-style: normal;
text-decoration: rgb(234, 236, 240);">
--include="src/app/workspace/component/left-panel/operator-menu/operator-menu.component.spec.ts"</span></div><div
data-line="5" data-line-type="context" data-line-index="4" style="box-sizing:
border-box; --diffs-computed-decoration-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-diff-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-selected-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-editor-active-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-hovered-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-hover-mix-target: light-dark(#000, #fff); --diffs-line-bg:
light-dark(#ffffff, #1a1a19); color: rgb(234, 236, 240); background-color:
rgb(26, 26, 25); --diffs-selection-mix-target: #6da7ec; --diff
s-selection-emphasis-mix-target: #6da7ec; padding-inline: 0px; position:
relative; white-space: pre-wrap; word-break: break-word; min-height:
1lh;"><span style="box-sizing: border-box; color: rgb(234, 236, 240);
background-color: rgba(0, 0, 0, 0); font-weight: 400; font-style: normal;
text-decoration: rgb(234, 236, 240);"></span></div><div data-line="6"
data-line-type="context" data-line-index="5" style="box-sizing: border-box;
--diffs-computed-decoration-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-diff-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-selected-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-editor-active-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-computed-hovered-line-bg: light-dark(#ffffff, #1a1a19);
--diffs-hover-mix-target: light-dark(#000, #fff); --diffs-line-bg:
light-dark(#ffffff, #1a1a19); color: rgb(234, 236, 240); background-color:
rgb(26, 26, 25); --diffs-selection-mix-target: #6da7ec;
--diffs-selection-emphasis-mix-target: #6da7e
c; padding-inline: 0px; position: relative; white-space: pre-wrap; word-break:
break-word; min-height: 1lh;"><span style="box-sizing: border-box; color:
rgb(234, 236, 240); background-color: rgba(0, 0, 0, 0); font-weight: 400;
font-style: normal; text-decoration: rgb(234, 236, 240);"> Test Files 2 passed
(2)</span></div><div data-line="7" data-line-type="context" data-line-index="6"
style="box-sizing: border-box; --diffs-computed-decoration-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-diff-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-selected-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-editor-active-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-computed-hovered-line-bg:
light-dark(#ffffff, #1a1a19); --diffs-hover-mix-target: light-dark(#000, #fff);
--diffs-line-bg: light-dark(#ffffff, #1a1a19); color: rgb(234, 236, 240);
background-color: rgb(26, 26, 25); --diffs-selection-mix-target: #6da7ec;
--diffs-selection-emphasis-mix-target: #6da7ec; padding-inl
ine: 0px; position: relative; white-space: pre-wrap; word-break: break-word;
min-height: 1lh;"><span style="box-sizing: border-box; color: rgb(234, 236,
240); background-color: rgba(0, 0, 0, 0); font-weight: 400; font-style: normal;
text-decoration: rgb(234, 236, 240);"> Tests 21 passed
(21)</span></div></div></code></pre></diffs-container></div><div
class="pointer-events-none absolute inset-y-0 right-1.75 flex items-start
overflow-y-clip pb-0.5" style="box-sizing: border-box; border: 0px solid
color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px 0px 2px; outline-color:
rgb(85, 152, 231); scrollbar-width: thin; app-region: initial; display: flex;
pointer-events: none; position: absolute; inset-block: 0px; right: 7px;
align-items: flex-start; overflow-y: clip; text-rendering:
optimizelegibility;"><div class="pointer-events-auto sticky flex gap-0.75
top-[calc(max(var(--epitaxy-top-fade-height,0px),var(--fade-top,0px))+5px)]
mt-1.25" style="box-sizing: border-box; border: 0px solid
color(srgb 1 1 1 / 0.1); margin: 5px 0px 0px; padding: 0px; outline-color:
rgb(85, 152, 231); scrollbar-width: thin; app-region: initial; display: flex;
pointer-events: auto; position: sticky; top: 5px; gap: 3px; text-rendering:
optimizelegibility;"></div></div></div></div></div><h2
id="user-content-fuzzy-matching-on-the-descriptions-aglinxinyuan"
class="epitaxy-document-heading" style="box-sizing: border-box; border: 0px
solid color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px; outline-color:
rgb(85, 152, 231); scrollbar-width: thin; app-region: initial; font-size:
1.35em; font-weight: 500; padding-inline: 0px; --cds-font-axis-wght:
"wght" 560,; font-variation-settings: "wght" 460;
font-family: anthropic-serif, "Anthropic Serif Fallback Georgia",
"Anthropic Serif Fallback Times", "Anthropic Serif Fallback
DejaVu", "Anthropic Serif Fallback Noto", Georgia, "Arial
Hebrew", "Noto Sans Hebrew", "Times
New Roman", Times, "PingFang SC", "Microsoft YaHei",
"Noto Sans CJK SC", "PingFang TC", "Microsoft
JhengHei", "Noto Sans CJK TC", "Hiragino Sans",
"Yu Gothic", Meiryo, "Noto Sans CJK JP", "Apple SD
Gothic Neo", "Malgun Gothic", "Noto Sans CJK KR",
"Kohinoor Devanagari", "Kohinoor Bangla", "Kohinoor
Telugu", "Tamil Sangam MN", "Kohinoor Gujarati",
"Malayalam Sangam MN", "Nirmala UI", "Noto Sans
Devanagari UI", "Noto Sans Devanagari", "Noto Sans Bengali
UI", "Noto Sans Bengali", "Noto Sans Telugu UI",
"Noto Sans Telugu", "Noto Sans Tamil UI", "Noto Sans
Tamil", "Noto Sans Gujarati UI", "Noto Sans Gujarati",
"Noto Sans Kannada UI", "Noto Sans Kannada", "Noto
Sans Malayal
am UI", "Noto Sans Malayalam", Thonburi, "Leelawadee
UI", "Noto Sans Thai UI", "Noto Sans Thai", Kefa,
Ebrima, "Noto Sans Ethiopic", "Abyssinica SIL", serif;
margin-block: 37.5px 0px; --_prose-h-space: 2.5; line-height: 1.25; min-width:
0px; text-rendering: optimizelegibility; text-wrap: balance; unicode-bidi:
plaintext; color: rgb(240, 239, 236); font-style: normal;
font-variant-ligatures: normal; font-variant-caps: normal; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none;
widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px;
white-space-collapse: collapse; background-color: rgb(26, 26, 25);
text-decoration-thickness: initial; text-decoration-style: initial;
text-decoration-color: initial;">Fuzzy matching on the descriptions
(@aglinxinyuan)</h2><p style="box-sizing: border-box; border: 0px solid
color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px; outline-color: rgb(
85, 152, 231); scrollbar-width: thin; app-region: initial; margin-block:
10.005px 0px; padding-inline: 0px; min-width: 0px; text-rendering:
optimizelegibility; text-wrap: pretty; unicode-bidi: plaintext; color: rgb(240,
239, 236); font-family: anthropic-serif, "Anthropic Serif Fallback
Georgia", "Anthropic Serif Fallback Times", "Anthropic
Serif Fallback DejaVu", "Anthropic Serif Fallback Noto",
Georgia, "Arial Hebrew", "Noto Sans Hebrew", "Times
New Roman", Times, "PingFang SC", "Microsoft YaHei",
"Noto Sans CJK SC", "PingFang TC", "Microsoft
JhengHei", "Noto Sans CJK TC", "Hiragino Sans",
"Yu Gothic", Meiryo, "Noto Sans CJK JP", "Apple SD
Gothic Neo", "Malgun Gothic", "Noto Sans CJK KR",
"Kohinoor Devanagari", "Kohinoor Bangla", "Kohinoor
Telugu", "Tamil Sanga
m MN", "Kohinoor Gujarati", "Malayalam Sangam MN",
"Nirmala UI", "Noto Sans Devanagari UI", "Noto Sans
Devanagari", "Noto Sans Bengali UI", "Noto Sans
Bengali", "Noto Sans Telugu UI", "Noto Sans Telugu",
"Noto Sans Tamil UI", "Noto Sans Tamil", "Noto Sans
Gujarati UI", "Noto Sans Gujarati", "Noto Sans Kannada
UI", "Noto Sans Kannada", "Noto Sans Malayalam UI",
"Noto Sans Malayalam", Thonburi, "Leelawadee UI",
"Noto Sans Thai UI", "Noto Sans Thai", Kefa, Ebrima,
"Noto Sans Ethiopic", "Abyssinica SIL", serif; font-size:
15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:
normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align:
start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px;
-webkit-text-stroke-
width: 0px; white-space-collapse: collapse; background-color: rgb(26, 26, 25);
text-decoration-thickness: initial; text-decoration-style: initial;
text-decoration-color: initial;">Fair challenge, so we measured it instead of
arguing. Same 166 queries — one per operator, written from the operator
catalogue before any of this existed — the same corpus, and Texera's own
fuse.js:</p><div class="relative prose-scroll overflow-visible" data-figure=""
style="box-sizing: border-box; border: 0px solid color(srgb 1 1 1 / 0.1);
margin: 0px; padding: 0px; outline-color: rgb(85, 152, 231); scrollbar-width:
thin; app-region: initial; margin-block: 15px 0px; overflow: visible; position:
relative; min-width: 0px; text-rendering: optimizelegibility; width: auto;
max-width: none; margin-inline: 0px; display: flex; color: rgb(240, 239, 236);
font-family: anthropic-serif, "Anthropic Serif Fallback Georgia",
"Anthropic Serif Fallback Times", "Anthropic Serif Fallback
DejaVu&
quot;, "Anthropic Serif Fallback Noto", Georgia, "Arial
Hebrew", "Noto Sans Hebrew", "Times New Roman", Times,
"PingFang SC", "Microsoft YaHei", "Noto Sans CJK
SC", "PingFang TC", "Microsoft JhengHei", "Noto
Sans CJK TC", "Hiragino Sans", "Yu Gothic", Meiryo,
"Noto Sans CJK JP", "Apple SD Gothic Neo", "Malgun
Gothic", "Noto Sans CJK KR", "Kohinoor Devanagari",
"Kohinoor Bangla", "Kohinoor Telugu", "Tamil Sangam
MN", "Kohinoor Gujarati", "Malayalam Sangam MN",
"Nirmala UI", "Noto Sans Devanagari UI", "Noto Sans
Devanagari", "Noto Sans Bengali UI", "Noto Sans
Bengali", "Noto Sans Telugu UI", "Noto Sans Telugu",
"Noto Sans Tamil UI", "Noto Sans Tamil", "Noto Sans
Gujarati UI&q
uot;, "Noto Sans Gujarati", "Noto Sans Kannada UI",
"Noto Sans Kannada", "Noto Sans Malayalam UI", "Noto
Sans Malayalam", Thonburi, "Leelawadee UI", "Noto Sans Thai
UI", "Noto Sans Thai", Kefa, Ebrima, "Noto Sans
Ethiopic", "Abyssinica SIL", serif; font-size: 15px; font-style:
normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight:
400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width:
0px; white-space: normal; background-color: rgb(26, 26, 25);
text-decoration-thickness: initial; text-decoration-style: initial;
text-decoration-color: initial;"><div class="epitaxy-table-scroll rounded
border [&>table]:rounded-none [&>table]:border-0"
data-overflowing="" tabindex="0" role="region" aria-label="Tabla, se desplaza
horizontalmente" style="box-sizing: b
order-box; border: 1px solid color(srgb 1 1 1 / 0.1); margin: 0px; padding:
0px; outline-color: rgb(85, 152, 231); scrollbar-width: thin; app-region:
initial; margin-block: 0px; border-radius: 6px; text-rendering:
optimizelegibility; scrollbar-color: auto; overflow-x: auto; width:
fit-content; max-width: none; background: linear-gradient(to right, rgb(26, 26,
25) 30%, rgba(0, 0, 0, 0)) 0% 50% / 48px 100% no-repeat local padding-box
border-box, linear-gradient(to left, rgb(26, 26, 25) 30%, rgba(0, 0, 0, 0))
100% 50% / 48px 100% no-repeat local padding-box border-box, linear-gradient(to
right, color(srgb 1 1 1 / 0.2), rgba(0, 0, 0, 0)) 0% 50% / 24px 100% no-repeat
scroll padding-box border-box, linear-gradient(to left, color(srgb 1 1 1 /
0.2), rgba(0, 0, 0, 0)) 100% 50% / 24px 100% no-repeat scroll padding-box
border-box rgba(0, 0, 0, 0); flex: 0 1 auto; min-width: 0px;">
fuse.js configuration | top-1 | top-3 | median results | max
-- | -- | -- | -- | --
keys: [userFriendlyName], threshold: 0.3 — today | 1 / 166 | 2 / 166 | 0 | 2
keys: [name, description], threshold: 0.5, ignoreLocation | 46 / 166 | 62 /
166 | 2 | 32
keys: [name, description], threshold: 0.6, ignoreLocation | 47 / 166 | 74 /
166 | 16 | 51
embedding ranker — this PR | 99 / 166 | 137 / 166 | 3 | 3
</div><span data-not-prose="" class="epitaxy-table-expand absolute end-0.75
top-0.75 flex rounded bg-surface-panel shadow-panel-md" style="box-sizing:
border-box; border: 0px solid color(srgb 1 1 1 / 0.1); margin: 0px; padding:
0px; outline-color: rgb(85, 152, 231); scrollbar-width: thin; app-region:
initial; --cds-scroll-fade-strip-color: #1a1a19; display: flex; position:
absolute; top: -1.75rem; border-radius: 6px; background-color: rgb(26, 26, 25);
--tw-shadow: inset 0 0 0 1px hsl(from #fff h s l / 10%), 0 0 0 0px hsl(from
#fff h s l / 10%), 0 2px 4px 0 hsl(from #0b0b0b h s l / 7%), 0 6px 16px 0
#0000003d; box-shadow: rgba(0, 0, 0, 0) 0px 0px 0px 0px, rgba(0, 0, 0, 0) 0px
0px 0px 0px, rgba(0, 0, 0, 0) 0px 0px 0px 0px, rgba(0, 0, 0, 0) 0px 0px 0px
0px, color(srgb 1 1 1 / 0.1) 0px 0px 0px 1px inset, color(srgb 1 1 1 / 0.1) 0px
0px 0px 0px, color(srgb 0.0431373 0.0431373 0.0431373 / 0.07) 0px 2px 4px 0px,
rgba(0, 0, 0, 0.24) 0px 6px 16px 0px; text-rendering: optimizelegibility; in
set-inline-end: -0.75rem;"></span></div><p style="box-sizing: border-box;
border: 0px solid color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px;
outline-color: rgb(85, 152, 231); scrollbar-width: thin; app-region: initial;
margin-block: 30px 0px; padding-inline: 0px; min-width: 0px; text-rendering:
optimizelegibility; text-wrap: pretty; unicode-bidi: plaintext; color: rgb(240,
239, 236); font-family: anthropic-serif, "Anthropic Serif Fallback
Georgia", "Anthropic Serif Fallback Times", "Anthropic
Serif Fallback DejaVu", "Anthropic Serif Fallback Noto",
Georgia, "Arial Hebrew", "Noto Sans Hebrew", "Times
New Roman", Times, "PingFang SC", "Microsoft YaHei",
"Noto Sans CJK SC", "PingFang TC", "Microsoft
JhengHei", "Noto Sans CJK TC", "Hiragino Sans",
"Yu Gothic", Meiryo, "Noto Sans CJK JP", "Apple SD
Gothic Neo", "
Malgun Gothic", "Noto Sans CJK KR", "Kohinoor
Devanagari", "Kohinoor Bangla", "Kohinoor Telugu",
"Tamil Sangam MN", "Kohinoor Gujarati", "Malayalam
Sangam MN", "Nirmala UI", "Noto Sans Devanagari UI",
"Noto Sans Devanagari", "Noto Sans Bengali UI", "Noto
Sans Bengali", "Noto Sans Telugu UI", "Noto Sans
Telugu", "Noto Sans Tamil UI", "Noto Sans Tamil",
"Noto Sans Gujarati UI", "Noto Sans Gujarati", "Noto
Sans Kannada UI", "Noto Sans Kannada", "Noto Sans Malayalam
UI", "Noto Sans Malayalam", Thonburi, "Leelawadee UI",
"Noto Sans Thai UI", "Noto Sans Thai", Kefa, Ebrima,
"Noto Sans Ethiopic", "Abyssinica SIL", serif; font-size:
15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:
normal; font
-weight: 400; letter-spacing: normal; orphans: 2; text-align: start;
text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px;
-webkit-text-stroke-width: 0px; white-space-collapse: collapse;
background-color: rgb(26, 26, 25); text-decoration-thickness: initial;
text-decoration-style: initial; text-decoration-color: initial;"><strong
style="box-sizing: border-box; border: 0px solid color(srgb 1 1 1 / 0.1);
margin: 0px; padding: 0px; outline-color: rgb(85, 152, 231); scrollbar-width:
thin; app-region: initial; font-weight: 600; --cds-font-axis-wght:
"wght" 560,; font-variation-settings: "GRAD" 0,
"wght" 560; margin-block-start: 0px; text-rendering:
optimizelegibility;">You are right that a large part of the gap is reachable
without a model.</strong><span> </span>Searching the descriptions takes the top
three from 2 to 62, adds no dependency, and leaves exact-name queries at 10/10.
We have put that on its own branch (<code data-epitaxy-inline-
code="" style="box-sizing: border-box; border: 0.730994px solid color(srgb 1 1
1 / 0.1); margin: 0px; padding: 0.12em 0.36em; outline-color: rgb(85, 152,
231); scrollbar-width: thin; app-region: initial; font-family: anthropic-mono,
ui-monospace, monospace, "SF Mono", ui-monospace, Menlo, Consolas,
monospace; font-feature-settings: "calt" 0, "liga" 0;
font-variation-settings: normal; font-size: 0.9em; color: rgb(240, 239, 236);
background: none 0% 0% / auto repeat scroll padding-box border-box color(srgb 1
1 1 / 0.05); white-space: pre-wrap; overflow-wrap: break-word; border-radius:
4px; line-height: 1; font-variant-ligatures: none; text-rendering:
optimizelegibility; -webkit-box-decoration-break: clone; box-decoration-break:
clone;">feat/frontend-search-operator-descriptions</code>) and will open it as
a separate PR, whichever way this one goes: it is strictly better than today
and stands alone.</p><p style="box-sizing: border-box; border: 0px solid co
lor(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px; outline-color: rgb(85, 152,
231); scrollbar-width: thin; app-region: initial; margin-block: 15px 0px;
padding-inline: 0px; min-width: 0px; text-rendering: optimizelegibility;
text-wrap: pretty; unicode-bidi: plaintext; color: rgb(240, 239, 236);
font-family: anthropic-serif, "Anthropic Serif Fallback Georgia",
"Anthropic Serif Fallback Times", "Anthropic Serif Fallback
DejaVu", "Anthropic Serif Fallback Noto", Georgia, "Arial
Hebrew", "Noto Sans Hebrew", "Times New Roman", Times,
"PingFang SC", "Microsoft YaHei", "Noto Sans CJK
SC", "PingFang TC", "Microsoft JhengHei", "Noto
Sans CJK TC", "Hiragino Sans", "Yu Gothic", Meiryo,
"Noto Sans CJK JP", "Apple SD Gothic Neo", "Malgun
Gothic", "Noto Sans CJK KR", "Kohinoor Devanagari",
"Kohi
noor Bangla", "Kohinoor Telugu", "Tamil Sangam MN",
"Kohinoor Gujarati", "Malayalam Sangam MN", "Nirmala
UI", "Noto Sans Devanagari UI", "Noto Sans
Devanagari", "Noto Sans Bengali UI", "Noto Sans
Bengali", "Noto Sans Telugu UI", "Noto Sans Telugu",
"Noto Sans Tamil UI", "Noto Sans Tamil", "Noto Sans
Gujarati UI", "Noto Sans Gujarati", "Noto Sans Kannada
UI", "Noto Sans Kannada", "Noto Sans Malayalam UI",
"Noto Sans Malayalam", Thonburi, "Leelawadee UI",
"Noto Sans Thai UI", "Noto Sans Thai", Kefa, Ebrima,
"Noto Sans Ethiopic", "Abyssinica SIL", serif; font-size:
15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:
normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align:
start; text-indent: 0px; text-tr
ansform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px;
white-space-collapse: collapse; background-color: rgb(26, 26, 25);
text-decoration-thickness: initial; text-decoration-style: initial;
text-decoration-color: initial;">Two things the table shows that we did not
expect:</p><ul style="box-sizing: border-box; border: 0px solid color(srgb 1 1
1 / 0.1); margin: 0px; padding: 0px; outline-color: rgb(85, 152, 231);
scrollbar-width: thin; app-region: initial; list-style: disc; margin-block:
15px 0px; padding-inline: 2em 0px; min-width: 0px; text-rendering:
optimizelegibility; color: rgb(240, 239, 236); font-family: anthropic-serif,
"Anthropic Serif Fallback Georgia", "Anthropic Serif Fallback
Times", "Anthropic Serif Fallback DejaVu", "Anthropic Serif
Fallback Noto", Georgia, "Arial Hebrew", "Noto Sans
Hebrew", "Times New Roman", Times, "PingFang SC",
"Microsoft YaHei", "
Noto Sans CJK SC", "PingFang TC", "Microsoft
JhengHei", "Noto Sans CJK TC", "Hiragino Sans",
"Yu Gothic", Meiryo, "Noto Sans CJK JP", "Apple SD
Gothic Neo", "Malgun Gothic", "Noto Sans CJK KR",
"Kohinoor Devanagari", "Kohinoor Bangla", "Kohinoor
Telugu", "Tamil Sangam MN", "Kohinoor Gujarati",
"Malayalam Sangam MN", "Nirmala UI", "Noto Sans
Devanagari UI", "Noto Sans Devanagari", "Noto Sans Bengali
UI", "Noto Sans Bengali", "Noto Sans Telugu UI",
"Noto Sans Telugu", "Noto Sans Tamil UI", "Noto Sans
Tamil", "Noto Sans Gujarati UI", "Noto Sans Gujarati",
"Noto Sans Kannada UI", "Noto Sans Kannada", "Noto
Sans Malayalam UI", "Noto Sans Malayalam", Thonburi,
"Leelawadee UI", &q
uot;Noto Sans Thai UI", "Noto Sans Thai", Kefa, Ebrima,
"Noto Sans Ethiopic", "Abyssinica SIL", serif; font-size:
15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:
normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align:
start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px;
-webkit-text-stroke-width: 0px; white-space: normal; background-color: rgb(26,
26, 25); text-decoration-thickness: initial; text-decoration-style: initial;
text-decoration-color: initial;"><li style="box-sizing: border-box; border: 0px
solid color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px; outline-color:
rgb(85, 152, 231); scrollbar-width: thin; app-region: initial;
--cds-assistant-message-text-inset: 0px; --cds-assistant-message-text-stop:
0px; margin-block: 0px; padding-inline-start: 0.5em; text-rendering:
optimizelegibility; text-wrap: pretty; unicode-bidi: plaintext;">Loosening the
threshold past 0.5 stops
being a win. 0.6 answers twelve more queries but returns a median of 16
operators out of 164 — not a list anyone reads. That ceiling is why we did not
simply tune fuse.js further.</li><li style="box-sizing: border-box; border: 0px
solid color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px; outline-color:
rgb(85, 152, 231); scrollbar-width: thin; app-region: initial;
--cds-assistant-message-text-inset: 0px; --cds-assistant-message-text-stop:
0px; margin-block: 4.995px 0px; padding-inline-start: 0.5em; text-rendering:
optimizelegibility; text-wrap: pretty; unicode-bidi: plaintext;">Fuzzy matching
still needs the user's words to be<span> </span><em style="box-sizing:
border-box; border: 0px solid color(srgb 1 1 1 / 0.1); margin: 0px; padding:
0px; outline-color: rgb(85, 152, 231); scrollbar-width: thin; app-region:
initial; font-style: italic; margin-block-start: 0px; text-rendering:
optimizelegibility;">in</em><span> </span>the text. "remove repeated rows"
never matches "Remove dup
licate tuples" at any threshold that keeps the list usable. That is the
remaining 62 → 137.</li></ul><p style="box-sizing: border-box; border: 0px
solid color(srgb 1 1 1 / 0.1); margin: 0px; padding: 0px; outline-color:
rgb(85, 152, 231); scrollbar-width: thin; app-region: initial; margin-block:
30px 0px; padding-inline: 0px; min-width: 0px; text-rendering:
optimizelegibility; text-wrap: pretty; unicode-bidi: plaintext; color: rgb(240,
239, 236); font-family: anthropic-serif, "Anthropic Serif Fallback
Georgia", "Anthropic Serif Fallback Times", "Anthropic
Serif Fallback DejaVu", "Anthropic Serif Fallback Noto",
Georgia, "Arial Hebrew", "Noto Sans Hebrew", "Times
New Roman", Times, "PingFang SC", "Microsoft YaHei",
"Noto Sans CJK SC", "PingFang TC", "Microsoft
JhengHei", "Noto Sans CJK TC", "Hiragino Sans",
"Yu Gothic", Meiryo, "
Noto Sans CJK JP", "Apple SD Gothic Neo", "Malgun
Gothic", "Noto Sans CJK KR", "Kohinoor Devanagari",
"Kohinoor Bangla", "Kohinoor Telugu", "Tamil Sangam
MN", "Kohinoor Gujarati", "Malayalam Sangam MN",
"Nirmala UI", "Noto Sans Devanagari UI", "Noto Sans
Devanagari", "Noto Sans Bengali UI", "Noto Sans
Bengali", "Noto Sans Telugu UI", "Noto Sans Telugu",
"Noto Sans Tamil UI", "Noto Sans Tamil", "Noto Sans
Gujarati UI", "Noto Sans Gujarati", "Noto Sans Kannada
UI", "Noto Sans Kannada", "Noto Sans Malayalam UI",
"Noto Sans Malayalam", Thonburi, "Leelawadee UI",
"Noto Sans Thai UI", "Noto Sans Thai", Kefa, Ebrima,
"Noto Sans Ethiopic", "Abyssinica SIL", serif; font-size:
15px; font-style: normal;
font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400;
letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width:
0px; white-space-collapse: collapse; background-color: rgb(26, 26, 25);
text-decoration-thickness: initial; text-decoration-style: initial;
text-decoration-color: initial;">We have<span> </span><strong
style="box-sizing: border-box; border: 0px solid color(srgb 1 1 1 / 0.1);
margin: 0px; padding: 0px; outline-color: rgb(85, 152, 231); scrollbar-width:
thin; app-region: initial; font-weight: 600; --cds-font-axis-wght:
"wght" 560,; font-variation-settings: "GRAD" 0,
"wght" 560; margin-block-start: 0px; text-rendering:
optimizelegibility;">not</strong><span> </span>measured the agent service, so
we cannot compare it honestly. It would be a request per query rather than a
local comparison, so the trade is latency and running cost
rather than bundle size. If you think that is the better direction, we are
glad to prototype it and measure it the same way before anyone commits to
either.</p><h2 id="user-content-screenshots" class="epitaxy-document-heading"
style="box-sizing: border-box; border: 0px solid color(srgb 1 1 1 / 0.1);
margin: 0px; padding: 0px; outline-color: rgb(85, 152, 231); scrollbar-width:
thin; app-region: initial; font-size: 1.35em; font-weight: 500; padding-inline:
0px; --cds-font-axis-wght: "wght" 560,; font-variation-settings:
"wght" 460; font-family: anthropic-serif, "Anthropic Serif
Fallback Georgia", "Anthropic Serif Fallback Times",
"Anthropic Serif Fallback DejaVu", "Anthropic Serif Fallback
Noto", Georgia, "Arial Hebrew", "Noto Sans Hebrew",
"Times New Roman", Times, "PingFang SC", "Microsoft
YaHei", "Noto Sans CJK SC", "PingFang TC",
"Microsoft JhengHe
i", "Noto Sans CJK TC", "Hiragino Sans", "Yu
Gothic", Meiryo, "Noto Sans CJK JP", "Apple SD Gothic
Neo", "Malgun Gothic", "Noto Sans CJK KR",
"Kohinoor Devanagari", "Kohinoor Bangla", "Kohinoor
Telugu", "Tamil Sangam MN", "Kohinoor Gujarati",
"Malayalam Sangam MN", "Nirmala UI", "Noto Sans
Devanagari UI", "Noto Sans Devanagari", "Noto Sans Bengali
UI", "Noto Sans Bengali", "Noto Sans Telugu UI",
"Noto Sans Telugu", "Noto Sans Tamil UI", "Noto Sans
Tamil", "Noto Sans Gujarati UI", "Noto Sans Gujarati",
"Noto Sans Kannada UI", "Noto Sans Kannada", "Noto
Sans Malayalam UI", "Noto Sans Malayalam", Thonburi,
"Leelawadee UI", "Noto Sans Thai UI", "Noto Sans
Thai", Kefa, Ebrima, &
quot;Noto Sans Ethiopic", "Abyssinica SIL", serif;
margin-block: 37.5px 0px; --_prose-h-space: 2.5; line-height: 1.25; min-width:
0px; text-rendering: optimizelegibility; text-wrap: balance; unicode-bidi:
plaintext; color: rgb(240, 239, 236); font-style: normal;
font-variant-ligatures: normal; font-variant-caps: normal; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none;
widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px;
white-space-collapse: collapse; background-color: rgb(26, 26, 25);
text-decoration-thickness: initial; text-decoration-style: initial;
text-decoration-color: initial;">Screenshots</h2><p style="box-sizing:
border-box; border: 0px solid color(srgb 1 1 1 / 0.1); margin: 0px; padding:
0px; outline-color: rgb(85, 152, 231); scrollbar-width: thin; app-region:
initial; margin-block: 10.005px 0px; padding-inline: 0px; min-width: 0px;
text-rendering: optimizelegibility; text-wrap: pretty; unicode-bidi: pla
intext; color: rgb(240, 239, 236); font-family: anthropic-serif,
"Anthropic Serif Fallback Georgia", "Anthropic Serif Fallback
Times", "Anthropic Serif Fallback DejaVu", "Anthropic Serif
Fallback Noto", Georgia, "Arial Hebrew", "Noto Sans
Hebrew", "Times New Roman", Times, "PingFang SC",
"Microsoft YaHei", "Noto Sans CJK SC", "PingFang
TC", "Microsoft JhengHei", "Noto Sans CJK TC",
"Hiragino Sans", "Yu Gothic", Meiryo, "Noto Sans CJK
JP", "Apple SD Gothic Neo", "Malgun Gothic",
"Noto Sans CJK KR", "Kohinoor Devanagari", "Kohinoor
Bangla", "Kohinoor Telugu", "Tamil Sangam MN",
"Kohinoor Gujarati", "Malayalam Sangam MN", "Nirmala
UI", "Noto Sans Devanagari UI", "Noto Sans
Devanagari", "Noto Sans Bengali U
I", "Noto Sans Bengali", "Noto Sans Telugu UI",
"Noto Sans Telugu", "Noto Sans Tamil UI", "Noto Sans
Tamil", "Noto Sans Gujarati UI", "Noto Sans Gujarati",
"Noto Sans Kannada UI", "Noto Sans Kannada", "Noto
Sans Malayalam UI", "Noto Sans Malayalam", Thonburi,
"Leelawadee UI", "Noto Sans Thai UI", "Noto Sans
Thai", Kefa, Ebrima, "Noto Sans Ethiopic", "Abyssinica
SIL", serif; font-size: 15px; font-style: normal; font-variant-ligatures:
normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal;
orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows:
2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space-collapse:
collapse; background-color: rgb(26, 26, 25); text-decoration-thickness:
initial; text-decoration-style: initial; text-decoration-color: initial;">Not
yet — we w
ill add them in a later comment, with before/after side by side for an exact
operator name and for "remove repeated rows", the first-query loading state,
and the keyword fallback when the model fails to load, together with browser,
viewport, commit and steps. Sorry for the delay on those.</p><h2
id="user-content-scope" class="epitaxy-document-heading" style="box-sizing:
border-box; border: 0px solid color(srgb 1 1 1 / 0.1); margin: 0px; padding:
0px; outline-color: rgb(85, 152, 231); scrollbar-width: thin; app-region:
initial; font-size: 1.35em; font-weight: 500; padding-inline: 0px;
--cds-font-axis-wght: "wght" 560,; font-variation-settings:
"wght" 460; font-family: anthropic-serif, "Anthropic Serif
Fallback Georgia", "Anthropic Serif Fallback Times",
"Anthropic Serif Fallback DejaVu", "Anthropic Serif Fallback
Noto", Georgia, "Arial Hebrew", "Noto Sans Hebrew",
"Times New Roman", Times, "
;PingFang SC", "Microsoft YaHei", "Noto Sans CJK SC",
"PingFang TC", "Microsoft JhengHei", "Noto Sans CJK
TC", "Hiragino Sans", "Yu Gothic", Meiryo, "Noto
Sans CJK JP", "Apple SD Gothic Neo", "Malgun Gothic",
"Noto Sans CJK KR", "Kohinoor Devanagari", "Kohinoor
Bangla", "Kohinoor Telugu", "Tamil Sangam MN",
"Kohinoor Gujarati", "Malayalam Sangam MN", "Nirmala
UI", "Noto Sans Devanagari UI", "Noto Sans
Devanagari", "Noto Sans Bengali UI", "Noto Sans
Bengali", "Noto Sans Telugu UI", "Noto Sans Telugu",
"Noto Sans Tamil UI", "Noto Sans Tamil", "Noto Sans
Gujarati UI", "Noto Sans Gujarati", "Noto Sans Kannada
UI", "Noto Sans Kannada", "Noto Sans Malayalam UI",
"Noto Sans M
alayalam", Thonburi, "Leelawadee UI", "Noto Sans Thai
UI", "Noto Sans Thai", Kefa, Ebrima, "Noto Sans
Ethiopic", "Abyssinica SIL", serif; margin-block: 37.5px 0px;
--_prose-h-space: 2.5; line-height: 1.25; min-width: 0px; text-rendering:
optimizelegibility; text-wrap: balance; unicode-bidi: plaintext; color:
rgb(240, 239, 236); font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; letter-spacing: normal; orphans: 2; text-align:
start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px;
-webkit-text-stroke-width: 0px; white-space-collapse: collapse;
background-color: rgb(26, 26, 25); text-decoration-thickness: initial;
text-decoration-style: initial; text-decoration-color: initial;">Scope</h2><p
style="box-sizing: border-box; border: 0px solid color(srgb 1 1 1 / 0.1);
margin: 0px; padding: 0px; outline-color: rgb(85, 152, 231); scrollbar-width:
thin; app-region: initial; margin-block: 10
.005px 0px; padding-inline: 0px; min-width: 0px; text-rendering:
optimizelegibility; text-wrap: pretty; unicode-bidi: plaintext; color: rgb(240,
239, 236); font-family: anthropic-serif, "Anthropic Serif Fallback
Georgia", "Anthropic Serif Fallback Times", "Anthropic
Serif Fallback DejaVu", "Anthropic Serif Fallback Noto",
Georgia, "Arial Hebrew", "Noto Sans Hebrew", "Times
New Roman", Times, "PingFang SC", "Microsoft YaHei",
"Noto Sans CJK SC", "PingFang TC", "Microsoft
JhengHei", "Noto Sans CJK TC", "Hiragino Sans",
"Yu Gothic", Meiryo, "Noto Sans CJK JP", "Apple SD
Gothic Neo", "Malgun Gothic", "Noto Sans CJK KR",
"Kohinoor Devanagari", "Kohinoor Bangla", "Kohinoor
Telugu", "Tamil Sangam MN", "Kohinoor Gujarati",
"Malayalam Sangam MN",
"Nirmala UI", "Noto Sans Devanagari UI", "Noto Sans
Devanagari", "Noto Sans Bengali UI", "Noto Sans
Bengali", "Noto Sans Telugu UI", "Noto Sans Telugu",
"Noto Sans Tamil UI", "Noto Sans Tamil", "Noto Sans
Gujarati UI", "Noto Sans Gujarati", "Noto Sans Kannada
UI", "Noto Sans Kannada", "Noto Sans Malayalam UI",
"Noto Sans Malayalam", Thonburi, "Leelawadee UI",
"Noto Sans Thai UI", "Noto Sans Thai", Kefa, Ebrima,
"Noto Sans Ethiopic", "Abyssinica SIL", serif; font-size:
15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps:
normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align:
start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px;
-webkit-text-stroke-width: 0px; white-space-collapse: collapse;
background-color: rgb(26, 26, 2
5); text-decoration-thickness: initial; text-decoration-style: initial;
text-decoration-color: initial;">This PR is the semantic-search portion of
#8627 only; the hover card and the next-operator suggestions described in that
issue are separate branches and are not part of it. Agreed that the model
hosting and the index maintenance are worth settling on the issue before
anything merges here — the two hosting options are in the PR description and we
have no preference between them.</p><!--EndFragment-->
</body>
</html>
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]