Skip to content

MathCups Mathematical Archipelago · 中英双语 v1.0.0

Latest
Latest

Choose a tag to compare

View all tags
@Lightmaze Lightmaze released this 22 Oct 13:04
v1.0.0
66751e9

中文

首次双语发布：21,741 个有出处的数学知识条目、46,812 条分型关系、12 个领域、21 条附条件与文献审读记录的跨领域桥梁。

  • 中文说明：中文总图、12 领域图册、文献桥图与离线导航。
  • English documentation：相同数据与坐标的英文图册、桥梁目录和两层类型接口规范。
  • ZIP 包含源代码、完整节点/关系、选定开放源文、归属与许可、审查记录及逐文件 SHA-256 清单。
  • 独立发布审计记录离线重建与中英文地图计数检查。

“岛屿”是粒度不同的数学条目，不是独立理论或逐条认证的证明。641 对导航候选中导出前 50 对，尚未确认其数学联系与新颖性。已发现的源文问题及覆盖偏重均保留在文档中。

English

The first bilingual release contains 21,741 sourced mathematical entries, 46,812 typed relations, twelve domains, and 21 cross-field bridges with explicit assumptions and literature-reading records.

The Chinese and English map editions share the same frozen data and coordinates. The archive includes the complete node and edge tables, SVG/PNG/PDF maps, the twelve-page domain atlases, navigation CLI, reproducible build scripts, selected open source texts, attribution, license notices, audits, and a per-file SHA-256 manifest.

An island is a mathematical entry, not an independent theory or an individually certified proof. The top 50 of 641 navigation candidates remain unreviewed for mathematical validity and novelty. Known source-quality findings and coverage bias are documented. Rebuilding the layout can produce small numerical coordinate differences; rerender both map editions after rebuilding.

下载与校验 / Download and verification

本版本使用 GitHub 自动提供的 Source code (zip) 和 Source code (tar.gz) 下载。名称虽然叫 source code，归档实际包含仓库中的完整中英文图册、数据、来源文档与脚本。

Use GitHub's Source code (zip) or Source code (tar.gz) links below. Despite the label, these archives contain all repository files, including both map editions, the full dataset, selected source texts, licenses, and scripts.

解压后进入目录，用 Python 标准库核对逐文件清单 / After extraction, enter the directory and verify its per-file manifest with the Python standard library:

python - <<'PYVERIFY'
import hashlib, json
from pathlib import Path
root = Path('.')
manifest = json.loads((root / 'reports/release-manifest.json').read_text())
for entry in manifest['files']:
    path = root / entry['path']
    assert path.stat().st_size == entry['bytes'], entry['path']
    assert hashlib.sha256(path.read_bytes()).hexdigest() == entry['sha256'], entry['path']
print('Verified', len(manifest['files']), 'manifest entries')
PYVERIFY

The manifest covers 7,313 files; the manifest itself is the 7,314th repository file. Original scripts are MIT licensed; original editorial documentation and design are CC BY-SA 4.0. Source-derived content retains its respective CC BY-SA 3.0, GFDL 1.2-or-later, or CC BY-SA 4.0 license.

A separately built local ZIP passed CRC and every member hash check. Its upload as a standalone asset was rejected with HTTP 401 by GitHub's uploads endpoint. No separate uploaded ZIP asset is claimed here; the automatically generated source archives contain the complete committed release.

远端下载核验 / Download verification

The coordinating agent downloaded GitHub's generated ZIP for this tag and verified its CRC, the exact set of 7,314 files, every file covered by the manifest, and the manifest's byte identity with the published local snapshot.

主代理已实际下载 GitHub 生成的版本归档，核对 7,314 个文件及清单，全部一致。

  • Commit: 66751e9d9b0e661ec06c4b60c61c9204972917b6
  • Manifest SHA-256: 5a215bf89b42be376b6c0fc5ec7ab4ada20d88a280aef0134a1a39e529131776
  • Download checked: https://codeload.github.com/Lightmaze/Mafh-Island/legacy.zip/refs/tags/v1.0.0
  • Download size at verification: 108752821 bytes
  • Download SHA-256 at verification: fc8c58d6a9a8231f748526f47c202fbb7d7df7ec5152ebe1acb369a24b0fd059

The per-file manifest identifies the content; GitHub may change the binary encoding of automatically generated archives in the future.

Assets 2
Loading