ClosedClaims-Ledger: 56-Claim Verification Ledger and Tabular Dataset for Chain Atom W = u^5 v + v^6 and Three-Block Sextic F
收藏资源简介:
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.



