ADR-11: документы Outline = обзор технологий для проверки на железе, а не обязательная инструкция

This commit is contained in:
neo committed 2026-10-13 22:00:16 +05:00
1 parent 8c58426113
commit 72903ad426
1 file changed
+30 -5
+30 -5
View File
@@ -50,7 +50,7 @@
**Решение:** Единое хранилище — текст, векторы, граф, метаданные в Postgres. **Решение:** Единое хранилище — текст, векторы, граф, метаданные в Postgres.
**Почему:** **Почему:**
- pgvector = семантический поиск (检索增强). - pgvector = семантический поиск.
- AGE = граф связей (сущности, концепты). - AGE = граф связей (сущности, концепты).
- Один движок вместо трёх БД. - Один движок вместо трёх БД.
@@ -64,9 +64,9 @@
## 5. Anvil: контроль прав и репутация (прозрачность правил) ## 5. Anvil: контроль прав и репутация (прозрачность правил)
**Решение:** Агент начинает с минимальными правами. Успённое действие → +репутация → расширение прав. Контракты: PermissionRegistry, ReputationOracle, BudgetController, CuriosityReward. **Решение:** Агент начинает с минимальными правами. Успешное действие → +репутация → расширение прав. Контракты: PermissionRegistry, ReputationOracle, BudgetController, CuriosityReward.
**Цель (главное):** **прозрачность правил** — агент видим, почему ему что-то можно/нельзя. Каждое решение «разрешено/запрещено» записано и объяснимо. **Цель (главное):** **прозрачность правил** — агент видит, почему ему что-то можно/нельзя. Каждое решение «разрешено/запрещено» записано и объяснимо.
**Решение для MVP:** контроль = обычный код + **append-only журнал** (ADR-2). Журнал уже даёт аудируемость: можно пересчитать, какие права были у агента в любой момент и почему. Блокчейн НЕ нужен, пока нет переносимой репутации. **Решение для MVP:** контроль = обычный код + **append-only журнал** (ADR-2). Журнал уже даёт аудируемость: можно пересчитать, какие права были у агента в любой момент и почему. Блокчейн НЕ нужен, пока нет переносимой репутации.
@@ -92,7 +92,7 @@
**Решение:** Planner генерирует кандидатов → World Model предсказывает следующее состояние → агент выбирает с наивысшим сходством → верификация после выполнения. **Решение:** Planner генерирует кандидатов → World Model предсказывает следующее состояние → агент выбирает с наивысшим сходством → верификация после выполнения.
**Почему:** локальные модели плохо планируют на много шагов вперёд. World Model даёт «представление о мире» без реального действия. **Почему:** локальные плохо планируют на много шагов вперёд. World Model даёт «представление о мире» без реального действия.
**Меры надёжности:** **Меры надёжности:**
- Планирование на один шаг (k=1). - Планирование на один шаг (k=1).
@@ -150,12 +150,36 @@
**Решение:** spark-mind = первый слой Alicorn (чаты + память). Alicorn = полная архитектура. **Решение:** spark-mind = первый слой Alicorn (чаты + память). Alicorn = полная архитектура.
**Почему:** spark-midal уже работает (персона, память, дашборд на :1337). Alicorn строится на этом фундаменте, но с детерминированным runtime'ом. **Почему:** spark-mind уже работает (персона, память, дашборд на :1337). Alicorn строится на этом фундаменте, но с детерминированным runtime'ом.
**Риски:** spark-mind non-deterministic (Python); Alicorn должен быть переписан на Rust. **Риски:** spark-mind non-deterministic (Python); Alicorn должен быть переписан на Rust.
--- ---
## 11. Как читать документы Outline: обзор технологий, а не инструкция
**Решение:** Все документы Outline (ветка «autonom agent alikorn») — это **обзор существующих технологий и способов решения задач**, а не обязательная к исполнению спецификация.
**Мета-позиция:**
- Концепция — это **основная идея** (направление, философия), а не детальные требования.
- Каждый инструмент/технология/фреймворк — **гипотеза**, которую нужно **проверить на железе и реальных задачах**, а не принимать по описанию.
- «Существует проект X, который решает задачу Y» ≠ «мы берём X и всё работает». Реальная ценность — в измерении: как X ведёт себя на 2×3080 Ti, на bge-m3, на локальных моделях с 8K контекстом.
**Почему:**
- Описания в репозиториях и статьях показывают лучший случай, а не поведение в твоей инфраструктуре.
- Выбор инструментов — эмпирический: gresmcp vs MinerU vs Segnatura, σ-RAG пороги, semantic_density — всё выводится на стенде, а не в спецификации.
- Контекст меняется: то, что актуально сегодня (версия, железо, модели), завтра устаревает. Идея устойчивее инструментов.
**Как применять:**
1. Прочитать как карту возможностей («что вообще возможно»).
2. Выбрать кандидатов под MVP и реальные задачи.
3. Протестировать на железе: latency, качество, consumption GPU.
4. Отбросить то, что не показывает результат; оставить то, что работает.
**Пример:** BookRAG (Tree+KG+GT-Link) и RAGA (Read-Search-Verify-Construct) — проверены как близкие к твоей схеме. Kompyla/MetaKGEinrich/EvoMemKG — исследовать на v2, если MVP покажет потребность.
---
## Статус решений ## Статус решений
| # | Решение | Статус | | # | Решение | Статус |
@@ -170,3 +194,4 @@
| 8 | Observability (OTEL+ClickHouse) | Принято (для full-версии) | | 8 | Observability (OTEL+ClickHouse) | Принято (для full-версии) |
| 9 | MVP-стратегия | Принято | | 9 | MVP-стратегия | Принято |
| 10 | Связь с spark-mind | Принято | | 10 | Связь с spark-mind | Принято |
| 11 | Обзор технологий (не инструкция) | Принято |