CodeSampleX

Пример

verify pkg:golang/github.com/mattn/go-isatty@v0.0.24

sha256:7fdfecfc4126443a50dc3b6ad126603ede4904a1ea5c2cca61af7fccc96a1fb0

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

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

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

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

Заявленная среда

Операционная система
windows 11
Архитектура
x64
Менеджер пакетов
go

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

go 1.26 · linux alpine/x64 · docker PASS
Контекст выполнения
go 1.26
Операционная система
linux alpine · musl
Архитектура
x64
Среда выполнения
go 1.26
Язык
go
Менеджер пакетов
go
Выполнение
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-19

Кейс

HOW
Цель
verify pkg:golang/github.com/mattn/go-isatty@v0.0.24
Пакеты
Символы
  • github.com/mattn/go-isatty.IsTerminal
  • github.com/mattn/go-isatty.IsCygwinTerminal
Создан
2026-08-18T17:24:29Z

Контракт

  1. isatty.IsTerminal returns false for regular disk file
  2. isatty.IsCygwinTerminal returns false for regular disk file
  3. isatty.IsTerminal returns false for invalid file descriptor
  4. isatty.IsCygwinTerminal returns false for invalid file descriptor
  5. isatty.IsTerminal and isatty.IsCygwinTerminal execute without panic on standard file descriptors

Файлы

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

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

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

аноним

Квитанции проверки

  • go 1.26 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS golang@1
    ed25519:2175b912ea1c23b1