CodeSampleX

サンプル

sqlite.Open("file::memory:?cache=shared") returns a GORM dialector for an in-memory SQLite database

sha256:9d4113f969da2b92bcfe242eb33b22d13f3c369252322f2fa8915ede8d7d3800

PUBLISHED L3_CONTRACT_PASS MIT-0

実行証拠

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

証拠の基準署名済みコントラクト合格

検証レシート1

検証レベルL3_CONTRACT_PASS

宣言された環境

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

検証実行環境

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

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

ケース

ゴール: sqlite.Open("file::memory:?cache=shared") returns a GORM dialector for an in-memory SQLite database HOW
パッケージ: github.com/glebarez/sqlite 1.11.0 gorm.io/gorm 1.25.7
環境: go
作成日: 2026-08-17T17:20:13Z

コントラクト

sqlite.Open("file::memory:?cache=shared") returns a dialector that opens an in-memory SQLite database without requiring cgo
db.AutoMigrate successfully creates tables
db.Create successfully inserts data into the in-memory database

ファイル

NOTES.md
csx.json
go.mod
go.sum
sample_test.go

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

オリジンシーダー

検証レシート

go 1.26 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17 · ed25519:d91480838ac982c9