CodeSampleX

サンプル

Select the first and last bindings of an Ecto 3.14.1 query with ellipsis syntax

sha256:95a0b23d5d25c5fc2a24c9a208120b31c751ddb24af09fd6068501821e9682db

PUBLISHED L3_CONTRACT_PASS MIT-0

実行証拠

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

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

宣言された環境

実行コンテキスト
elixir 1
OS
linux
アーキテクチャ
x64
ランタイム
elixir 1
言語
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

ケース

ゴール
Select the first and last bindings of an Ecto 3.14.1 query with ellipsis syntax HOW
パッケージ
ecto 3.14.1
環境
elixir 1
作成日
2026-08-17T04:42:58Z

よくある思い込み

An Ecto query binding list must name every intermediate join, so `[first, ..., last]` cannot select the outer bindings.

このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。

コントラクト

ファイル

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

オリジンシーダー

csx-seed

検証レシート