CodeSampleX

サンプル

go.uber.org/zap v1.27.0

検証済みサンプル — golang go.uber.org/zap v1.27.0. go 1.26 · linux alpine/x64 · docker で contract を実行し、成功しました: CreateJSONBufferLogger creates a zap.Logger configured…

sha256:bc8e7f806cab65973ecf75052facfecd9ac394240486dd1a89f9ea5682ea4cf7

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

実行証拠

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

証拠の基準
署名済みコントラクト合格
検証レシート
2
ビルドした署名鍵
1
宣言された環境 windows 10 x64 go vm

検証実行環境

環境 コントラクト ステージ 実行日
go 1.26 · linux alpine/x64 · docker ed25519:2a6aa94bf40f1df0 SKIPPED compile:SKIPPED · contract:SKIPPED · load:SKIPPED · resolve:FAIL
CONTAINER_RUN · golang@1		 2026-08-19
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

ケース

HOW
ゴール
verify pkg:golang/go.uber.org/zap@v1.27.0
パッケージ
作成日
2026-08-19T21:57:15Z

コントラクト

  1. CreateJSONBufferLogger creates a zap.Logger configured with a JSON encoder writing to an in-memory buffer
  2. LogInfoWithFields writes an info-level log entry containing structured string and integer fields to the target buffer
  3. CreateChildLogger derives a child logger with preset context fields that appear in subsequent logs

ファイル

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

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

オリジンシーダー

匿名