遇见数据集

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

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

资源简介:

This evidence package presents the GAL-2 Y2038 Multi-Substrate Protected Commit Test v1.2, 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 across multiple local commit substrates. This package extends the prior GAL-2 Y2038 protected commit evidence from a single SQLite substrate to a local multi-substrate scenario using SQLite and an append-only JSONL ledger. The package compares a raw path and a GAL-2 protected path across the same input matrix. The raw path commits signed-32-bit wrapped time-derived state into both local substrates. The GAL-2 protected path 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, public archive review-condition audit PASS. Core result: raw path committed unsafe Y2038-style state into both tested substrates. The GAL-2 protected path produced zero unsafe commits across SQLite and JSONL, blocked all unsafe inputs before durable commit, committed safe inputs to both substrates, and recorded zero backward steps in monotonic_sequence and gal2_time. Cross-substrate consistency in this package means data parity: the same logical safe commits appear in both tested substrates, and unsafe inputs are absent from both GAL-2 protected substrates. It does not claim transactional atomicity, two-phase commit, rollback coordination, distributed transactions, or atomic cross-substrate recovery. Project website and validation context: https://gal-2.com Claim boundary: this is multi-substrate application-boundary protected commit evidence using local SQLite and append-only JSONL substrates. It is not universal Y2038 remediation, not operating system, kernel, filesystem, database engine, or distributed-system remediation, not production throughput or latency evidence, not transactional atomicity evidence, not metrology, and not UTC, GNSS, PTP, NTP, or chrony replacement.

本证据套件呈现了GAL-2 Y2038多基底(substrate)受保护提交测试v1.2版本,这是一项受控应用边界测试,用于评估GAL-2时间合约(Time Contract)门控应用路径,结合既定Y2038安全策略,能否在多个本地提交基底中,阻止不安全的Y2038风格时间衍生状态转化为持久化应用状态。 本套件将此前仅针对单一SQLite基底的GAL-2 Y2038受保护提交证据,拓展至采用SQLite与仅追加式JSONL账本(append-only JSONL ledger)的本地多基底测试场景。 本套件在同一输入矩阵下,对原始路径与GAL-2受保护路径进行对比测试。原始路径会将带符号32位包装的时间衍生状态提交至两个本地基底中。GAL-2受保护路径则在持久化提交前执行两段式决策链:GAL-2时间合约门控与既定Y2038策略门控。 测试结果:主测试通过(PASS)、独立预言机验证器通过(PASS)、公开秘密扫描通过(PASS)、归档冒烟验证通过(PASS)、公开归档审核条件审计通过(PASS)。 核心结果:原始路径向两个被测基底提交了不安全的Y2038风格状态。GAL-2受保护路径在SQLite与JSONL基底中未产生任何不安全提交,在持久化提交前拦截了所有不安全输入,向两个基底提交了安全输入,并在monotonic_sequence与gal2_time字段中未出现任何回退步骤。 本套件中的跨基底一致性指数据对等性:同一逻辑安全提交会同时出现在两个被测基底中,且不安全输入不会出现在任何GAL-2受保护基底中。本套件不涉及事务原子性、两阶段提交、回滚协调、分布式事务或原子化跨基底恢复相关内容。 项目网站与验证背景:https://gal-2.com 声明边界:本套件属于采用本地SQLite与仅追加式JSONL基底的多基底应用边界受保护提交证据。其并非通用Y2038修复方案,不涉及操作系统、内核、文件系统、数据库引擎或分布式系统修复,不提供生产吞吐量与延迟相关测试证据,不涉及事务原子性证明,不属于计量学范畴,亦无法替代UTC、GNSS、PTP、NTP或chrony。

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