CodeSampleX

Beispiel

verify pkg:golang/howett.net/plist@v1.0.0

sha256:3fce1772098412b57e10c42021c6a2f26ab9aba9574cb1ab2a702fa771b2d095

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

Umgebungen der Verifizierungsläufe

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

Fall

HOW
Ziel
verify pkg:golang/howett.net/plist@v1.0.0
Pakete
Symbole
  • plist.Marshal
  • plist.Unmarshal
  • plist.MarshalIndent
  • plist.NewEncoderForFormat
  • plist.NewDecoder
  • plist.XMLFormat
  • plist.BinaryFormat
Umgebung
go 1.26.6
Erstellt
2026-08-20T23:52:09Z

Contract

  1. plist.Marshal and plist.Unmarshal serialize and deserialize Go structs to and from XML property lists
  2. plist.Marshal and plist.Unmarshal serialize and deserialize Go structs to and from binary property lists
  3. plist.MarshalIndent serializes Go data structures into formatted indented XML property lists
  4. plist.NewEncoderForFormat and plist.NewDecoder encode and decode property lists via io stream interfaces
  5. plist.Unmarshal decodes dictionary data into typed Go struct fields using struct tags

Dateien

  • PROMPT.md
  • contract_test.go
  • csx.json
  • go.mod
  • go.sum
  • plist_sample.go
  • spec.json

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym