fix(epac): close extraction provenance and sealing P1s

README.md

@@ -6,7 +6,7 @@ EPAC is the independent repository for The Interdependency's elementary/particle
 
 ## Standing
 
-- Physical repository state: extracted from the stack incubator and independently verified.
+- Physical repository state: extracted from the stack incubator; exact candidate/forge verification remains unresolved until a dedicated immutable verification receipt exists.
 - Authority transition: incomplete until the release/reconsumption graduation gates are satisfied.
 - Research status: provisional / cross-domain hypothesis unless a narrower artifact says otherwise.
 - Empirical status: no transfer. Repository independence does not make a physics or chemistry claim true.
@@ -35,14 +35,14 @@ The extraction preserves the stack research artifacts and their epistemic status
 
 ## Verification
 
-The extraction gate executes:
+The current extraction gate executes:
 
-- 41 repository regression tests;
-- 26 subatomic executable witnesses;
+- 60 repository regression tests;
+- 30 subatomic executable witnesses;
 - the preregistered molecular comparison, requiring all four current standings to remain `FALSIFIED`;
 - deterministic work-graph digest verification.
 
-CI independently resolves the pinned UCNS source before running the same gates.
+CI resolves the pinned UCNS source before running those gates. Passing those checks establishes reproducibility of the extracted research tree; it does **not** satisfy `exact_candidate_forge_verification`, stable release, or reconsumption by itself.
 
 ## Usage guidance
 
@@ -52,6 +52,7 @@ Do not treat successful execution as empirical validation. Constructors establis
 
 ## hmmm
 
+- exact candidate/forge verification receipt
 - distribution surface and first immutable release artifact
 - license/distribution-rights selection for this independent repository
 - clean package/install dependency contract for UCNS

epac_dimensional_arity.py

@@ -163,14 +163,19 @@ def __post_init__(self) -> None:
         ambient_ids = [dimension.id for dimension in self.ambient_dimensions]
         if len(ambient_ids) != len(set(ambient_ids)):
             raise DimensionalArityError("ambient dimensions must be unique")
+        coupling_ids = [item.declared_ids for item in self.couplings]
+        if len(coupling_ids) != len(set(coupling_ids)):
+            raise DimensionalArityError(
+                "coupling declarations must be unique; repeated physical occurrences require unique dimension ids"
+            )
         ambient = set(ambient_ids)
         for item in self.couplings:
             missing = [name for name in item.declared_ids if name not in ambient]
             if missing:
                 raise DimensionalArityError(
                     f"coupling {item.declared_ids} uses undeclared dimensions {tuple(missing)}"
                 )
-        declared = {item.declared_ids for item in self.couplings}
+        declared = set(coupling_ids)
         for proof in self.proofs:
             conclusion_missing = [
                 name for name in proof.conclusion.declared_ids if name not in ambient
@@ -537,10 +542,13 @@ def quaternion_structure_readout(structure: Mapping[str, object]) -> tuple[objec
     return tuple(
         sorted(
             (
-                _tuple_tree(item["components"]),
-                _tuple_tree(item["represented_ids"]),
-            )
-            for item in structure.get("quaternions", ())
+                (
+                    _tuple_tree(item["components"]),
+                    _tuple_tree(item["represented_ids"]),
+                )
+                for item in structure.get("quaternions", ())
+            ),
+            key=_sortable_tree,
         )
     )