CodeSampleX

Пример

verify pkg:golang/howett.net/plist@v1.0.0

sha256:3fce1772098412b57e10c42021c6a2f26ab9aba9574cb1ab2a702fa771b2d095

Статус публикации. 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

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

Окружение Контракт Этапы Запуск
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/howett.net/plist@v1.0.0
Пакеты
Символы
  • plist.Marshal
  • plist.Unmarshal
  • plist.MarshalIndent
  • plist.NewEncoderForFormat
  • plist.NewDecoder
  • plist.XMLFormat
  • plist.BinaryFormat
Окружение
go 1.26.6
Создан
2026-08-20T23:52:09Z

Контракт

  1. plist.Marshal and plist.Unmarshal serialize and deserialize Go structs to and from XML property lists
  2. plist.Marshal and plist.Unmarshal serialize and deserialize Go structs to and from binary property lists
  3. plist.MarshalIndent serializes Go data structures into formatted indented XML property lists
  4. plist.NewEncoderForFormat and plist.NewDecoder encode and decode property lists via io stream interfaces
  5. plist.Unmarshal decodes dictionary data into typed Go struct fields using struct tags

Файлы

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

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

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

аноним