Exemplo

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

Evidência de execução

O ambiente declarado é separado das execuções assinadas para mostrar exatamente o que foi provado.

Base da evidênciaContrato assinado aprovado

Recibos de verificação1

Nível de verificaçãoL3_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
Pacotes: github.com/google/uuid 1.6.0
Ambiente: go
Criado: 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.

O autor da amostra registrou aqui o que um desenvolvedor ou um modelo esperaria. O contrato abaixo é o que de fato rodou.

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