ネットワークが見つけたもの
以下の各行は意見ではなく測定です。いずれも公開サンプルにリンクしており、その contract はネットワークを切った固定コンテナで実行されるので、自分で再実行して結果に反論できます。
OS とランタイムはリンク先サンプルに記録された環境です。その項目がない記録は選択時に除外されます。
597 件の発見、8 個のエコシステム。
- cargo
- composer
- gem
- golang
- hex
- npm
- pub
- pypi
サンプルが述べ、その契約が測ったこと
公開サンプルが測定した結果の 551–568 件目(全 568 件)。
-
npmサンプル契約node · linux/x64react-dom@19.0.0
信じられていることreact-dom/server strips functions passed to form action and button formAction props during server-side rendering like standard event handlers, leaving form submission to native browser HTTP request defaults.
測定結果Passing a function to form action or button formAction in react-dom/server emits a javascript:throw error URL and injects an inline submit listener replay script
-
golangサンプル契約go · linux/x64gorm.io/gorm@v1.31.2
信じられていることWhen `gorm.G[T]` is used with `Set(...)` in generics, only plain column assignments are applied and association operations are ignored if no special helpers are used.
測定結果assert that `gorm.G[User](db).Where("id = ?", user.ID).Set(clause.Association{Association:"Languages",Type:clause.OpUpdate,Set:...,Conditions:...}).Update(ctx)` mutates only the related `languages.name` row for `code = 'en'`
-
composerサンプル契約php · linux/x64guzzlehttp/guzzle@7.15.3
信じられていることGuzzleHttp\Client::sendRequest follows redirects and throws ClientException on 4xx responses identically to send under default client options.
測定結果PSR-18 sendRequest returns 4xx and 5xx status codes as valid ResponseInterface instances without throwing ClientException even when http_errors is enabled by default
-
golangサンプル契約go · linux/x64github.com/spf13/viper@v1.21.0
信じられていることA `Sub()` call drops a custom key delimiter to the default delimiter, so a value set under `service::db::host` cannot be read from `sub.GetString("db::host")`.
測定結果When delimiter-specific lookup on the sub-tree works, it proves `Sub()` preserved lookup behavior instead of silently falling back to parentless key parsing.
-
composerサンプル契約php · linux/x64symfony/console@8.1.4
信じられていることA caller expects a missing `InputOption::VALUE_NEGATABLE` to evaluate as `false`.
測定結果Running a command with only `addOption('cache', null, InputOption::VALUE_NEGATABLE, ...)` and invoking `CommandTester->execute([])` must output `null` for the option value.
-
golangサンプル契約go · linux/x64github.com/spf13/pflag@v1.0.10
信じられていることA wrapped ErrHelp value from a flag setter should still be treated as a help request and exit with code 0.
測定結果With ErrorHandling=ExitOnError, FlagSet.Parse returns a wrapped ErrHelp via Set() and exits with status 2, not 0.
-
golangサンプル契約go · linux/x64github.com/spf13/pflag@v1.0.10
信じられていることa flag with NoOptDefVal set binds a subsequent space-separated argument as its value during command-line parsing
測定結果fs.Parse([]string{"--format", "yaml", "pos1"}) sets format to "json" from NoOptDefVal and preserves "yaml" and "pos1" in fs.Args()
-
golangサンプル契約go · linux/x64golang.org/x/sync@v0.22.0
信じられていることsingleflight.Group caches computed results across sequential calls until Forget is called, marks only joining followers as shared, and drops in-flight executions on Forget.
測定結果assert singleflight.Group executes sequential calls repeatedly without caching and does not require Forget to invalidate
-
pypiサンプル契約python · linux/x64zipp@4.1.0
信じられていることDirectly instantiating zipp.Path with an implied directory path name behaves identically to navigating to it via joinpath or the division operator.
測定結果assert not Path(zf).exists() and Path(zf).is_dir() at the archive root
-
pubサンプル契約dart · linux/x64shelf@1.4.2
信じられていることA shelf Request's url property is an absolute Uri whose path starts with a leading slash matching requestedUri.path, and change(path:) appends subpaths.
測定結果assert request.url is a relative Uri with no scheme, host, or leading slash, that handlerPath defaults to '/', that requestedUri.path equals handlerPath + url.path, that change(path:) consumes path segments from url.path into handlerPath rather than appending, that change(path:) with a leading slash or unmatched prefix throws ArgumentError, and that Request constructor rejects a non-empty handlerPath missing a trailing slash
-
npmサンプル契約node · linux/x64socket.io-client@4.8.3
信じられていることPassing a URL pathname to io() sets the HTTP request path on the server and opens an independent transport connection per namespace, while auth options are sent in HTTP handshake headers or query parameters.
測定結果assert io() parses URL pathname as socket namespace and routes HTTP requests to /socket.io/ rather than URL path unless path option is explicitly set
-
golangサンプル契約go · linux/x64github.com/google/go-cmp@v0.7.0
信じられていることPassing an outer struct to cmpopts.IgnoreUnexported automatically ignores unexported fields within embedded structs.
測定結果assert cmpopts.IgnoreUnexported on an outer struct panics when comparing embedded structs with unexported fields
-
npmサンプル契約node · linux/x64jsonwebtoken@9.0.3
信じられていることjwt.verify returns a decoded envelope containing payload and header properties by default, and jwt.sign merges payload registered claims with signing options.
測定結果assert jwt.verify with complete: true returns an envelope containing header, payload, and signature
-
golangサンプル契約go · linux/x64net/http@go1.26.5
信じられていることA common model expectation is that once headers arrive, a `http.Client` timeout no longer applies, so long response bodies can be read indefinitely.
測定結果A request with a short `Client.Timeout` can get headers immediately yet still fail with a timeout while reading a slow body, proving the deadline covers more than setup.
-
golangサンプル契約go · linux/x64embed@v1.26.5
信じられていることPassing "/assets/hello.txt" to embed.FS.Open should open the same embedded file as "assets/hello.txt".
測定結果assert embed.FS.Open("/assets/hello.txt") fails even though it names an existing embedded path with a leading slash
-
cargoサンプル契約rust · linux/x64tower-layer@0.3.3
信じられていることStack::new(a, b) establishes a middleware pipeline where layer a executes before layer b on incoming requests, matching left-to-right argument order and tuple composition
測定結果Stack::new(layer_a, layer_b).layer(base) wraps base with layer_a first and layer_b second, executing layer_b before layer_a on incoming requests
-
cargoサンプル契約rust · linux/x64tower-service@0.3.3
信じられていることCalling Service::call borrows &mut self for the entire lifetime of the returned Future, preventing a single unbuffered service instance from polling and dispatching subsequent requests while a prior request is in flight.
測定結果Passing a mutable reference &mut S into a generic Service consumer yields S::Future without tying the future to the &mut borrow lifetime, allowing immediate re-borrowing to poll and dispatch subsequent requests while earlier futures remain in flight
-
cargoサンプル契約rust · linux/x64sqlx@0.8.6
信じられていることA value larger than `i32::MAX` can still be decoded into `i32`, with SQLite-like truncation happening behind the scenes.
測定結果assert that reading a SQLite `INTEGER` value greater than `i32::MAX` into `i32` returns an error
ここの行を確かめる方法
サンプルを開き、contract を読み、実行してください。contract はそのサンプル自身のテストです。ネットワークを切った固定コンテナで実行され、その実行の署名済みレシートがネットワークに保存されます。ここに書かれていることはライブラリについての解釈ではなく、ライブラリが実際に行ったことだけに基づいています。
公開済みのサンプルのうち、このページにないものがあります。契約は通過しておりサンプルも生きていますが、その契約に文として読める行がないからです。expect(x).toBe(1) のような断言は、検査している思い込みの隣に置いても読者に何も伝えません。読めない証拠を載せるより、空けておくことを選びました。