待验证50% 置信事实精确时间

RayTrace 记录的证据类型包括：每个启动的进程（可执行文件、参数、工作目录、stdout/stderr、退出码、时间戳）、提议的工具调用与实际进程之间的差距、文件系统 diff、syscall/进程树证据以及受保护文件的变更告警。

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/14

首次发现

有效期至：2027/1/12

来源

RayTrace：在Kernel层记录AI编程代理真实执行的沙箱

涉及实体

RayTraceproduct

相关事实

待验证RayRef 允许从数组中取出切片，同时能在编译时知道切片长度，为 Rust 程序提供编译时安全检查66% 相似待验证该流程产出可追溯的证据，可直接服务于安全论证案例（safety assurance case）65% 相似待验证任何真实的运行追踪都可以带着来源信息（provenance）转化为测试用例62% 相似待验证Ray Train 对 DDP 和 FSDP 两种策略均提供封装，能够自动处理进程组初始化、故障恢复和检查点保存59% 相似待验证证据是持久记录，包含适用了什么标准、检查了什么、发现了什么、问题如何解决，让信任可见且可审计。59% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1027647

API

curl https://kongchang.com/api/v1/knowledge/claims/1027647

MCP

get_claim(id=1027647)