网络测出了什么
下面每一行都是测量结果，不是观点。每一条都链接到一个已发布的样本，其 contract 在断网的固定容器中执行，你可以自己重跑并反驳结论。
操作系统和运行时来自所链接样本记录的环境；缺少该维度的条目会在筛选时排除。
597 条发现，覆盖 8 个生态。
- cargo
- composer
- gem
- golang
- hex
- npm
- pub
- pypi
样本自述，其契约实测
正在显示已发布样本测得的第 526–550 条(共 568 条)。
-
composer样本契约php · linux/x64symfony/console@v8.1.4
普遍认为QuestionHelper applies configured Question normalizers to default values in non-interactive execution before validating and returning the response.
实测QuestionHelper::ask() in non-interactive mode completely bypasses Question::setNormalizer(), returning the unnormalized default value and passing the unnormalized type directly to the validator.
-
composer样本契约php · linux/x64symfony/console@7.4.16
普遍认为A model expects that destroying StreamOutput closes its underlying stream resource, ConsoleOutput opens fresh stream handles per instance, OutputFormatter resets style tags between format calls, and ProgressBar writes output to STDOUT.
实测StreamOutput does not close its underlying stream resource when destroyed, leaving the file descriptor open unless explicitly closed with fclose by the caller
-
composer样本契约php · linux/x64symfony/console@8.1.4
普遍认为Serializing an ArrayInput instance to a CLI string with __toString() produces argument tokens that preserve boolean flag states and option values when round-tripped through StringInput.
实测ArrayInput::__toString() serializes a boolean true flag as '--flag=1', which throws RuntimeException when rebound to a VALUE_NONE option, and serializes a boolean false flag as '--flag', which inverts the flag to true when reparsed.
-
composer样本契约php · linux/x64symfony/console@7.2.1
普遍认为Declaring a protected static $defaultName property on a Command subclass sets the command name and description and allows registering it with Application::add().
实测In Symfony Console 7, Command::getDefaultName() returns null for classes defining static $defaultName, leaving the command name null and causing Application::add() to throw LogicException unless configured via the #[AsCommand] attribute.
-
golang样本契约go · linux/x64sigs.k8s.io/yaml@v1.6.0
普遍认为Unmarshaling YAML with type mismatches returns a yaml.TypeError, non-pointer destinations return an InvalidUnmarshalError, and UnmarshalStrict returns uniform YAML unmarshal errors for all schema violations.
实测Type mismatch in YAML unmarshaling returns a wrapped *json.UnmarshalTypeError with prefix 'error unmarshaling JSON' and does not match yaml.TypeError
-
hex样本契约elixir · linux/x64nimble_options@1.1.1
普遍认为A custom type callback is expected to return an error tuple and still be reported as {:error, ValidationError}; anything else should do the same.
实测assert NimbleOptions.validate([port: :bad], custom_schema()) converts {:error, message} from the callback into a NimbleOptions.ValidationError whose message is prefixed with the library error field
-
hex样本契约elixir · linux/x64decimal@3.1.1
普遍认为Decimal.new/1 and Decimal.parse/1 parse any decimal string containing up to the default decimal128 context precision of 34 significant digits regardless of leading zeros.
实测assert Decimal.new parses 34 significant digits with leading zero without exceeding max_digits
-
golang样本契约go · linux/x64github.com/go-chi/chi/v5@v5.3.1
普遍认为Calling ClientIPFromXFF with no arguments extracts the originating client IP from the leftmost entry in X-Forwarded-For and updates RemoteAddr like RealIP.
实测assert ClientIPFromXFF with unset trusted prefixes returns the rightmost XFF hop rather than the leftmost client IP
-
golang样本契约go · linux/x64github.com/go-chi/chi/v5@v5.3.1
普遍认为Registering middleware.URLFormat and middleware.StripSlashes in either order yields the same route match behavior for /item.json/.
实测When middleware.URLFormat is registered before middleware.StripSlashes and only GET /item exists, GET /item.json/ returns 404.
-
golang样本契约go · linux/x64sigs.k8s.io/yaml@v1.4.0
普遍认为sigs.k8s.io/yaml.Unmarshal preserves exact 64-bit integer values when decoding YAML into untyped maps or interface{} fields without explicit decoder options.
实测assert default Unmarshal silently truncates integers above 2^53 into float64 whereas JSONOpt UseNumber preserves exact int64 values as json.Number
-
golang样本契约go · linux/x64encoding/json@v1.26.5
普遍认为A JSON encoder serializes string values using standard RFC 8259 character escaping, preserving literal <, >, and & characters unless HTML escaping is explicitly enabled.
实测assert json.NewEncoder with default settings escapes <, >, and & into \u003c, \u003e, and \u0026
-
golang样本契约go · linux/x64sigs.k8s.io/yaml@v1.4.0
普遍认为A caller expects unknown YAML keys to be rejected by default when decoding into a typed struct.
实测assert Unmarshal succeeds when decoding `name: main unknown: value` into `decodeTarget` without options
-
golang样本契约go · linux/x64encoding/json@go1.26.5
普遍认为Using Decoder.UseNumber causes every decoded number to be produced as json.Number, even when decoding into a concrete numeric struct field.
实测assert that decoding `{"count": 7, "wildcard": 7}` with Decoder.UseNumber into struct `{Count int; Wildcard any}` yields `Count` as an `int` and `Wildcard` as `json.Number`
-
golang样本契约go · linux/x64net/http@go1.26.5
普遍认为A caller using a default http.Client should see the same payload bytes and encoding metadata that the server put on the response.
实测When a server writes a gzip-compressed body, a default http.Client request must return plain text bytes, not gzip bytes.
-
golang样本契约go · linux/x64net/http@go1.26.5
普遍认为A POST request that receives a 303 See Other keeps its method and body through automatic redirect following.
实测A default client must follow `StatusSeeOther` (`303`) by issuing the next request as `GET`, not as the original method.
-
golang样本契约go · linux/x64net/http@go1.26.5
普遍认为A method token in a ServeMux pattern, such as `GET /resource`, is just part of the path and does not affect routing.
实测Registering `HandleFunc("GET /resource", ...)` and `HandleFunc("POST /resource", ...)` must allow GET and POST only, while a PUT request to `/resource` must fail with 405.
-
golang样本契约go · linux/x64encoding/json@v1.26.5
普遍认为json.Marshal encodes fixed-size byte arrays [N]byte as Base64 strings and json.Unmarshal decodes Base64 strings into byte arrays.
实测assert json.Marshal encodes fixed-size byte array [N]byte as a JSON numeric array instead of a base64 string
-
golang样本契约go · linux/x64encoding/json@go1.26.5
普遍认为A field is omitted only when its value is reflect-empty, so a non-empty struct value must always be serialized unless `omitempty` is false.
实测assert json.Marshal with tag `field,omitzero` omits a non-empty struct when its IsZero() method returns true
-
golang样本契约go · linux/x64encoding/json@v1.26.5
普遍认为A caller can treat json.Encoder.Encode as json.Marshal followed by Write, so the output bytes are exactly the JSON value.
实测assert that json.NewEncoder(&buf).Encode(v) appends a trailing \n byte to the encoded output
-
pypi样本契约python · linux/x64httpx2@2.10.0
普遍认为Passing query parameters via the params argument merges them with query parameters already present in the target URL.
实测assert passing params to Request('GET', 'https://example.com/search?q=python', params={'page': '2'}) overwrites the URL query to 'page=2', discarding 'q=python'
-
composer样本契约php · linux/x64symfony/console@7.4.16
普遍认为A competent developer or model expects that during the execution of a parent command, the Application's active running command context is preserved across sub-command invocations, ensuring that error rendering retains the parent command's synopsis throughout its lifecycle.
实测Application doRun resets runningCommand to null upon sub-command completion instead of restoring the parent command
-
composer样本契约php · linux/x64guzzlehttp/guzzle@8.0.2
普遍认为Passing a stream or resource sink to a request that follows redirects writes only the final destination response body into the sink.
实测assert a stream sink passed during redirected requests accumulates both intermediate redirect bodies and final response body instead of only the destination body
-
npm样本契约node · linux/x64vitest@4.1.10
普遍认为mockReset clears call records and replaces the mock implementation with an empty function returning undefined like Jest, rather than reverting to the initial implementation while keeping the spy active
实测assert mockReset on vi.spyOn reverts to initial method implementation instead of undefined while continuing to intercept and record calls
-
cargo样本契约rust · linux/x64winnow@1.0.4
普遍认为When an alt combinator fails on invalid input after partially matching an alternative, ContextError preserves the error details and byte offset from whichever branch parsed deepest.
实测assert alt with ContextError discards a partial match in an earlier branch and returns the error and offset of the last evaluated branch, while cut_err prevents backtrack and preserves the deep failure site
-
composer样本契约php · linux/x64symfony/console@8.1.4
普遍认为Unrecognized CLI options throw InvalidOptionException and missing required arguments throw MissingInputException.
实测ArgvInput with an unknown option throws RuntimeException rather than InvalidOptionException or InvalidArgumentException
如何核对这里的任何一行
打开样本，读它的 contract，然后运行。contract 就是该样本自己的测试：它在断网的固定容器中运行，那次运行的签名回执才是网络所存储的东西。这里没有一条依赖我们对某个库的理解，只依赖这个库实际做了什么。
有些已发布的样例不在这个页面上。它们的契约通过了，样例也是活的 —— 但契约里没有一行能当句子读。像 expect(x).toBe(1) 这样的断言，放在它所检验的那个认知旁边，对读者什么也没说。与其登出没人能读的证据，不如空着。