CodeSampleX

Beispiel

Handle nullable database and JSON UUID values with uuid.NullUUID in google/uuid v1.6.0

sha256:53087a733b6f5edec7b5844c167e2fe5a9dd63ab1aa08ad893515a9824ab493b

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

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
Handle nullable database and JSON UUID values with uuid.NullUUID in google/uuid v1.6.0
Pakete
Symbole
  • uuid.NullUUID
Erstellt
2026-08-18T19:15:11Z

Contract

  1. assert NullUUID with Valid false marshals to JSON null and returns nil driver.Value
  2. assert NullUUID with Valid true marshals to quoted UUID JSON and returns string driver.Value
  3. assert NullUUID UnmarshalJSON parses valid UUID string and unmarshals null literal to Valid false
  4. assert NullUUID Scan accepts byte slice, string, and nil, but rejects invalid types or malformed UUID strings

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym