CodeSampleX

Пример

github.com/dgraph-io/badger v1.6.2: DefaultOptions

Проверенный пример — golang github.com/dgraph-io/badger v1.6.2: DefaultOptions. Контракт выполнен на go 1.26 · linux alpine/x64 · docker и пройден…

sha256:4be5bc3ff232da5834dcdc73d100717192377e8bd004fa79ffe6a30e02a1c946

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

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

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

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

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

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

Кейс

HOW
Цель
verify github.com/dgraph-io/badger.DefaultOptions in pkg:golang/github.com/dgraph-io/badger@v1.6.2
Пакеты
Символы
  • github.com/dgraph-io/badger.DefaultOptions
Создан
2026-08-21T01:22:45Z

Контракт

  1. badger.DefaultOptions initializes Options struct with the provided directory path for Dir and ValueDir
  2. badger.DefaultOptions configures default table size, compaction, and write synchronization parameters
  3. badger.Options WithX builder methods produce modified configurations without mutating the original options
  4. badger.Open successfully creates and operates a database using badger.DefaultOptions
  5. badger.Open with WithReadOnly(true) opens database in read-only mode, preserves persisted data, and rejects write transactions

Файлы

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

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

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

аноним