lambda · 波 3 · 合作伙伴评估

agλ

lambda

用于确定性司法鉴证的数据完整性管道。

Lambda 将司法鉴证封装进一个确定性管道：语义 MAC、累加器根以及可重现的证明/验证往返。可见的表面是完整性轨迹；密封逻辑保存在公开证据之后。每次运行都是确定性的、便于审计的，旨在让篡改行为无处遁形。

evaluation brief →申请访问检查证据

证据账本

实测事实，而非公开机制。

确定性鉴证与往返检查。管道在边界处是公开的；密封逻辑则不然。

语义 MAC

绑定内容的鉴证

累加器根

防篡改 state root

round-trip

证明 / 验证 stable

surface

5 个 crate · 41 测试 · zero 不安全

public layer

结构上确定。

鉴证被绑定到可复现的轨迹中。证明/验证往返保持稳定，可见的完整性表面设计用于司法审查，而非盲目信任。

gated layer

密封逻辑。

The internal 密封路径 and exact accumulator mechanics stay sealed, but the output boundary and verification trail are reproducible and auditable.

验证表面

测试包所证明的。

表面大小5 个 crate 定义公开边界。

checks41 测试覆盖鉴证路径。

不安全0 不安全 code is the published surface.

round-trip证明 / 验证 stays stable and deterministic.

密封表面

留在门禁之后的内容。

密封路径具体的内部密封机制不予公布。

累加器细节底层结构留在门禁之后。

运行参数页面上未公开任何调整控制。

攻击面公开页面显示的是边界，而非内部机器。

边界

它是什么 — 以及它不是什么。

第三方验证证明；生产密钥永不离开公开面。

repository documents

standards & licenses.

Normative files, specs, and conformance guarantees from the official repository.

README.md

ag^λ

lambda · PILOT

ag^λ

lambda

用于确定性司法鉴证的数据完整性管道。

→ Semantic MAC and 累加器根 — 防篡改 by construction
→ Five crates define the public boundary
→ Forty-one 测试 cover the attestation path with zero 不安全 code

PILOT · EVIDENCE

SPEC.md

ag^λ

lambda · specification

Protocol and mechanics normative reference.

§1

Semantic MAC

content-bound

§2

Accumulator

防篡改

§3

Round-trip

stable

§4

Crates/Tests

5 / 125

LICENSE

ag^λ

RESTRICTED

PROPRIETARY

Proprietary commercial license. Use, copying, or reverse engineering of the sealed engine core is strictly prohibited. Evaluators must sign the bilateral NDA.

PROPRIETARY