lambda · onda 3 · evaluación para socios
agλ

lambda

Un canal de integridad de datos para atestaciones forenses deterministas.

Lambda sella las atestaciones forenses en un canal determinista: MAC semánticos, raíces de acumulador y recorridos de ida y vuelta de prueba/verificación reproducibles. La superficie visible es el rastro de integridad; la lógica de sellado permanece detrás de la evidencia pública. Cada ejecución es determinista, fácil de auditar y está diseñada para que cualquier manipulación sea evidente.

registro de evidencia

hechos medidos, no maquinaria expuesta.

Atestaciones deterministas y comprobaciones de ida y vuelta. El canal es público en el límite; la lógica de sellado no lo es.

MAC semántico
atestaciones vinculadas al contenido
raíz de acumulador
evidencia de manipulación state root
round-trip
probar / verificar stable
surface
5 crates · 41 pruebas · zero inseguro
public layer

Determinista por construcción.

Las atestaciones están vinculadas a un rastro reproducible. Los recorridos de ida y vuelta de prueba/verificación se mantienen estables, y la superficie de integridad visible está diseñada para la revisión forense en lugar de la confianza optimista.

gated layer

La lógica de sellado.

The internal ruta de sellado and exact accumulator mechanics stay sealed, but the output boundary and verification trail are reproducible and auditable.

superficie de verificación

Lo que demuestra el paquete de pruebas.

tamaño de la superficie5 crates definen el límite público.
checks41 pruebas cubren la ruta de atestación.
inseguro0 inseguro code is the published surface.
round-tripprobar / verificar stays stable and deterministic.
superficie sellada

Lo que queda detrás de la puerta.

ruta de selladolas mecánicas exactas de sellado interno no se publican.
detalles del acumuladorla construcción de bajo nivel queda detrás de la puerta.
controles operativosno se exponen controles de ajuste en la página.
superficie de ataquela página pública muestra el límite, no la maquinaria.
límites

qué es — y qué no es.

Terceros verifican atestaciones; las claves de producción nunca salen de la superficie pública.

repository documents

standards & licenses.

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

README.md
lambda · PILOT
agλ
lambda

Un canal de integridad de datos para atestaciones forenses deterministas.

  • Semantic MAC and raíz de acumulador — evidencia de manipulación by construction
  • Five crates define the public boundary
  • Forty-one pruebas cover the attestation path with zero inseguro code
PILOT · EVIDENCE
SPEC.md
lambda · specification

Protocol and mechanics normative reference.

§1
Semantic MAC
content-bound
§2
Accumulator
evidencia de manipulación
§3
Round-trip
stable
§4
Crates/Tests
5 / 125
LICENSE
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