AnswersPublished12 sources
Memilih Bukti Kod dengan Lebih Cermat: Rangka Kerja RAG dan CAG yang Dicadangkan
Kod semasa tidak terbukti memilih fungsi berdasarkan darjah graf global; satu kelemahan yang disahkan ialah calon bukti hanya merangkumi definisi fungsi dan kelas, bukan pernyataan di peringkat modul. Reka bentuk yang dicadangkan mengasingkan pemilihan rangka utama mengikut peranan, kemudian mengembangkan bukti sint...
Diterbitkan olehImej dijana dengan GPT Image 2
Research answer
Key takeaways
- Kod semasa tidak terbukti memilih fungsi berdasarkan darjah graf global; satu kelemahan yang disahkan ialah calon bukti hanya merangkumi definisi fungsi dan kelas, bukan pernyataan di peringkat modul.
- Reka bentuk yang dicadangkan mengasingkan pemilihan rangka utama mengikut peranan, kemudian mengembangkan bukti sintaks secara terkawal.
- Sasaran yang dicadangkan ialah maksimum 32 blok dan 96 KiB kod, dengan had saiz berasingan untuk rangka utama, konteks dan sempadan.
- Had 24 KiB bersamaan 24,576 bait; untuk mengekalkan ruang sekurang kurangnya 2.5 KiB, bingkai respons biasa perlu dihadkan kepada 22,016 bait.
![[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
Mengapa memilih fungsi paling popular bukan jalan pintas yang selamat
Apabila AI meneliti pangkalan kod, fungsi yang kerap dipanggil boleh kelihatan penting. Namun, kekerapan sahaja tidak cukup untuk menunjukkan keseluruhan aliran sistem: pintu masuk, proses pemasangan komponen, pengurusan keadaan dan tempat data disimpan mungkin mempunyai corak panggilan yang berbeza.
Semakan terhadap reka bentuk semasa juga membetulkan satu andaian penting: kod yang diperiksa tidak terbukti menggunakan susunan global berdasarkan darjah masuk, darjah keluar atau pemusatan graf. Dalam satu laluan, bukti statik yang diwajibkan oleh pemanggil dipilih dahulu, sebelum model menavigasi calon definisi. Laluan lain menggunakan padanan benih dan teks soalan dengan laluan fail atau nama simbol — bukan skor darjah graf.
Terdapat batasan lain yang lebih jelas. Calon bukti semasa merangkumi definisi fungsi dan kelas, tetapi bukan pernyataan di peringkat modul. Maka, pemasangan komponen, blok perlindungan program utama atau kesan sampingan yang ditulis terus di peringkat atas fail mungkin tidak muncul sebagai calon. Pengekstrak juga merekodkan ungkapan panggilan, sedangkan sasaran panggilan boleh kekal tidak diketahui. Jadi, jumlah ungkapan panggilan tidak semestinya sama dengan jumlah hubungan panggilan yang telah dikenal pasti dengan pasti.
Cadangan: rangka utama dahulu, kemudian bukti tambahan
Aliran yang dicadangkan bermula dengan sumber yang dibenarkan, diikuti penghuraian AST (pokok sintaks abstrak) dan pengesanan ikatan nama. Selepas itu, sistem mengenal pasti peranan komponen, membentuk rangka kebergantungan, memilih bukti utama dan hanya kemudian mengembangkan konteks setakat satu lompatan.
Peranan yang boleh dipisahkan termasuk:
- Pencetus atau pintu masuk, seperti blok program utama atau pendaftaran pengendali yang dapat dikenal pasti.
- Pemasangan komponen, termasuk pembina, kilang dan kod yang menyediakan storan atau komponen lain.
- Penyelarasan keadaan, iaitu kod yang menghubungkan beberapa komponen atau mengawal peringkat pemprosesan.
- Sempadan storan, seperti panggilan kepada antara muka baca/tulis atau lokasi penyerahan data.
- Sempadan ralat dan sumber, seperti pengendalian pengecualian dan pembersihan yang berkaitan dengan aliran utama.
Ini ialah kategori yang dicadangkan, bukannya keupayaan yang sudah terbukti. Nama fungsi seperti init atau save boleh menjadi petunjuk awal, tetapi tidak cukup untuk mengesahkan peranan. Begitu juga, panggilan dinamik, refleksi, pengikatan samar dan sasaran yang tidak dapat dipastikan patut kekal sebagai perkara tidak diketahui — bukan ditukar menjadi hubungan yang dianggap benar.
Graf panggilan juga tidak semestinya berbentuk DAG, iaitu graf berarah tanpa kitaran. Cadangan ini mengumpulkan komponen yang saling terhubung rapat melalui komponen kuat terhubung, kemudian membentuk DAG daripada kumpulan tersebut. Hasilnya ialah rangka kebergantungan statik, bukan garis masa yang membuktikan urutan kejadian semasa sistem berjalan.
Had bukti yang boleh diukur
Rangka yang dicadangkan mempunyai tiga saluran kuota: maksimum 16 blok untuk rangka utama, 12 untuk konteks dan 4 untuk sempadan ralat atau sumber. Jumlah keseluruhan dihadkan kepada 32 blok dengan jumlah isi kod tidak melebihi 96 KiB. Konteks tambahan tidak boleh mengambil slot yang disediakan untuk rangka utama.
Pemilihan patut mendahulukan bukti yang memenuhi kewajipan penting, kemudian mengisi peranan dan komponen yang belum terwakili. Hubungan yang telah disahkan boleh membantu menentukan tertib dalam kumpulan peranan yang sama, tetapi fungsi berpusat tinggi daripada peranan sampingan tidak sepatutnya mengatasi pintu masuk atau sempadan storan.
Bukti perlu terdiri daripada unit sintaks yang sah dan lengkap: contohnya, definisi fungsi lengkap termasuk dekorator, atau pernyataan peringkat modul yang lengkap. Jika bukti wajib melibatkan beberapa unit, sistem perlu memilih kumpulan itu sebagai satu set. Ia tidak patut memotong kod secara senyap lalu mendakwa keseluruhan unit telah dibaca.
Kewajipan juga perlu mempunyai status yang jujur. Bukti yang belum ditemui, belum dibaca atau terhalang oleh bajet tidak boleh dilabel sebagai telah dipenuhi. Jika bukti wajib tidak muat, sistem patut melaporkan halangan itu dan bukannya menggantikannya dengan konteks pilihan.
Saiz respons dan pakej pengetahuan yang boleh dirujuk semula
Perbezaan kecil dalam kiraan bait penting apabila respons melalui JSON-RPC. Had 24 KiB ialah 24,576 bait, manakala 22 KiB ialah 22,528 bait. Bezanya 2,048 bait — bersamaan 2 KiB, bukan 2.5 KiB. Jika sasaran ialah meninggalkan ruang sekurang-kurangnya 2.5 KiB, bingkai biasa perlu dihadkan kepada 22,016 bait, atau 21.5 KiB.
Pengukuran perlu meliputi keseluruhan bingkai yang dihantar, termasuk pembungkus JSON, aksara yang perlu dilepaskan semula dan baris penamat. Mengukur kandungan dalaman sahaja tidak memadai. Cadangan ini menetapkan supaya sistem mengukur bingkai akhir dan menghantar bait yang sama, tanpa membina semula respons selepas pemeriksaan.
Untuk mengurangkan pengulangan, pakej pengetahuan boleh menyimpan maklumat fail dan sumber sekali sahaja, kemudian merujuknya menggunakan indeks daripada fakta atau hubungan. Ini mengembangkan idea senarai sumber bersama yang memang sudah digunakan dalam pemampatan sedia ada. Namun, rujukan berkongsi tidak semestinya mengecilkan setiap pakej; kesannya perlu diukur pada bingkai sebenar.
Kandungan yang stabil — seperti identiti snapshot, versi algoritma, fakta dan sumber — juga boleh dipisahkan daripada maklumat khusus bagi satu permintaan. Ini mungkin memudahkan penggunaan semula awalan. Tetapi reka bentuk pakej yang stabil tidak membuktikan bahawa penyedia model akan memberikan hit cache, menjimatkan kos atau mengurangkan masa respons. Kajian CAG yang dirujuk menyokong konsep memuatkan pengetahuan ke dalam cache KV yang boleh diguna semula, bukan jaminan prestasi untuk perkhidmatan ini.1
Apa yang boleh dan belum boleh dijanjikan
Dua kertas kerja yang dirujuk membincangkan graf kod yang dibina daripada AST dan penerokaan pangkalan kod berasaskan graf.10
11 Namun, semakan ini tidak mengesahkan angka seperti pengurangan token tertentu atau kadar kehilangan bukti sifar daripada eksperimen yang boleh diperiksa. Oleh itu, angka tersebut tidak wajar dijadikan janji prestasi bagi reka bentuk yang dicadangkan.
Had seperti 32 blok, 96 KiB dan bingkai maksimum boleh diuji sebagai invarian program. Sistem boleh memastikan bahawa bukti tidak melebihi kuota, rujukan menunjuk kepada sumber yang benar-benar dibaca dan pemampatan tidak membuang kewajipan penting. Itu tidak membuktikan bahawa setiap kesimpulan tentang seni bina adalah betul.
Liputan 13 daripada 13 titik semakan juga hanya boleh dijanjikan secara bersyarat. Bukti bagi semua titik itu mesti berada dalam sumber yang dibenarkan, boleh diwakili sebagai unit sintaks yang sah, dipilih oleh kontrak permintaan dan muat dalam kuota serta had respons. Semakan ini belum memetakan kesemua 13 titik kepada kumpulan bukti, dan belum menjalankan semula ujian penerimaan. Tambahan pula, pemeriksaan liputan teks tidak dengan sendirinya mengesahkan tafsiran semantik atau tingkah laku hos sebenar.
Had masa 180 saat memerlukan perhatian serupa. Cadangan menetapkan kerja analisis baharu dihentikan selewat-lewatnya pada saat ke-165, supaya 15 saat terakhir boleh digunakan untuk semakan sumber, penyimpanan yang perlu, pembinaan respons dan penghantaran. Namun, semakan berkala tidak sama dengan keupayaan menghentikan secara paksa setiap operasi yang tersekat. Perkhidmatan yang tidak memberi respons atau sistem fail yang tidak kembali masih boleh menghalang penghantaran berjaya.
Status: reka bentuk, bukan pembaikan yang sudah disahkan
Semakan ini ialah kerja penyiasatan dan reka bentuk sahaja. Kod perkhidmatan, projek rujukan dan gerbang tidak diubah; ujian, penilaian semula senario dan permintaan model juga tidak dijalankan. Oleh itu, tiada asas untuk mendakwa liputan 13/13, pematuhan had prestasi atau hit cache telah dicapai.
Langkah seterusnya ialah melaksanakan kontrak versi baharu, menambah ujian untuk panggilan berulang, pengikatan samar, unit sintaks bertindih dan had bait, kemudian menjalankan penilaian bebas. Sehingga itu, janji yang paling kukuh ialah janji tentang had dan disiplin bukti yang boleh diuji — bukan jaminan bahawa AI telah memahami setiap laluan dalam kod.
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 "Memilih Bukti Kod dengan Lebih Cermat: Rangka Kerja RAG dan CAG yang Dicadangkan"?
Kod semasa tidak terbukti memilih fungsi berdasarkan darjah graf global; satu kelemahan yang disahkan ialah calon bukti hanya merangkumi definisi fungsi dan kelas, bukan pernyataan di peringkat modul.
What are the key points to validate first?
Kod semasa tidak terbukti memilih fungsi berdasarkan darjah graf global; satu kelemahan yang disahkan ialah calon bukti hanya merangkumi definisi fungsi dan kelas, bukan pernyataan di peringkat modul. Reka bentuk yang dicadangkan mengasingkan pemilihan rangka utama mengikut peranan, kemudian mengembangkan bukti sintaks secara terkawal.
What should I do next in practice?
Sasaran yang dicadangkan ialah maksimum 32 blok dan 96 KiB kod, dengan had saiz berasingan untuk rangka utama, konteks dan sempadan.
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 ...