CodeSampleX

Sample

verify github.com/smallstep/scep.FAILURE in pkg:golang/github.com/smallstep/scep@v0.0.0-20231024192529-aee96d7ad34d

sha256:f730303b3c1f6cd49da95f566e61ebda548aa184e678475d3e4edb60c9a66e9f

This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured. How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people. MIT-0

Execution evidence

The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.

Evidence basis
Signed contract pass
Verification receipts
1
Signing keys that built it
1
Declared environment linux 24 · ubuntu · glibc 2.39 x64 go

Verification-run environments

Environment Contract Stages Run
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

Case

HOW
Goal
verify github.com/smallstep/scep.FAILURE in pkg:golang/github.com/smallstep/scep@v0.0.0-20231024192529-aee96d7ad34d
Packages
Symbols
  • github.com/smallstep/scep.FAILURE
Created
2026-08-27T10:45:26Z

Contract

  1. scep.FAILURE constant has the SCEP protocol string value "2"
  2. scep.PKIMessage.Fail constructs a signed CertRep FAILURE response with scep.FAILURE status and scep.BadRequest failInfo
  3. scep.PKIMessage.Fail supports all standard SCEP failInfo reasons (BadAlg, BadMessageCheck, BadTime, BadCertID) with scep.FAILURE
  4. scep.PKIMessage.Fail preserves transaction correlation by matching TransactionID and setting RecipientNonce to the request's SenderNonce

Files

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

Download the source artifact (tar.gz)

Origin Seeder

anonymous