CodeSampleX

Exemplo

Inspect Ecto parameterized type representation, normalize Ecto.Enum mapped inputs, and distinguish scalar from composite cast failure shapes

sha256:6c6fb613f0a59efec76da1c4c4b630f16524102c374f9718430edeb1abd1742e

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
elixir 1
Sistema operacional
linux
Arquitetura
x64
Runtime
elixir 1
Linguagem
elixir
Gerenciador de pacotes
mix

Ambientes das execuções de verificação

Contexto de execução
elixir 1
Sistema operacional
linux alpine · musl
Arquitetura
x64
Runtime
elixir 1
Linguagem
elixir
Gerenciador de pacotes
mix
Execução
container · docker

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

Caso

Objetivo
Inspect Ecto parameterized type representation, normalize Ecto.Enum mapped inputs, and distinguish scalar from composite cast failure shapes HOW
Pacotes
ecto 3.14.1
Ambiente
elixir 1
Criado
2026-08-17T04:43:50Z

O que costuma-se supor

Parameterized types in Ecto schemas are represented as three-element tuples of {:parameterized, module, params}, and casting an Ecto.Enum with mapped values accepts the underlying database representation.

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