chore(release): promote dev to main

.github/workflows/ci.yml

@@ -32,7 +32,7 @@ jobs:
       - name: Install uv
         uses: astral-sh/setup-uv@c771a70e6277c0a99b617c7a806ffedaca235ff9 # v8
       - name: Restore pinned Isabelle archive
-        uses: actions/cache@27d5ce7f107fe9357f9df03efb73ab90386fccae # v5.0.5
+        uses: actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9 # v6.1.0
         with:
           path: .cache/raes-sdl/tooling/archives/Isabelle2025-2_linux.tar.gz
           key: isabelle-linux-x86-64-2025-2-a20a507bc7c1270d

.github/workflows/release-please.yml

@@ -113,7 +113,7 @@ jobs:
           PY
 
       - name: Publish to PyPI (OIDC trusted publishing)
-        uses: pypa/gh-action-pypi-publish@ba38be9e461d3875417946c167d0b5f3d385a247 # release/v1
+        uses: pypa/gh-action-pypi-publish@dc37677b2e1c63e2034f94d8a5b11f265b73ba33 # release/v1
         with:
           packages-dir: dist
 

contracts/README.md

@@ -68,6 +68,18 @@ participant-local scope, audience scope, observation point, governed source
 layers, transformation rule, evidence/provenance basis, semantic limitations,
 and explicit comparability disclosure.
 
+The participant-runtime `participant-information-state-record-v1` contract
+closes ACT-604's portable information-state reference at one exact participant,
+episode, state cut, projection, memory scope, and information guarantee. Strong
+claims resolve through the immutable
+`participant-information-reconstruction-profile-v1` corpus and preserve every
+visible occurrence as a typed source relation. Conformance, snapshot reload,
+and backend ingestion fail closed unless a trusted resolver supplies the
+occurrence history, typed sources, proof digest, exact-cut membership, and
+projection/policy coordinates needed by the contextual invariant. The record
+is not a mutable fact map, hidden-world snapshot, or operational-holdings
+taxonomy; ACT-615 remains the owner of concrete holdings kinds and lifecycle.
+
 The participant-runtime `runtime-fact-binding-plane-v1` contract defines typed
 run-local fact declarations, immutable versions, compiled late-bound action
 sinks, value-free binding provenance, and redacted participant/workflow

contracts/concept-authority/controlled-vocabularies-v1.json

@@ -987,6 +987,10 @@
           "title": "Participant Intervention",
           "description": "Backend supports governed participant intervention and supervisory control occurrences."
         },
+        "participant_predicate_opacity": {
+          "title": "Participant Predicate Opacity",
+          "description": "Backend declares evidence-bound realization of a governed participant-relative predicate-opacity profile."
+        },
         "participant_transformation": {
           "title": "Participant Transformation",
           "description": "Backend supports governed non-mutating participant-boundary transformations with fresh result identity."