# เฉลยการวินิจฉัยพร้อมขอบหลักฐาน

ใช้ข้อมูลสังเคราะห์7กรณีเดิม ตารางpair-answers.csvมี8คู่ สมการตรวจช่องว่างเป็นส่วนหนึ่งของสัญญา ต้องตรวจheader/uint32/state/work/clock/counterด้วย ไม่มีผลanalyzer/firmwareหรือบอร์ดรอบใหม่

## Q1 · เก่าแต่ยังรายงานครบตามcounter

stale-onlyมี3แถว fresh1/stale2 คู่1→2และ2→3ได้delta_tick1/overflow0/dropped0:1=0+0+1ทั้งสองคู่ age20000us=20msของแถว3ยังfresh ไม่มีlossที่counterรายงานแต่มีstaleได้ Counter0ไม่พิสูจน์captureครบก่อน/หลังหน้าต่างที่เห็น

## Q2 · ปฏิเสธตอนenqueue

queue-loss data_row1→2 tick4→7:delta_tick3/overflow2/dropped0 สมการ3=2+0+1 การปฏิเสธเข้าคิวที่counterรายงานเพิ่ม2 อายุ/stateของeventที่ถูกปฏิเสธไม่อยู่ในLog ไม่ทราบoccupancyหรือการปฏิเสธหลังenqueueสุดท้าย Overflowเป็นsnapshotตอนenqueueของeventที่รับได้ ไม่ใช่ค่าสุดท้ายตอนcaptureสิ้นสุด

## Q3 · ส่งrowไม่ได้

serial-loss data_row1→2 tick1→3:delta_tick2/overflow0/dropped1 สมการ2=0+1+1 ส่งrowไม่ได้เพิ่ม1 แถวที่เห็นfresh2แต่ไม่รู้state/workของrowที่หาย ไม่เติมfreshรวมเป็น3และไม่ใช้counterนี้รับรองPCรับทุกrow ต้องแยกการสร้างrow/Serial/PCcaptureด้วยหลักฐานเพิ่ม

## Q4 · สองเหตุในช่วงเดียวกัน

combined-loss data_row1→2 tick4→8:delta_tick4/overflow2/dropped1 สมการ4=2+1+1 ส่วนที่counterรายงานคือปฏิเสธenqueue2และส่งrowไม่ได้1 แถวที่เห็นfresh2 ไม่รู้stateของส่วนที่หายหรือเหตุทางฮาร์ดแวร์ที่ทำให้ช้า ให้แยกสมมติฐานคิวและช่องส่ง แล้วกำหนดจุดวัด/เปลี่ยนทีละปัจจัยเมื่อมีอุปกรณ์

## Q5 · freshแต่ยังเกินงบงาน

task-budget data_row1 tick1 age500usยังfresh แต่work2001us=2.001ms เกินเกณฑ์ฝึก2000usอยู่1us=0.001ms หนึ่งแถว workเฉพาะLED task ไม่รวมgate/pop/CSV/Serial จึงไม่ใช่ผลloopdeadlineหรือเวลาทั้งระบบ การผ่านเกณฑ์อายุไม่รับรองงบเวลา

## Q6 · ยอดสะสมไม่ใช่การเพิ่มในคู่

partial-window tick100→101:delta_tick1/overflow0/dropped0 สมการ1=0+0+1 ยอดoverflow7/dropped3คงเดิมทั้งสองแถว ไม่มีการเพิ่มที่counterรายงานระหว่างคู่นี้ original-answersมีno_reported_queue_or_log_losses=falseเพราะยอดสุดท้ายไม่ใช่0 ไม่ได้บอกว่ามีlossใหม่7/3ในช่วงนี้หรือบอกloss rate ระยะเวลาก่อนแถวแรก/หลังแถวสุดท้ายและboot boundaryยังไม่ทราบ

## Q7 · ปฏิเสธโดยไม่เดาแก้ข้อมูล

unexplained-gap tick1→3:delta_tick2/overflow0/dropped0 ข้างขวา0+0+1=1 จึง2≠1ต้องปฏิเสธ เก็บไฟล์ต้นฉบับ/SHAและตรวจschema/รุ่นโปรแกรม/capture/reset ห้ามเดาแก้counter ข้อมูลนี้ยังแยกไม่ได้ว่าPCข้ามแถว reset หรือLogผิดรุ่น ไม่เอา2แถวที่ผิดสัญญาไปรวมสถิติที่รับรองของ6กรณีที่ผ่าน พฤติกรรมCLIต้นทางที่คาดคือInvalid log/exit2 ตามโค้ดและหลักฐานชุดเดิม ไม่ได้รันCLIรอบใหม่

## Q8 · เขียนข้อสรุปที่ตรวจย้อนกลับได้

ตัวอย่างรายงานสำหรับpartial-window:เห็นdata_row1–2 tick100→101,overflow7→7,dropped3→3 สมการ1=0+0+1 แถวที่เห็นfresh2 ไม่ทราบขอบcapture/boot/stateของส่วนที่หายก่อนหน้าต่าง เก็บต้นฉบับ/รุ่น/schema/session/capture-start-endและsnapshotที่ออกแบบตามrequirementเพิ่ม ตัวอย่างนี้เป็นแนวเขียน ไม่ใช่รายงานวัดจริงหรือผลผู้เรียนจริง

## เกณฑ์ตรวจตนเองที่เสนอ

ข้อละ2(คำตอบ1+เหตุผล/หน่วย/ข้อจำกัด1)รวม16 Q1สองคู่/ขอบ,Q2queue/snapshot,Q3rowที่หาย,Q4สองเหตุ/สมมติฐาน,Q5หน่วย/ส่วนงาน,Q6ยอดกับdelta/flag,Q7ปฏิเสธ/ไม่เดาต้นเหตุ,Q8แถวอ้าง/ขอบ/หลักฐานเพิ่ม เกณฑ์เฉพาะชุดนำทางนี้ไม่แทนใบงานเดิม7กรณี×3 และไม่ใช่การรับรองพร้อมบิน