update

Author: denisecase

CHANGELOG.md

@@ -1,5 +1,7 @@
 # Changelog
 
+<!-- markdownlint-disable MD024 -->
+
 All notable changes to this project will be documented in this file.
 
 The format is based on **[Keep a Changelog](https://keepachangelog.com/en/1.1.0/)**

reports/stress_report.md

@@ -4,10 +4,11 @@
 
 ## Rule matrix
 
-_Declared responses from `data/regimes.toml`. Populated from registry regardless of case coverage._
+_Declared responses from the regime registry (se-regimes): theory-level assertions, not empirically validated._
+_Populated from registry regardless of case coverage._
 
 | regime | BF | decomposition | nor_reorg |
-|---|---|---|---|
+| --- | --- | --- | --- |
 | `OBL` | INH | INH | INH |
 | `OCC` | INH | INH | INH |
 | `REC` | INH | INH | INH |
@@ -18,24 +19,32 @@ _Declared responses from `data/regimes.toml`. Populated from registry regardless
 | `NOR-C` | INH | INH | PRS |
 | `NOR-S` | INH | INH | BRK |
 
+Legend for rule matrix:
+
+- PRS = Preserves identity. The transformation does not change identity under the regime.
+- BRK = Breaks identity. The transformation produces a distinct identity under the regime.
+- INH = Inherits identity.
+  The transformation does not operate on the identity criteria tracked by the regime;
+  identity is carried forward without a PRS/BRK determination at this layer.
+
 ## Case coverage matrix
 
-_Which regime × family pairs have at least one stress-test case._
+_Which regime x family pairs have at least one stress-test case._
 
 | regime | BF | decomposition | nor_reorg |
-|---|---|---|---|
-| `OBL` | – | – | – |
-| `OCC` | – | – | – |
-| `REC` | – | – | – |
-| `ENR-L` | – | – | – |
-| `ENR-I` | – | – | – |
-| `CTX-E` | – | – | – |
-| `CTX-S` | – | – | – |
-| `NOR-C` | – | – | – |
-| `NOR-S` | – | – | – |
+| --- | --- | --- | --- |
+| `OBL` | - | - | - |
+| `OCC` | - | - | - |
+| `REC` | - | - | - |
+| `ENR-L` | - | - | - |
+| `ENR-I` | - | - | - |
+| `CTX-E` | - | - | - |
+| `CTX-S` | - | - | - |
+| `NOR-C` | - | - | - |
+| `NOR-S` | - | - | - |
 
 ## All cases
 
 | id | domain | regime | expected | source | result |
-|---|---|---|---|---|---|
-| — | — | — | — | — | — |
+| -- | --- | --- | --- | --- | --- |
+| - | - | - | - | - | - |

src/se_regimes/engine.py

@@ -146,7 +146,7 @@ def build_coverage(
 ) -> dict[str, dict[str, list[str]]]:
     """Return regime_id -> family_id -> list of case ids exercising that cell.
 
-    Empty list means no coverage for that regime × family combination.
+    Empty list means no coverage for that regime x family combination.
     """
     matrix: dict[str, dict[str, list[str]]] = {
         rid: {fid: [] for fid in registry.families} for rid in registry.regimes

src/se_regimes/report.py

@@ -42,34 +42,45 @@ def write_report(
     lines += [
         "## Rule matrix",
         "",
-        "_Declared responses from `data/regimes.toml`. "
-        "Populated from registry regardless of case coverage._",
+        "_Declared responses from the regime registry (se-regimes): theory-level assertions, not empirically validated._\n"
+        "_Populated from registry regardless of case coverage._",
         "",
     ]
     header = "| regime |" + "".join(f" {fid} |" for fid in family_ids)
-    sep = "|---|" + "".join("---|" for _ in family_ids)
+    sep = "| --- |" + "".join(" --- |" for _ in family_ids)
     lines += [header, sep]
     for rid, regime in registry.regimes.items():
         row = f"| `{rid}` |"
         for fid in family_ids:
-            val = regime.transform_response.get(fid, "—")
+            val = regime.transform_response.get(fid, "-")
             row += f" {val} |"
         lines.append(row)
     lines.append("")
 
-    # --- Case coverage matrix (✓ / – per cell) ---
+    lines += [
+        "Legend for rule matrix:",
+        "",
+        "- PRS = Preserves identity. The transformation does not change identity under the regime.",
+        "- BRK = Breaks identity. The transformation produces a distinct identity under the regime.",
+        "- INH = Inherits identity.",
+        "  The transformation does not operate on the identity criteria tracked by the regime;",
+        "  identity is carried forward without a PRS/BRK determination at this layer.",
+        "",
+    ]
+
+    # --- Case coverage matrix (✓ / - per cell) ---
     lines += [
         "## Case coverage matrix",
         "",
-        "_Which regime × family pairs have at least one stress-test case._",
+        "_Which regime x family pairs have at least one stress-test case._",
         "",
     ]
     lines += [header, sep]
     for rid in registry.regimes:
         row = f"| `{rid}` |"
         for fid in family_ids:
             cell = coverage[rid][fid]
-            row += f" {'✓' if cell else '–'} |"
+            row += f" {'✓' if cell else '-'} |"
         lines.append(row)
     lines.append("")
 
@@ -89,16 +100,16 @@ def write_report(
     # --- All cases ---
     lines += ["## All cases", ""]
     lines.append("| id | domain | regime | expected | source | result |")
-    lines.append("|---|---|---|---|---|---|")
+    lines.append("| -- | --- | --- | --- | --- | --- |")
     for r in results:
         status = "✓" if r.passed else "✗"
         expected_str = ", ".join(f"`{s.after}:{s.outcome}`" for s in r.case.expected)
-        source_str = f"`{r.case.source}`" if r.case.source else "—"
+        source_str = f"`{r.case.source}`" if r.case.source else "-"
         lines.append(
             f"| `{r.case.id}` | `{r.case.domain}` "
             f"| `{r.case.candidate_regime}` | {expected_str} | {source_str} | {status} |"
         )
     if not results:
-        lines.append("| — | — | — | — | — | — |")
+        lines.append("| - | - | - | - | - | - |")
 
     path.write_text("\n".join(lines) + "\n")