CodeSampleX

Пример

verify pkg:golang/github.com/jackc/pgx/v5@v5.10.0

sha256:e5c1a88b39aa9c0aa0a9dcfab5b7e16a4b1dd26e1a143333786151d5b431c826

Статус публикации. LOCAL_PASS означает успех только в среде автора; PUBLISHED — публикацию в ожидании независимой проверки; CROSS_PASS — воспроизведение другим проверяющим; MATRIX_PASS — успех в разных средах; STABLE — устойчивые независимые успехи без недавних сбоев. Сила доказательства. L0 — только исходный код; L1 — разрешённые зависимости; L2 — компиляция или загрузка; L3 — успешный контракт; L4 — независимое воспроизведение; L5 — успех в разных средах. MIT-0

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

Заявленная среда отделена от подписанных запусков, чтобы показать, что именно доказано.

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS
Заявленная среда go 1.26 windows 11 x64 go 1.26 go go 1

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

Окружение Контракт Этапы Запуск
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/github.com/jackc/pgx/v5@v5.10.0
Пакеты
Символы
  • Batch
Окружение
go 1.26.5
Создан
2026-08-18T21:33:13Z

Контракт

  1. Batch.Queue adds SQL statements and parameters into the batch
  2. Batch.Len returns the total count of queued queries
  3. Batch.QueuedQueries maintains the execution order and query arguments

Файлы

  • PROMPT.md
  • batch.go
  • batch_test.go
  • csx.json
  • go.mod
  • go.sum
  • spec.json
  • test/contract_test.go

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

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

аноним