CodeSampleX

Exemplo

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

sha256:59174a2a7af5a37b8b61d9976ede5c662692ab27f97272f3cef54dfdaa33cf5c

Estado de publicação. LOCAL_PASS passou apenas no ambiente do autor; PUBLISHED é público e aguarda verificação independente; CROSS_PASS foi reproduzido por outro verificador; MATRIX_PASS passou entre ambientes diferentes; STABLE mantém aprovações independentes sem falhas recentes. Força da evidência. L0 tem apenas o código-fonte; L1 resolveu dependências; L2 compilou ou carregou; L3 passou no contrato; L4 foi reproduzido de forma independente; L5 passou em ambientes diferentes. MIT-0

Evidência de execução

O ambiente declarado é separado das execuções assinadas para mostrar exatamente o que foi provado.

Base da evidência
Verificação cruzada independente
Recibos de verificação
1
Nível de verificação
L4_CROSS_PASS

Ambiente declarado

Contexto de execução
java 21
Sistema operacional
linux 2023 · glibc
Arquitetura
x64
Runtime
java 21
Linguagem
java 21
Gerenciador de pacotes
gradle 8

Ambientes das execuções de verificação

java 21 · linux 2023/x64 · docker PASS
Contexto de execução
java 21
Sistema operacional
linux 2023 · amzn · glibc
Arquitetura
x64
Runtime
java 21
Linguagem
java 21
Gerenciador de pacotes
gradle 8
Execução
container · docker

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

Caso

HOW
Objetivo
verify Gradle Configuration.transitive in pkg:maven/org.apache.commons/commons-lang3@3.17.0
Pacotes
Símbolos
  • Gradle Configuration.transitive
  • StringUtils.isNotBlank
  • StringUtils.isBlank
  • StringUtils.capitalize
  • StringUtils.substringBetween
  • ClassUtils.getPackageName
  • SystemUtils.isJavaVersionAtLeast
Ambiente
java 21
Criado
2026-08-18T12:51:21Z

Contrato

  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.

Arquivos

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

Baixar o artefato de código-fonte (tar.gz)

Seeder de origem

anônimo

Recibos de verificação

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