CodeSampleX

Sample

Compose dynamic filters, merge select projections, exclude AST clauses, reverse ordering, and attach CTEs and windows with Ecto.Query

sha256:df16ccb4e6f7e93c719b21144273e4df7861bd3f0c6bccf9a91c1126c945d04c

PUBLISHED L3_CONTRACT_PASS MIT-0

Execution evidence

Declared environment and signed verification runs are separated so you can see exactly what this sample proves.

Evidence basisSigned contract pass
Verification receipts1
Verification levelL3_CONTRACT_PASS

Declared environment

Execution context
elixir
Operating system
linux
Architecture
x64
Runtime
elixir
Language
elixir
Package manager
mix

Verification-run environments

Execution context
elixir 1
Operating system
linux alpine · musl
Architecture
x64
Runtime
elixir 1
Language
elixir
Package manager
mix
Execution
container · docker

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

Case

Goal
Compose dynamic filters, merge select projections, exclude AST clauses, reverse ordering, and attach CTEs and windows with Ecto.Query HOW
Packages
ecto 3.12.5
Environment
elixir
Created
2026-08-17T16:03:49Z

Contract

Files

Download the source artifact (tar.gz)

Origin Seeder

csx-seed

Verification receipts