public layer
Deterministic by construction.
Attestations are bound into a reproducible trail. Prove / verify round-trips stay stable, and the visible integrity surface is designed for forensic review rather than optimistic trust.
lambda · wave 3 · partner evaluation
agλ
lambda
A data-integrity pipeline for deterministic forensic attestations.
Lambda seals forensic attestations into a deterministic pipeline: semantic MACs, accumulator roots, and reproducible prove/verify round-trips. The visible surface is the integrity trail; the sealing logic stays behind the public evidence. Every run is deterministic, audit-friendly, and designed to make tampering loud.
evidence ledger
measured facts, not exposed machinery.
Deterministic attestations and round-trip checks. The pipeline is public at the boundary; the sealing logic is not.
semantic MAC
content-bound attestations
accumulator root
tamper-evident state root
round-trip
prove / verify stable
surface
5 crates · 125 tests · zero unsafe
gated layer
The sealing logic.
The internal sealing path and exact accumulator mechanics stay sealed, but the output boundary and verification trail are reproducible and auditable.
verification surface
What the test pack proves.
surface size5 crates define the public boundary.
checks125 tests cover the attestation path.
unsafe0 unsafe code is the published surface.
round-tripprove / verify stays stable and deterministic.
sealed surface
What stays behind the gate.
sealing paththe exact internal sealing mechanics are not published.
accumulator detailslow-level construction stays behind the gate.
operational knobsno tuning controls are exposed on the page.
attack surfacethe public page shows the boundary, not the machinery.
boundaries
what it is — and what it is not.
Third parties verify attestations; production keys never ship on the public surface.
repository documents
standards & licenses.
Normative files, specs, and conformance guarantees from the official repository.
README.md
agλ
lambda · PILOT
agλ
lambda
A data-integrity pipeline for deterministic forensic attestations.
- → Semantic MAC and accumulator root — tamper-evident by construction
- → Five crates define the public boundary
- → One hundred twenty-five tests cover the attestation path with zero unsafe code
PILOT · EVIDENCE
SPEC.md
agλ
lambda · specification
Protocol and mechanics normative reference.
§1
Semantic MAC
content-bound
§2
Accumulator
tamper-evident
§3
Round-trip
stable
§4
Crates/Tests
5 / 125
LICENSE
agλ
RESTRICTED
PROPRIETARY
© 2026 lambda · agλ
Proprietary commercial license. Use, copying, or reverse engineering of the sealed engine core is strictly prohibited. Evaluators must sign the bilateral NDA.
PROPRIETARY