# เฉลย: ที่มาและขอบเขต Log

ข้อมูลและ host times ทุกกรณีเป็นตัวอย่างสังเคราะห์ สอง CSV ใช้ไบต์เดิมจาก Log Diagnostics เพื่อแยกสิ่งที่เพิ่มในใบกำกับออกจากข้อมูลที่สังเกตได้

| กรณี | ผล | สิ่งที่เห็น | ข้อจำกัดและหลักฐานถัดไป |
|---|---|---|---|
| normal | PASS | fresh 1/stale 2; counters แรก/สุดท้าย 0/0; delta rejection/unsent 0/0; ช่วง host ที่ระบุ 1,000,000 us | PASS ยังมี stale และไม่พิสูจน์ capture ครบ ต้องมี capture sequence/boot identity จริง |
| historical | PASS | fresh 2/stale 0; counters แรก/สุดท้าย overflow7/dropped3; delta ในช่วง0/0; ช่วง host ที่ระบุ1,000,000 us | ห้ามนำ 7/3 ไปอ้างว่าเพิ่งหายในช่วงนี้; ก่อน/หลังช่วงที่เห็นไม่ทราบ |
| wrong-hash | ปฏิเสธ exit2 | SHA ในใบกำกับไม่ตรงไบต์ normal.csv | ตรวจว่าหยิบไฟล์สลับหรือไฟล์เปลี่ยน; ใช้ต้นฉบับ/ประวัติแก้ ไม่เดาเปลี่ยน digest เพื่อให้ผ่าน |
| reversed-time | ปฏิเสธ exit2 | end ที่ระบุก่อน start | ตรวจ UTC/การคัดลอก/host clock; ไม่สรุปว่า clock บอร์ดผิดจากใบกำกับนี้ |

แฮชตรงบอกเพียงว่าคู่ข้อมูลสอดคล้องกัน ไม่ใช่ความจริงของที่มา เวลาหรือผู้ส่ง ป้าย lesson-normal ไม่ใช่ boot ID ที่ตรวจบนบอร์ด และ host span ไม่ใช่ช่วง MCU ที่วัดครบ ไม่มีการผูกสอง clock ให้ลบข้ามกัน

ข้อสรุปที่ควรส่ง: ระบุไฟล์/แฮช/รุ่นเครื่องมือ, observed counts/deltas, declared metadata และ unknowns แยกกัน ก่อนทำกับอุปกรณ์จริงต้องออกแบบ boot ID, capture sequence และ boundary snapshots พร้อมระบุ clock source/ความละเอียด/การ sync