遇见数据集

The EME Golden Record: exact spectra over finite fields, the Klein-4 collapse of Tseitin PC-degree, and a self-verifying archive

收藏
Zenodo2026-07-23 更新2026-08-01 收录
官方服务:

资源简介:

The EME Golden Record is a self-verifying research archive: a poster whose PNG metadata carries the complete record of the work it depicts. Extract it, hash it, and re-run every claim with the engines that produced them. **This version (8.1) adds OpenTimestamps (.ots) Bitcoin blockchain proofs for the three core artefacts (PNG, package ZIP, and index). The original content files are unchanged from v1. These proofs provide independent, trustless verification that the files existed in their current form as of July 22, 2026. ISA — Immanant Separation Analysis — is the research programme archived here. It studies immanants, the family of matrix functions interpolating between the determinant (sign character) and the permanent (trivial character), and the exact rank-histogram spectra and arithmetic invariants of the algebraic families built from them. The programme is named for the separation it set out to find. HEADLINE VERDICT (M6, CLOSED NEGATIVE). The wild core of the family is field-only and polynomial-time; its motive is Sym²H¹(y²=x³+1) minus Tate, sextic twist D = 1. This family does NOT separate the permanent from the determinant. The result was registered before measurement and is reported as found. It is reinforced independently: proof-complexity degree stays constant while the wild invariant τ varies, so hardness is orthogonal to wildness. POSITIVE RESULTS. The mirror law σ(q) = 6q + π² + π̄², π ∈ Z[ζ₃], verified on 15 finite fields with 8 predictions registered before measurement (including q = 47, 53, 61, 137). A master identity closing the entire wild spectrum in one line. The Klein-4 collapse: deg_PC over GF(pᵏ) equals deg_PC over F_p — characteristic decides, cardinality does not. A distinguished-class law for τ holding at 7 of 7 split fields. An edge condition for hardness in the torsor sector, with the counting sector shown edgeless. CONTENTS. 21 machine-checked formulas; 6 theorems with full proofs; 12 measured data tables; five executable engines (validator, fiber engine, Klein-4 engine, certified PC-degree instrument, stdlib chunk reader); the complete proof-status ledger; and the full text of 94 project source and document files. INTEGRITY. sha256(archive.json) = b4b06d263309a6cd92726c158c78d7768632e0fe8992f1fa1d1b801c02ae8461 EXTRACTION. python3 extract/png_chunk_reader.py ISA_EME_golden_record_v8.png ISA-META > archive.jsonVERIFICATION. python3 validator.py archive.json (expect ARCHIVE VALID: True) LICENSING. Artwork, documents and data: CC BY-NC 4.0 (unmodified). Code: PolyForm Noncommercial 1.0.0 (unmodified). Any commercial use requires a separate paid licence; a six-month good-faith commencement window applies under LICENSE.md §6. An irrevocable verification grant (§5) lets anyone, including commercial entities, extract, run, reproduce, audit, falsify and publish verification outcomes at no cost, forever. No complexity-class claim is made; the relativization, natural-proofs and algebrization barriers stand. Method. Register, freeze, measure — predictions recorded before measurement. Exact rational and integer arithmetic; no floating point in certified paths. Corrections kept visible, never deleted.

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