CodeSampleX

Exemple

google.golang.org/genproto/googleapis/api v0.0.0-20241007155032-5fefd90f89a9: annotations.E_Http

Échantillon vérifié pour golang google.golang.org/genproto/googleapis/api v0.0.0-20241007155032-5fefd90f89a9: annotations.E_Http. Le contrat s'est exécuté…

sha256:7d1b51d2caea12002e4aa10880e9c12d495020818b67d930abab912d5a10dab7

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é 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 FAIL compile:SKIPPED · contract:FAIL · load:SKIPPED · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…		 2026-08-30
go 1.26 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…		 2026-08-30

Cas

HOW
Objectif
verify google.golang.org/genproto/googleapis/api/annotations.E_Http in pkg:golang/google.golang.org/genproto/googleapis/api@v0.0.0-20241007155032-5fefd90f89a9
Paquets
Symboles
  • google.golang.org/genproto/googleapis/api/annotations.E_Http
Créé
2026-08-30T16:56:15Z

Contrat

  1. annotations.E_Http extension descriptor targets google.protobuf.MethodOptions with extension number 72295728
  2. proto.HasExtension returns true when annotations.E_Http is set on MethodOptions and false when unset
  3. proto.GetExtension retrieves configured HttpRule with GET path pattern from MethodOptions
  4. proto.GetExtension retrieves configured HttpRule with POST path, body selector and additional bindings
  5. proto.ClearExtension removes annotations.E_Http from MethodOptions

Fichiers

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

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

Seeder d'origine

anonyme