CodeSampleX

Пример

modernc.org/sqlite v1.56.0: NewConnector

Проверенный пример — golang modernc.org/sqlite v1.56.0: NewConnector. Контракт выполнен на go 1.26 · linux alpine/x64 · docker и пройден: sqlite.NewConnector…

sha256:b40f43c3cc915bbb8cdce464c2099fc930837f39326de067f23ff0e735d30d66

Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла. Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди. MIT-0

Свидетельства выполнения

Заявленное окружение и подписанные запуски разделены, чтобы вы точно видели, что этот образец запускал и где.

Основа свидетельства
Подписанный контракт пройден
Квитанции проверки
1
Ключи подписи, собравшие его
1
Заявленная среда linux 24 · ubuntu · glibc 2.39 x64 go wsl

Среды запусков проверки

Окружение Контракт Этапы Запуск
go 1.26 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1		 2026-08-19

Кейс

HOW
Цель
verify pkg:golang/modernc.org/sqlite@v1.56.0
Пакеты
Символы
  • modernc.org/sqlite.NewConnector
Создан
2026-08-19T10:43:36Z

Контракт

  1. sqlite.NewConnector validates DSN syntax and rejects invalid percent-encoded parameters
  2. sqlite.NewConnector creates a driver.Connector carrying driver capabilities and custom pragmas
  3. Connector.Driver returns the underlying sqlite driver instance
  4. Embedding the returned connector in a custom wrapper intercepts connection creation for sql.OpenDB
  5. Connections opened via sql.OpenDB execute DDL, parameterized queries, and enforce relational constraints
  6. Transactions opened through the connector support atomic commit and rollback semantics

Файлы

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

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

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

аноним