Skip to content

Commit 515f5b7

Browse files
committed
roles table
1 parent 2efef1d commit 515f5b7

1 file changed

Lines changed: 10 additions & 8 deletions

File tree

profile/README.md

Lines changed: 10 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -283,10 +283,10 @@ formulate the question the discrepancy represents,
283283
resolve it by appeal to relevant SE definitions,
284284
update the wrong encoding, and confirm counts align.
285285
See [Issue 1](https://github.com/structural-explainability/se-theory-identity-regimes/issues/1)
286-
for a worked example.
287-
A single disputed cell (REC x PV) where TOML and Lean assigned different verdicts,
288-
the question that must be resolved to fix it,
289-
and why resolution is part of the theory layer.
286+
for a worked example:
287+
a single disputed cell (REC x PV) where TOML and Lean
288+
assigned different verdicts, the question that must be resolved to fix it,
289+
and why that resolution is part of the theory layer.
290290

291291
</details>
292292

@@ -321,13 +321,11 @@ They do not contain domain semantics, applications, or analytics.
321321
These repositories implement the executable identity and persistence regimes
322322
over the neutral structural substrate.
323323
They encode regime profiles, transformation families, and identity responses
324-
(PRS / BRK / INH) as testable artifacts where:
324+
(PRS / BRK / IGN) as testable artifacts where:
325325

326326
- PRS = Preserves identity. The transformation does not change identity under the regime.
327327
- BRK = Breaks identity. The transformation produces a distinct identity under the regime.
328-
- INH = Inherits identity.
329-
The transformation does not act on the identity criteria tracked by the regime;
330-
identity is inherited from the prior state without regime-level evaluation.
328+
- IGN = Ignore. The transformation does not act on the identity criteria tracked by the regime.
331329

332330
These executables provide a stress-testing layer used to validate regime behavior
333331
and to evaluate mappings under controlled transformations without introducing
@@ -492,10 +490,14 @@ This organization is structured around roles:
492490

493491
| Role | Purpose |
494492
| ------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------ |
493+
| [**Manifests and Schema**](#repository-manifests) | Define the manifest format every SE repository declares against. |
495494
| [**Theory Derivation**](#theory-formal-derivation-layer) | Derive and justify the formal contract. |
496495
| [**Formal Contract and Operational Foundations**](#formal-contract-and-operational-foundations) | Export and enforce the neutral structural constraints used by operational layers. |
496+
| [**Regime Execution**](#regime-execution) | Provide executable identity and persistence regimes for stress-testing and mapping evaluation. |
497497
| [**Reference Implementations and Formal Anchors**](#reference-implementations-and-formal-anchors) | Provide optional foundation, interface, and boundary implementations for systems that need shared implementation layers. |
498498
| [**Specifications**](#normative-and-informative-specifications) | Define structural constraints for admissible representation. |
499+
| [**Shared Contract Tooling**](#shared-contract-tooling) | Package, validate, and distribute machine-readable contract artifacts across repositories. |
500+
| [**Accountable Record Contract**](#accountable-record-contract) | Define the language-neutral contract that Accountable Record systems consume. |
499501
| [**Accountable Record Systems**](#accountable-record-systems) | Implement durable record systems that preserve SE structural distinctions. |
500502
| [**Verification Implementations**](#accountable-record-verification-implementations) | Check record systems, packages, profiles, locks, bundles, and reports against selected contracts. |
501503
| [**Mapping Examples**](#mapping-examples) | Show bounded conformance examples without extending the neutral core. |

0 commit comments

Comments
 (0)