CodeSampleX

Пример

verify pkg:golang/go.yaml.in/yaml/v3@v3.0.4

sha256:07fc61161b5f9d440324d721176188978983d0061c48cb51d21095eec4e007f5

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

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

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

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS
Заявленная среда 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@1
2026-08-20

Кейс

HOW
Цель
verify pkg:golang/go.yaml.in/yaml/v3@v3.0.4
Пакеты
Окружение
go 1.26.6
Создан
2026-08-20T17:35:10Z

Контракт

  1. yaml.Marshal serializes Go structs and slices to YAML format
  2. yaml.Unmarshal parses YAML document bytes into Go data structures
  3. yaml.NewDecoder and yaml.NewEncoder decode and encode streaming YAML documents
  4. yaml.Unmarshal returns a non-nil error when parsing syntactically invalid YAML

Файлы

  • PROMPT.md
  • contract_test.go
  • csx.json
  • go.mod
  • go.sum
  • spec.json

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

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

аноним