遇见数据集

GAL-2 Y2038 Protected Commit Test v1.1: Application-Boundary Evidence Package

收藏
Zenodo2026-05-24 更新2026-05-26 收录
官方服务:

资源简介:

This evidence package presents the GAL-2 Y2038 Protected Commit Test v1.1, a controlled application-boundary test evaluating whether a GAL-2 Time Contract-gated application path, together with a declared Y2038 safety policy, can prevent unsafe Y2038-style time-derived state from becoming durable application state. The package compares two paths over the same input matrix: a raw path that commits signed-32-bit wrapped time-derived state, and a GAL-2 protected path that applies a two-part decision chain before durable commit: the GAL-2 Time Contract gate and the declared Y2038 policy gate. Results: main test PASS, independent oracle verifier PASS, public secret scan PASS, archive smoke verification PASS. Project website and validation context: https://gal-2.com Claim boundary: this is application-boundary protected commit evidence. It is not universal Y2038 remediation, not operating system, kernel, filesystem, or database engine remediation, not metrology, and not UTC, GNSS, PTP, NTP, or chrony replacement.

创建时间:
2026-05-24
二维码
社区交流群
二维码
科研交流群
商业服务