MathCups Mathematical Archipelago · 中英双语 v1.0.0

中文

首次双语发布：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.

Math Islands Education 0.2 — Connected experiments

数学群岛教育 0.2 把数学对象之间的联系变成六组可操作实验。每组共享真实计算状态，同时展示两种结构或表示，并注明条件、反例和文献位置。

Math Islands education 0.2 adds six interactive connections whose paired views share actual computations, with assumptions, counterexamples and source passages.

• Fourier modes ↔ heat flow / 傅里叶模态与热流
• Graphs ↔ homology over F₂ / 图与 F₂ 同调
• Complex powers ↔ covering lifts / 复数幂与覆盖提升
• Probability distributions ↔ W₁ and CDFs / 概率分布、W₁ 与累积分布
• Polynomial ideals ↔ zero sets / 多项式理想与零点
• D₄ ↔ complex actions and real matrices / D₄、复数动作与实矩阵

保存实验的参数、计算结果和观察；导出 JSON / Markdown，导入 JSON。分享链接只包含实验入口和语言。记录保存在浏览器内。

Save parameters, computed observations and notes; export JSON / Markdown and import JSON. Share links include the entry and language only. Records remain in the browser.

The existing 24 bilingual object lessons and the 21,741-entry core atlas remain. These six teaching connections do not add or overwrite core relations. All 7,314 files in the recorded publication baseline are unchanged.

Validation and source-reading scope: independent review. Release execution: one-hour sprint.

Open the hosted site — currently owner-private. Download the public static site. GitHub Pages is not enabled; the static package can be served with a local HTTP server or another static host.

Automated checks cover the recorded finite models and browser states; they do not certify general theorems or full accessibility conformance. See the linked evidence for exact coverage and limitations.

数学群岛教育模块 · Object Ecology 0.1.0

数学群岛新增独立的对象生态教育模块：24座双语教学岛、24个交互实验，连接21,741个来源条目、46,812条关系及21座既有文献桥。每个岛以自己的数学对象组织地貌、操作、问题、前提与边界；支持桌面/手机、学习路线、检索、分享及本地航记导入导出。

The independent object-ecology education module adds 24 bilingual habitats and interactive laboratories, connected to 21,741 source entries, 46,812 recorded relations and 21 established literature bridges. Each habitat has its own mathematical object, working model, assumptions, questions and limits. Desktop/mobile navigation, editorial itineraries and learner-owned field notes are included.

• 打开站点 / Open the site — 当前仅创建者可访问 / currently owner-private.
• 下载无需编译的公开静态包 / Download the public, ready-to-serve static site. 解压后运行 / extract and run python -m http.server 8000 in its directory.
• 中文说明 · English guide · 交付与验证 / Delivery and verification.

本体可以继续独立成长：教学内容仅引用稳定ID与只读快照，不写回本体节点、关系、布局或类型标注。相对最新上游，原有7,314文件逐项核验通过，用户的根README名称修正完整保留。24是编写的课程数，不是声称21,741条目均已课程化。

The core can evolve independently: education references stable IDs and read-only snapshots. It does not write back nodes, relations, layouts or formal type annotations. All 7,314 pre-existing files match the publication upstream, including its README correction. Authored lessons and source entries are counted separately.

验证：93项模型/契约/状态测试、96个实验浏览配置、20组端到端检查、112个自动无障碍状态，以及最终16个语义状态和缓存故障恢复检查。证据区分各次构建和执行者；自动扫描不等于完整WCAG认证，有限模型不等于形式证明。

Validation covers 93 model/contract/state tests, 96 laboratory browser configurations, 20 integration checks, 112 automated accessibility states, and focused final semantics/cache recovery. Evidence distinguishes builds and executors. These checks do not constitute full WCAG certification or formal mathematical proofs.

GitHub Pages尚未启用：当前集成创建Pages返回403。完整静态产物已在education-pages分支，可由仓库所有者在Settings → Pages选择该分支根目录启用。Sites已返回部署成功；公开静态包可以独立运行。

GitHub Pages is not enabled because the integration lacks permission to create it. The complete education-pages branch is ready for the owner to enable in Settings → Pages. Sites deployment succeeded; the public static package works independently.