規則的意義
規則是對函式行為的一項預期。它可以描述函式回傳什麼、呼叫端預期什麼，或是你新增的要求。從程式碼推導出的規則可能有誤；你可以修正它們。
驗證檢查什麼
架構是從原始碼剖析而來，描述函式、呼叫端與相依關係。自訂模型會從該架構推導出預期，驗證則依據這些預期檢查變更。
模型決定什麼應該成立，規則則檢查它是否仍然成立。
解讀失敗項目
閱讀函式、規則、實際發生的情況、位置，以及受影響的呼叫端。在決定要改什麼之前，先循著證據追溯回程式碼。失敗可能影響你所編輯檔案以外的呼叫端。
理解狀態
通過的結果表示受評估的規則通過了。失敗表示受評估的規則不成立。待處理或無法使用的評估並不能證明通過。採取行動前，請先閱讀隨附的說明。
新的與既有的失敗項目
基準是變更之前的程式碼庫。與基準比較，就能將新引入的失敗項目與原本就存在的區分開來。既有的失敗項目仍可能很重要；這個標籤只是告訴你，它並非由這次變更引入。
修正預期或程式碼
如果程式碼有誤，請自行修正，或在失敗卡片上選擇 Fix It。Panolayer Agent 會以該函式、規則和受影響的呼叫端作為任務說明，並在完成後重新執行驗證。如果預期有誤，請修正規則。驗證無法抓出所有錯誤，涵蓋範圍也會因語言和儲存庫而異。