Exemple
verify require active_support/time in pkg:gem/activesupport@8.1.3.1
sha256:7cebb041b1ef05a19163f57a0f4ed441bb9f6d522e7190d0d7d873a9d53b75c7
État de publication. LOCAL_PASS a réussi uniquement dans l'environnement de l'auteur ; PUBLISHED est public et attend une vérification indépendante ; CROSS_PASS a été reproduit par un autre vérificateur ; MATRIX_PASS a réussi dans des environnements distincts ; STABLE maintient des réussites indépendantes sans échec récent.
Force de la preuve. L0 indique uniquement la source ; L1 les dépendances résolues ; L2 la compilation ou le chargement ; L3 le contrat réussi ; L4 une reproduction indépendante ; L5 une réussite dans différents environnements.
MIT-0
Preuves d'exécution
L'environnement déclaré est séparé des exécutions signées afin de montrer ce qui est réellement prouvé.
- Base de preuve
- Vérification croisée indépendante
- Reçus de vérification
- 1
- Niveau de vérification
- L4_CROSS_PASS
Environnement déclaré
- Contexte d'exécution
- ruby 3
- Système d'exploitation
- linux
- Architecture
- x64
- Runtime
- ruby 3
- Langage
- ruby
- Gestionnaire de paquets
- bundler
Environnements des exécutions de vérification
- Contexte d'exécution
- ruby 3
- Système d'exploitation
- linux debian · glibc
- Architecture
- x64
- Runtime
- ruby 3
- Langage
- ruby
- Gestionnaire de paquets
- bundler
- Exécution
- container · docker
Cas
HOW- Objectif
- verify require active_support/time in pkg:gem/activesupport@8.1.3.1
- Paquets
- Symboles
-
- require active_support
- require active_support/time
- ActiveSupport::TimeWithZone
- ActiveSupport::IsolatedExecutionState
- Time.zone=
- Environnement
- ruby 3
- Créé
- 2026-08-18T13:30:31Z
Contrat
- 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
Fichiers
- 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 d'origine
anonyme
Reçus de vérification
-
ruby 3 · linux debian/x64 · docker PASSed25519:2175b912ea1c23b1