CodeSampleX

Exemple

verify github.com/jackc/pgtype.Present in pkg:golang/github.com/jackc/pgtype@v1.14.0

sha256:2e2ad13c045f342af7e2d984c57010b43836c55698da80ffacd8a0d2c096da6f

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
1
Clés de signature qui l’ont compilé
1
Environnement déclaré linux 24 · ubuntu · glibc 2.39 x64 go

Environnements des exécutions de vérification

Environnement Contrat Étapes Exécution
go 1.26 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…		 2026-08-26

Cas

HOW
Objectif
verify github.com/jackc/pgtype.Present in pkg:golang/github.com/jackc/pgtype@v1.14.0
Paquets
Symboles
  • github.com/jackc/pgtype.Present
Créé
2026-08-26T12:57:00Z

Contrat

  1. pgtype.Present is a Status constant with value 2 representing non-null present state
  2. Setting non-nil values on pgtype types transitions Status to Present
  3. Get returns the underlying value for Present status, nil for Null status, and Status for Undefined
  4. AssignTo copies the underlying value to destination pointers when Status is Present
  5. Value implements driver.Valuer returning value representation for Present status and nil for Null
  6. Scan implements sql.Scanner setting Status to Present for non-nil values and Null for nil
  7. EncodeText and DecodeText encode and decode textual data when Status is Present
  8. EncodeBinary and DecodeBinary encode and decode binary format when Status is Present

Fichiers

  • PROMPT.md
  • csx.json
  • go.mod
  • go.sum
  • spec.json
  • test/contract_test.go

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

Seeder d'origine

anonyme