se-theory-structural-explainability/SE_MANIFEST.toml at main · structural-explainability/se-theory-structural-explainability · 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
# ============================================================
# SE_MANIFEST.toml (Repository Declaration)
# se-theory-structural-explainability
# ============================================================

schema = "se-manifest-2"

# === Identity ===

[meta]
name = "se-theory-structural-explainability"
org = "structural-explainability"
status = "active"
version = "0.1.0"

[repo]
class = "theory"
summary = "Lean 4 formalization integrating neutral substrate and identity regimes into cross-cutting Structural Explainability theorems and traceability."

# === Structural contract ===

[depends]
optional = []
required = [
  "se-theory-neutral-substrate",
  "se-theory-identity-regimes",
]

[provides]
# theory repos expose Lean modules, not operational artifacts
artifacts = [
  "lean-library",
  "theorem-set",
]

[scope]
includes = [
  "integration of neutral substrate and identity regimes",
  "cross-cutting structural explainability theorems",
  "traceability across substrate and regime layers",
  "composition of admissibility and regime application",
  "system-level structural invariants",
  "machine-checked Lean theorems",
]

excludes = [
  "neutral substrate primitives",
  "identity regime definitions (OBL, NOR, OCC, CTX, REC, ENR)",
  "regime requirement structure",
  "regime-profile derivation",
  "persistence behavior",
  "mapping semantics",
  "operational validation logic",
  "repository governance rules",
  "schema definitions for other repositories",
  "domain-specific mappings or data",
  "runtime systems",
]

[validation]
# no runtime entrypoint; validation occurs via Lean build/check
entrypoint = "none"

# === Behavior / governance ===

[naming]
pattern = "se-theory-*"

[governance]
authority = "structural-explainability"

# === External references ===

[citation]
cff = "CITATION.cff"

[traceability]
identifier_map = "none"