工作原理
验证贯穿 整个架构。.
函数只是起点。其意图、依赖和调用方讲述了其余的故事。
合并已暂停
profile.ts · renderProfile调用方假定用户存在
- 规则
- Profile 必须处理用户缺失的情况。
- 偏差
- getUser() 可能返回 null。此调用方在未做防护的情况下读取了 user.name。
- 受影响的调用方
renderProfile → getUser
修复、验证，再决策
示例说明
检视应用
Panolayer 从索引的源代码构建可导航的代码库视图。该结构将高层探索与精确的函数级上下文连接起来。
在上下文中检查行为
规则和评估会考虑代码的预期行为及其周围的假设。调用方可以揭示为何看似微小的变更至关重要。
将结果与代码保持关联
版本化记录保留评估的上下文。当相关代码发生变更时，适用的检查会被重新执行，而非将旧结果视为永久保证。
将发现带回工作流
有价值的发现会告诉工程师该查看哪里，并为 agent 提供具体的修复目标。受管理的合并门禁可防止新出现的失败工作被自动接受。
立即试用 Panolayer。
macOS 公开测试版。免费开始使用，无需信用卡。