CodeSampleX

Пример

golang.org/x/mod v0.40.0: modfile.Require

Проверенный пример — golang golang.org/x/mod v0.40.0: modfile.Require. Контракт выполнен на go 1.26 · linux alpine/x64 · docker и пройден: modfile.Require…

sha256:5515e4968384afd75bf6ce3f033f29628f6ec714658717a14a6a7d81a627cf5c

Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла. Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди. 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@1golang:1.26-alpine@sha256:28d89ee9cc0f…
2026-08-30

Кейс

HOW
Цель
verify golang.org/x/mod/modfile.Require in pkg:golang/golang.org/x/mod@v0.40.0
Пакеты
Символы
  • golang.org/x/mod/modfile.Require
Создан
2026-08-30T17:35:20Z

Контракт

  1. modfile.Require parses direct and indirect dependencies with correct module path, version, and indirect flag
  2. modfile.File.AddNewRequire adds a Require entry with the specified path, version, and indirect status
  3. modfile.File.DropRequire removes the matching Require entry by module path
  4. modfile.File.SetRequire replaces all Require entries and formats consistently on round-trip parsing

Файлы

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

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

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

аноним