general

Author: denisecase

IDENTIFIERS.md

@@ -37,53 +37,62 @@ Identifiers are:
 - suitable for direct mapping to Lean theorem names
 
 Identifiers MUST NOT be renamed or repurposed.
-New identifiers MAY be added only in a new major version of CEE.
+New identifiers MAY be added only in a new major version of this document.
+
+## Identifier Notes
+
+Each identifier MUST be followed by exactly one note.
+
+- The note MUST be expressed as a single bullet.
+- The bullet text MAY wrap across lines.
+- No additional bullets, sublists, or structural markers are permitted.
+- Notes are explanatory only and do not introduce additional requirements.
 
 ## Canonical Identifier List (Alphabetical, with Notes)
 
 CEE.ATTESTATION
 
-Defines records asserting responsibility for an explanation under a given context.
+- Defines records asserting responsibility for an explanation under a given context.
 
 CEE.CONFORMANCE.AE.EP.REQUIRED
 
-States that CEE operates over Accountable Entities and Evolution Protocol artifacts.
+- States that CEE operates over Accountable Entities and Evolution Protocol artifacts.
 
 CEE.CONFORMANCE.SE.REQUIRED
 
-States that CEE conforms to the Structural Explainability specification.
+- States that CEE conforms to the Structural Explainability specification.
 
 CEE.CONTEXT.TAG
 
-Defines identifiers for interpretive contexts applied to explanations.
+- Defines identifiers for interpretive contexts applied to explanations.
 
 CEE.DEFINITION.CORE
 
-Defines CEE as a framework for attaching interpretive content to substrate history.
+- Defines CEE as a framework for attaching interpretive content to substrate history.
 
 CEE.EXPLANATION.RECORD
 
-Defines records associating explanatory content with substrate references.
+- Defines records associating explanatory content with substrate references.
 
 CEE.MULTIPLICITY
 
-Requires support for multiple, potentially conflicting interpretations.
+- Requires support for multiple, potentially conflicting interpretations.
 
 CEE.PROVENANCE
 
-Defines records describing how explanatory content was produced.
+- Defines records describing how explanatory content was produced.
 
 CEE.SCOPE.EXCLUSIONS
 
-Defines what CEE explicitly does not specify.
+- Defines what CEE explicitly does not specify.
 
 ## Cross-Artifact Consistency Rule
 
 Each identifier in this list MUST appear:
 
 - exactly once in SPEC.md
 - exactly once in CONFORMANCE.md
-- exactly once as a field in the Lean ConformanceEvidence structure
+- exactly once as a field in the Lean `ConformanceEvidence` structure
 - exactly once in the Lean requirements list
 
 Alphabetical order SHOULD be preserved across all artifacts.

SE_MANIFEST.toml

@@ -41,7 +41,7 @@ excludes = [
 [citation]
 cff = "CITATION.cff"
 preferred = "spec"
-bib_hint = "spec-cee-2025"
+bib_hint = "case2025-spec-cee"
 
 [traceability]
 identifier_map = "none"

SPEC.md

@@ -29,7 +29,7 @@ Some requirements describe what the substrate MAY represent,
 while others constrain how such representations MUST NOT be interpreted.
 
 Overlap between these classes is intentional:
-representation permissions do not imply explanatory commitment.
+representation permissions do not imply explanatory or normative commitment.
 
 ## Identifier Semantics and Stability