Verified
来源、主体与时间与首次落库记录一致。
| 文章 | From Spec To Formal Properties |
| 信任等级 | Aggregate |
| 发布主体 | — |
| 来源 | https://semiengineering.com/from-spec-to-formal-properties/ |
| 创建时间 | Thursday, 27 August 2026 - 16:01 |
| 已记录哈希 | 5c6c3c6686fdd5eeace5f7f35c9fe0a690c8f4de5bb50fac611b88efbd173d90 |
| 重算哈希 | 5c6c3c6686fdd5eeace5f7f35c9fe0a690c8f4de5bb50fac611b88efbd173d90 |
哈希算法：sha256(来源URL|主体ID|创建时间戳)，主体缺失时主体ID为 0。