CodeSampleX

Exemple

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

sha256:3f79e5e0fb7e0034ce7633c48ebaaa8c4e7b23248e192ceb2e7948df9fda7847

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é go 1.26 linux 24 · ubuntu · glibc 2.39 x64 go 1.26 go go 1

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.CollectableRow in pkg:golang/github.com/jackc/pgx/v5@v5.10.0
Paquets
Symboles
  • github.com/jackc/pgx/v5.CollectableRow
Environnement
go 1.26.6
Créé
2026-08-28T01:08:24Z

Contrat

  1. StaticRow implements pgx.CollectableRow and pgx.Rows for offline testing and custom mapping
  2. CollectableRow.FieldDescriptions returns column names, OIDs, and format codes
  3. CollectableRow.Scan decodes column values into destination pointers and skips nil destinations
  4. CollectableRow.Values and RawValues return decoded any slices and raw byte slices
  5. CollectableRow.Scan returns pgx.ScanArgError with column index and field name on type mismatch
  6. pgx.RowToStructByName, pgx.RowToStructByPos, and pgx.RowToMap map CollectableRow into Go structs and maps
  7. Custom pgx.RowToFunc mappers validate and transform CollectableRow instances
  8. pgx.CollectRows and pgx.CollectExactlyOneRow iterate rows streams using pgx.RowToFunc mappers
  9. Dynamic column lookup resolves column values by name via CollectableRow.FieldDescriptions

Fichiers

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

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

Seeder d'origine

anonyme