manifest etc

Author: denisecase

.pre-commit-config.yaml

@@ -93,7 +93,7 @@ repos:
   # === REPO: RUFF PRE-COMMIT (for Python code) ===
 
   - repo: https://github.com/astral-sh/ruff-pre-commit
-    rev: v0.15.10
+    rev: v0.15.12
     hooks:
       - id: ruff-check
         name: D1) Ruff linter with autofix (runs first in pre-commit)

CHANGELOG.md

@@ -1,5 +1,7 @@
 # Changelog
 
+<!-- markdownlint-disable MD024 -->
+
 All notable changes to this project will be documented in this file.
 
 The format is based on **[Keep a Changelog](https://keepachangelog.com/en/1.1.0/)**

README.md

@@ -59,12 +59,10 @@ participation systems belong in downstream organizations.
 
 ### In a machine terminal
 
-After you get a copy of this repo in your own GitHub account,
-open a machine terminal in `Repos` or where you want the project:
+Open a machine terminal where you want the project:
 
 ```shell
-# Replace username with YOUR GitHub username.
-git clone https://github.com/username/se-mapping-education-math
+git clone https://github.com/structural-explainability/se-mapping-education-math
 
 cd se-mapping-education-math
 code .

SE_MANIFEST.toml

@@ -4,10 +4,10 @@
 
 schema = "se-manifest-2"
 
-# === Identity ===
+# === Repository Identity ===
 
 [meta]
-name = "se-mapping-education-math"
+name = { repo = "se-mapping-education-math", kind = "semantic", version = "main" }
 org = "structural-explainability"
 status = "planned"
 version = "0.1.0"
@@ -16,19 +16,21 @@ version = "0.1.0"
 class = "mapping"
 summary = "Mathematics-domain conformance examples using atomic competency units."
 
-# === Structural contract ===
+# === Dependency Declarations ===
 
 [depends]
 required = [
-  "se-constitution",
-  "se-kernel",
-  "se-mapspec",
-  "se-mapping-education",
+  { repo = "se-constitution", kind = "semantic", version = "main" },
+  { repo = { repo = "se-kernel", kind = "semantic", version = "main" }, kind = "semantic", version = "main" },
+  { repo = { repo = "se-mapspec", kind = "semantic", version = "main" }, kind = "semantic", version = "main" },
+  { repo = { repo = "se-mapping-education", kind = "semantic", version = "main" }, kind = "semantic", version = "main" },
 ]
 optional = [
-  "se-mapping-education-math-g8",
+  { repo = "se-mapping-education-math-g8", kind = "semantic", version = "main" },
 ]
 
+# === Provided Artifacts ===
+
 [provides]
 artifacts = [
   "math-atomic-competency-units",
@@ -37,6 +39,8 @@ artifacts = [
   "math-coverage-examples",
 ]
 
+# === Scope ===
+
 [scope]
 includes = [
   "mathematics-domain mapping examples",

pyproject.toml

@@ -35,7 +35,7 @@ dev = [
 
 docs = [
     # REQ.DOCS.DEPS: External packages used to generate project documentation.
-    "zensical",
+    "zensical==0.0.37", # WHY: Link resolution fails with newer versions; pinning to a known working version.,
 ]
 
 # ============================================================
@@ -55,7 +55,10 @@ reportMissingTypeStubs = "none" # WHY: Avoid warnings from third-party libraries
 reportMissingImports = "warning" # WHY: Warn about missing imports to catch potential issues, but allow flexibility in notebooks and dynamic code.
 reportPrivateUsage = "none" # WHY: Allow usage of private members (e.g., _version.py) without warnings, as this is common in Python projects.
 typeCheckingMode = "strict" # strict | basic | off
-useLibraryCodeForTypes = false # WHY: Avoid type checking third-party library code to reduce noise and improve performance.
+
+[[tool.pyright.executionEnvironments]]
+root = "tests"
+typeCheckingMode = "basic" # strict | basic | off
 
 # === PYTEST (VERIFY LOGIC) ===