fix(assistant): типизирани AI/Vectorize биндинги — без 'as unknown as' на route границата by nedda76 · Pull Request #320 · midt-bg/sigma

nedda76 · 2026-08-18T20:03:53Z

Closes #316

Какво

Двойните assertions (env.AI as unknown as EmbeddingRunner, env.VECTORIZE as unknown as VectorIndex) в routes/assistant.chat.tsx изчезват:

VECTORIZE се присвоява директно: VectorRecord.metadata е стеснен до стойностите, които Vectorize приема (VectorMetadataValue), а неизползваемият метадата filter член отпадна от интерфейса. Присвояването е компилационното доказателство — дрейф между rag.ts и worker-configuration.d.ts чупи tsc, не продукцията. Негативен контрол: връщането на стария filter?: Record<string, unknown> член дава TS2322 точно на присвояването.
AI не може да удовлетвори EmbeddingRunner структурно (Ai.run() е generic per-model и връща output UNION), затова минава през единствения санкциониран мост — embeddingRunnerFor() в новия bindings.ts, който вика реалния @cf/baai/bge-m3 overload, също проверен от компилатора.

Кастовете към AgentEnv остават: BGGPT_API_KEY е secret и не присъства в генерирания Env — отделен въпрос.

От ревюто (второ комитче)

EmbeddingRunner.run взима model: typeof EMBED_MODEL (литерала) и адаптерът го препраща — втори, различен модел би бил компилационна грешка, не тихо embed-ване с грешния модел.
Адаптерът е изнесен в bindings.ts и unit тестван (вкл. не-embedding форми на отговора).
При неочаквана форма адаптерът хвърля именувана грешка (само ключовете, без payload) вместо да връща [], което се четеше като „провайдърът не embed-на нищо".
README provisioning gate-ът вика indexSchemaCorpus през embeddingRunnerFor — голият env.AI там вече не typecheck-ва.

Стак

Стъпва върху #319 (→ #223). За ревю са последните 2 комита (eb05524, 78d36fb). Ред на мърдж: #223 → #319 → този PR.

Проверено

tsc -b чист (вкл. негативния контрол по-горе), 185/185 теста на assistant пакета, Prettier чист.

ydimitrof

Обобщение на ревюто

Фаза 0 — Security-Critical Scan: CLEAN. Няма хардкоднати тайни (BGGPT_API_KEY се подава през wrangler secret put, никога не се комитва). Няма нови URL-и извън whitelist. Няма backdoor/обфускация/code injection. Промяната в osv-scanner.toml е suppression, но е добре обоснована (sharp е транзитивна, само-dev зависимост през miniflare, не влиза в деплойнатия Worker; има ignoreUntil и ясно условие за премахване). Нови зависимости не се добавят. → Продължавам към същинското ревю.

Оценка по измерения

Сигурност (агентско ниво) — отлично. Ядрото на PR-а всъщност повишава сигурността:

