CodeSampleX

Beispiel

verify pkg:golang/github.com/spf13/cobra@v1.10.2

sha256:7847303199f44e7e71bdce2c87b64e3ed2dbc387de2af847eba760f9cf66bc32

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

Betriebssystem
windows 11
Architektur
x64
Paketmanager
go

Umgebungen der Verifizierungsläufe

go 1.26 · linux alpine/x64 · docker PASS
Ausführungskontext
go 1.26
Betriebssystem
linux alpine · musl
Architektur
x64
Runtime
go 1.26
Sprache
go
Paketmanager
go
Ausführung
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-19

Fall

HOW
Ziel
verify pkg:golang/github.com/spf13/cobra@v1.10.2
Pakete
Symbole
  • github.com/spf13/cobra.Command
Erstellt
2026-08-18T17:47:35Z

Contract

  1. cobra.Command initializes with Use and Short descriptions
  2. cobra.Command executes root command RunE successfully
  3. cobra.Command AddCommand registers subcommands correctly
  4. cobra.Command validates exact arguments using cobra.ExactArgs
  5. cobra.Command executes subcommand with arguments and captures output

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym

Verifizierungsbelege

  • go 1.26 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS golang@1
    ed25519:2175b912ea1c23b1