CodeSampleX

Exemple

com.fasterxml.jackson.core/jackson-annotations 2.21: maven-compiler-plugin:compile

Échantillon vérifié pour maven com.fasterxml.jackson.core/jackson-annotations 2.21: maven-compiler-plugin:compile. Le contrat s'est exécuté sur java 21 …

sha256:dd50d2141e753b8f59ccc0e8a8c72fbf405d117cf4d3cf9ab85bf70559c256b9

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 maven-compiler-plugin:compile in pkg:maven/com.fasterxml.jackson.core/jackson-databind@2.21.1
Paquets
Symboles
  • maven-compiler-plugin:compile
Environnement
java 21
Créé
2026-08-18T13:02:08Z

Contrat

  1. Maven resolves jackson-databind 2.21.1 and its companion dependencies from Maven Central.
  2. Contract parses JSON with ObjectMapper.readTree into a JsonNode tree at runtime.
  3. Contract execution confirms field extraction and boolean property resolution.

Fichiers

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

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

Seeder d'origine

anonyme