Премахва as unknown as на граница route↔RAG (#316) — типов контракт, който tsc проверява, вместо сляп каст.
sql-guard.ts разширява denylist-а с string-building агрегати (group_concat/string_agg/json_group_array/json_group_object) — реален клас memory-amplification (OOM на изолата преди capRows). Правилно уловен и string_agg синонимът за модерен SQLite на D1.
emit-report-schema.ts: горни граници за масиви (MAX_BLOCKS/ITEMS/COLUMNS) + short-circuit преди сканиране на oversize структура; align whitelist (left|right) спира out-of-enum стойност да достигне рендерер, който я интерполира в атрибут.
report-schema.ts: експлицитно изграждане на колоните (без spread) спира пренасяне на непроверени model-supplied ключове към рендерера — добра defense-in-depth.
Диагностиките са „keys-only" (не логват съдържанието на ембеднатия вход) — правилно за да не изтича потребителски текст.

Архитектура — отлично. bindings.ts е единственият модул, който знае и двете страни на границата; структурните типове в rag.ts остават deploy-независими и unit-тестируеми. Разделянето hardTraps() (безусловно) vs. RAG-извлечени chunk-ове поправя реален дефект: RAG-ход, който е бил по-слабо ограничен от no-RAG fallback-а (пропускал е SUM(amount)). renderTraps() премахва дублирането между describeSchema() и hard-traps пътя.

Производителност — без регресии. Native namespace вместо metadata filter (не изисква provisioned metadata index, изключва stale кохорти преди topK). Relevance floor (MIN_SCHEMA_SCORE) предотвратява инжектиране на off-topic chunk-ове вместо пълния речник. Версионираните namespace-и позволяват rollback на Worker-а без счупване на RAG.

Тестове — много силни. Добавени/разширени тестове покриват: adapter forward + два error-shape случая, versioned namespace/ids, relevance floor (вкл. scoreless-match defensive пътища), cap short-circuit, align whitelist, exactly-once рендиране на trap-овете през реалния write→read seam, суфиксното matching на магнитуди, новите SQL агрегати. Тестовете са смислени (не тривиални), проверяват границите и regression пътищата.

Документация — отлично. README е обстойно обновен: ре-индексиране, „WHEN TO BUMP" правило, разграничение схема-корпус (append-only) vs. entity-корпус (data-derived, нужен reconciliation/delete път).

CLAUDE.md съответствие

Няма частична имплементация, TODO-симплификации, дублиран или мъртъв код. Именуването е консистентно. Разделянето на отговорности е чисто. Няма resource leaks.

Незначителни наблюдения (не блокиращи — виж inline)

sql-guard.ts: denylist-ът fail-closed отхвърля и стрингови литерали, съдържащи имената на функциите (напр. WHERE name = 'group_concat(x)'). Това е предсъществуващо поведение (printf/format), безопасната посока е, и коментарът вече насочва към positive allowlist като трайно решение.
report-schema.ts: суфиксният подход не покрива съкращенията млрд./млн. без придружаваща валутна дума или 5-цифрено число — потенциален (маргинален) false-negative.

Препоръка: Няма блокиращи проблеми. Кодът е за мърдж след потвърждаване на пълния тестов пакет и coverage в CI (не можах да ги изпълня в тази среда) и предварителното осигуряване на Cloudflare ресурсите (Vectorize sigma-assistant 1024/cosine, R2 sigma-reports, BGGPT_API_KEY, ре-индекс на схема-корпуса) преди deploy, както е описано в README.

… gate-а „Дванадесет млрд. лева" нямаше нито цифра (за \d…млрд шаблона), нито пълнословен суфикс — изписано числително + абревиатура се промъкваше покрай целия gate. млрд/млн влизат в стем шаблона (флагват и без цифра; негативен контрол: тестът пада без промяната). Остатъкът „хил." без цифра остава приет — хилядите не са defamation-мащабният вектор (бележка от ревюто на midt-bg#320).

ydimitrof

Ревю на PR: типизирани AI/Vectorize биндинги (без `as unknown as`)

Обобщение

Много силен, добре обоснован PR. Основната цел — премахване на as unknown as на границата на route-а (assistant.chat.tsx) и въвеждане на един-единствен санкциониран мост (bindings.ts → embeddingRunnerFor) — е постигната чисто и е покрита с прицелни тестове. Съпътстващите промени (versioned native namespaces в Vectorize, relevance floor при retrieval, capове на масивите в emit_report, разширяване на SQL denylist-а и prose-number gate-а) са последователни, добре документирани и всяка носи регресионен тест. Разделението на отговорностите е спазено: bindings.ts е единственият модул, който познава двете страни на типовете.

Фаза 0 — Security-critical scan: CLEAN

Hardcoded secrets: няма. BGGPT_API_KEY минава през wrangler secret put, никога не се комитва; документацията изрично го подчертава.
URL промени: няма нови външни URL-и. Единствените нови идентификатори са модел-литерал (@cf/baai/bge-m3) и имена на Cloudflare ресурси (sigma-assistant, sigma-reports).
Malicious patterns: няма backdoor/обфускация/eval.
Зависимости: osv-scanner.toml добавя ignore само за sharp (транзитивна, dev-only през miniflare) с ясна обосновка и ignoreUntil. Приемливо.
Логове: адаптерът съзнателно логва само ключове (KEYS ONLY), за да не изтича потребителски текст — добра практика.

Силни страни

Типова безопасност на route границата: env.VECTORIZE се присвоява без каст (compile-time доказателство за структурна съвместимост), а env.AI минава през embeddingRunnerFor, който извиква реалния per-model overload. Точно това, което issue #316 иска.
Sanitizing на emit_report: експлицитното изграждане на колоните (без spread) спира пренасянето на непознати model-подадени полета към renderer-а — реално подобрение на сигурността срещу injection в атрибути/стил, подсилено от isAlign whitelist-а.
SQL guard: добавянето на string-building агрегатите (group_concat/string_agg/json_group_*) затваря реален memory-amplification вектор; коментарът честно признава, че denylist-ът е catch-up игра и allowlist е трайният фикс.
Prose-number gate: преминаването от явен списък към суфиксите -илион/-илиард затваря реда нагоре (квинтилион/секстилион) — добро решение, съзнателно приема over-flagging в правилната посока.
RAG namespaces + relevance floor: native namespace вместо metadata filter (който изисква непровизиран metadata index) и floor-ът срещу off-topic topK са коректни; fallback-ът към пълния статичен речник е безопасният изход.

Забележки (ниска тежест)

Виж inline коментарите. Няма блокиращи проблеми.

Проверимост

Тестовете и typecheck-ът не са изпълнени в тази среда (няма достъп до repo build/CI). Финалната препоръка е при условие за зелен CI: pnpm --filter web typecheck → 0 и целият тестов пакет минава, съгласно README.

Съответствие с CLAUDE.md

NO PARTIAL IMPLEMENTATION / TODO: спазено — недовършените части (entity indexer, eop_fetch само брой) са ясно документирани като „Какво остава", не са скрити TODO-та.
NO CODE DUPLICATION: renderTraps() е извлечен и споделен между describeSchema и hardTraps, точно за да не дрейфа.
COMPREHENSIVE / NO CHEATER TESTS: тестовете са смислени (проверяват форма на namespace, floor поведение, cap short-circuit, exactly-once на trap-овете през реалния write→read seam).
CONSISTENT NAMING / SEPARATION OF CONCERNS: спазено.

Препоръка

APPROVE (при зелен CI). Качество: ~9.4/10.

ydimitrof

Ревю на PR: типизирани AI/Vectorize биндинги (без `as unknown as`)

Фаза 0 — Сигурност (сканиране): ЧИСТО (с една бележка)

Няма hardcoded тайни. BGGPT_API_KEY се подава през wrangler secret put и изрично не се комитва — коректно.
Няма нови/променени URL адреси, няма backdoor/обфускация/code-injection модели.
Промяна по зависимости — само подтискане в osv-scanner.toml: добавени са игнори за sharp 0.34.5 (libvips CVE-та). Обосновката е валидна (транзитивна, само-dev зависимост през miniflare, не влиза в деплойнатия Worker, няма in-range upstream фикс) и има ignoreUntil дата за ре-визия. Приемливо, но флагвам за проследяване — това остава подтисната уязвимост до 2026-10-22.

Обща оценка

Много силен, добре обоснован PR. Основната цел — премахване на as unknown as на границата на route-а — е постигната чисто:

env.VECTORIZE вече се присвоява структурно към VectorIndex (compile-time доказателство), а env.AI минава през единствения санкциониран мост embeddingRunnerFor(), който форва̀рдва EMBED_MODEL литерала през реалния @cf/baai/bge-m3 overload.
Адаптерът в bindings.ts не губи диагностиката, която сляп каст губеше (именувана грешка по форма, keys-only — без изтичане на потребителски текст в логовете). Отлично.

Тестове (силна страна)

Новите bindings.test.ts пинват поведението на адаптера (форуард, невалидна форма, липсващи ключове, празен data масив за непразен вход).
rag.test.ts покрива версионирания native namespace (schema-v2/entity-v1), релевантния праг, scoreless match-овете и отсъствието на metadata filter.
Композиционният тест в system-prompt.test.ts минава през реалния write→read seam (indexSchemaCorpus → retrieveSchemaContext → buildSystemPrompt) и гарантира, че всеки trap се рендира точно веднъж — това хваща регресията с двойния рендер.
sql-guard.test.ts покрива quoted-identifier bypass и string-building агрегатите.

Архитектура / CLAUDE.md

renderTraps() премахва дублирането между describeSchema() и hardTraps() — DRY спазено.
Разделянето на контрактите (VectorIndex е assignable от VectorizeIndex; EmbeddingRunner — не) е ясно документирано.
hardTraps() инжектира императивните капани безусловно — RAG вече само добавя релевантни таблици/заявки, така че RAG-ход никога не е по-слабо ограничен от fallback-а. Коректна поправка на реален дефект.

Точки за внимание (не блокиращи)

Ред на деплой (операционен риск, документиран): PR добавя изисквания за bindings — Vectorize индекс sigma-assistant (1024/cosine), R2 sigma-reports, secret BGGPT_API_KEY. Ако деплой стане преди тяхното създаване, wrangler deploy пада и блокира CD на целия екип. Документирано подробно в README; уверете се, че CD-то го прилага преди мърдж.
Namespace миграция: заявките сега сочат schema-v2/entity-v1. Среда без ре-индекс връща 0 чънка и пада към пълния статичен речник — безопасно, но без RAG grounding, докато indexSchemaCorpus не се пусне отново. Проследете ре-индекса като част от deploy runbook-а.
Малка бележка по semanticSearch (вж. inline).

Заключение

Няма блокиращи проблеми по код или сигурност. Не давам автоматичен APPROVE, защото agent loop-ът и route-ът остават runtime-непроверени (няма BGGPT_API_KEY/облачни bindings в средата — признато в README), а деплой-редът е външно условие. Verdict: COMMENT — след потвърден ре-индекс и осигурени bindings PR-ът е готов за мърдж.

… gate-а „Дванадесет млрд. лева" нямаше нито цифра (за \d…млрд шаблона), нито пълнословен суфикс — изписано числително + абревиатура се промъкваше покрай целия gate. млрд/млн влизат в стем шаблона (флагват и без цифра; негативен контрол: тестът пада без промяната). Остатъкът „хил." без цифра остава приет — хилядите не са defamation-мащабният вектор (бележка от ревюто на midt-bg#320).

…е като успех [] е truthy — проверка само за присъствие връщаше { data: [] } за непразен вход и embed() после обвиняваше '0 embeddings' вместо реалната причина: провайдър, отговорил с празен batch. Празният масив вече е именуван отделен случай в грешката на адаптера (+ тест; бележка от ревюто на midt-bg#320).

… gate-а „Дванадесет млрд. лева" нямаше нито цифра (за \d…млрд шаблона), нито пълнословен суфикс — изписано числително + абревиатура се промъкваше покрай целия gate. млрд/млн влизат в стем шаблона (флагват и без цифра; негативен контрол: тестът пада без промяната). Остатъкът „хил." без цифра остава приет — хилядите не са defamation-мащабният вектор (бележка от ревюто на midt-bg#320).

…е като успех [] е truthy — проверка само за присъствие връщаше { data: [] } за непразен вход и embed() после обвиняваше '0 embeddings' вместо реалната причина: провайдър, отговорил с празен batch. Празният масив вече е именуван отделен случай в грешката на адаптера (+ тест; бележка от ревюто на midt-bg#320).

The curated dictionary the model treats as hard fact had drifted from packages/db/migrations/0000_init.sql: - amendments: no contract_id column — it links via unp/contract_number - parties: no role column — real cols are party_key, eik, ocid, party_id, name… - value_flag enum was missing value_low - amount_eur IS NULL was described as meaning value_suspect; it actually has several causes (FX-rateless foreign / value_suspect w/o estimate / no signing+current), and the unconfirmed count is value_flag='value_suspect' (home_totals.suspect), not NULL-amount rows - data_freshness is a table, not a view Drift here misleads a weak model into wrong joins or a wrong integrity KPI.

…e retrieval Two grounding gaps that could leave a RAG turn LESS constrained than the no-RAG fallback: - buildSystemPrompt used the retrieved chunks INSTEAD of the dictionary, so a retrieval that missed the money-sum trap dropped the SUM(amount_eur) rule entirely. Inject the short imperative DATA_TRAPS unconditionally; RAG now only selects the extra tables/example-queries for the question. - retrieveSchemaContext had no relevance floor — top-K returned its K least-distant chunks even when all were off-topic. Add MIN_SCHEMA_SCORE; below it we return fewer/zero chunks, and zero falls back to the full dictionary (the safe outcome).

group_concat / json_group_array / json_group_object collapse an entire full-table scan into one huge cell that materialises in Worker memory before capRows can measure it (and capRows keeps the first row whole) — the same memory-amplification class already blocked for printf/format/randomblob, one level up. Add them to the scalar blocklist.

- Prose number-gate missed трилион/билион/квадрилион: '3 трилиона лева' slipped the whole gate (the digit can't reach 'лева' across the Cyrillic word), an unbound order-up figure on a public report — the '12 млрд.' vector one magnitude higher. Add them to the spelled-magnitude stem. - Validate the optional column align against a left|right whitelist, and build resolved table columns explicitly instead of spreading the model object, so no unknown/unvalidated property reaches the renderer. - Cap model-emitted array lengths (blocks, items, columns) in validateEmitShape.

…h prompt paths renderTraps() now owns the numbered-list rendering that describeSchema (full dictionary) and the RAG hard-traps block duplicated, so the two paths cannot drift, and the full-dictionary heading is harmonised to match the RAG block ("Задължителни правила за данните"). No behaviour change — string assembly only.

retrieveSchemaContext relied on `m.score` always being numeric. If an index backend ever returns a match without a `score`, the comparison was falsy and the chunk was dropped — the correct, safe outcome, but only incidentally. Make it explicit with `(m.score ?? 0) >= minScore` and a comment so a future refactor can't strip the guard, and cover it with a test. Addresses the review note on rag.ts robustness (ydimitrof).

…vers квинтилион+) The prose-number gate listed magnitudes explicitly and stopped at квадрилион, so "3 квинтилиона лева" slipped. Match the shared suffixes instead — милион⊃"илион", милиард⊃"илиард" — which covers the whole family (милион…секстилион…, милиард…) and closes the row upward for good rather than chasing an endless list. Addresses the review note on report-schema.ts (ydimitrof).

… the SQL guard string_agg(X, sep) is the official SQLite 3.44 synonym of group_concat and reaches the same code path on D1's modern SQLite, so it bypassed the scalar/aggregate denylist and achieved the same memory amplification (whole scan into one cell before capRows) the guard just closed for group_concat. Add it to the regex and the adversarial test. Addresses the review note on sql-guard.ts (ydimitrof).

An over-cap blocks/items/columns array is exactly the unbounded structure the ceilings guard against, yet validateEmitShape recorded the length error and then walked the whole array anyway — doing the very scan the cap exists to refuse. Return before the per-block scan on oversized blocks, and skip the per-element scan on oversized items/columns. Behaviour is unchanged for valid reports (ok:false either way); this only stops the wasted walk. Test asserts a single cap error with no per-element errors, proving the array is not scanned. Addresses lyubomir-bozhinov's review note on PR midt-bg#223.

The Dependency-audit step (osv-scanner) fails on ANY known vuln and, per its own comment, expects intentional exceptions in osv-scanner.toml — which did not exist yet. sharp@0.34.5 (High, GHSA-f88m-g3jw-g9cj: inherited libvips decoder CVEs) has no in-range upstream fix: miniflare pins sharp ^0.34.5 and its latest release still ships 0.34.5, so 0.35.0 is unreachable without a forced override. sharp is a transitive dev-only dep (miniflare dev server / test runtime), absent from the deployed Worker, and the vuln needs decoding an untrusted image the toolchain never handles. Record a dated (ignoreUntil 2026-10-22) exception so the audit gate goes green and the entry auto-resurfaces for revisit. Verified locally with osv-scanner 2.4.0: fails without the config, passes with.

…d RAG retrieval DATA_TRAPS are injected into the system prompt unconditionally (hardTraps), so indexing them in the schema corpus let retrieval hand the same rule back as "context" and render it twice. Traps are no longer indexed, and retrieveSchemaContext drops kind:'trap' matches a previously deployed index may still hold. Retrieval's job stays selecting relevant tables/queries. (review note, ydimitrof)

The sharp entry used a TOML local-date (2026-10-22) while the react-router entry above uses full RFC3339; align on the latter so parser versions cannot read the file inconsistently. (review note, ydimitrof)

…ace instead of a runtime trap filter Self-review of the previous commit found the client-side kind:'trap' filter ran AFTER Vectorize's server-side topK cut, so legacy trap vectors (12 of ~37 in a pre-change index, and the most money-question-similar text in the corpus) could eat up to all six retrieval slots — leaving the turn with fewer tables/queries than the no-RAG fallback, silently and permanently, since upsert never deletes the stale ids. Replaced with a versioned NATIVE namespace (SCHEMA_NS = 'schema-v2') on both the upserted vectors and the query: native namespaces need no metadata index and exclude every stale cohort at the source, so no topK slot is ever spent on a discarded match and the filter is gone. The version is in the vector ids too, so re-indexing writes a new cohort and a Worker rollback keeps working against the old one. An un-reindexed environment gets zero matches → the documented full-dictionary fallback. Also from the self-review: the stale module header still said trap-rules are embedded; system-prompt tests fed trap strings retrieval can no longer produce; and no test entered through the composed seam — added a retrieveSchemaContext → buildSystemPrompt test seeded with the real corpus asserting every DATA_TRAP renders exactly once (negative-controlled: re-adding traps under a disguised id/kind fails it and the new corpus-length assertion). README provisioning now documents the re-index-on-bump requirement.

Gap-sweep on the namespace fix found the composed exactly-once test was weaker than advertised: it hand-mirrored the write mapping instead of running indexSchemaCorpus, sliced only the first topK chunks (so a trap appended at the corpus tail escaped it), and hard-coded a 0.9 score silently coupled to MIN_SCHEMA_SCORE. It now routes through the real write path into a recording fake, retrieves the WHOLE corpus, and derives its score from the floor — so the write→read metadata contract (text key, ids, namespace) is under test and a trap re-added at any position under any id/kind fails it (negative-controlled again with a tail-appended, table-kind trap). Also: remaining fixtures moved off pre-v2 unversioned ids; the semanticSearch test title no longer claims a namespace it does not use (it pins the entity METADATA filter); the module header no longer claims the bindings satisfy the structural types (the route casts — drift is not tsc-checked); the new-cohort rollback guarantee is now correctly stated as bump-only, with an explicit WHEN TO BUMP rule (in-place upserts, positional query ids, orphan risk); the README no longer suggests purging a cohort inside its rollback window and notes delete-vectors needs an explicit id list; dropped the stale '150 теста' verification claim.

… величините Единствените near-collisions на суфиксния шаблон са думи на -лион (напр. „Илион") — приети съзнателно: gate-ът нарочно флагва в повече, а в регистъра на поръчките такива думи почти не се срещат. Записан е изходът при евентуални фалшиви отхвърляния: \p{L} lookaround граница (JS \b е ASCII-only), а не списък с изключения. Изброяването на -илиард величините е сведено до реалните форми на „милиард" (бележка от ревюто).

… gate-а „Дванадесет млрд. лева" нямаше нито цифра (за \d…млрд шаблона), нито пълнословен суфикс — изписано числително + абревиатура се промъкваше покрай целия gate. млрд/млн влизат в стем шаблона (флагват и без цифра; негативен контрол: тестът пада без промяната). Остатъкът „хил." без цифра остава приет — хилядите не са defamation-мащабният вектор (бележка от ревюто на midt-bg#320).

…enylist SQLite (D1) резолва "group_concat"(x), [group_concat](x) и `group_concat`(x) до същия built-in, а регексът изискваше голо име непосредствено пред скобата — цитиран идентификатор минаваше L1. Опционален quote клас след името затваря и трите форми (adversarial тестове; негативен контрол: падат без промяната). Идентификатор с padding в кавичките е РАЗЛИЧЕН за SQLite и не резолва built-in — не изисква обработка (бележка от ревюто).

midt-bg#317) Vectorize зачита metadata филтри само върху свойства с провизиран metadata index, а репото не провизира нито един — filter: { ns: 'entity' } на реален индекс греши или под-филтрира, и то тихо, защото извикващите поглъщат грешките. Native namespace-ът (entity-v1, версиониран като SCHEMA_NS) не изисква metadata index и се прилага преди всякакви филтри. Това беше последната употреба на metadata filter в модула. Entity корпус никога не е индексиран, така че няма legacy кохорт — бъдещият indexer трябва да upsert-ва с namespace: ENTITY_NS (README, „Какво остава"). Closes midt-bg#317

- Header-ът вече не твърди, че FTS инструментът search_entities съществува (само спецификация е) — semantic_search днес връща 0 попадения по дизайн, докато entity корпусът не се индексира. - ENTITY_NS коментарът и README вече НЕ пренасят правилото WHEN TO BUMP върху entity корпуса: то предполага ръчен append-only корпус, а entity корпусът е производен от данните — indexer-ът се нуждае от собствен reconciliation/delete път и трябва да пази id-тата си. - metadata.ns е маркиран изрично като форензично поле — НЕ филтруемо (няма metadata index); скоупингът е само през native namespace. - semanticSearch деградира match без score до 0 (същата защита като флора на retrieveSchemaContext) вместо TypeError в tools.ts; тест. - Тестовете за namespace коват и БРОЯ на заявките (toHaveBeenCalledTimes (1)) — иначе filter-базиран retry път би минал зелен.

…ема пътя Без флор, щом entity корпусът се напълни, top-K връща K-те най-близки съседа ДОРИ когато всички са off-topic, и те стигат до модела като реални hits. MIN_ENTITY_SCORE (симетричен на MIN_SCHEMA_SCORE) реже под прага; match без score се чете като под флора и отпада — същото защитно правило като схема пътя. Тестовете деривират скоровете от флора ± ε (бележка от ревюто на midt-bg#319).

…-namespace кохорта - Number.isFinite вместо ?? 0 във флор филтъра на semanticSearch: (undefined ?? 0) >= 0 промъкваше match без score като 'hit' при изричен minScore = 0, а истински score 0 при флор 0 е легитимен — двата случая вече са разграничени (+ тест). След филтъра score е гарантирано число и DTO-то няма нужда от fallback. - README: 'стар кохорт' изрично включва и оригиналния pre-namespace кохорт (id-та в DEFAULT namespace отпреди версионирането) — за първите среди той също е orphan за чистене (бележки от ревюто).

…s' на route границата (midt-bg#316) env.VECTORIZE вече се присвоява на VectorIndex БЕЗ каст: metadata на VectorRecord е стеснен до стойностите, които Vectorize приема, а неизползваемият metadata filter отпадна от интерфейса — така tsc доказва присвоимостта и дрейф между rag.ts и worker-configuration.d.ts чупи typecheck-а, не продукцията (негативен контрол: върнат filter член → TS2322 на самото присвояване). env.AI не може да удовлетвори EmbeddingRunner структурно (run() връща per-model union), затова route-ът минава през типизиран адаптер, който вика реалния @cf/baai/bge-m3 overload — също проверен от компилатора — и подава само embeddings члена; embed() и без това fail-fast-ва при малформен data. Кастовете към AgentEnv остават: BGGPT_API_KEY е secret и не присъства в генерирания Env — отделен въпрос от AI/Vectorize биндингите. Closes midt-bg#316

- EmbeddingRunner.run вече взима model: typeof EMBED_MODEL (литерала), а адаптерът го препраща в реалния Ai.run overload — втори, различен модел би бил компилационна грешка, не тихо embed-ване с грешния модел. - Адаптерът е изнесен в bindings.ts (embeddingRunnerFor) — единственият модул, който познава и двете страни на границата; unit тестван, включително [] случаят, който инлайн версията оставяше непокрит. - При неочаквана форма на отговора адаптерът хвърля именувана грешка (само ключовете, без payload — error envelope може да ехне въпроса) вместо да връща [], което се четеше като 'провайдърът не embed-на нищо'. - Header коментарът на rag.ts е разделен по интерфейс: VectorIndex е присвоим от VectorizeIndex (без каст), EmbeddingRunner нарочно НЕ е; поправено и погрешното твърдение, че Vectorize няма filter поле. - README provisioning gate-ът вика indexSchemaCorpus през embeddingRunnerFor — голият env.AI вече не typecheck-ва там.

…е като успех [] е truthy — проверка само за присъствие връщаше { data: [] } за непразен вход и embed() после обвиняваше '0 embeddings' вместо реалната причина: провайдър, отговорил с празен batch. Празният масив вече е именуван отделен случай в грешката на адаптера (+ тест; бележка от ревюто на midt-bg#320).

nedda76 mentioned this pull request Aug 18, 2026

feat(assistant): наблюдаем RAG fallback — статистика на retrieval-а и логнати деградации #321

Open

ydimitrof reviewed Aug 19, 2026

View reviewed changes

Comment thread apps/web/app/lib/assistant/sql-guard.ts

Comment thread apps/web/app/lib/assistant/report-schema.ts Outdated

Comment thread apps/web/app/lib/assistant/rag.ts

Comment thread apps/web/app/lib/assistant/system-prompt.ts

nedda76 force-pushed the fix/assistant-typed-bindings branch from 78d36fb to e167365 Compare August 19, 2026 17:10

ydimitrof approved these changes Aug 19, 2026

View reviewed changes

Comment thread apps/web/app/lib/assistant/bindings.ts Outdated

Comment thread apps/web/app/lib/assistant/rag.ts

nedda76 force-pushed the fix/assistant-typed-bindings branch from e167365 to 861fd43 Compare August 19, 2026 18:16

nedda76 mentioned this pull request Aug 19, 2026

assistant: рекалибрирай MIN_SCHEMA_SCORE и topK за корпуса без trap-ове #318

Open

ydimitrof reviewed Aug 19, 2026

View reviewed changes

Comment thread apps/web/app/lib/assistant/rag.ts Outdated

Comment thread apps/web/app/lib/assistant/sql-guard.ts

nedda76 force-pushed the fix/assistant-typed-bindings branch from 861fd43 to 6623c91 Compare August 20, 2026 07:01

nedda76 mentioned this pull request Aug 20, 2026

run_sql: durable memory-amplification защита (allowlist на функции + cell-size cap преди capRows) #227

Open

nedda76 force-pushed the fix/assistant-typed-bindings branch from 6623c91 to 5652681 Compare August 21, 2026 10:54

nedda76 force-pushed the fix/assistant-typed-bindings branch from 5652681 to c454c04 Compare August 24, 2026 12:48

nedda76 force-pushed the fix/assistant-typed-bindings branch from c454c04 to c37b1e9 Compare August 25, 2026 18:29

nedda76 added 12 commits August 26, 2026 20:57

ci(deps): unify ignoreUntil timestamp format in osv-scanner.toml

073fab6

The sharp entry used a TOML local-date (2026-10-22) while the react-router entry above uses full RFC3339; align on the latter so parser versions cannot read the file inconsistently. (review note, ydimitrof)

nedda76 added 12 commits August 26, 2026 20:57

nedda76 force-pushed the fix/assistant-typed-bindings branch from c37b1e9 to 1e05ef9 Compare August 26, 2026 18:03

Navigation Menu

Uh oh!

fix(assistant): типизирани AI/Vectorize биндинги — без 'as unknown as' на route границата - #320

fix(assistant): типизирани AI/Vectorize биндинги — без 'as unknown as' на route границата#320
nedda76 wants to merge 24 commits into
midt-bg:mainfrom
nedda76:fix/assistant-typed-bindings

nedda76 commented Aug 18, 2026

Uh oh!

ydimitrof left a comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

ydimitrof left a comment

Uh oh!

Uh oh!

Uh oh!

ydimitrof left a comment

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Uh oh!

Conversation

nedda76 commented Aug 18, 2026

Какво

От ревюто (второ комитче)

Стак

Проверено

Uh oh!

ydimitrof left a comment

Choose a reason for hiding this comment

Обобщение на ревюто

Оценка по измерения

CLAUDE.md съответствие

Незначителни наблюдения (не блокиращи — виж inline)

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

ydimitrof left a comment

Choose a reason for hiding this comment

Ревю на PR: типизирани AI/Vectorize биндинги (без as unknown as)

Обобщение

Фаза 0 — Security-critical scan: CLEAN

Силни страни

Забележки (ниска тежест)

Проверимост

Съответствие с CLAUDE.md

Препоръка

Uh oh!

Uh oh!

Uh oh!

ydimitrof left a comment

Choose a reason for hiding this comment

Ревю на PR: типизирани AI/Vectorize биндинги (без as unknown as)

Фаза 0 — Сигурност (сканиране): ЧИСТО (с една бележка)

Обща оценка

Тестове (силна страна)

Архитектура / CLAUDE.md

Точки за внимание (не блокиращи)

Заключение

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Ревю на PR: типизирани AI/Vectorize биндинги (без `as unknown as`)

Ревю на PR: типизирани AI/Vectorize биндинги (без `as unknown as`)