CodeSampleX

Sample

verify pkg:golang/github.com/caddyserver/certmagic@v0.23.0

sha256:a22420357fe873e49ea4e99e2194ed99fc130050181f7fd631f4e28db9f1d333

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

Case

HOW
Goal
verify pkg:golang/github.com/caddyserver/certmagic@v0.23.0
Packages
Created
2026-08-23T18:05:36Z

Contract

  1. certmagic.NewDefault returns a valid Config with default cache and TLS configuration
  2. certmagic.MatchWildcard correctly matches single-level subdomains case-insensitively and rejects multi-level subdomains or apex domains
  3. certmagic.SubjectQualifiesForCert validates domain formatting and rejects empty string or leading/trailing dots
  4. certmagic.SubjectQualifiesForPublicCert permits public domain names and single wildcards while rejecting localhost and private/loopback IP addresses
  5. certmagic.SubjectIsIP identifies IP addresses and SubjectIsInternal identifies loopback and private networks
  6. certmagic.StorageKeys generates sanitized and deterministic storage keys for certs and private keys
  7. certmagic.StandardKeyGenerator generates valid ed25519 private keys that can be PEM encoded and decoded
  8. certmagic.LooksLikeHTTPChallenge detects ACME HTTP-01 challenge paths and ignores normal paths
  9. certmagic.New initializes a Config using a custom Cache and preserves custom configuration fields

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