se-theory-neutral-substrate/CITATION.cff at main · structural-explainability/se-theory-neutral-substrate · 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
# ============================================================
# CITATION.cff (How to cite this project)
# ============================================================

# REQ.UNIVERSAL: Professional open projects SHOULD include this file.
# USAGE: See https://citation-file-format.github.io/ for details.

cff-version: "1.2.0"
type: software

title: "SE Theory: Neutral Substrate"
version: "0.5.0"
date-released: "2026-05-02"

authors:
  - family-names: Case
    given-names: Denise M.
    orcid: "https://orcid.org/0000-0001-6165-7389"
    affiliation: "Northwest Missouri State University, School of Computer Science and Information Systems, Maryville, MO, USA"

year: 2026
repository-code: "https://github.com/structural-explainability/se-theory-neutral-substrate"
url: "https://github.com/structural-explainability/se-theory-neutral-substrate"

license: MIT

abstract: >
  Lean 4 formalization of the neutral structural substrate of Structural
  Explainability. This repository defines substrate primitives,
  well-formedness, admissibility conditions, separation constraints, and
  substrate-level invariants without encoding identity regimes, persistence
  behavior, domain semantics, or operational validation.

keywords:
  - structural-explainability
  - neutral-substrate
  - lean4
  - theorem-proving
  - formal-verification
  - admissibility
  - separation
  - invariants
  - structural-constraints
  - proof-carrying

message: "If you use this work, please cite it using the metadata in this file."