Ejemplo

Configure global entropy and node sources in google/uuid and verify error propagation, panic boundaries, and buffer requirements

sha256:1dc5a1ef8f31f456feae26c05034ca9f3c12373ad881bd70c474f17e52603e2d

PUBLISHED L3_CONTRACT_PASS MIT-0

Evidencia de ejecución

Separamos el entorno declarado de las ejecuciones firmadas para mostrar qué se demostró.

Base de evidenciaContrato firmado aprobado

Recibos de verificación1

Nivel de verificaciónL3_CONTRACT_PASS

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17

Objetivo: Configure global entropy and node sources in google/uuid and verify error propagation, panic boundaries, and buffer requirements HOW
Paquetes: github.com/google/uuid 1.6.0
Entorno: go
Creado: 2026-08-17T10:37:00Z

Setting a failing random source causes uuid.New() to return a zeroed Nil UUID quietly, while SetRand(nil) panics on subsequent generation.

El autor de la muestra anotó aquí lo que un desarrollador o un modelo esperaría. El contrato de abajo es lo que realmente se ejecutó.

uuid.SetRand with a failing entropy source causes uuid.New and uuid.NewString to panic immediately with the reader error while uuid.NewRandom returns uuid.Nil and the error, and uuid.SetRand(nil) safely restores crypto/rand without a nil pointer panic.
uuid.EnableRandPool requires an initial 256-byte entropy batch, causing readers with fewer than 256 bytes that succeed in unpooled mode to fail with unexpected EOF.
uuid.SetNodeID rejects byte slices shorter than 6 bytes and sets uuid.NodeInterface to user on valid slices.
uuid.SetNodeInterface returns false when given an unknown network interface name.
uuid.SetClockSequence masks the input integer to the lower 14 bits.

go 1.26 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17 · ed25519:d91480838ac982c9