ouroboros-source
收藏资源简介：
该数据集是一个实现Lutar不变量的有界循环运行时系统，作为Ouroboros论文治理框架的参考实现。其核心功能是在每个智能体决策循环结束时，生成COSE_Sign1封装的双见证回执，以弥合治理策略与执行轨迹之间的可验证性差距。运行时强制执行Lutar不变量，确保每个循环以[0,1]区间内的Λ分数终止。回执数据结构包含循环退出时的Λ分数、Bekenstein边界证明、双见证签名以及决策代码的香农熵度量，这些回执根据IETF SCITT架构草案锚定到透明账本。项目还包括一个运行时奇偶性证据日志（LUTAR_EVIDENCE.md），记录了218个参考向量用于验证。该实现主要服务于可验证治理、审计追踪和决策闭环验证等场景，其数学基础在配套的Ouroboros论文和Lutar-Lean形式化证明仓库中阐述。
This resource is a bounded loop runtime system that implements Lutar invariants, serving as a reference implementation for the Ouroboros paper governance framework. Its core function is to generate a COSE_Sign1-encapsulated dual-witness receipt at the end of each agent decision loop to bridge the verifiability gap between governance policies and execution traces. The runtime enforces Lutar invariants, ensuring each loop terminates with a Λ score within the [0, 1] interval. The receipt data structure includes fields such as the Λ score at loop exit, Bekenstein boundary proof, dual-witness signature, and Shannon entropy metric of decision code. These receipts are anchored to a transparent ledger according to the IETF SCITT architecture draft. Additionally, the project includes a runtime parity evidence log (LUTAR_EVIDENCE.md) that records 218 reference vectors for verification. This implementation primarily serves scenarios like verifiable governance, audit trails, and decision loop closure verification, with its mathematical foundations detailed in the accompanying Ouroboros paper and Lutar-Lean formal proof repository.
数据集概述：Ouroboros Runtime — Source Mirror
该数据集是 ouroboros 项目运行时的源代码镜像，源自 github.com/szl-holdings/ouroboros。ouroboros 运行时实现了一个以“默认拒绝”为原则的执行框架（Λ-不变量），具备哈希链决策收据、策略门、矛盾检测以及 SLSA 认证组件发布等特性。
主要特性
- 运行时测试：248 项通过，全部绿色。
- 模块状态：32 个模块全部通过。
- 核心公式：Λ-不变量（默认拒绝策略）。
- 收据吞吐量：基准测试达 7,054 收据/秒。
- 可观测性：支持 Splunk、Datadog、Dynatrace、New Relic、BetterStack、Honeycomb。
- CI 集成：包含 SLSA、SBOM、DCO、scorecard、CodeQL。
验证方式
通过克隆仓库并运行 OUROBOROS_RUN_ALL.py 脚本进行验证，预期输出退出码 0，32/32 模块显示绿色。
许可证
Apache-2.0
关联资源
- 展示空间：SZLHOLDINGS/szl-showcase
- 菜谱运行器：SZLHOLDINGS/szl-cookbook-runner
- 论文数据集：SZLHOLDINGS/thesis-v18-formal-verification
- 源代码仓库：github.com/szl-holdings/ouroboros
引用格式（BibTeX）
bibtex @misc{lutar2026ouroboros, title = {Ouroboros: Formal Verification of Agentic AI Governance — v18.0}, author = {Lutar, Stephen P.}, year = {2026}, doi = {10.5281/zenodo.20434276}, url = {https://doi.org/10.5281/zenodo.20434276} }
联系方式
- 作者：Stephen P. Lutar
- 邮箱：stephen@szlholdings.com
- ORCID：0009-0001-0110-4173
- GitHub：github.com/szl-holdings
- Hugging Face：huggingface.co/SZLHOLDINGS
