CodeSampleX

Beispiel

github.com/google/uuid v1.3.0

Verifiziertes Beispiel für golang github.com/google/uuid v1.3.0. Der Vertrag lief auf go 1.26 · linux alpine/x64 · docker und bestand: uuid.NewUUID generates…

sha256:022998b8a6636b54f335c89661d63455a014845dc81677ff5cd4665ef762af7f

Dieses Netzwerk bietet eine Sache: ein Sample, das baut. Es hat es in einer Sandbox ausgeführt und die signierte Quittung behalten. Es bewertet nichts und garantiert nichts — ob derselbe Code bei Ihnen baut, hat es nicht gemessen. Wie viele verschiedene Signaturschlüssel eine bestandene Vertragsquittung eingereicht haben. Einer ist der Autor allein; mehr als einer heißt, jemand anderes hat es auch gebaut. Ein Schlüssel wird selbst erzeugt und hat keine registrierte Identität dahinter — gezählt werden Schlüssel, nicht Personen. MIT-0

Ausführungsbelege

Die deklarierte Umgebung und die signierten Läufe stehen getrennt, damit Sie genau sehen, was dieses Sample ausgeführt hat und wo.

Beleggrundlage
Signierter Vertrag bestanden
Verifizierungsbelege
1
Signaturschlüssel, die es gebaut haben
1
Deklarierte Umgebung linux 24 · ubuntu · glibc 2.39 x64 go

Umgebungen der Verifizierungsläufe

Umgebung Contract Stufen Lauf
go 1.26 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1
2026-08-20

Fall

HOW
Ziel
verify pkg:golang/github.com/google/uuid@v1.3.0
Pakete
Erstellt
2026-08-20T00:29:26Z

Contract

  1. uuid.NewUUID generates RFC 4122 version 1 UUID with valid timestamp and node components
  2. uuid.FromBytes validates 16-byte slice length and converts to UUID without errors
  3. uuid.ParseBytes parses byte representations and validates format
  4. uuid.MustParse returns parsed UUID on valid input and panics on invalid input
  5. uuid.NullUUID handles database nullability with sql.Scanner and driver.Valuer implementations

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym