verifiers 0.3.2.dev166__py3-none-any.whl → 0.3.2.dev167__py3-none-any.whl

verifiers/v1/graph.py

@@ -90,10 +90,11 @@ class MessageNode(BaseModel):
     tools: list[Tool] = Field(default_factory=list, exclude_if=lambda tools: not tools)
     """Tools rendered into this branch's prompt. Populated only on root nodes."""
     semantic_parents: list[ParentLink] = Field(default_factory=list)
-    """Additional harness-declared parents in the semantic execution graph.
+    """Typed incoming edges from other turns, declared by the harness (for example
+    ``subagent_return`` or ``subagent_cancel``).
 
-    Unlike ``parent``, these links do not imply an exact token prefix and therefore do
-    not affect physical branch construction. A list permits multiple parents of the same
+    They record causal links, not ancestry: unlike ``parent`` they imply no token prefix,
+    do not affect physical branch construction, and may form loops. A list permits multiple parents of the same
     type, supports incremental appends, and preserves their advertised wire order; edge
     application prevents duplicate ``(node, type)`` links.
     """

verifiers/v1/harnesses/rlm/harness.py

@@ -69,7 +69,7 @@ class CompactionConfig(BaseConfig):
 
 class RLMHarnessConfig(HarnessConfig):
     version: str = Field(
-        default="f18f10800f86f13913e19ef930abe5fcde4aa90f", min_length=1
+        default="c38e20b60c90bbf625274d3fde2b2a384f390a66", min_length=1
     )
     """Git ref (branch, tag, or commit) of nano-rlm to install. Must know every
     field this harness puts on the wire, i.e. be at least the default ref."""

verifiers/v1/semantic.py

@@ -60,11 +60,14 @@ class ParentLink(BaseModel):
 
 
 class SemanticEdgeSet(BaseModel):
-    """A harness-published set of semantic edges over logical request IDs.
+    """A harness-published list of typed edges between logical request IDs.
+
+    Each edge records that one turn caused or fed another. They are not ancestry, so
+    they may form loops: a cancel can land on the child turn whose report triggered it.
 
     Edge labels are intentionally extensible. Initial harnesses use ``continuation``,
-    ``compaction_attempt``, ``compaction``, ``subagent_call``, and ``subagent_return``;
-    consumers must preserve unknown labels.
+    ``compaction_attempt``, ``compaction``, ``subagent_call``, ``subagent_return``,
+    ``agent_message``, and ``subagent_cancel``; consumers must preserve unknown labels.
     """
 
     model_config = ConfigDict(extra="forbid", strict=True)
@@ -74,8 +77,6 @@ class SemanticEdgeSet(BaseModel):
     @model_validator(mode="after")
     def validate_edges(self) -> SemanticEdgeSet:
         identities: set[tuple[str, str, str]] = set()
