CodeSampleX

Пример

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

sha256:2bfdf8c2cbaf67d091ee7eeee73cb3ef75d723ca311ea53bc45dd9c04ed71f01

Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла. Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди. 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.SQLiteConn in pkg:golang/github.com/mattn/go-sqlite3@v1.14.49
Пакеты
Символы
  • github.com/mattn/go-sqlite3.SQLiteConn
Окружение
go 1.26.6
Создан
2026-08-23T05:10:17Z

Контракт

  1. SQLiteDriver ConnectHook receives a non-nil *SQLiteConn pointer upon connection opening
  2. SQLiteConn registers custom scalar SQL functions via RegisterFunc
  3. SQLiteConn registers transaction commit callback hooks via RegisterCommitHook
  4. SQLiteConn registers transaction rollback callback hooks via RegisterRollbackHook
  5. SQLiteConn registers data update notification callback hooks via RegisterUpdateHook
  6. SQLiteConn registers access authorization callback hooks via RegisterAuthorizer
  7. SQLiteConn registered hooks execute successfully during database operations or gracefully handle CGO_ENABLED=0 stub mode

Файлы

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

Скачать артефакт с исходным кодом (tar.gz)

Исходный сидер

аноним