GAL-2 Y2038 Proof Bundle v0.2: Same-Binary Legacy Failure vs Mediated Survival
收藏资源简介:
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.