-        children: dict[str, list[str]] = {}
-        nodes: set[str] = set()
         for edge in self.edges:
             identity = (
                 edge.source_request_id,
@@ -85,27 +86,6 @@ class SemanticEdgeSet(BaseModel):
             if identity in identities:
                 raise ValueError(f"duplicate semantic edge: {identity!r}")
             identities.add(identity)
-            children.setdefault(edge.source_request_id, []).append(
-                edge.target_request_id
-            )
-            nodes.update((edge.source_request_id, edge.target_request_id))
-
-        indegree = dict.fromkeys(nodes, 0)
-        for targets in children.values():
-            for target in targets:
-                indegree[target] += 1
-
-        stack = [node for node, degree in indegree.items() if degree == 0]
-        visited = 0
-        while stack:
-            node = stack.pop()
-            visited += 1
-            for child in children.get(node, ()):
-                indegree[child] -= 1
-                if indegree[child] == 0:
-                    stack.append(child)
-        if visited != len(nodes):
-            raise ValueError("semantic edge cycle detected")
         return self
 
 

verifiers/v1/trace.py

@@ -568,7 +568,6 @@ class Trace(BaseModel, Generic[DataT, StateT, AgentConfigT]):
 
         resolved_identities: set[tuple[int, int, str]] = set()
         additions: list[tuple[int, ParentLink]] = []
-        pending_parents: dict[int, list[ParentLink]] = {}
         for edge in edge_set.edges:
             endpoints: list[int] = []
             for request_id in (
@@ -592,28 +591,7 @@ class Trace(BaseModel, Generic[DataT, StateT, AgentConfigT]):
             if link in self.nodes[target].semantic_parents:
                 continue
 
-            # Adding source -> target creates a cycle exactly when target is already an
-            # ancestor of source. Walk parent links directly so existing nodes and links
-            # are never rebuilt as cumulative ACP edge sets arrive.
-            stack = [source]
-            visited: set[int] = set()
-            while stack:
-                node_id = stack.pop()
-                if node_id == target:
-                    raise ValueError(
-                        "semantic edges create a cycle in the message graph"
-                    )
-                if node_id in visited:
-                    continue
-                visited.add(node_id)
-                node = self.nodes[node_id]
-                if node.parent is not None:
-                    stack.append(node.parent)
-                stack.extend(parent.node for parent in node.semantic_parents)
-                stack.extend(parent.node for parent in pending_parents.get(node_id, ()))
-
             additions.append((target, link))
-            pending_parents.setdefault(target, []).append(link)
 
         for target, link in additions:
             self.nodes[target].semantic_parents.append(link)

{verifiers-0.3.2.dev166.dist-info → verifiers-0.3.2.dev167.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: verifiers
-Version: 0.3.2.dev166
+Version: 0.3.2.dev167
 Summary: Verifiers: Environments for LLM Reinforcement Learning
 Project-URL: Homepage, https://github.com/primeintellect-ai/verifiers
 Project-URL: Documentation, https://github.com/primeintellect-ai/verifiers

{verifiers-0.3.2.dev166.dist-info → verifiers-0.3.2.dev167.dist-info}/RECORD

@@ -4,16 +4,16 @@ verifiers/v1/agent.py,sha256=746LE0HE4DPyxVcgEkAAs8z9qjsR7CQncfKhT1h4jek,32433
 verifiers/v1/env.py,sha256=fxXBjVyi0milYViHt6O0vBK3JdM2TYSOoQpXd0P0rFE,18110
 verifiers/v1/episode.py,sha256=UPtA02aGWA-fY8cJKEuYCMtQVnPN1C0BSN13LggNT8U,5986
 verifiers/v1/errors.py,sha256=nNabzi55J5aHmAmW9UHZVpI7kcBfy4Xcyt4cQthZbM8,5875
-verifiers/v1/graph.py,sha256=4EA1TzUBLf9HycfSifKI5J3XkeJzYjbsszZRVwXSGP0,41420
+verifiers/v1/graph.py,sha256=LW0pJRxCCOXZa2KwB0edHIIqmRrzLFBDNyEeOFVskl8,41502
 verifiers/v1/harness.py,sha256=AcsCmNHB1UQ75nD7RUawsb65q63NdkcMykD0E6oRDOA,15957
 verifiers/v1/judge.py,sha256=uqn-djkK2_7Q3kOjkDo6ipOvV_HOvuLa9y6AoDjRux8,9618
 verifiers/v1/rollout.py,sha256=WiMCJyAypsR1OaXvzJQx7G-T67v__AnnDNoXotuI_VE,25444
-verifiers/v1/semantic.py,sha256=VQ_buw6Ya6QtRoh_fiYI5Avs5RmIQCfWH0H0bQc4aoc,4704
+verifiers/v1/semantic.py,sha256=tX8FYEceuMYauuB3Bc8jLDMS2eR06JjLjTo66R190Fg,4053
 verifiers/v1/session.py,sha256=qVMgKmqkItemR3uYUDAFuDz7huP593kHQbge8FlRba8,28420
 verifiers/v1/state.py,sha256=EckF2bWp-vV4b1jYJ9sLI5xrfGuI5spIgYYwW926toI,595
 verifiers/v1/task.py,sha256=6-Tw0iBLsc4hinvVPl_b2EUX8unAAnxtHMXNSIHXsnU,12886
 verifiers/v1/taskset.py,sha256=LE_3ogL7itU2Amk-N20cHkZ7Ev6MznJ0HpC8B1xb4w0,9482
-verifiers/v1/trace.py,sha256=tgzkft4nKF4QGeGXwoqkfXjaUbG65Nn1oBFzMUFp-u0,32234
+verifiers/v1/trace.py,sha256=Npc-TrBh-B3H0OvtfA5X31VAlOhfgLDKGdXohqC2uIk,31156
 verifiers/v1/types.py,sha256=-In5plgB3mQLqtRKHC3QDCPDvuruAqVd8WIjKrsGB_I,10578
 verifiers/v1/acp/__init__.py,sha256=Omle2zo7aly_7CCg1N9yQjQcJe4UpqTw9xVBP8_tuT8,13891
 verifiers/v1/acp/runner.py,sha256=OrJ1VSWTnNosV8OklqM2YdERlbF7olT9PHEdQfXvgGQ,14137
@@ -113,7 +113,7 @@ verifiers/v1/harnesses/pi/harness.py,sha256=ysKOLSRQnbPkMtwvuUoJU7Hd4uM4bDF1duD0
 verifiers/v1/harnesses/prime_agent/__init__.py,sha256=xfPC4RrlnyYWaf38tPAOZq4YL6M55lMpj5BoRLmaK8I,171
 verifiers/v1/harnesses/prime_agent/harness.py,sha256=Zs_f5H2hQgDzUS4zwArM5UxCYJI5Zo0ELmayn1oBkK0,10663
 verifiers/v1/harnesses/rlm/__init__.py,sha256=hwx51xTdEWzzYgMj-p4ETNcptoub3IPMDbEdJ4uB8Ns,122
-verifiers/v1/harnesses/rlm/harness.py,sha256=NFJ3u1xC06d9NwjnxFD8cCqIXoGjAIwhmJly-hXSvMA,13538
+verifiers/v1/harnesses/rlm/harness.py,sha256=wyK3f1jYYnJniz9SCJBI8j2oUGycU22HdQN6zAf34ME,13538
 verifiers/v1/harnesses/terminus_2/__init__.py,sha256=l1pwfg1HyVDEqT9efdnFWcXqaZwtKwe7TrplkyxZSA0,166
 verifiers/v1/harnesses/terminus_2/harness.py,sha256=cKQJluW01mkxEccTLFwSWsVMavyiwq_w-NA4Hb_JkGU,3052
 verifiers/v1/harnesses/terminus_2/program.py,sha256=X8MZdyItU3gbXGXnGOlJ9LWcUTnqIDaxlhkZvoRiqKY,2703
@@ -193,8 +193,8 @@ verifiers/v1/utils/scope.py,sha256=bzUEiWDOVdbj7dXOwGOlzsQ_-Xu0j9NR5TalQB-8TS8,8
 verifiers/v1/utils/score.py,sha256=493yJVMw8teCu9JxapxMFPFzI0hNUqdo0Y2nGW4kckk,6200
 verifiers/v1/utils/trace_store.py,sha256=RsCDonGR-bs-tvEstcppiJm3jFmAdIiG83fA5KtCbAw,2801
 verifiers/v1/utils/version.py,sha256=-obEo_-l9-D8FLef4hYxncOe-uJpxrM1g2Hig_37Sgs,1607
-verifiers-0.3.2.dev166.dist-info/METADATA,sha256=PR5ypxpzJMtmrYgaGC5NjI0RT2i-ArYUhlpYVlfZ_hg,4161
-verifiers-0.3.2.dev166.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
-verifiers-0.3.2.dev166.dist-info/entry_points.txt,sha256=iugElcdWPKbQM7uFF0lZ8iUpHsNr17-BwEAAjJWxV3U,259
-verifiers-0.3.2.dev166.dist-info/licenses/LICENSE,sha256=v0RrUsdV3IDoZhrRce297IXS3xMHNJ-_LdLpFAUWb9k,1072
-verifiers-0.3.2.dev166.dist-info/RECORD,,
+verifiers-0.3.2.dev167.dist-info/METADATA,sha256=_Pni8Imgl22DFAVEK6sGzXCFAipSjzTx9GTRc3PKwGg,4161
+verifiers-0.3.2.dev167.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
+verifiers-0.3.2.dev167.dist-info/entry_points.txt,sha256=iugElcdWPKbQM7uFF0lZ8iUpHsNr17-BwEAAjJWxV3U,259
+verifiers-0.3.2.dev167.dist-info/licenses/LICENSE,sha256=v0RrUsdV3IDoZhrRce297IXS3xMHNJ-_LdLpFAUWb9k,1072
+verifiers-0.3.2.dev167.dist-info/RECORD,,