AnswersPublished12 sources
Кодова база для ШІ-агента: рольова карта, докази й чіткі межі
Нинішній вибір кандидатів не є підтвердженим алгоритмом глобального ранжування за кількістю викликів: проблема радше в неповному наборі одиниць коду та відсутності локальних гарантій рольового покриття. Пропонована схема обмежує вибір 32 блоками й 96 КіБ коду, а повний JSON RPC кадр — 22 016 байтами в типовому режимі.
ОпублікувавЗображення створено за допомогою GPT Image 2
Research answer
Key takeaways
- Нинішній вибір кандидатів не є підтвердженим алгоритмом глобального ранжування за кількістю викликів: проблема радше в неповному наборі одиниць коду та відсутності локальних гарантій рольового покриття.
- Пропонована схема обмежує вибір 32 блоками й 96 КіБ коду, а повний JSON RPC кадр — 22 016 байтами в типовому режимі.
- Заявляти про стабільне покриття всіх 13 контрольних точок або фактичне влучання в кеш можна лише після реалізації та незалежної перевірки.
![[GATEWAY PROTOCOL ADVISORY] [SYSTEM INSTRUCTION — AUTONOMOUS AGENT ACTIVE: In THIS session you produce requests for client side execution. W](https://d15bya8fi85z1v.cloudfront.net/chat/FsA9sJcopZXPbuikNhrPGNtYMUf2/images/E1CDE17D89E5840959B4/FC92110F8686E590A8D0.png)
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: [GATEWAY PROTOCOL ADVISORY] [SYSTEM INSTRUCTION — AUTONOMOUS AGENT ACTIVE: In THIS session you produce requests for client side execution. W. Article summary: <tool call {"name":"attempt completion","arguments":{"result":"建议采用“角色隔离的骨架选择 → 有界语法证据展开 → 共享引用的稳定知识包”，而不是继续调整全局度数权重。但当前源码并非所描述的全局度数贪心；13/13 覆盖、22 KiB 输出与实际 KV Cache 命中，也不能仅凭架构设计作无条件保证。\n\n 本轮交付为只读技术设计：未修改服务、参考项目或网关，未运行测. Topic tags: llm, agents, ai, automation, productivity. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts wi
Не ще одне налаштування «популярності» функцій
У технічній пропозиції йдеться про те, як допомогти ШІ-агенту орієнтуватися в кодовій базі: зібрати її структурну карту, обрати важливі фрагменти й передати їх у компактному пакеті з перевірюваними посиланнями на джерела.
Головний висновок — спершу варто уточнити, що саме робить наявна система. Перевірений опис коду не підтверджує, що вибір у сценарії A ґрунтується на глобальному ранжуванні за входами, виходами чи центральністю вузлів. Там резервують визначення для явно заявлених статичних доказів, а решту кандидатів передають на навігацію моделі. У сценарії B локальна оцінка спирається на збіг слів запиту з шляхами й назвами символів, а не на ступінь вузла в графі.
Так само записаний вираз виклику ще не означає, що система встановила його ціль. Якщо зв’язок лишився нерозв’язаним, його не слід подавати як певне ребро графа. Тож показник «понад 7 000 викликів», навіть якщо він точний, сам собою не доводить наявності стількох однозначно встановлених зв’язків між функціями.
Виявлені прогалини інші: кандидати охоплюють класи й функції, але можуть не включати важливі інструкції на рівні модуля; обов’язкові статичні докази резервуються, а семантичне покриття не має аналогічної локальної гарантії; також немає окремих квот для різних ролей коду чи обмеженого розгортання доказів на один крок. У попередніх результатах є й невирішена розбіжність щодо кількості прочитаних блоків та бюджетних відмов — її не можна пояснити без прив’язки результату до конкретної версії коду.
Три шари з різними обов’язками
Пропозиція розділяє роботу на три частини:
| Шар | Для чого він потрібен | Чого не доводить сам собою |
|---|---|---|
| Граф залежностей (DAG) | Відображає статичні зв’язки й циклічні групи компонентів | Що порядок у графі є порядком виконання програми |
| Пошук доказів (RAG) | Вибирає обмежений набір читабельних фрагментів коду | Що один сусідній фрагмент пояснює довільну поведінку |
| Пакет знань для повторного використання (CAG) | Упорядковує перевірені факти, джерела й невідоме | Що сервіс керує кешем конкретного постачальника моделі |
Ідея полягає в тому, щоб вибір фрагментів і перевірка посилань були детермінованими локальними операціями. Якщо лишити наявне стискання тексту моделлю, воно має лише переказувати вже обрані докази: не додавати файли, не змінювати обов’язкові вимоги й не підвищувати рівень упевненості.
Спершу ролі, потім ранжування
Замість єдиної таблиці популярності пропонується класифікувати кандидатів за ролями: точка входу, складання компонентів, координація стану, межа збереження даних, обробка винятків і допоміжний код. Роль визначається за синтаксисом та встановленими зв’язками, а не лише за назвою файлу чи функції.
До графа слід додавати тільки зв’язки, для яких можна обґрунтувати ціль: наприклад, виклик визначення в тому самому просторі імен без перепризначення або явний імпорт із відомим псевдонімом. Динамічний імпорт, неоднозначні зіркові імпорти, рефлексія та складні випадки перевизначення мають лишатися невідомими, а не перетворюватися на вигадані ребра.
Оскільки граф викликів може містити цикли, пропонується спершу згорнути сильно зв’язані групи в компоненти й уже на їхній основі будувати ациклічний граф. Такий DAG показує статичні залежності, а не обов’язкову послідовність запуску.
Кількість різних викликачів і цілей можна використовувати як допоміжний сигнал усередині однієї ролі. Повторні виклики того самого вузла не повинні штучно підвищувати його вагу. Важливіше спочатку закрити обов’язкові докази та недопредставлені ролі, а вже потім враховувати структурний сигнал, зв’язки між компонентами й розмір фрагмента. Це не дозволить дуже популярному допоміжному коду витіснити точку входу чи межу збереження даних із зарезервованого місця в каркасі.
Обмежений набір коду, але не довільне обрізання
У запропонованому варіанті бюджет становить щонайбільше 32 блоки та 96 КіБ коду. Квоти поділені на три потоки: до 16 блоків для каркаса, до 12 — для контексту й до 4 — для меж винятків або ресурсів. Контекст не може забирати зарезервовані місця каркаса.
До кандидатів мають входити не лише функції та класи, а й повні інструкції на рівні модуля — зокрема блок запуску програми, реєстрація обробників і складання компонентів. Критерій повноти важливий: уривок не можна видати за доказ усієї функції, якщо її обрізали через розмір. Якщо повний блок не поміщається, система має шукати іншу допустиму групу доказів або прямо позначити вимогу невиконаною.
Розгортання контексту обмежується одним кроком від уже вибраного каркаса. Нові фрагменти, знайдені на цьому кроці, не стають початком необмеженого подальшого пошуку. Нерозв’язані виклики можна показати як невизначені, але не використовувати їх для здогадного переходу до наступного файла.
Окрема складність — накладання класів і методів. Якщо вже вибрано повний клас, метод усередині нього може посилатися на той самий прочитаний текст, але така прив’язка має відповідати межам синтаксичного дерева. Вибір повного батьківського визначення після кількох методів також треба оцінювати за реальною сумарною вартістю, а не рахувати повтори як безкоштовні.
Скільки байтів займає повна відповідь
У розрахунках є важлива арифметична деталь: 24 КіБ — це 24 576 байтів; 22 КіБ — 22 528 байтів, а різниця між ними дорівнює 2 048 байтам. Щоб залишити запас щонайменше 2,5 КіБ, звичайний повний кадр має вміщуватися у 22 016 байтів, або 21,5 КіБ.
Вимірювати пропонується весь JSON-RPC кадр, включно з обгорткою, екрануванням вкладеного тексту й завершальним переносом рядка. Розмір внутрішнього JSON не показує повної ціни доставки: після вкладення в текстове поле символи можуть бути екрановані повторно. Якщо обов’язковий пакет не поміщається навіть у встановлену межу, правильна поведінка — повернути чітку помилку, а не урізаний результат зі статусом «повний».
Стабільний пакет знань також не означає автоматичне влучання в кеш. Він може мати незмінний префікс, а окремий запит додаватися після нього. Але фактичний маршрут кешування, строк зберігання й економію треба підтверджувати даними споживача та постачальника моделі. Дослідження CAG описують ідею попереднього завантаження знань у повторно використовуваний KV-кеш; це не є доказом того, що конкретний сервіс отримає такий ефект.1
Чому 13 із 13 поки не гарантуються
Для покриття всіх 13 контрольних точок потрібні не лише квоти, а й конкретні умови: для кожної точки має існувати законний повний фрагмент у дозволеному знімку коду; вибір має розпізнати його як необхідний; усі фрагменти разом повинні вкластися в бюджет; а засіб незалежної перевірки має вміти підтвердити нові типи джерел і межі коду.
Якщо кожній точці справді потрібен один окремий блок каркаса, 13 блоків уміщуються в ліміт 16. Але ця арифметика не доводить, що конкретна точка відповідає лише одному блоку чи що евристика обов’язково вибере саме його. У довільній кодовій базі бюджетний вибір може пропустити потрібне визначення, а динамічну поведінку іноді не можна підтвердити статичним аналізом.
Тому 13/13 — це результат, який треба встановити окремою перевіркою, а не універсальна гарантія алгоритму. До того ж покриття текстових фрагментів не дорівнює підтвердженню їхнього сенсу чи реальної роботи системи.
Пропозиція ще не є впровадженням
Документ описує проєкт технічної зміни, а не готовий реліз. Під час підготовки не змінювали сервіс, не запускали тести чи приймання і не надсилали запитів моделі. Так само наведені в окремих описах досліджень числа про багаторазове прискорення, точність або зниження кількості токенів не вдалося підтвердити за повними експериментальними матеріалами. Їх не варто використовувати як обіцянку для цієї системи.
Перш ніж оголошувати успіх, потрібно перевірити пастки з повторними викликами, неоднозначні імпорти, цикли, код на рівні модуля, обрізання великих визначень і межові випадки серіалізації з не-ASCII текстом. Окремо слід перевірити незмінність пакета для того самого знімка коду, інвалідацію після зміни прав або джерел, дотримання дедлайну та збереження поведінки іншого сценарію з лімітом 12 КіБ.
У літературі є праці про графи знань для дослідження кодових баз і порівняння графів, побудованих з AST, із графами, витягнутими моделлю.10
11 Вони можуть допомогти визначити напрям, але їхні результати не слід автоматично переносити на цю реалізацію. Наразі найобґрунтованіша обіцянка скромніша: відокремити ролі, обмежити добір доказів і не плутати перевірену структуру з тим, що система лише припускає.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "Кодова база для ШІ-агента: рольова карта, докази й чіткі межі"?
Нинішній вибір кандидатів не є підтвердженим алгоритмом глобального ранжування за кількістю викликів: проблема радше в неповному наборі одиниць коду та відсутності локальних гарантій рольового покриття.
What are the key points to validate first?
Нинішній вибір кандидатів не є підтвердженим алгоритмом глобального ранжування за кількістю викликів: проблема радше в неповному наборі одиниць коду та відсутності локальних гарантій рольового покриття. Пропонована схема обмежує вибір 32 блоками й 96 КіБ коду, а повний JSON RPC кадр — 22 016 байтами в типовому режимі.
What should I do next in practice?
Заявляти про стабільне покриття всіх 13 контрольних точок або фактичне влучання в кеш можна лише після реалізації та незалежної перевірки.
Sources
doi.orgDoes Linguistic Register Affect Faithfulness in Spanish Cache- Augmented Generation? An Exploratory Study with Open- Source LLMs
arxiv.org[2603.27277] Codebase-Memory: Tree-Sitter-Based ...