CodeSampleX

Beispiel

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

sha256:59174a2a7af5a37b8b61d9976ede5c662692ab27f97272f3cef54dfdaa33cf5c

Veröffentlichungsstatus. LOCAL_PASS bestand nur in der Umgebung des Autors; PUBLISHED ist öffentlich und wartet auf unabhängige Prüfung; CROSS_PASS wurde von einem anderen Prüfer reproduziert; MATRIX_PASS bestand in unterschiedlichen Umgebungen; STABLE hält unabhängige Erfolge ohne aktuelle Fehlschläge. Belegstärke. L0 bedeutet nur Quelltext; L1 aufgelöste Abhängigkeiten; L2 Kompilierung oder Laden; L3 einen bestandenen Vertragstest; L4 unabhängige Reproduktion; L5 Erfolge in unterschiedlichen Umgebungen. MIT-0

Ausführungsbelege

Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.

Beleggrundlage
Unabhängige Kreuzprüfung
Verifizierungsbelege
1
Verifizierungsstufe
L4_CROSS_PASS

Deklarierte Umgebung

Ausführungskontext
java 21
Betriebssystem
linux 2023 · glibc
Architektur
x64
Runtime
java 21
Sprache
java 21
Paketmanager
gradle 8

Umgebungen der Verifizierungsläufe

java 21 · linux 2023/x64 · docker PASS
Ausführungskontext
java 21
Betriebssystem
linux 2023 · amzn · glibc
Architektur
x64
Runtime
java 21
Sprache
java 21
Paketmanager
gradle 8
Ausführung
container · docker

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

Fall

HOW
Ziel
verify Gradle Configuration.transitive in pkg:maven/org.apache.commons/commons-lang3@3.17.0
Pakete
Symbole
  • Gradle Configuration.transitive
  • StringUtils.isNotBlank
  • StringUtils.isBlank
  • StringUtils.capitalize
  • StringUtils.substringBetween
  • ClassUtils.getPackageName
  • SystemUtils.isJavaVersionAtLeast
Umgebung
java 21
Erstellt
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.

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym

Verifizierungsbelege

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