CodeSampleX

Пример

verify github.com/Masterminds/goutils.Abbreviate in pkg:golang/github.com/Masterminds/goutils@v1.1.1

sha256:2d002417adf15a28741b429e8717787e7c6e5e72112b4f6ce2458cd0f6cdd3fc

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

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

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

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS
Заявленная среда 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/Masterminds/goutils.Abbreviate in pkg:golang/github.com/Masterminds/goutils@v1.1.1
Пакеты
Символы
  • github.com/Masterminds/goutils.Abbreviate
Создан
2026-08-21T02:07:00Z

Контракт

  1. goutils.Abbreviate truncates a long string to maxWidth characters and appends ellipsis suffix
  2. goutils.Abbreviate returns the original string unchanged when string length does not exceed maxWidth
  3. goutils.Abbreviate returns an error when maxWidth is less than 4
  4. goutils.Abbreviate handles empty string input when maxWidth is valid

Файлы

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

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

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

аноним