CodeSampleX

Exemple

verify github.com/jackc/pgx/v5/pgtype.TextOID in pkg:golang/github.com/jackc/pgx/v5@v5.10.0

sha256:6093fabe44e46ab45c034576038a5cfd84a0037d3e03241431fd5c23f7ab6e76

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-28

Cas

HOW
Objectif
verify github.com/jackc/pgx/v5/pgtype.TextOID in pkg:golang/github.com/jackc/pgx/v5@v5.10.0
Paquets
Symboles
  • github.com/jackc/pgx/v5/pgtype.TextOID
Créé
2026-08-28T01:38:05Z

Contrat

  1. pgtype.TextOID is the uint32 constant 25 representing PostgreSQL text data type
  2. pgtype.Map registers the text data type with OID pgtype.TextOID accessible via TypeForOID and TypeForName
  3. pgtype.Map encodes string and pgtype.Text values into text and binary format buffers using pgtype.TextOID
  4. pgtype.Map scans text and binary format byte slices into string, []byte, and pgtype.Text using pgtype.TextOID
  5. pgtype.Map scans nil data into pgtype.Text as SQL NULL setting Valid to false using pgtype.TextOID
  6. pgtype.Map PlanEncode and PlanScan provide valid encoders and decoders for pgtype.TextOID

Fichiers

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

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

Seeder d'origine

anonyme