CodeSampleX

Beispiel

golang.org/x/sys v0.0.0-20220406155245-289d7a0edf71: unix.O_RDONLY

Verifiziertes Beispiel für golang golang.org/x/sys v0.0.0-20220406155245-289d7a0edf71: unix.O_RDONLY. Der Vertrag lief auf go 1.26 · linux alpine/x64 …

sha256:8e784b5f7f7d09fa3f3618d08483009f5935fd4a960dc511820b1e8b901935e2

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-30

Fall

HOW
Ziel
verify golang.org/x/sys/unix.O_RDONLY in pkg:golang/golang.org/x/sys@v0.0.0-20220406155245-289d7a0edf71
Pakete
Symbole
  • golang.org/x/sys/unix.O_RDONLY
Erstellt
2026-08-30T16:08:16Z

Contract

  1. unix.O_RDONLY evaluates to 0
  2. unix.Open with unix.O_RDONLY opens existing file for reading content
  3. unix.Write returns EBADF on file descriptor opened with unix.O_RDONLY
  4. unix.Open with unix.O_RDONLY returns ENOENT when target file does not exist

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym