Repository navigation
数学群岛教育模块 · 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 8000in 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.