文档 / 源码核对
jev-navigator
从一句功能描述定位代码，并保留未检查的搜索范围
这个项目怎样使用 Jev
- 输入
- 自然语言目标、候选代码片段、文件与行号，以及静态索引提供的调用、引用和相邻位置
- Jev 判断
- 通过 TypeSafe SDK 判断当前片段是否包含目标、相邻位置是否可能相关，并从候选中选择优先查看的位置
- 代码执行
- 本地代码控制搜索队列、预算和停止条件，保留命中、不确定与未检查项，输出来源、概率和请求记录供复核或续查
验证边界
已核对 MIT 许可、Jev 适配器及搜索循环，未安装或调用模型。搜索命中不证明代码正确，搜索结束也不证明不存在其他实现；静态关系和预算会限制覆盖。托管调用会发送代码上下文，生成的证据包也包含源码，应按仓库敏感级别保存。
本站未运行该项目；作者报告的能力与结果不等于本站复测结论。
原始来源
- https://github.com/ajbmachon/jev-navigator/blob/d9a5d83ad71dd82e18c542709bc9c07c15cfd60d/README.md ↗
- https://github.com/ajbmachon/jev-navigator/blob/d9a5d83ad71dd82e18c542709bc9c07c15cfd60d/LICENSE ↗
- https://github.com/ajbmachon/jev-navigator/blob/d9a5d83ad71dd82e18c542709bc9c07c15cfd60d/src/jev_navigator/adapters/typesafe.py ↗
- https://github.com/ajbmachon/jev-navigator/blob/d9a5d83ad71dd82e18c542709bc9c07c15cfd60d/src/jev_navigator/directives/find_code.py ↗
- https://github.com/ajbmachon/jev-navigator/blob/d9a5d83ad71dd82e18c542709bc9c07c15cfd60d/src/jev_navigator/judgments/judge.py ↗