11# ============================================================
2- # SE_MANIFEST.toml (Repository Intent, Scope, and Role )
2+ # SE_MANIFEST.toml (Repository Declaration )
33# ============================================================
44
5- schema = " se-manifest-1"
6- schema_url = " https://github.com/structural-explainability/spec-se/blob/main/manifests/se-manifest-1.md"
5+ schema = " se-manifest-schema"
6+ schema_url = " https://raw.githubusercontent.com/structural-explainability/se-manifest-schema/main/manifest-schema.toml"
7+
8+ # === Framework Context ===
79
810[meta ]
9- # Non-normative contextual information
1011framework = " Structural Explainability"
1112framework_url = " https://github.com/structural-explainability"
12- framework_note = " Provides definitions and conventions for SE_MANIFEST semantics ."
13- description = " Declarative claim of repository intent, scope, and role. "
14- purpose = " To make explicit the boundaries, responsibilities, and expectations of this repository relative to others. "
13+ purpose = " Declares this repository's role in the Structural Explainability ecosystem ."
14+
15+ # === Repository Identity ===
1516
1617[repo ]
1718name = " GovernanceBoundary"
1819org = " structural-explainability"
20+ class = " theory"
1921kind = " formalization"
2022status = " reference"
2123since = " 2025"
2224summary = " Lean formalization of the governance boundary for structural explainability."
2325
26+ # === Layer Position ===
27+
2428[layer ]
25- space = " SE"
26- role = " formal-governance-boundary"
29+ space = " structural-explainability"
30+ role = " theory"
31+
32+ # === Dependency Declarations ===
2733
2834[depends ]
2935required = [
30- " structural-explainability/ spec-se@ v1" ,
31- " structural-explainability/ spec-gb@ v1" ,
36+ { repo = " spec-se" , kind = " semantic " , version = " v1" } ,
37+ { repo = " spec-gb" , kind = " semantic " , version = " v1" } ,
3238]
3339optional = []
3440
41+ # === Provided Artifacts ===
42+
3543[provides ]
3644artifacts = [
3745 " ANNOTATIONS.md" ,
@@ -40,6 +48,8 @@ artifacts = [
4048 " SE_MANIFEST.toml"
4149]
4250
51+ # === Scope ===
52+
4353[scope ]
4454includes = [
4555 " structural governance artifacts and constraints" ,
@@ -66,7 +76,6 @@ excludes = [
6676[citation ]
6777cff = " CITATION.cff"
6878preferred = " repo"
69- bib_hint = " case2025-lean-gb"
7079
7180[traceability ]
7281identifier_map = " GovernanceBoundary/Spec/IdentifierMap.lean"
0 commit comments