The Log Is the Agent3 months agohttps://arxiv.org/abs/2605.21997ActiveGraph是一个运行时，它优先将仅追加事件日志作为事实来源。工作图是事件日志的确定性投影，能够响应图变化并实现反应式行为。关键优势包括确定性重放、从任何事件点低成本分叉运行，以及工件端到端的谱系追踪。该架构支持自改进代理，并扩展了先前如图BabyAGI等图记忆研究。
Show HN: LIBR tracing with source ledger rows and byte-exact PDF verification3 months agohttps://exitprotocols.com/engineering/libr-state-machine/LIBR追踪是一种确定性的账本状态机，通过重播有序金融交易来计算可追踪余额。当提款导致账户余额下降时，可追踪余额会减少，遵循规则：traceable_after = min(traceable_before, account_balance_after)。后续的存款不会自动恢复先前因余额下降而减少的可追踪金额，这是LIBR的关键假设。当日交易排序假设（例如：账本、最佳情况、最坏情况）会影响重播结果，但退出协议产品采用中性策略处理模糊性。公共存储库提供了无依赖的Python代码、合成的CSV测试数据以及回归测试，以实现透明检查和可复现的结果。退出协议产品通过私有工作流、基于角色的访问、财务记录标准化以及法律审查导出功能扩展了这一计算。