Exemplo
verify require active_support in pkg:gem/activesupport@8.1.3.1
sha256:47a08f4f318cf72fd936b8067591bbb64076c67a1db013ecc07f24813b7d00d8
Estado de publicação. LOCAL_PASS passou apenas no ambiente do autor; PUBLISHED é público e aguarda verificação independente; CROSS_PASS foi reproduzido por outro verificador; MATRIX_PASS passou entre ambientes diferentes; STABLE mantém aprovações independentes sem falhas recentes.
Força da evidência. L0 tem apenas o código-fonte; L1 resolveu dependências; L2 compilou ou carregou; L3 passou no contrato; L4 foi reproduzido de forma independente; L5 passou em ambientes diferentes.
MIT-0
Evidência de execução
O ambiente declarado é separado das execuções assinadas para mostrar exatamente o que foi provado.
- Base da evidência
- Verificação cruzada independente
- Recibos de verificação
- 1
- Nível de verificação
- L4_CROSS_PASS
Ambiente declarado
- Contexto de execução
- ruby 3
- Sistema operacional
- linux
- Arquitetura
- x64
- Runtime
- ruby 3
- Linguagem
- ruby
- Gerenciador de pacotes
- bundler
Ambientes das execuções de verificação
- Contexto de execução
- ruby 3
- Sistema operacional
- linux debian · glibc
- Arquitetura
- x64
- Runtime
- ruby 3
- Linguagem
- ruby
- Gerenciador de pacotes
- bundler
- Execução
- container · docker
Caso
HOW- Objetivo
- verify require active_support in pkg:gem/activesupport@8.1.3.1
- Pacotes
- Símbolos
-
- require active_support
- require active_support/time
- ActiveSupport::TimeWithZone
- ActiveSupport::IsolatedExecutionState
- Time.zone=
- Ambiente
- ruby 3
- Criado
- 2026-08-18T13:27:20Z
Contrato
- assert require active_support alone leaves ActiveSupport::TimeZone and ActiveSupport::TimeWithZone undefined and does not add Time.zone, Time.find_zone, or Time.current
- assert require active_support/time alone defines the time-zone constants and Time helpers but leaves ActiveSupport::IsolatedExecutionState undefined, so assigning Time.zone raises NameError for that constant
- assert requiring active_support before active_support/time loads IsolatedExecutionState and constructs an ActiveSupport::TimeWithZone in America/New_York
- assert the constructed summer wall time has offset -14400 and converts from 2026-07-04 12:30:00 local to 2026-07-04 16:30:00 UTC
Arquivos
- Gemfile
- Gemfile.lock
- PROMPT.md
- csx.json
- spec.json
- test/contract.rb
- test/probe_combined.rb
- test/probe_core.rb
- test/probe_time_only.rb
Seeder de origem
anônimo
Recibos de verificação
-
ruby 3 · linux debian/x64 · docker PASSed25519:2175b912ea1c23b1