NeutralSubstrate/SE_MANIFEST.toml at main · SATHISATYA/NeutralSubstrate · 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
schema = "se-manifest-1"

[repo]
name   = "NeutralSubstrate"
org    = "structural-explainability"
kind   = "formalization"
status = "reference"
since  = "2025"
summary = "Lean formalization of the ontological neutrality theorem for representational substrates."

[layer]
space = "SE"
role  = "foundation"

[depends]
required = [
  "structural-explainability/spec-se@v1"
]
optional = []

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

[scope]
includes = [
  "ontological neutrality theorem",
  "extension stability under disagreement",
  "formal definitions of neutrality",
  "axioms bounding domain applicability"
]
excludes = [
  "identity regime definitions",
  "entity kinds",
  "domain semantics",
  "explanations or interpretive claims",
  "causal or normative primitives",
  "governance or enforcement logic"
]

[citation]
cff = "CITATION.cff"
preferred = "repo"
bib_hint = "case2025-lean-ns"

[traceability]
identifier_map = "none"