se-codeowners/SE_MANIFEST.toml at main · structural-explainability/se-codeowners · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
# ============================================================
# SE_MANIFEST.toml (Repository Declaration)
# ============================================================

schema = "se-manifest-schema"
schema_version = "0.5.0"
schema_url = "https://raw.githubusercontent.com/structural-explainability/se-manifest-schema/main/manifest-schema.toml"

# === Framework Context ===

[meta]
framework = "Structural Explainability"
framework_url = "https://github.com/structural-explainability"
purpose = "Declares this repository's role in the Structural Explainability ecosystem."

# === Repository Identity ===

[repository]
organization = "structural-explainability"
name = "se-codeowners"
class = "engine"
kind = "theory-reference-kit"
status = "active"
since = "2026"
summary = "Shared Python tooling for scaffolding, validating, and exporting theory-reference artifacts that mirror Lean public surfaces in Structural Explainability theory repositories."

# === Layer Position ===

[layer]
space = "formal-theory"
role = "theory-reference-engine"

# === Dependency Declarations ===

[depends]
required = []
optional = [
  { repository = "se-manifest-schema", kind = "tooling", version = "v0.4.1" },
]

# === Provided Artifacts ===

[provides]
artifacts = [
  "theory-reference-loading-engine",
  "theory-reference-validation-engine",
  "theory-reference-scaffold-engine",
  "lean-surface-coverage-engine",
  "reference-artifact-export-engine",
  "reference-catalog-export-engine",
  "reference-validation-result-model",
]

# === Scope ===

[scope]
includes = [
  "generic theory-reference index loading",
  "generic theory-reference TOML artifact traversal",
  "generic Lean declaration extraction",
  "generic Lean public-surface coverage checks",
  "generic reference artifact validation machinery",
  "generic reference scaffolding and stub generation",
  "generic generated JSON export machinery",
  "generic theory-reference catalog export machinery",
  "generic validation result model",
  "generic strict-warning classification support",
]

excludes = [
  "Lean theory semantics",
  "formal correctness claims",
  "theory-specific public symbol lists",
  "theory-specific export artifact maps",
  "neutral substrate definitions",
  "transformation definitions",
  "identity regime definitions",
  "persistence definitions",
  "structural explainability definitions",
  "contract artifact packaging",
  "contract dependency resolution",
  "operational validation pipelines",
  "domain-specific mappings",
  "runtime systems",
  "manifest schema authority",
  "manifest validation rule ownership",
  "claims of truth, correctness, legitimacy, obligation, or enforcement",
]

# === Validation ===

[validation]
entrypoint = "uv run se-manifest validate-manifest --path SE_MANIFEST.toml"
strict_entrypoint = "uv run se-manifest validate-manifest --path SE_MANIFEST.toml --strict"
tag_entrypoint = "uv run se-manifest check-version --require-tag"

# === Governance ===

[naming]
pattern = "se-codeowners"

[governance]
authority = "structural-explainability"

# === External references ===

[citation]
cff = "CITATION.cff"
preferred = "software"

[traceability]
identifier_map = "none"