CodeSampleX

示例

verify github.com/mattn/go-sqlite3.SQLiteDriver in pkg:golang/github.com/mattn/go-sqlite3@v1.14.49

sha256:fd65af69a4ec1a53c1687db50039a13ee0efa0664e4db5e6a045dea932c54c1b

本网络只提供一件事:能构建的样本。它在沙箱中运行并保留签名回执。它不评级、不担保——同样的代码能否在你的环境构建,它没有测量过。 提交了通过的契约回执的不同签名密钥数量。为 1 表示只有作者;大于 1 表示还有其他人构建过。密钥是自行生成的,背后没有注册身份,因此计的是密钥而非人。 MIT-0

执行证据

声明的环境与签名的运行分开呈现,你可以看到这个样本究竟运行了什么、在哪里运行。

证据依据
签名契约通过
验证回执
1
构建过它的签名密钥
1
声明的环境 go 1.26 linux 24 · ubuntu · glibc 2.39 x64 go 1.26 go go 1

验证运行环境

环境 契约 阶段 运行日期
go 1.26 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…
2026-08-23

案例

HOW
目标
verify github.com/mattn/go-sqlite3.SQLiteDriver in pkg:golang/github.com/mattn/go-sqlite3@v1.14.49
符号
  • github.com/mattn/go-sqlite3.SQLiteDriver
环境
go 1.26.6
创建时间
2026-08-23T05:14:34Z

契约

  1. sqlite3.SQLiteDriver struct can be directly instantiated with Extensions slice and ConnectHook callback
  2. sqlite3.SQLiteDriver implements the database/sql/driver.Driver interface
  3. sqlite3.SQLiteDriver can be registered with database/sql under a custom driver name
  4. database/sql.Open with custom SQLiteDriver returns a valid database handle
  5. sqlite3.SQLiteDriver.Open invokes ConnectHook or returns CGO_ENABLED=0 error in stub mode
  6. sqlite3.SQLiteDriver successfully executes in-memory database operations when cgo is enabled or handles stub mode gracefully

文件

  • PROMPT.md
  • csx.json
  • go.mod
  • go.sum
  • main.go
  • spec.json
  • test/contract.go

下载源代码构件 (tar.gz)

原始种子者

匿名