CodeSampleX

Пример

golang.org/x/net v0.29.0: html.TextNode

Проверенный пример — golang golang.org/x/net v0.29.0: html.TextNode. Контракт выполнен на go 1.26 · linux alpine/x64 · docker и пройден: html.TextNode is a…

sha256:209e03cbf8fba6f75d2a1618d7146827628831288cc981444bb0c360fc0db450

Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла. Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди. MIT-0

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

Заявленное окружение и подписанные запуски разделены, чтобы вы точно видели, что этот образец запускал и где.

Основа свидетельства
Подписанный контракт пройден
Квитанции проверки
1
Ключи подписи, собравшие его
1
Заявленная среда 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@1golang:1.26-alpine@sha256:28d89ee9cc0f…
2026-08-30

Кейс

HOW
Цель
verify golang.org/x/net/html.TextNode in pkg:golang/golang.org/x/net@v0.29.0
Пакеты
Символы
  • golang.org/x/net/html.TextNode
Создан
2026-08-30T16:11:35Z

Контракт

  1. html.TextNode is a NodeType constant
  2. NewTextNode creates a Node with Type equal to html.TextNode and matching Data
  3. IsTextNode correctly identifies nodes with Type html.TextNode
  4. ExtractText collects Data from all html.TextNode instances in parsed HTML
  5. html.Render properly escapes special characters in html.TextNode

Файлы

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

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

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

аноним