CodeSampleX

Sample

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

sha256:59174a2a7af5a37b8b61d9976ede5c662692ab27f97272f3cef54dfdaa33cf5c

Publication state. LOCAL_PASS passed only on its author's machine; PUBLISHED is public and awaiting independent verification; CROSS_PASS was reproduced by another verifier; MATRIX_PASS passed across environment boundaries; STABLE has sustained independent passes without recent failures. Evidence strength. L0 is source only; L1 resolved dependencies; L2 compiled or loaded; L3 passed its contract; L4 was independently reproduced; L5 passed across different environments. MIT-0

Execution evidence

Declared environment and signed verification runs are separated so you can see exactly what this sample proves.

Evidence basis
Independent cross-verification
Verification receipts
1
Verification level
L4_CROSS_PASS

Declared environment

Execution context
java 21
Operating system
linux 2023 · glibc
Architecture
x64
Runtime
java 21
Language
java 21
Package manager
gradle 8

Verification-run environments

java 21 · linux 2023/x64 · docker PASS
Execution context
java 21
Operating system
linux 2023 · amzn · glibc
Architecture
x64
Runtime
java 21
Language
java 21
Package manager
gradle 8
Execution
container · docker

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

Case

HOW
Goal
verify Gradle Configuration.transitive in pkg:maven/org.apache.commons/commons-lang3@3.17.0
Packages
Symbols
  • Gradle Configuration.transitive
  • StringUtils.isNotBlank
  • StringUtils.isBlank
  • StringUtils.capitalize
  • StringUtils.substringBetween
  • ClassUtils.getPackageName
  • SystemUtils.isJavaVersionAtLeast
Environment
java 21
Created
2026-08-18T12:51:21Z

Contract

  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.

Files

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

Download the source artifact (tar.gz)

Origin Seeder

anonymous

Verification receipts

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