遇见数据集

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

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

资源简介:

This evidence package presents the GAL-2 Y2038 Protected Commit Test v1.1.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. Version note: v1.1.1 is a documentation-only patch clarifying scope limitations. No experiment rerun. No database, ledger, audit log, verifier logic, or result change. 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 distributed-system remediation, not production throughput or latency evidence, not metrology, and not UTC, GNSS, PTP, NTP, or chrony replacement.

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