vsp-otel-source
收藏资源简介：
VSP-OTel — Source Mirror是一个源代码镜像数据集，托管在Hugging Face上，作为GitHub仓库szl-holdings/vsp-otel的镜像副本。该数据集是SZL Holdings研究栈的一部分，与正式验证论文、对齐模型和其他治理工件相关联。核心内容是VSP-OTel（验证收据链-OpenTelemetry）的源代码，这是一个OpenTelemetry导出器，专门用于SZL审计纤维和Λ轴跨度，其功能是实现治理可观测性，使其成为可测量的、收据证明的信号，跨度携带具有杜布停止时间边界的鞅性质Λ分数。所有声明都通过Zenodo DOI、GitHub提交SHA和（如适用）基于Mathlib v4.13.0的Lean 4证明进行追溯和验证。数据集是一个特定时间点的快照，并非实时更新，排除了.git/目录、node_modules/和大于50 MB的二进制文件，因此不是一个完整的镜像。它包含源代码文件，不包含机器学习训练示例，也不是可直接部署的工件。数据集规模小于1K，主要语言为英语，采用Apache-2.0许可证发布。
VSP-OTel — Source Mirror is a source code mirror dataset hosted on Hugging Face, serving as a mirror copy of the GitHub repository szl-holdings/vsp-otel. It is part of the SZL Holdings research stack, associated with formally verified papers, alignment models, and other governance artifacts. The core content is the source code of VSP-OTel (Verified Receipt Chain-OpenTelemetry), an OpenTelemetry exporter specifically for SZL audit fibers and Λ-axis spans, designed to achieve governance observability, making it a measurable, receipt-proven signal with spans carrying martingale property Λ scores with Dub stop-time boundaries. All claims are traceable and verified via Zenodo DOI, GitHub commit SHAs, and (where applicable) Lean 4 proofs based on Mathlib v4.13.0. The dataset is a point-in-time snapshot and not updated in real-time. It excludes the .git/ directory, node_modules/, and binary files larger than 50 MB, thus not being a complete mirror. It contains source code files, does not include machine learning training examples, and is not a directly deployable artifact. The dataset size is less than 1K, the primary language is English, and it is released under the Apache-2.0 license.
数据集概述：vsp-otel — Lambda-Signed OTel Exporter Source
该数据集是 vsp-otel 的源镜像，vsp-otel 是一个 OpenTelemetry 导出器，用于为每个 span 附加 Λ 轴分数，并通过 OTLP 协议及 W3C TraceContext 头部进行导出。
基本信息
- 许可证：Apache-2.0
- 语言：英语 (en)
- 数据集大小：n < 1K（小于 1000 条记录）
- 任务类别：其他 (other)
- 相关标签：OpenTelemetry、治理、DSSE、可观测性、代理型 AI、形式验证、AI 治理、Lambda 分数、W3C TraceContext、Lean4
技术详情
| 参数 | 值 |
|---|---|
| OTel 规范 | W3C TraceContext + OTLP |
| Span 类型 | 4 组件 Span 网格 |
| Λ 轴 | 每个 Span 附加分数 |
| 许可证 | Apache-2.0 |
架构流程
SZL Audit Fiber → vsp-otel 导出器 → Λ 轴评分器 → OTLP 导出器 → 目标平台（Splunk / Datadog / Dynatrace / New Relic），同时包含 W3C trace-id 头部。
相关链接
- 实时演示：https://huggingface.co/spaces/SZLHOLDINGS/vsp-otel-emitter
- 平台：https://huggingface.co/spaces/SZLHOLDINGS/vsp-otel-platform
- 源代码：https://github.com/szl-holdings/vsp-otel
- Spans 数据集：https://huggingface.co/datasets/SZLHOLDINGS/uds-spans-receipts
引用信息
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
