คำตอบเผยแพร่แล้ว12 แหล่งที่มา
ออกแบบผู้ช่วยอ่านโค้ดอย่างไรให้เห็นโครงสร้างโดยไม่เคลมเกินหลักฐาน
ข้อเสนอหลักคือแยกการเลือกโครงกระดูกตามบทบาท ออกจากการดึงโค้ดบริบท และการจัดแพ็กความรู้ที่มีแหล่งอ้างอิงร่วม จากการตรวจสอบ โค้ดปัจจุบันไม่ได้จัดอันดับผู้สมัครด้วยค่าดีกรีของกราฟทั่วทั้งระบบ และการบันทึกคำเรียกฟังก์ชันยังไม่ได้แปลว่ารู้เป้าหมายของทุก call งบที่เสนอคือไม่เกิน 32 บล็อกและเนื้อหาโค้ด 96 KiB โดยเฟรม JSON...
เผยแพร่โดยรูปภาพสร้างด้วย GPT Image 2
คำตอบการวิจัย
ประเด็นสำคัญ
- ข้อเสนอหลักคือแยกการเลือกโครงกระดูกตามบทบาท ออกจากการดึงโค้ดบริบท และการจัดแพ็กความรู้ที่มีแหล่งอ้างอิงร่วม
- จากการตรวจสอบ โค้ดปัจจุบันไม่ได้จัดอันดับผู้สมัครด้วยค่าดีกรีของกราฟทั่วทั้งระบบ และการบันทึกคำเรียกฟังก์ชันยังไม่ได้แปลว่ารู้เป้าหมายของทุก call
- งบที่เสนอคือไม่เกิน 32 บล็อกและเนื้อหาโค้ด 96 KiB โดยเฟรม JSON RPC ฉบับสมบูรณ์ควรอยู่ไม่เกิน 22,016 ไบต์สำหรับเป้าหมายเผื่อพื้นที่ 2.5 KiB
- การครอบคลุมหลักฐาน 13 จาก 13 จุดและการได้ประโยชน์จาก KV cache ยังรับประกันไม่ได้ หากยังไม่ผูกจุดทดสอบกับหลักฐานจริงและทดสอบกับผู้ให้บริการปลายทาง
![[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 พรอมต์
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 จัดอันดับนิยามด้วย in-degree, out-degree หรือ centrality ทั่วทั้งกราฟ ส่วนสถานการณ์ B ใช้คะแนนจับคู่คำถามกับพาธและชื่อแบบเต็ม ไม่ใช่คะแนนดีกรีของกราฟ นอกจากนี้ ตัวดึงข้อมูลบันทึกนิพจน์การเรียก แต่เป้าหมายของการเรียกอาจยังไม่ทราบ จึงไม่ควรนับทุก call เป็นเส้นเชื่อมที่ยืนยันแล้ว
สามชั้นที่ควรแยกหน้าที่
แนวทางที่เสนอมีลำดับดังนี้:
สแนปช็อตที่ได้รับอนุญาต → AST และดัชนีการผูกชื่อ → บทบาทและความสัมพันธ์แบบสถิต → ยุบวงจรเป็น DAG → เลือกโครงกระดูก → ขยายหลักฐานหนึ่งชั้น → ตรวจข้อเท็จจริงและแหล่งที่มา → บีบอัดและตรวจขนาดเฟรม
- DAG จัดความสัมพันธ์แบบสถิตและแสดงส่วนที่เป็นวงจร แต่ไม่ได้บอกลำดับเหตุการณ์จริงขณะโปรแกรมทำงาน
- RAG เลือกส่วนโค้ดที่ใช้ตรวจสอบข้อกล่าวอ้าง ภายใต้เพดานจำนวนบล็อกและขนาดเนื้อหา
- CAG จัดแพ็กข้อเท็จจริงกับแหล่งอ้างอิงให้เป็นส่วนต้นที่คงรูปและนำกลับมาใช้ได้ แนวคิดการเตรียมความรู้ไว้ใน KV cache ที่นำกลับมาใช้ซ้ำมีอยู่ในงานศึกษาด้าน CAG
1 แต่ไม่ได้พิสูจน์ว่าบริการนี้จะเกิด cache hit หรือได้ผลด้านค่าใช้จ่ายและเวลาแบบใด
งานวิจัยที่เกี่ยวกับกราฟโค้ดก็มีหลายแนว เช่น การเปรียบเทียบกราฟจาก AST กับกราฟความรู้ที่สร้างโดยโมเดล 11 และระบบ Codebase-Memory ที่ใช้ Tree-sitter เพื่อช่วยสำรวจโค้ดผ่าน MCP
10 อย่างไรก็ตาม จากข้อมูลที่ตรวจสอบในบริบทนี้ ยังยืนยันตัวเลขประสิทธิภาพที่ถูกกล่าวอ้าง เช่น อัตราการลดโทเคนหรือการไม่พลาดหลักฐานไม่ได้ จึงไม่ควรใช้ตัวเลขเหล่านั้นเป็นคำรับรองของระบบนี้
จัดบทบาทก่อนพิจารณาคะแนนความเชื่อมโยง
โครงกระดูกควรครอบคลุมบทบาทสำคัญ เช่น จุดเริ่มทำงาน ส่วนประกอบที่ประกอบระบบ การประสานสถานะ และขอบเขตการอ่านเขียนข้อมูล พร้อมเก็บส่วนจัดการข้อผิดพลาดหรือทรัพยากรไว้เมื่อเกี่ยวข้อง ส่วนโค้ดช่วยเหลือทั่วไปไม่ควรเบียดพื้นที่ของบทบาทเหล่านี้เพียงเพราะมีจำนวนการเชื่อมโยงสูง
การระบุบทบาทควรอาศัยโครงสร้างไวยากรณ์และการผูกชื่อที่ตรวจสอบได้ ไม่ใช่อาศัยชื่อไฟล์หรือชื่อฟังก์ชันอย่างเดียว เช่น คำว่า “database” ในชื่อไม่ได้พิสูจน์ว่าโค้ดนั้นเขียนข้อมูลลงฐานข้อมูลจริง ส่วนการลงทะเบียน handler ก็ไม่ได้ยืนยันด้วยตัวเองว่าโฮสต์เรียกใช้งานแล้ว
ก่อนสร้างกราฟเรียกใช้ ต้องแยกการเรียกที่ผูกเป้าหมายได้อย่างระมัดระวังออกจากกรณีที่ยังไม่รู้ เช่น dynamic import, reflection หรือชื่อที่ถูกกำหนดทับ การเรียกที่ยังคลุมเครือควรเก็บเป็นหลักฐานของนิพจน์ไว้ แต่ไม่ควรแสดงเป็นขอบที่ยืนยันแล้ว หากกราฟมีวงจร ให้ยุบ strongly connected components ก่อนทำ DAG เพื่อไม่ให้แสดงความสัมพันธ์แบบวงจรเป็นลำดับเหตุและผลที่ไม่มีอยู่จริง
ค่าดีกรีแบบนับเพื่อนบ้านที่ไม่ซ้ำและมีเพดานอาจใช้เป็นตัวช่วยตัดสินใจภายในบทบาทเดียวกันได้ แต่ไม่ควรใช้แทนการจัดลำดับตามบทบาทหรือหลักฐานที่ยังขาด
เลือกหลักฐานเป็นชุด และไม่ขยายบริบทไม่รู้จบ
เพดานที่เสนอคือไม่เกิน 32 บล็อก และเนื้อหาโค้ดรวมไม่เกิน 96 KiB แบ่งโควตาเริ่มต้นเป็นโครงกระดูกไม่เกิน 16 บล็อก บริบทไม่เกิน 12 บล็อก และขอบเขตข้อผิดพลาดหรือทรัพยากรไม่เกิน 4 บล็อก โควตานี้มีไว้กันไม่ให้โค้ดบริบทแย่งพื้นที่ของโครงกระดูก ไม่ใช่หลักประกันว่าทุกโปรเจกต์จะจัดสรรได้พอดี
ส่วนขยายบริบทควรดูจากโครงกระดูกที่เลือกไว้ แล้วเดินความสัมพันธ์เพียงหนึ่งชั้น ไม่ใช้โค้ดที่เพิ่งเพิ่มเป็นจุดเริ่มเดินต่อซ้ำ ๆ การเลือกต้องรักษานิยามหรือคำสั่งให้ครบ ไม่ตัดบางส่วนแล้วนับเป็นหลักฐานของนิยามเต็ม และควรคิดต้นทุนเป็นไบต์ UTF-8 จริง
ข้อกำหนดที่ผู้เรียกระบุว่าจำเป็นควรเลือกเป็นกลุ่มหลักฐานให้ครบก่อน หากหลักฐานกลุ่มนั้นเกินงบ ระบบควรรายงานว่ายังอ่านไม่ครบหรือถูกจำกัดด้วยงบ ไม่ควรสรุปว่าเงื่อนไขผ่านเพียงเพราะมีแหล่งอ้างอิงอยู่สักรายการ
งบของแพ็กความรู้ต้องวัดจากเฟรมที่ส่งจริง
24 KiB เท่ากับ 24,576 ไบต์ ส่วน 22 KiB เท่ากับ 22,528 ไบต์ จึงเหลือส่วนต่าง 2,048 ไบต์ ไม่ใช่ 2.5 KiB หากต้องการกันพื้นที่อย่างน้อย 2.5 KiB จากเพดาน 24 KiB ขนาดเป้าหมายของเฟรมฉบับสมบูรณ์ต้องไม่เกิน 22,016 ไบต์
การนับต้องรวมเฟรม JSON-RPC ทั้งหมด รวมการ escape JSON ที่ซ้อนอยู่ในฟิลด์ข้อความและอักขระขึ้นบรรทัดท้าย ไม่ใช่นับเฉพาะรายงานด้านใน เมื่อเพิ่มข้อเท็จจริง ควรเพิ่มแหล่งอ้างอิงที่จำเป็นพร้อมกัน และส่งไบต์ชุดเดียวกับที่ผ่านการตรวจขนาดแล้ว หากแม้แต่แพ็กขั้นต่ำยังเกินงบ ควรแจ้งว่าไม่สามารถส่งแพ็กที่ครบถ้วนได้ แทนการส่งผลลัพธ์ที่ดูสมบูรณ์แต่ขาดข้อบังคับสำคัญ
การอ้างอิงแบบตารางร่วมอาจลดข้อมูลซ้ำได้ เช่น เก็บข้อมูลไฟล์และช่วงบรรทัดครั้งเดียว แล้วให้ข้อเท็จจริงหลายรายการชี้ไปยังแหล่งเดียวกัน แต่การประหยัดจริงต้องวัดจากเฟรมที่ส่ง เพราะแพ็กขนาดเล็กหรือข้อมูลที่ซ้ำกันน้อยอาจไม่ได้เล็กลงเสมอ
สิ่งที่รับประกันได้ กับสิ่งที่ยังต้องพิสูจน์
หากนำแนวทางไปใช้พร้อมตรวจเงื่อนไขในโค้ด สามารถกำหนด invariant ที่ตรวจสอบได้ เช่น จำนวนบล็อกไม่เกิน 32 เนื้อหาไม่เกิน 96 KiB การเพิ่มจำนวนการเรียกซ้ำไปยังเป้าหมายเดิมไม่ทำให้ดีกรีพอง และแหล่งอ้างอิงทุกจุดต้องชี้ไปยังโค้ดที่อ่านและตรวจตัวตนแล้ว นอกจากนี้ การบีบอัดต้องไม่ลบข้อบังคับที่จำเป็นหรือยกระดับหลักฐานจาก “อนุมาน” ให้กลายเป็น “ยืนยัน”
แต่ การครอบคลุม 13 จาก 13 จุด ยังสรุปไม่ได้จากแบบออกแบบเพียงอย่างเดียว ต้องรู้ก่อนว่าแต่ละจุดมีหลักฐานที่ถูกต้องชุดใด อยู่ในสแนปช็อตที่อนุญาตหรือไม่ ใช้งบเท่าไร และระบบจะเลือกหลักฐานชุดนั้นด้วยเหตุผลใด การตรวจสอบรอบนี้ไม่ได้รันชุดทดสอบหรือการยืนยันผลใหม่ จึงไม่มีหลักฐานให้ประกาศว่า 13/13 ผ่าน
เช่นเดียวกัน การจัดส่วนต้นให้คงที่ช่วยสร้างเงื่อนไขที่เอื้อต่อการนำ prefix กลับมาใช้ แต่การได้ cache hit จริงขึ้นกับผู้บริโภคและผู้ให้บริการที่ใช้งาน ระบบนี้จึงควรรับรองได้เพียงว่าพยายามสร้างแพ็กที่เสถียร ไม่ใช่อ้างว่ามีการ hit cache หรือประหยัดค่าใช้จ่ายแล้ว
สถานะงาน
ข้อเสนอนี้เป็นการออกแบบจากการตรวจสอบแบบอ่านอย่างเดียว ยังไม่มีการแก้บริการ ไม่ได้รันทดสอบ ไม่ได้เรียกโมเดล และไม่ได้ทำการยืนยันผลกับชุดรับรองอิสระ ขั้นต่อไปก่อนสรุปผลควรเพิ่มการทดสอบกรณีชื่อถูกกำหนดทับ การเรียกแบบคลุมเครือ โค้ดระดับโมดูล นิยามขนาดใหญ่ ตัวอักษรที่ต้อง escape ใน JSON และการหมดเวลา รวมถึงตรวจการครอบคลุมหลักฐานกับชุดทดสอบแยกจากการตรวจความถูกต้องเชิงความหมาย
Studio Global AI
ทำการวิจัยต่อ
หน้านี้รวมคำตอบที่ได้รับการสนับสนุนจากแหล่งที่มาซึ่งคุณสามารถดำเนินการต่อภายใน Studio Global
คนยังถาม
คำตอบสั้น ๆ สำหรับ "ออกแบบผู้ช่วยอ่านโค้ดอย่างไรให้เห็นโครงสร้างโดยไม่เคลมเกินหลักฐาน" คืออะไร
ข้อเสนอหลักคือแยกการเลือกโครงกระดูกตามบทบาท ออกจากการดึงโค้ดบริบท และการจัดแพ็กความรู้ที่มีแหล่งอ้างอิงร่วม
ประเด็นสำคัญที่ต้องตรวจสอบก่อนคืออะไร?
ข้อเสนอหลักคือแยกการเลือกโครงกระดูกตามบทบาท ออกจากการดึงโค้ดบริบท และการจัดแพ็กความรู้ที่มีแหล่งอ้างอิงร่วม จากการตรวจสอบ โค้ดปัจจุบันไม่ได้จัดอันดับผู้สมัครด้วยค่าดีกรีของกราฟทั่วทั้งระบบ และการบันทึกคำเรียกฟังก์ชันยังไม่ได้แปลว่ารู้เป้าหมายของทุก call
ฉันควรทำอย่างไรต่อไปในทางปฏิบัติ?
งบที่เสนอคือไม่เกิน 32 บล็อกและเนื้อหาโค้ด 96 KiB โดยเฟรม JSON RPC ฉบับสมบูรณ์ควรอยู่ไม่เกิน 22,016 ไบต์สำหรับเป้าหมายเผื่อพื้นที่ 2.5 KiB
แหล่งที่มา
arxiv.orgAST-Derived Graphs vs LLM-Extracted Knowledge Graphs