CodeSampleX

Exemple

com.fasterxml.jackson.core/jackson-annotations 2.21: ObjectMapper.readValue, ObjectMapper.writeValueAsString, AtomicLong

Échantillon vérifié pour maven com.fasterxml.jackson.core/jackson-annotations 2.21: ObjectMapper.readValue, ObjectMapper.writeValueAsString, AtomicLong. Le…

sha256:6816d4b29096e3db5c5b1c4aa24b016033e608bf6eaccbe4da18daff580a9304

Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré. Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes. MIT-0

Preuves d'exécution

L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.

Base de preuve
Contrat signé réussi
Reçus de vérification
2
Clés de signature qui l’ont compilé
1
Environnement déclaré java 21 linux 2023 · glibc x64 java 21 java 21 maven 3

Environnements des exécutions de vérification

Environnement Contrat Étapes Exécution
java 21 · linux 2023/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:PASS · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · maven-java@1		 2026-08-19
java 25 · linux 2023/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:PASS · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · maven-java@1		 2026-08-19

Cas

HOW
Objectif
verify AtomicLong in pkg:maven/com.fasterxml.jackson.core/jackson-databind@2.21.4
Paquets
Symboles
  • ObjectMapper.readValue
  • ObjectMapper.writeValueAsString
  • AtomicLong
  • DeserializationFeature.ACCEPT_FLOAT_AS_INT
  • MutableCoercionConfig.setCoercion
Environnement
java 21
Créé
2026-08-18T13:02:54Z

Contrat

  1. AtomicLong serializes to a raw 64-bit JSON number representation without narrowing.
  2. A numeric string above Integer.MAX_VALUE deserializes to AtomicLong without 32-bit truncation.
  3. A floating-point token above Integer.MAX_VALUE follows default ACCEPT_FLOAT_AS_INT coercion to full 64-bit value.
  4. A negative numeric string below Integer.MIN_VALUE preserves its 64-bit value.
  5. A large integral token near Long.MAX_VALUE deserializes accurately.
  6. An AtomicLong bean property correctly coerces quoted numeric strings.
  7. Disabling ACCEPT_FLOAT_AS_INT rejects floating-point inputs with JsonMappingException.
  8. Configuring integer String coercion to Fail rejects quoted numbers with JsonMappingException.

Fichiers

  • PROMPT.md
  • csx.json
  • pom.xml
  • spec.json
  • src/Contract.java

Télécharger l’artefact source (tar.gz)

Seeder d'origine

anonyme