release: finalize v0.1.0 metadata

Author: ConanXu-math

README.md

@@ -8,7 +8,7 @@ runtime behavior.
 
 | Tool | Purpose | Status |
 | --- | --- | --- |
-| [`math-glossary`](skills/math-glossary/) | Build, review, back up, import, export, and maintain bilingual mathematical glossaries | MIT-licensed local release candidate; ready for remote publication |
+| [`math-glossary`](skills/math-glossary/) | Build, review, back up, import, export, and maintain bilingual mathematical glossaries | Released in [`v0.1.0`](https://github.com/VeryMath/AI4Math-MathTool/releases/tag/v0.1.0) under the MIT License |
 
 Each package keeps its own workflow, dependencies, provenance, normalization
 record, and tests. Course origin is recorded as metadata; it does not determine
@@ -23,9 +23,10 @@ python3 -m unittest discover -s skills/math-glossary/tests -v
 
 ## Publication status
 
-This checkout is a tested, unpublished release candidate. It is licensed under
-the [MIT License](LICENSE); the source-publication instruction and third-party
-review are recorded in
+This is the public canonical repository. The initial
+[`v0.1.0`](https://github.com/VeryMath/AI4Math-MathTool/releases/tag/v0.1.0)
+release is licensed under the [MIT License](LICENSE); the source-publication
+instruction and third-party review are recorded in
 [`skills/math-glossary/PROVENANCE.yaml`](skills/math-glossary/PROVENANCE.yaml).
 The original submission remains in a teacher-controlled, Git-ignored archive.
 Contributor names use the course-wide English romanization convention.

README.zh-CN.md

@@ -7,7 +7,7 @@ AI4Math-MathTool 是 VeryMath 用于承载独立数学工具的仓库。进入
 
 | 工具 | 用途 | 状态 |
 | --- | --- | --- |
-| [`math-glossary`](skills/math-glossary/) | 构建、审阅、备份、导入、导出和维护双语数学术语库 | MIT 许可的本地发布候选；可以进入远端发布流程 |
+| [`math-glossary`](skills/math-glossary/) | 构建、审阅、备份、导入、导出和维护双语数学术语库 | 已按 MIT 许可发布 [`v0.1.0`](https://github.com/VeryMath/AI4Math-MathTool/releases/tag/v0.1.0) |
 
 每个 package 独立保留自己的工作流、依赖、来源、规范化记录和测试。课程来源只作为
 元数据，不作为代码仓库的职责边界。
@@ -21,8 +21,9 @@ python3 -m unittest discover -s skills/math-glossary/tests -v
 
 ## 发布状态
 
-当前 checkout 是已完成本地验证、尚未公开的发布候选，采用
-[MIT License](LICENSE)。源码公开指令与第三方材料审查结果记录在
+当前仓库是公开的 canonical repository，首个
+[`v0.1.0`](https://github.com/VeryMath/AI4Math-MathTool/releases/tag/v0.1.0)
+版本采用 [MIT License](LICENSE)。源码公开指令与第三方材料审查结果记录在
 [`skills/math-glossary/PROVENANCE.yaml`](skills/math-glossary/PROVENANCE.yaml)。
 原始提交仍单独保存在教师控制、Git 忽略的档案目录；贡献者姓名统一按课程名册转写为
 英文 `Given-name Surname`。

skills/math-glossary/NORMALIZATION.md

@@ -83,6 +83,6 @@ changing their content meaning.
 - User-supplied source materials and derived glossary data remain outside this
   repository and require their own rights review.
 
-The course edition is ready for remote publication but is not described as
-publicly released until the GitHub repository, passing CI run, and release tag
-exist.
+The course edition is published in the canonical
+`VeryMath/AI4Math-MathTool` repository as `v0.1.0`. The release follows passing
+GitHub CI runs on Python 3.9 and 3.12.

skills/math-glossary/PROVENANCE.yaml

@@ -28,6 +28,8 @@ normalization:
   contributor_diff_confirmation: not-collected
   course_owner_review: approved
 release:
-  integration_state: release-candidate
-  publication_state: ready-for-remote
+  integration_state: released
+  publication_state: public
+  repository_url: https://github.com/VeryMath/AI4Math-MathTool
+  initial_release: v0.1.0
   blockers: []

skills/math-glossary/README.md

@@ -79,9 +79,9 @@ boundary.
 
 ## Publication status
 
-This is an MIT-licensed local release candidate, ready for remote publication.
-The publication instruction, normalization approval, and third-party review
-are recorded in [`PROVENANCE.yaml`](PROVENANCE.yaml). It is not described as a
-public release until the remote repository, passing CI run, and release tag
-exist. The public contributor name is standardized as **Yunfeng Lu** under the
-course-wide English-name policy.
+This package is released as
+[`v0.1.0`](https://github.com/VeryMath/AI4Math-MathTool/releases/tag/v0.1.0)
+under the MIT License. The publication instruction, normalization approval,
+and third-party review are recorded in
+[`PROVENANCE.yaml`](PROVENANCE.yaml). The public contributor name is
+standardized as **Yunfeng Lu** under the course-wide English-name policy.

skills/math-glossary/README.zh-CN.md

@@ -71,7 +71,8 @@ python3 scripts/glossary_web.py \
 
 ## 发布状态
 
-当前版本是采用 MIT 许可、可以进入远端发布流程的本地发布候选。公开指令、课程版
-整理批准和第三方材料审查已记录在 [`PROVENANCE.yaml`](PROVENANCE.yaml)。
-在公开仓库、通过的 CI 运行与 release tag 实际存在前，不把它描述为已公开发布。
-贡献者公开姓名按课程统一规则标为 **Yunfeng Lu**。
+当前 package 已按 MIT 许可发布为
+[`v0.1.0`](https://github.com/VeryMath/AI4Math-MathTool/releases/tag/v0.1.0)。
+公开指令、课程版整理批准和第三方材料审查已记录在
+[`PROVENANCE.yaml`](PROVENANCE.yaml)。贡献者公开姓名按课程统一规则标为
+**Yunfeng Lu**。

skills/registry.yaml

@@ -4,6 +4,8 @@ skills:
   - id: math-glossary
     path: skills/math-glossary
     summary: Build and maintain bilingual mathematical glossaries.
-    state: release-candidate
-    publication: ready-for-remote
+    state: released
+    publication: public
+    repository: https://github.com/VeryMath/AI4Math-MathTool
+    release: v0.1.0
     blockers: []

tests/test_repository_shape.py

@@ -94,7 +94,7 @@ def test_private_archive_is_ignored_and_checksum_matches_when_present(self):
         digest = hashlib.sha256(archives[0].read_bytes()).hexdigest()
         self.assertEqual(digest, expected.group(1))
 
-    def test_release_candidate_rights_gate_is_complete(self):
+    def test_released_rights_gate_is_complete(self):
         registry = (
             REPOSITORY_ROOT / "skills" / "registry.yaml"
         ).read_text(encoding="utf-8")
@@ -104,8 +104,14 @@ def test_release_candidate_rights_gate_is_complete(self):
         license_text = (REPOSITORY_ROOT / "LICENSE").read_text(
             encoding="utf-8"
         )
-        self.assertIn("publication: ready-for-remote", registry)
-        self.assertIn("publication_state: ready-for-remote", provenance)
+        self.assertIn("state: released", registry)
+        self.assertIn("publication: public", registry)
+        self.assertIn("publication_state: public", provenance)
+        self.assertIn("initial_release: v0.1.0", provenance)
+        self.assertIn(
+            "https://github.com/VeryMath/AI4Math-MathTool",
+            provenance,
+        )
         self.assertIn("source_code_publication: approved", provenance)
         self.assertIn("target_license: MIT", provenance)
         self.assertIn("third_party_material_review: passed", provenance)