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

schema = "se-manifest-schema"
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 ===

[repo]
name = "EvolutionProtocol"
org = "structural-explainability"
class = "theory"
kind = "formalization"
status = "reference"
since = "2025"
summary = "Lean formalization of EP graph evolution concepts and conformance predicates."

# === Layer Position ===

[layer]
space = "structural-explainability"
role  = "theory"

# === Dependency Declarations ===

[depends]
required = [
  { repo = "spec-se", kind = "semantic", version = "v1" },
  { repo = "spec-ae", kind = "semantic", version = "v1" },
  { repo = "spec-ep", kind = "semantic", version = "v1" },
]
optional = []

# === Provided Artifacts ===

[provides]
artifacts = ["ANNOTATIONS.md", "CITATION.cff", "README.md", "SE_MANIFEST.toml"]

# === Scope ===

[scope]
includes = [
  "abstract graph/state/delta/evolution predicates",
  "proof scaffolding for EP conformance",
]
excludes = [
  "attestations",
  "ctags",
  "epistemic, causal, or normative conclusions",
  "explanation or interpretation",
  "relationship semantics",
  "vocabulary",
]

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

[traceability]
identifier_map = "EvolutionProtocol/Spec/IdentifierMap.lean"