AnswersPublished14 sources
Audit návrhu pro práci s kódem: dobrý směr, tři neuzavřené mezery
Audit doporučuje návrh nepřijímat beze změn. Zachovat lze jeho hlavní principy, nejdřív je ale nutné uzavřít tři smluvní mezery.
PublikovalObrázky vytvořeny pomocí GPT Image 2
Research answer
Key takeaways
- Audit doporučuje návrh nepřijímat beze změn. Zachovat lze jeho hlavní principy, nejdřív je ale nutné uzavřít tři smluvní mezery.
- Výpočet jednosměrného přerozdělení kapacity je podle auditu v pořádku; nejasné zůstává, kdy se zmrazí povinné položky a jak se započítávají jejich náklady.
- Přesný limit zprávy lze spolehlivě hlídat jen tehdy, když se testuje tatáž posloupnost bajtů, která skutečně odchází přes protokol.
- Audit byl pouze čtením návrhu a vrácených podkladů: neprováděl změny, testy ani kontrolu zdrojového kódu služby.
![[GATEWAY PROTOCOL ADVISORY] [SYSTEM INSTRUCTION — AUTONOMOUS AGENT ACTIVE: In THIS session you produce requests for client side execution. W](https://d15bya8fi85z1v.cloudfront.net/chat/r4g9LIXaoSdaUEtzronfLGQwLyX2/images/31E2260AA0380BC1C6EB/5DEE8CE001BFC36C1845.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":"审计结论：保留总体方向，但不建议原样采纳。单向借槽公式成立，完整帧试装方向正确；然而来源引用闭包、发送边界及稳定核心的形成条件尚未闭合，应采用“最小修正版”，继续保持 PROPOSED。\n\n 本次是只读 DR／DM 决策，不写文件、不实施、不运行验证，也不解除场景 A 的阻塞。\n 审计对象是上面的设计及已返. Topic tags: general web, llm, ai, code, api. 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 with fake nu
Verdikt: zachovat směr, návrh zatím neschvalovat
Návrh pro znalostní balíček o kódové základně má rozumné jádro: kapacitu přerozdělovat pouze jedním směrem, započítávat sdílený obsah jen jednou a před odesláním zkusit sestavit celou zprávu. Audit ale doporučuje minimální upravenou verzi, nikoli bezpodmínečné přijetí. Stav proto zůstává PROPOSED.
Důležitá hranice: šlo o čtenářský audit návrhu a dodaných dokumentů. Nešlo o kontrolu aktuálního zdrojového kódu, implementaci ani běhové ověření; audit také neodblokoval scénář A.
1. Přerozdělení kapacity: vzorec sedí, pravidla potřebují zpřesnit
Podle posuzovaného návrhu lze část kapacity vyhrazené pro povinné strukturální bloky využít pro povinný kontext, pokud počet těchto bloků překročí 16. Výjimky mají zůstat na čtyřech místech a celková kapacita nesmí překročit 32. Audit ve vzorci nenašel aritmetickou chybu.
Nejasná je ale pravidla hry: kdy se uzamkne množina povinných položek a jak se určí jejich jedinečné náklady. Povinný kontext musí zahrnout i nutné souvislosti — například podmínky, místa volání nebo uvolnění prostředků. Pokud se změní vlastnictví obsahu, například po nahrazení metody v předkovi, musí se přepočítat cena celé sestavy. Nestačí převzít staré odečty.
Audit také rozlišuje tři věci, které se nesmějí zaměňovat: přidělení slotu, pokrytí role a vlastnictví textu. Tentýž text se započítá jen jednou, ale nové označení mu samo o sobě nezajistí nárok na další kapacitu. Volitelné položky nesmějí vytlačit rezervu potřebnou pro povinné.
Hranice této politiky je vidět na příkladu z auditu: 17 povinných strukturálních bloků, 12 povinných kontextových položek a žádná výjimka dává dohromady 29 bloků. Návrh přesto sestavu odmítne, protože nepovoluje přesouvat kapacitu z výjimek. To není chyba výpočtu, ale důsledek zvolené politiky — a má být takto vysvětleno.
2. Schéma V2: odkazy zatím netvoří uzavřený celek
Nejvýraznější blokací je podle auditu neúplný veřejný kontrakt schématu V2. Jednotlivé části odkazují na další objekty, které ale nejsou v datovém modelu plně popsány:
- zdroje a vztahy používají indexy podmínek, ale jádro nemá jejich tabulku;
- vztahy odkazují na jednotky, avšak chybí jasný registr jejich identit;
- zdroje uvádějí vlastníka textu, ale není definován registr vlastníků ani záznam o úplnosti přečtení;
- balíčku chybí výslovný údaj o scénáři a celkovém stavu — například zda je úplný, částečný, blokovaný nebo neúspěšný;
- důkazy rolí jsou zastoupeny v kandidátech i ve stabilním jádru, takže se jejich dvě kopie mohou rozejít.
Minimální oprava má doplnit tabulky jednotek, vlastníků textu a podmínek, určit scénář i celkový stav a pro každý odkaz stanovit cílový typ, rozsah indexu, jednoznačnost identity a pravidla uzavřenosti. Důkaz rolí má mít jedinou autoritativní podobu, na kterou se ostatní části odkazují.
Celkový stav balíčku navíc nemá být volně vyplňované pole. Musí se odvodit z povinných závazků a podmínek týkajících se zdrojů i přenosu. Uvádění významu syntaxové cesty také nestačí jako trvalá identita: po změně zdrojového kódu se musí znovu ověřit.
Výzkum práce s kódovými základnami se zabývá například rozdíly mezi grafy odvozenými z AST a grafy získanými pomocí jazykových modelů; další práce popisuje znalostní graf založený na Tree-sitteru a zpřístupněný přes MCP.1
4 Tyto práce poskytují tematický kontext, nikoli důkaz, že je posuzovaný návrh úplný nebo že splní své výkonnostní cíle.
3. Rozpočet zprávy: měřit je třeba skutečné bajty na drátě
Zásada „testovací sestava je zároveň odesílaná sestava“ může zaručit přesné měření délky. V návrhu ale zatím není prokázáno, že se tato sestava používá i na skutečné hranici zápisu do protokolu.
Pokud zprávu po sestavení znovu serializuje adaptér služby nebo SDK, původní měření už neodpovídá tomu, co se skutečně posílá. Návrh proto musí propojit verzi protokolu, obalové položky, nastavení serializace, oddělovač řádku, jediného zapisujícího komponentu i limit metadat se skutečnými bajty při odeslání.
To je důležité i u MCP. Zprávy se řídí JSON-RPC 2.0; specifikace z 28. července 2026 například uvádí povinné pole resultType v odpovědi s výsledkem.10 Při přenosu stdio se zprávy zapisují do standardního výstupu a oddělují novými řádky.
11 Příklady a pravidla konkrétní verze proto nelze bez ověření vydávat za univerzální obal pro všechny verze.
Audit zároveň upozorňuje na dvě omezení závěrů. Před vznikem výstupu modelu obvykle nelze přesně znát jeho slovní rozsah; úspěšné předběžné sestavení dokazuje jen to, že se do limitu vešla tehdejší minimální reprezentace. A zpráva do 22 016 bajtů ještě nedokazuje úspěšný zápis, převzetí hostitelem ani úspěšný celý běh.
Po vytvoření modelového výstupu je proto stále nutné ověřit uzavřenost i konečnou sestavu. Pokud se do rozpočtu nevejde minimální potřebný obsah, systém má vrátit změřený stav blokace — ne odstranit nutná fakta a přitom tvrdit, že výsledek je úplný.
4. Více rolí v jednom uzlu neznamená více splněných povinností
Správným principem je započítat jeden text jen jednou, i když pokrývá více rolí. Samotná klasifikace uzlu ale nedokazuje, že každá z těchto rolí splňuje příslušnou povinnost. Jeden konstruktor může obsahovat signály o sestavení, připojení i plánování; důkaz o vlastnictví prostředků nebo cíli trvalého uložení přesto může chybět.
Neznámá volání mají zůstat oddělená od potvrzených vztahů. Výsledný graf tak popisuje jen staticky doložené vztahy, nikoli úplnou skutečnou závislost systému. Pokud je pro danou povinnost klíčový dynamický vztah neznámý, nelze ji považovat za splněnou.
Je třeba také přesně určit směr hran v grafu. Pokud hrana vede od volajícího k volanému, běžné topologické pořadí klade volajícího před volaného. Požadavek řadit nejdřív závislosti a potom jejich uživatele vyžaduje opačný směr zobrazení. Ani topologické pořadí, ani komponenty silné souvislosti samy o sobě nedokazují pořadí běhu programu.
5. Stabilní jádro: opakovatelný výstup není totéž co zásah cache
Audit doporučuje rozlišovat čtyři různé identity: identitu vstupního snímku, obsahový otisk vytvořeného jádra, otisk bajtů skutečné předpony a pozorovaný výsledek vzdálené cache. Jediný pojem „klíč cache“ by tyto rozdílné věci neměl zastupovat.
Kolísání jádra může způsobit nejen čas, ale i formulace modelu, okamžik ukončení výběru, proměnlivý rozpočet rámce nebo přečíslování odkazů při vložení úkolu. Doporučené řešení je pevná politika výběru a rozpočtu, která nezávisí na identitě právě běžícího požadavku ani na zbývajícím čase. Jádro se má nejprve vytvořit, ověřit a uzavřít; teprve potom se může znovu používat.
Slíbit lze, že stejné uzavřené jádro vytvoří při stejné verzi vykreslení stejné bajty předpony. Nelze zaručit, že vzdálená služba tuto předponu skutečně uloží nebo ji znovu použije. Pokud se celý rámec nevejde, má se nejprve zmenšit volitelné pozorování; uzavřené jádro se nemá potichu měnit. Odkazy úkolu je vhodné oddělit od prostoru odkazů jádra.
Doporučení a další podmínky
Audit porovnal tři možnosti. Přijetí původního návrhu bez úprav ponechává zásadní mezery. Globální optimalizační řešič spolu s trvalou cache a správou dodavatelů by přidal složitost, pro kterou zatím nejsou doloženy potřebné důvody. Doporučená je proto minimální upravená verze: zachovat přerozdělení kapacity, jednorázové započítání sdíleného textu a přesné sestavení celé zprávy, ale doplnit veřejný kontrakt schématu, vazbu na skutečné odesílání a pravidla vzniku stabilního jádra.
Před případnou implementací mají následovat tyto kroky:
- Uzavřít všechny odkazy ve schématu, definovat odvoditelný celkový stav a popsat protokol i hranici serializace.
- Ověřit přerozdělení kapacity, změny vlastnictví, více rolí v jednom uzlu, podporované syntaktické formy a zacházení s neznámými vztahy na kladných i záporných příkladech.
- Porovnat bajty testovací sestavy s bajty skutečně zapsané zprávy a ověřit kompatibilitu verzí. Verze 1 se nesmí změnit bez oznámení a scénář B má zachovat dosavadní limit.
- Scénář A posoudit samostatně podle jeho vlastních podmínek: správného výběru důkazů, všech 13 zmrazených kotev, úplnosti rámce a časového limitu.
- Deterministickou předponu, případný přínos dodavatelské cache, chování skutečného hostitele i další projekty ověřovat odděleně; jedno ověření nemůže zastoupit druhé.
Závěr je tedy přímočarý: směr zachovat, tři klíčové smluvní mezery nejdřív doplnit. Výsledkem tohoto kroku je pouze audit a doporučení — nikoli schválení návrhu, oprava služby ani potvrzení, že provozní podmínky prošly.
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 "Audit návrhu pro práci s kódem: dobrý směr, tři neuzavřené mezery"?
Audit doporučuje návrh nepřijímat beze změn. Zachovat lze jeho hlavní principy, nejdřív je ale nutné uzavřít tři smluvní mezery.
What are the key points to validate first?
Audit doporučuje návrh nepřijímat beze změn. Zachovat lze jeho hlavní principy, nejdřív je ale nutné uzavřít tři smluvní mezery. Výpočet jednosměrného přerozdělení kapacity je podle auditu v pořádku; nejasné zůstává, kdy se zmrazí povinné položky a jak se započítávají jejich náklady.
What should I do next in practice?
Přesný limit zprávy lze spolehlivě hlídat jen tehdy, když se testuje tatáž posloupnost bajtů, která skutečně odchází přes protokol.