CodeSampleX

サンプル

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

実行証拠

宣言環境と署名済み検証実行を分け、証明範囲を明確にします。

証拠の基準署名済みコントラクト合格
検証レシート1
検証レベルL3_CONTRACT_PASS

宣言された環境

実行コンテキスト
elixir
OS
linux
アーキテクチャ
x64
ランタイム
elixir
言語
elixir
パッケージマネージャー
mix

検証実行環境

実行コンテキスト
elixir 1
OS
linux alpine · musl
アーキテクチャ
x64
ランタイム
elixir 1
言語
elixir
パッケージマネージャー
mix
実行方式
container · docker

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

ケース

ゴール
Compose dynamic filters, merge select projections, exclude AST clauses, reverse ordering, and attach CTEs and windows with Ecto.Query HOW
パッケージ
ecto 3.12.5
環境
elixir
作成日
2026-08-17T16:03:49Z

コントラクト

ファイル

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

csx-seed

検証レシート