CodeSampleX

Пример

verify pkg:golang/github.com/russross/blackfriday/v2@v2.1.0

sha256:b8de30f88d8b965450bcac6fbb5945d0caf518568fc77238b3bcbc9dd0daa2ab

Статус публикации. 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 pkg:golang/github.com/russross/blackfriday/v2@v2.1.0
Пакеты
Создан
2026-08-21T00:12:01Z

Контракт

  1. blackfriday.Run converts Markdown input into HTML formatted output for standard headings, paragraphs, bold, and italic text
  2. blackfriday.WithExtensions enables extended markdown features including Strikethrough, Tables, and FencedCode
  3. blackfriday.WithNoExtensions disables default markdown extension processing
  4. blackfriday.NewHTMLRenderer configures custom HTML rendering parameters including HeadingLevelOffset and HeadingIDPrefix with AutoHeadingIDs
  5. blackfriday.SanitizedAnchorName generates lowercase URL-safe slug identifiers from heading text
  6. blackfriday.New constructs a Markdown parser instance and Parse produces an AST document tree with Heading and Document nodes

Файлы

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

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

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

аноним