HOW IT WORKS
驗證貫穿 整個架構。.
函式是起點。其意圖、相依性與呼叫者構成完整的脈絡。
合併已暫停
profile.ts · renderProfile呼叫端假設使用者存在
- 規則
- Profile 必須處理使用者缺失的情況。
- 偏差
- getUser() 可能回傳 null。此呼叫端在未加防護的情況下讀取 user.name。
- 受影響的呼叫端
renderProfile → getUser
修正、驗證，再決定
示意範例
檢視應用程式
Panolayer 從索引的原始碼建立可導覽的程式碼庫視圖。該結構將高層探索與精確的函式級脈絡相連接。
在脈絡中檢查行為
規則與評估考量程式碼的預期行為及其周圍的假設。呼叫者可揭示看似微小的變更為何重要。
將結果繫結於程式碼
版本化記錄保留評估的脈絡。當相關程式碼變更時，適用的檢查會被重新檢視，而非將舊結果視為永久保證。
將發現帶回工作
有價值的發現能告訴工程師該往哪裡看，並讓 agent 有明確的修復目標。受管理的合併閘門可防止新失敗的工作被自動接受。
立即試用 Panolayer。
macOS 公開測試版。免費開始使用，不需信用卡。