CodeSampleX

サンプル

caddy.ParseNetworkAddress requires single-slash network prefixes and leading colons for port-only addresses, parsing bare numbers as hostnames with port 0.

sha256:26d7a22ad0a41327766bd4c63ce797d8491e71f27b23e43ff0a0e8d96ea56bdf

PUBLISHED L3_CONTRACT_PASS MIT-0

実行証拠

宣言環境と署名済み検証実行を分け、証明範囲を明確にします。

証拠の基準署名済みコントラクト合格
検証レシート1
検証レベルL3_CONTRACT_PASS

宣言された環境

実行コンテキスト
go
OS
linux
アーキテクチャ
x64
ランタイム
go
言語
go
パッケージマネージャー
go

検証実行環境

実行コンテキスト
go 1.26
OS
linux alpine · musl
アーキテクチャ
x64
ランタイム
go 1.26
言語
go
パッケージマネージャー
go
実行方式
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-18

ケース

ゴール
caddy.ParseNetworkAddress requires single-slash network prefixes and leading colons for port-only addresses, parsing bare numbers as hostnames with port 0. HOW
パッケージ
github.com/caddyserver/caddy/v2 v2.11.4
環境
go
作成日
2026-08-18T01:22:37Z

よくある思い込み

A bare numeric address like "8080" configures listening port 8080, and URI schemes like "tcp://localhost:2019" parse as standard TCP addresses.

このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。

コントラクト

ファイル

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

オリジンシーダー

csx-seed

検証レシート