O que a rede encontrou
Cada linha abaixo é uma medição, não uma opinião. Todas apontam para uma amostra publicada cujo contract é executado em um contêiner fixado e sem rede, então você pode reexecutá-lo e discordar do resultado.
O sistema e o runtime vêm do ambiente registrado pela amostra; dimensões ausentes são excluídas ao filtrar.
597 achados em 8 ecossistemas.
- cargo
- composer
- gem
- golang
- hex
- npm
- pub
- pypi
O que a amostra afirma e o contrato dela mede
551–568 de 568, medidos por amostras publicadas.
-
npmContrato da amostranode · linux/x64react-dom@19.0.0
Acredita-sereact-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.
MedidoPassing 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
-
golangContrato da amostrago · linux/x64gorm.io/gorm@v1.31.2
Acredita-seWhen `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.
Medidoassert 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'`
-
composerContrato da amostraphp · linux/x64guzzlehttp/guzzle@7.15.3
Acredita-seGuzzleHttp\Client::sendRequest follows redirects and throws ClientException on 4xx responses identically to send under default client options.
MedidoPSR-18 sendRequest returns 4xx and 5xx status codes as valid ResponseInterface instances without throwing ClientException even when http_errors is enabled by default
-
golangContrato da amostrago · linux/x64github.com/spf13/viper@v1.21.0
Acredita-seA `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")`.
MedidoWhen delimiter-specific lookup on the sub-tree works, it proves `Sub()` preserved lookup behavior instead of silently falling back to parentless key parsing.
-
composerContrato da amostraphp · linux/x64symfony/console@8.1.4
Acredita-seA caller expects a missing `InputOption::VALUE_NEGATABLE` to evaluate as `false`.
MedidoRunning a command with only `addOption('cache', null, InputOption::VALUE_NEGATABLE, ...)` and invoking `CommandTester->execute([])` must output `null` for the option value.
-
golangContrato da amostrago · linux/x64github.com/spf13/pflag@v1.0.10
Acredita-seA wrapped ErrHelp value from a flag setter should still be treated as a help request and exit with code 0.
MedidoWith ErrorHandling=ExitOnError, FlagSet.Parse returns a wrapped ErrHelp via Set() and exits with status 2, not 0.
-
golangContrato da amostrago · linux/x64github.com/spf13/pflag@v1.0.10
Acredita-sea flag with NoOptDefVal set binds a subsequent space-separated argument as its value during command-line parsing
Medidofs.Parse([]string{"--format", "yaml", "pos1"}) sets format to "json" from NoOptDefVal and preserves "yaml" and "pos1" in fs.Args()
-
golangContrato da amostrago · linux/x64golang.org/x/sync@v0.22.0
Acredita-sesingleflight.Group caches computed results across sequential calls until Forget is called, marks only joining followers as shared, and drops in-flight executions on Forget.
Medidoassert singleflight.Group executes sequential calls repeatedly without caching and does not require Forget to invalidate
-
pypiContrato da amostrapython · linux/x64zipp@4.1.0
Acredita-seDirectly instantiating zipp.Path with an implied directory path name behaves identically to navigating to it via joinpath or the division operator.
Medidoassert not Path(zf).exists() and Path(zf).is_dir() at the archive root
-
pubContrato da amostradart · linux/x64shelf@1.4.2
Acredita-seA shelf Request's url property is an absolute Uri whose path starts with a leading slash matching requestedUri.path, and change(path:) appends subpaths.
Medidoassert 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
-
npmContrato da amostranode · linux/x64socket.io-client@4.8.3
Acredita-sePassing 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.
Medidoassert io() parses URL pathname as socket namespace and routes HTTP requests to /socket.io/ rather than URL path unless path option is explicitly set
-
golangContrato da amostrago · linux/x64github.com/google/go-cmp@v0.7.0
Acredita-sePassing an outer struct to cmpopts.IgnoreUnexported automatically ignores unexported fields within embedded structs.
Medidoassert cmpopts.IgnoreUnexported on an outer struct panics when comparing embedded structs with unexported fields
-
npmContrato da amostranode · linux/x64jsonwebtoken@9.0.3
Acredita-sejwt.verify returns a decoded envelope containing payload and header properties by default, and jwt.sign merges payload registered claims with signing options.
Medidoassert jwt.verify with complete: true returns an envelope containing header, payload, and signature
-
golangContrato da amostrago · linux/x64net/http@go1.26.5
Acredita-seA common model expectation is that once headers arrive, a `http.Client` timeout no longer applies, so long response bodies can be read indefinitely.
MedidoA 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.
-
golangContrato da amostrago · linux/x64embed@v1.26.5
Acredita-sePassing "/assets/hello.txt" to embed.FS.Open should open the same embedded file as "assets/hello.txt".
Medidoassert embed.FS.Open("/assets/hello.txt") fails even though it names an existing embedded path with a leading slash
-
cargoContrato da amostrarust · linux/x64tower-layer@0.3.3
Acredita-seStack::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
MedidoStack::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
-
cargoContrato da amostrarust · linux/x64tower-service@0.3.3
Acredita-seCalling 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.
MedidoPassing 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
-
cargoContrato da amostrarust · linux/x64sqlx@0.8.6
Acredita-seA value larger than `i32::MAX` can still be decoded into `i32`, with SQLite-like truncation happening behind the scenes.
Medidoassert that reading a SQLite `INTEGER` value greater than `i32::MAX` into `i32` returns an error
Como conferir qualquer linha daqui
Abra a amostra, leia o contract dela e execute. O contract é o teste da própria amostra: roda sem rede em um contêiner fixado, e o recibo assinado dessa execução é o que a rede guarda. Nada aqui depende de como lemos uma biblioteca, apenas do que ela fez.
Algumas amostras publicadas não estão nesta página. O contrato delas passou e a amostra está no ar, mas nenhuma linha desse contrato se lê como uma frase. Uma asserção como expect(x).toBe(1), ao lado da crença que verifica, não diz nada a quem lê. Preferimos deixá-las de fora a publicar evidência que ninguém consegue ler.