chore: drop dead context compat, retire plan boxes, fix spec wording

src/wf_core/runtime/ops/frames.py

@@ -18,29 +18,6 @@ from wf_core.errors import WorkflowExecutionError
 from wf_core.run_state import ExecutionFrame, ForeachContext, RunState
 
 
-def frame_context_values(frame: ExecutionFrame) -> dict[str, object | None]:
-    context: dict[str, object | None] = {
-        PRIOR_OUTCOME_CONTEXT_KEY: frame.prior_outcome,
-        ACTIVATED_INCOMING_EDGE_CONTEXT_KEY: frame.activated_incoming_edge,
-        SCOPE_ID_CONTEXT_KEY: frame.scope_id,
-        LINEAGE_ID_CONTEXT_KEY: frame.lineage_id,
-        PARENT_LINEAGE_ID_CONTEXT_KEY: frame.parent_lineage_id,
-    }
-    if frame.kind == "foreach_iteration":
-        loop_item = frame.metadata.get("loop_item")
-        loop_index = frame.metadata.get("loop_index")
-        loop_alias = frame.metadata.get("loop_alias")
-        context[LOOP_ITEM_CONTEXT_KEY] = loop_item
-        context[LOOP_INDEX_CONTEXT_KEY] = loop_index
-        if (
-            isinstance(loop_alias, str)
-            and loop_alias
-            and loop_alias not in RESERVED_CONTEXT_KEYS
-        ):
-            context[loop_alias] = loop_item
-    return context
-
-
 @dataclass(frozen=True, slots=True)
 class FrameContextView:
     """Typed handler context and graph values from one ancestry walk."""

src/wf_core/validation/context_paths.py

@@ -199,8 +199,9 @@ def _failing_segment(
     """Return the first unknown segment plus the keys available there.
 
     Returns ``(None, "")`` when the path walks declared properties (or
-    permissive unconstrained schemas). Diagnostics only; validity follows
-    the same walk as :func:`_path_in_schema`.
+    permissive unconstrained schemas). A bare ``$ref`` fails closed: generated
+    per-node schemas are inline except for cyclic shapes, which cannot be
+    proven valid statically.
     """
     if not parts:
         return None, ""
@@ -226,46 +227,6 @@ def _failing_segment(
     return None, ""
 
 
-def _path_in_schema(schema: Mapping[str, Any], parts: tuple[str, ...]) -> bool:
-    """Return whether literal parts walk declared object properties.
-
-    The whole ``context`` object (no parts) and the ``foreach`` map itself
-    are readable. Unknown segments fail closed, except beneath an
-    unconstrained item schema (``{}`` or an open object with no declared
-    properties): a generic ``array`` collection infers ``{}``, and runtime
-    values may carry fields the static schema cannot see, so such subpaths
-    stay permissive. Closed maps with ``additionalProperties: False`` (like
-    the ``foreach`` map itself) still reject unknown keys.
-    """
-    if not parts:
-        return True
-    current: Any = schema
-    for part in parts:
-        if not isinstance(current, Mapping):
-            return False
-        # Resolve local $ref if present (defensive; generated schemas are inline).
-        while isinstance(current.get("$ref"), str):
-            # Generated context schemas keep entry schemas inline, so an
-            # unresolvable ref here means the path cannot be proven valid.
-            return False
-        properties = current.get("properties")
-        if not isinstance(properties, Mapping):
-            # No declared properties: unconstrained `{}` or an open object
-            # allows subpaths; scalar or closed schemas do not.
-            if current == {}:
-                return True
-            if (
-                current.get("type") == "object"
-                and current.get("additionalProperties", True) is not False
-            ):
-                return True
-            return False
-        if part not in properties:
-            return False
-        current = properties[part]
-    return True
-
-
 def _validate_workflow_output(workflow: Workflow, report: ValidationReport) -> None:
     schema = root_context_schema()
     for output_index, binding in enumerate(workflow.output):