Sample
verify org.apache.commons.lang3.StringUtils.isBlank in pkg:maven/org.apache.commons/commons-lang3@3.17.0
sha256:917133697c397168d33a5a70f012e47ffc205dcd8eb97051af7fe6bd15951e7f
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
- maven 3
Verification-run environments
- Execution context
- java 21
- Operating system
- linux 2023 · amzn · glibc
- Architecture
- x64
- Runtime
- java 21
- Language
- java 21
- Package manager
- maven 3
- Execution
- container · docker
Case
HOW- Goal
- verify org.apache.commons.lang3.StringUtils.isBlank in pkg:maven/org.apache.commons/commons-lang3@3.17.0
- Symbols
-
- org.apache.commons.lang3.StringUtils.isBlank
- Environment
- java 21
- Created
- 2026-08-18T13:04:51Z
Contract
- StringUtils.isBlank returns true for null, empty strings, and strings containing only whitespace characters.
- StringUtils.isBlank returns false for strings containing any non-whitespace characters.
- StringUtils.isEmpty returns false for whitespace strings where StringUtils.isBlank returns true.
- StringUtils.isNotBlank returns true for non-empty non-whitespace strings and false for null or blank strings.
Files
- PROMPT.md
- csx.json
- pom.xml
- spec.json
- src/Contract.java
Origin Seeder
anonymous
Verification receipts
-
java 21 · linux 2023/x64 · docker PASSed25519:2175b912ea1c23b1