遇见数据集

GAL-2 Y2038 Proof Bundle v0.2: Same-Binary Legacy Failure vs Mediated Survival

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

资源简介:

This proof bundle documents a reproducible Y2038 boundary experiment comparing a raw 32-bit legacy workload against a mediated continuity path. The raw legacy path fails across the Y2038 boundary with:- event ordering failure- TTL validity failure- scheduler coherence failure The bundle also includes syscall-level interception in C for:- time()- gettimeofday()- clock_gettime() A same-binary survival test is included as well. For the same tested legacy-style binary: Raw edge path:- SUMMARY order_fail=1 ttl_fail=9 sched_fail=9 GAL-2 mediated survival path:- SUMMARY order_fail=0 ttl_fail=0 sched_fail=0 This means the same binary that collapses at the Y2038 boundary under the raw 32-bit path continues operating coherently when time consumption is mediated by GAL-2. Defensible claim:For the tested legacy-style binary, the raw Y2038 edge path collapses, while the GAL-2 mediated path preserves operational continuity across the same boundary. Scope note:The evidence here is workload-scoped, not universal. However, the results show that GAL-2 is not merely detecting the Y2038 failure. It is mediating time consumption in a way that preserves operational continuity where the raw 32-bit path collapses. This supports the view that GAL-2 has credible potential as a legacy-system continuity layer for Y2038, pending broader validation.

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