CodeSampleX

Beispiel

verify pkg:golang/github.com/google/uuid@v1.6.0

sha256:3f6268321d90744310df1be03a5fb000542b1e407f54dc1f7a2cf93e106f3e8a

Veröffentlichungsstatus. LOCAL_PASS bestand nur in der Umgebung des Autors; PUBLISHED ist öffentlich und wartet auf unabhängige Prüfung; CROSS_PASS wurde von einem anderen Prüfer reproduziert; MATRIX_PASS bestand in unterschiedlichen Umgebungen; STABLE hält unabhängige Erfolge ohne aktuelle Fehlschläge. Belegstärke. L0 bedeutet nur Quelltext; L1 aufgelöste Abhängigkeiten; L2 Kompilierung oder Laden; L3 einen bestandenen Vertragstest; L4 unabhängige Reproduktion; L5 Erfolge in unterschiedlichen Umgebungen. MIT-0

Ausführungsbelege

Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.

Beleggrundlage
Unabhängige Kreuzprüfung
Verifizierungsbelege
1
Verifizierungsstufe
L4_CROSS_PASS
Deklarierte Umgebung windows 11 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-19

Fall

HOW
Ziel
verify pkg:golang/github.com/google/uuid@v1.6.0
Pakete
Symbole
  • github.com/google/uuid.New
  • github.com/google/uuid.NewString
  • github.com/google/uuid.Parse
  • github.com/google/uuid.Validate
  • github.com/google/uuid.MustParse
  • github.com/google/uuid.NewRandom
  • github.com/google/uuid.NewV7
  • github.com/google/uuid.NewSHA1
  • github.com/google/uuid.FromBytes
  • github.com/google/uuid.NullUUID
Erstellt
2026-08-19T05:00:40Z

Contract

  1. uuid.New generates a non-nil RFC 4122 v4 UUID with Version 4 and Variant RFC4122
  2. uuid.NewString generates a 36-character valid RFC 4122 v4 UUID string
  3. uuid.Parse parses valid UUID strings and returns an error for invalid input
  4. uuid.Validate accepts valid UUID formatting and rejects malformed strings
  5. uuid.MustParse returns UUID on valid strings and panics on invalid input
  6. uuid.NewRandom generates a cryptographically secure v4 UUID
  7. uuid.NewV7 creates a time-ordered v7 UUID with RFC4122 variant
  8. uuid.NewSHA1 generates deterministic v5 UUIDs from namespace and name
  9. uuid.FromBytes parses a 16-byte slice and rejects incorrect lengths
  10. uuid.NullUUID supports valid and null values with JSON marshaling

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym