Beispiel
github.com/google/pprof v0.0.0-20191218002539-d4f498aebedc: profile.Parse
Verifiziertes Beispiel für golang github.com/google/pprof v0.0.0-20191218002539-d4f498aebedc: profile.Parse. Der Vertrag lief auf go 1.26 · linux debian/x64…
sha256:50ce17b5616c67ef1919163625757621cad40164963695efe2f0ffe7e1deb9de
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 debian/x64 · docker ed25519:c1973797be207ac4 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · golang@1golang:1.26@sha256:e30143be198a… |
2026-10-18 |
Fall
HOW- Ziel
- verify profile.Parse in pkg:golang/github.com/google/pprof@v0.0.0-20191218002539-d4f498aebedc
- Symbole
-
- profile.Parse
- Erstellt
- 2026-10-18T19:06:19Z
Contract
- profile.Parse parses an uncompressed pprof protobuf stream into a valid *profile.Profile with matching Sample and Function records
- profile.Parse parses a gzip-compressed pprof protobuf stream into a valid *profile.Profile
Dateien
- PROMPT.md
- csx.json
- go.mod
- go.sum
- spec.json
- test/contract.go
Quelltext
Clean-room public code sample — generation instructions
Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.
A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.
Goal: verify profile.Parse in pkg:golang/github.com/google/pprof@v0.0.0-20191218002539-d4f498aebedc
Kind: HOW
Use EXACTLY these public packages and versions:
- pkg:golang/github.com/google/pprof@v0.0.0-20191218002539-d4f498aebedc
Demonstrate these symbols/APIs:
- profile.Parse
Rules:
- One focused purpose; the smallest project that proves the goal.
- Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
- Pin every dependency with a lockfile so resolution is reproducible.
- No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
- No personal names, emails, company names, or project identifiers of any kind.
- No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
- Keep it under 200 files and 256KB packed.
{"case":{"caseId":"case:sha256:bed3f60b6e667fe779658cf3ee02615315cbee8e2dbf1d8c4aca068ff53f6961","contract":["profile.Parse parses an uncompressed pprof protobuf stream into a valid *profile.Profile with matching Sample and Function records","profile.Parse parses a gzip-compressed pprof protobuf stream into a valid *profile.Profile"],"goal":"verify profile.Parse in pkg:golang/github.com/google/pprof@v0.0.0-20191218002539-d4f498aebedc","kind":"HOW","packages":["pkg:golang/github.com/google/pprof@v0.0.0-20191218002539-d4f498aebedc"],"schemaVersion":1,"symbols":["profile.Parse"]},"contractCommand":["go","run","./test"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"golang","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"go","schemaVersion":1},"license":"MIT-0","packages":["pkg:golang/github.com/google/pprof@v0.0.0-20191218002539-d4f498aebedc"],"schemaVersion":1,"subject":"pkg:golang/github.com/google/pprof@v0.0.0-20191218002539-d4f498aebedc","symbols":["profile.Parse"],"verifierAdapter":"golang@1"}
module sample
go 1.21
require github.com/google/pprof v0.0.0-20191218002539-d4f498aebedc
github.com/chzyer/logex v1.1.10/go.mod h1:+Ywpsq7O8HXn0nuIou7OrIPyXbp3wmkHB+jjWRnGsAI=
github.com/chzyer/readline v0.0.0-20180603132655-2972be24d48e/go.mod h1:nSuG5e5PlCu98SY8svDHJxuZscDgtXS6KTTbou5AhLI=
github.com/chzyer/test v0.0.0-20180213035817-a1ea475d72b1/go.mod h1:Q3SI9o4m/ZMnBNeIyt5eFwwo7qiLfzFZmjNmxjkiQlU=
github.com/google/pprof v0.0.0-20191218002539-d4f498aebedc h1:DLpL8pWq0v4JYoRpEhDfsJhhJyGKCcQM2WPW2TJs31c=
github.com/google/pprof v0.0.0-20191218002539-d4f498aebedc/go.mod h1:ZgVRPoUq/hfqzAqh7sHMqb3I9Rq5C59dIz2SbBwJ4eM=
github.com/ianlancetaylor/demangle v0.0.0-20181102032728-5e5cf60278f6/go.mod h1:aSSvb/t6k1mPoxDqO4vJh6VOCGPwU4O0C2/Eqndh1Sc=
golang.org/x/sys v0.0.0-20191204072324-ce4227a45e2e/go.mod h1:h1NjWce9XRLGQEsW7wpKNCjG9DtNlClVuFLEZdDNbEs=
{
"schemaVersion": 1,
"goal": "verify profile.Parse in pkg:golang/github.com/google/pprof@v0.0.0-20191218002539-d4f498aebedc",
"kind": "HOW",
"packages": [
"pkg:golang/github.com/google/pprof@v0.0.0-20191218002539-d4f498aebedc"
],
"symbols": [
"profile.Parse"
]
}
package main
import (
"bytes"
"fmt"
"os"
"github.com/google/pprof/profile"
)
func main() {
orig := &profile.Profile{
SampleType: []*profile.ValueType{
{Type: "cpu", Unit: "nanoseconds"},
},
PeriodType: &profile.ValueType{Type: "cpu", Unit: "nanoseconds"},
Period: 10000000,
DurationNanos: 1000000000,
Function: []*profile.Function{
{
ID: 1,
Name: "main.compute",
SystemName: "main.compute",
Filename: "main.go",
StartLine: 10,
},
},
}
orig.Location = []*profile.Location{
{
ID: 1,
Address: 0x1000,
Line: []profile.Line{
{
Function: orig.Function[0],
Line: 15,
},
},
},
}
orig.Sample = []*profile.Sample{
{
Location: []*profile.Location{orig.Location[0]},
Value: []int64{50000000},
},
}
var buf bytes.Buffer
if err := orig.WriteUncompressed(&buf); err != nil {
fmt.Fprintf(os.Stderr, "WriteUncompressed failed: %v\n", err)
os.Exit(1)
}
parsed, err := profile.Parse(bytes.NewReader(buf.Bytes()))
if err != nil {
fmt.Fprintf(os.Stderr, "profile.Parse failed: %v\n", err)
os.Exit(1)
}
if err := parsed.CheckValid(); err != nil {
fmt.Fprintf(os.Stderr, "CheckValid failed: %v\n", err)
os.Exit(1)
}
if len(parsed.Sample) != 1 || parsed.Sample[0].Value[0] != 50000000 {
fmt.Fprintf(os.Stderr, "unexpected parsed sample: %+v\n", parsed.Sample)
os.Exit(1)
}
if len(parsed.Function) != 1 || parsed.Function[0].Name != "main.compute" {
fmt.Fprintf(os.Stderr, "unexpected parsed function: %+v\n", parsed.Function)
os.Exit(1)
}
// Also verify compressed profile parsing via profile.Parse
var compBuf bytes.Buffer
if err := orig.Write(&compBuf); err != nil {
fmt.Fprintf(os.Stderr, "Write failed: %v\n", err)
os.Exit(1)
}
parsedComp, err := profile.Parse(bytes.NewReader(compBuf.Bytes()))
if err != nil {
fmt.Fprintf(os.Stderr, "profile.Parse compressed failed: %v\n", err)
os.Exit(1)
}
if len(parsedComp.Sample) != 1 || parsedComp.Sample[0].Value[0] != 50000000 {
fmt.Fprintf(os.Stderr, "unexpected compressed parsed sample: %+v\n", parsedComp.Sample)
os.Exit(1)
}
}
Ursprungs-Seeder
anonym