CodeSampleX

Beispiel

verify golang.org/x/sys/unix.Write in pkg:golang/golang.org/x/sys@v0.0.0-20220406155245-289d7a0edf71

sha256:a867545f5f50a0e97ac405dbd423d951e164a8bd5e4a87bcf62b6515df537ef5

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:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…
2026-08-27

Fall

HOW
Ziel
verify golang.org/x/sys/unix.Write in pkg:golang/golang.org/x/sys@v0.0.0-20220406155245-289d7a0edf71
Pakete
Symbole
  • golang.org/x/sys/unix.Write
Erstellt
2026-08-27T15:36:10Z

Contract

  1. unix.Write writes the entire byte buffer to a valid pipe file descriptor
  2. unix.Write returns n=0 and nil error when writing an empty slice
  3. unix.Write returns EBADF when writing to an invalid file descriptor
  4. unix.Write returns EBADF when writing to a closed file descriptor
  5. unix.Write preserves byte sequence and contents across sequential writes
  6. unix.Write writes successfully to a regular file descriptor opened with O_WRONLY

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym