互動實驗
選一條具體 trace。模型分開回報第一筆 instruction fetch 與第一筆 sideload-key release；每列都是合成政策案例。
顯示 trace 複製結果 下載 JSON
合成 transaction 案例；不是簽章驗證、RTL、DMA 時序、key manager 行為或晶片證據。
目前映像驗證通過：允許 fetch 與 key release。版本過舊：兩者都拒絕。digest A 之後 fetch B：兩者都拒絕。沿用舊 transaction 的 boot_done：兩者都拒絕。first fetch 簽章無效：first fetch 與 key release 都拒絕。debug lifecycle 要求 production key：依 fetch 政策獨立判斷，production key release 拒絕。這是兩個獨立邊界。