-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathSE_MANIFEST.toml
More file actions
65 lines (55 loc) · 1.65 KB
/
SE_MANIFEST.toml
File metadata and controls
65 lines (55 loc) · 1.65 KB
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
# ============================================================
# SE_MANIFEST.toml (Repository Intent, Scope, and Role)
# ============================================================
schema = "se-manifest-1"
schema_url = "https://github.com/structural-explainability/spec-se/blob/main/manifests/se-manifest-1.md"
[meta]
# Non-normative contextual information
framework = "Structural Explainability"
framework_url = "https://github.com/structural-explainability"
framework_note = "Provides definitions and conventions for SE_MANIFEST semantics."
description = "Declarative claim of repository intent, scope, and role."
purpose = "To make explicit the boundaries, responsibilities, and expectations of this repository relative to others."
[repo]
name = "IdentityRegimes"
org = "structural-explainability"
kind = "formalization"
status = "reference"
since = "2025"
summary = "Lean formalization of the identity regimes for neutral 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 = [
"six identity-and-persistence regimes",
"regime-forcing requirements (R1-R6)",
"necessity lower bound (>= 6)",
"sufficiency witness (a 6-regime model)",
"axioms bounding domain applicability"
]
excludes = [
"causal or normative primitives",
"governance or enforcement logic",
"domain semantics",
"application schemas",
"evolution semantics"
]
[citation]
cff = "CITATION.cff"
preferred = "repo"
bib_hint = "case2025-lean-ir"
[traceability]
identifier_map = "none"