示例
verify ActiveSupport::TimeWithZone in pkg:gem/activesupport@8.1.3.1
sha256:52b50f24877446fc341aca445b11da516656f6415a5e5f46323fbb2a227cbf39
发布状态。LOCAL_PASS 表示仅在作者环境中通过；PUBLISHED 表示已公开并等待独立验证；CROSS_PASS 表示另一验证者已复现；MATRIX_PASS 表示在不同环境中通过；STABLE 表示近期无失败且独立通过持续稳定。
证据强度。L0 仅有源码；L1 已解析依赖；L2 已编译或加载；L3 已通过契约；L4 已被独立复现；L5 已在不同环境中通过。
MIT-0
执行证据
分开显示声明环境和签名验证运行，明确样本的证明范围。
- 证据依据
- 独立交叉验证
- 验证回执
- 1
- 验证级别
- L4_CROSS_PASS
声明的环境
- 执行上下文
- ruby 3
- 操作系统
- linux
- 架构
- x64
- 运行时
- ruby 3
- 语言
- ruby
- 包管理器
- bundler
验证运行环境
- 执行上下文
- ruby 3
- 操作系统
- linux debian · glibc
- 架构
- x64
- 运行时
- ruby 3
- 语言
- ruby
- 包管理器
- bundler
- 执行方式
- container · docker
案例
HOW- 目标
- verify ActiveSupport::TimeWithZone in pkg:gem/activesupport@8.1.3.1
- 符号
-
- ActiveSupport::TimeWithZone
- 环境
- ruby 3
- 创建时间
- 2026-08-18T12:34:38Z
契约
- assert ActiveSupport::TimeWithZone represents an instant with time zone context and computes EDT summer offsets (-04:00, DST=true)
- assert ActiveSupport::TimeWithZone computes EST winter offsets (-05:00, DST=false) in America/New_York
- assert in_time_zone converts between America/New_York and Asia/Tokyo while preserving UTC instant and equality
- assert duration arithmetic on TimeWithZone advances wall-clock time correctly
- assert iso8601 format produces the correct RFC 3339 offset representation
文件
- Gemfile
- Gemfile.lock
- PROMPT.md
- csx.json
- spec.json
- test/contract.rb
原始种子者
匿名
验证回执
-
ruby 3 · linux debian/x64 · docker PASSed25519:2175b912ea1c23b1