CodeSampleX

サンプル

verify pkg:golang/github.com/mholt/acmez/v3@v3.1.2

sha256:07dcac7b61749477bc66b0887b838acefa9256efd465de0f8cfc17a9663b74a4

このネットワークが提供するのは一つだけです。ビルドされるサンプル。サンドボックスで実行し、署名済みの受領証を保管します。等級はつけず、何も保証しません — 同じコードがあなたの環境でビルドされるかは測定していません。 合格した契約受領証を提出した異なる署名鍵の数です。1 なら作者だけ、2 以上なら他の誰かもビルドしています。鍵は自己生成で背後に登録された身元がないため、数えているのは人ではなく鍵です。 MIT-0

実行証拠

宣言された環境と署名済みの実行を分けてあります。このサンプルが何をどこで実行したかをそのまま確認できます。

証拠の基準
署名済みコントラクト合格
検証レシート
1
ビルドした署名鍵
1
宣言された環境 linux 24 · ubuntu · glibc 2.39 x64 go

検証実行環境

環境 コントラクト ステージ 実行日
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

ケース

HOW
ゴール
verify pkg:golang/github.com/mholt/acmez/v3@v3.1.2
パッケージ
作成日
2026-08-23T17:08:58Z

コントラクト

  1. acmez.NewCSR creates a signed x509 CertificateRequest from subject alternative names including DNS, IP, and email addresses
  2. acmez.OrderParametersFromCSR maps CertificateRequest SANs into matching ACME Identifiers with DNS and IP types
  3. acmez.StaticCSR wraps a pre-constructed CertificateRequest as a CSRSource interface
  4. acmez.TLSALPN01ChallengeCert creates a self-signed TLS certificate with critical id-pe-acmeIdentifier extension for TLS-ALPN-01 challenges
  5. acme.Challenge computes standard HTTP-01 resource paths and DNS-01 TXT record names and digest authorization
  6. acme.ARIUniqueIdentifier constructs RFC draft ARI unique identifiers from certificate AuthorityKeyId and SerialNumber
  7. acme.Problem formats RFC 7807 problem details with HTTP status and detail text

ファイル

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

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

匿名