遇见数据集

ClosedClaims-Ledger: 56-Claim Verification Ledger and Tabular Dataset for Chain Atom W = u^5 v + v^6 and Three-Block Sextic F

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

资源简介:

ClosedClaims-Ledger: 56-Claim Verification Ledger and Tabular Dataset for Chain Atom W = u^5 v + v^6 and Three-Block Sextic F Standalone 56-claim verification ledger (`docs/CLAIMS_56.md`, `docs/FULL_LEDGER.md`, `docs/SCOPE.md`, `tables/claims_56.csv`, `tables/fjrw_sectors.csv`, `tables/milnor_weights.csv`) auditing every closed algebraic, combinatorial, and grading claim for the chain atom W = u^5 v + v^6 and its three-block Thom-Sebastiani sextic sum F. Scope & Scientific Honesty Notice: Catalogs and audits 56 self-contained algebraic and combinatorial claims while explicitly marking the ambient Clay Hodge Conjecture as outside the closed scope. Dedicated 1-to-1 GitHub Repository: https://github.com/BenFrohman/ClosedClaims-Ledger Archival Git Commit SHA: 52672d04b5a85f26e5f24adf92400db674b0126f Earliest Commit Provenance: 6327430eb093fd1fe7ec348ccf6cf3828efbbfe0 (2026-09-25 07:35:13 PM CDT (UTC-5)) SealGuard SHA-256 Merkle Root: 6cfd14ac7804636baa858a20dabbcf10fd1b5d624fe6a49dc9f2765a05283e42 (signed with Ed25519 key b428fb72676f1c52) Lean 4 Modules Audited: 0 modules (0 sorry tokens) License & Copyright: Copyright (c) 2026 Benjamin Stanley Frohman. Licensed under the Apache License, Version 2.0.

提供机构:
Zenodo
创建时间:
2026-10-26
二维码
社区交流群
二维码
科研交流群
商业服务