se-formal-contract/SE_MANIFEST.toml at main · structural-explainability/se-formal-contract · 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
# ============================================================
# 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 = "se-formal-contract"
org = "structural-explainability"
class = "formal_contract"
kind = "foundation"
status = "active"
since = "2026"
summary = "Lean 4-verified formal contract exporting invariants, regimes, relations, and proof status to operational SE repositories."

# === Layer Position ===

[layer]
space = "formal"
role = "formal-contract"

# === Dependency Declarations ===

[depends]
# Required upstream repository dependencies.
required = [
  "se-theory-neutral-substrate",
  "se-theory-identity-regimes",
  "se-theory-structural-explainability",
]
# Optional upstream repository dependencies.
optional = []

# === Formal Contract Declaration ===

[contract]
contract_version = "0.2.0"
exports_verified_contract = true

# === Exported Contract Artifacts ===

[exports]
invariants = "data/contract/invariant-registry.json"
regimes    = "data/contract/regime-registry.json"
relations  = "data/contract/relation-registry.json"
proofs     = "data/contract/proof-registry.json"
theorems   = "data/contract/theorem-registry.json"

# === Provided Artifacts ===

[provides]
# Logical artifacts exposed to downstream repositories.
# These are stable identifiers, not file paths.
artifacts = [
  "contract-manifest",
  "invariant-registry",
  "regime-registry",
  "relation-registry",
  "proof-registry",
  "theorem-registry",
]

# === Scope ===

[scope]
includes = [
  "formal definitions of structural constraints",
  "formal definitions of identity regimes",
  "formal neutrality constraints",
  "allowed structural relation primitives",
  "machine-checked theorem status",
  "exported contract artifacts for operational validation",
]

excludes = [
  "operational validation logic",
  "repository governance rules",
  "schema definitions for other repositories",
  "domain-specific mappings or data",
  "interpretation semantics",
  "runtime systems",
]

# === Citation ===

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

# === Traceability ===

[traceability]
identifier_map = "none"