CodeSampleX

Exemplo

CompareAndSwap and CompareAndDelete on syncmap.Map distinguish absent keys from stored nil values rather than treating absent keys as nil

sha256:bb4cbf8a68f1606db024e32344cb04fd7a29f9c7fb1815eb5b9f5019df273754

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

Ambiente declarado

Contexto de execução
go
Sistema operacional
linux
Arquitetura
x64
Runtime
go
Linguagem
go
Gerenciador de pacotes
gomod

Ambientes das execuções de verificação

Contexto de execução
go 1.26
Sistema operacional
linux alpine · musl
Arquitetura
x64
Runtime
go 1.26
Linguagem
go
Gerenciador de pacotes
gomod
Execução
container · docker

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

Caso

Objetivo
CompareAndSwap and CompareAndDelete on syncmap.Map distinguish absent keys from stored nil values rather than treating absent keys as nil HOW
Pacotes
golang.org/x/sync 0.22.0
Ambiente
go
Criado
2026-08-17T23:39:23Z

O que costuma-se supor

Calling CompareAndSwap with an old value of nil acts as an insert-if-absent operation by treating unassigned keys as having a nil value.

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

Contrato

Arquivos

Baixar o artefato de código-fonte (tar.gz)

Seeder de origem

csx-seed

Recibos de verificação