CodeSampleX

Пример

verify Gradle Configuration.transitive in pkg:maven/org.apache.commons/commons-lang3@3.17.0

sha256:59174a2a7af5a37b8b61d9976ede5c662692ab27f97272f3cef54dfdaa33cf5c

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

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

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

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

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

Контекст выполнения
java 21
Операционная система
linux 2023 · glibc
Архитектура
x64
Среда выполнения
java 21
Язык
java 21
Менеджер пакетов
gradle 8

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

java 21 · linux 2023/x64 · docker PASS
Контекст выполнения
java 21
Операционная система
linux 2023 · amzn · glibc
Архитектура
x64
Среда выполнения
java 21
Язык
java 21
Менеджер пакетов
gradle 8
Выполнение
container · docker

CONTAINER_RUN · compile:PASS · contract:PASS · load:PASS · resolve:PASS · gradle-java@1 · 2026-08-19

Кейс

HOW
Цель
verify Gradle Configuration.transitive in pkg:maven/org.apache.commons/commons-lang3@3.17.0
Пакеты
Символы
  • Gradle Configuration.transitive
  • StringUtils.isNotBlank
  • StringUtils.isBlank
  • StringUtils.capitalize
  • StringUtils.substringBetween
  • ClassUtils.getPackageName
  • SystemUtils.isJavaVersionAtLeast
Окружение
java 21
Создан
2026-08-18T12:51:21Z

Контракт

  1. Gradle Configuration.transitive = false resolves the locked commons-lang3 3.17.0 coordinate without transitive expansion.
  2. StringUtils.isNotBlank and StringUtils.isBlank accurately classify whitespace strings.
  3. StringUtils.capitalize and StringUtils.substringBetween operate correctly on string boundaries.
  4. ClassUtils reports expected package and class naming for classes on the verified classpath.
  5. SystemUtils detects Java 21+ on the running JVM runtime.

Файлы

  • PROMPT.md
  • build.gradle
  • csx.json
  • settings.gradle
  • spec.json
  • src/main/java/Placeholder.java
  • test/Contract.java

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

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

аноним

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

  • java 21 · linux 2023/x64 · docker PASS
    CONTAINER_RUN compile:PASS · contract:PASS · load:PASS · resolve:PASS gradle-java@1
    ed25519:2175b912ea1c23b1