CodeSampleX

Beispiel

modernc.org/memory v1.5.0

Verifiziertes Beispiel für golang modernc.org/memory v1.5.0. Der Vertrag lief auf go 1.26 · linux alpine/x64 · docker und bestand: Allocator.Calloc allocates…

sha256:9a97c7453795e851b8021d9aea29c31142cdeba19c69cb5f4d0063be3656d173

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:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1
2026-08-20

Fall

HOW
Ziel
verify pkg:golang/modernc.org/memory@v1.5.0
Pakete
Erstellt
2026-08-19T23:14:17Z

Contract

  1. Allocator.Calloc allocates zero-initialized memory slices and Allocator.Free releases them
  2. Allocator.Malloc allocates uninitialized memory slices and Allocator.Realloc resizes slices preserving existing content
  3. UsableSize reports the actual usable capacity of allocated memory slices
  4. Allocator.UintptrCalloc and Allocator.UintptrFree manage memory allocations using uintptr addresses
  5. Allocator.Close releases OS resources allocated by the Allocator instance

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym