margin 0.9.4__tar.gz → 0.9.6__tar.gz

{margin-0.9.4/margin.egg-info → margin-0.9.6}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: margin
-Version: 0.9.4
+Version: 0.9.6
 Summary: Typed health classification, uncertainty algebra, and correction auditing for any system that measures things and needs to explain what happened.
 Author: Cope Labs LLC
 License: MIT

{margin-0.9.4 → margin-0.9.6}/margin/__init__.py

@@ -82,6 +82,7 @@ from .contract import (
     HealthTarget, ReachHealth, SustainHealth,
     RecoveryThreshold, NoHarmful,
     ContractResult, Contract,
+    contract_term_from_dict,
 )
 
 # Correlation
@@ -164,7 +165,7 @@ __all__ = [
     "TermStatus", "TermResult", "ContractTerm",
     "HealthTarget", "ReachHealth", "SustainHealth",
     "RecoveryThreshold", "NoHarmful",
-    "ContractResult", "Contract",
+    "ContractResult", "Contract", "contract_term_from_dict",
     # Correlation
     "Correlation", "CorrelationMatrix",
     "correlate_pair", "correlate", "correlate_from_ledger",

{margin-0.9.4 → margin-0.9.6}/margin/calibrate.py

@@ -44,6 +44,13 @@ class CalibrationResult:
             "active_min": self.thresholds.active_min,
         }
 
+    def __repr__(self) -> str:
+        t = self.thresholds
+        polarity = "↑" if t.higher_is_better else "↓"
+        return (f"CalibrationResult(baseline={self.baseline:.4g}, "
+                f"intact={t.intact:.4g}, ablated={t.ablated:.4g}, "
+                f"std={self.std:.4g}, n={self.n_samples}, {polarity})")
+
 
 def calibrate(
     values: list[float],
@@ -312,7 +319,7 @@ def recalibrate_parser(
     components: Optional[list[str]] = None,
     intact_fraction: float = 0.70,
     ablated_fraction: float = 0.30,
-    active_min: float = 0.05,
+    active_min: Optional[float] = None,
     use_std: bool = False,
     intact_std_multiplier: float = 1.5,
     ablated_std_multiplier: float = 3.0,
@@ -338,8 +345,8 @@ def recalibrate_parser(
                                  all components in new_healthy_data are recalibrated
         intact_fraction:         fraction of baseline for intact threshold (fraction mode)
         ablated_fraction:        fraction of baseline for ablated threshold (fraction mode)
-        active_min:              inherited from existing parser thresholds; pass only
-                                 to override for recalibrated components
+        active_min:              None (default) inherits from each component's existing
+                                 threshold; pass an explicit float to override
         use_std:                 if True, use std-based thresholds (see calibrate())
         intact_std_multiplier:   std deviations for intact threshold (std mode)
         ablated_std_multiplier:  std deviations for ablated threshold (std mode)
@@ -373,8 +380,8 @@ def recalibrate_parser(
         # Resolve polarity: explicit override → existing parser polarity → True
         existing_t = parser.component_thresholds.get(name) or parser.thresholds
         hib = polarities.get(name, existing_t.higher_is_better)
-        # Inherit active_min from existing thresholds unless caller overrides
-        component_active_min = existing_t.active_min if active_min == 0.05 else active_min
+        # Inherit active_min from existing thresholds unless caller provides an explicit override
+        component_active_min = existing_t.active_min if active_min is None else active_min
         result = calibrate(
             vals, hib, intact_fraction, ablated_fraction, component_active_min,
             use_std=use_std,

{margin-0.9.4 → margin-0.9.6}/margin/config.py

@@ -19,8 +19,8 @@ from typing import Optional
 
 from .health import Thresholds
 from .observation import Parser, Op
-from .policy.core import Action, PolicyRule, Policy
-from .contract import Contract, HealthTarget, Health
+from .policy.core import Action, PolicyRule, Policy, Constraint, Escalation, EscalationLevel
+from .contract import Contract, HealthTarget, Health, contract_term_from_dict
 from .predicates import (
     any_health, all_health, any_degraded, any_correction,
     confidence_below, sigma_below, component_health,
@@ -154,11 +154,30 @@ def from_config(config: dict) -> dict:
                 alpha=action_spec.get("alpha", 0.5),
                 magnitude=action_spec.get("magnitude", 1.0),
             )
+            constraint = None
+            if "constraint" in spec:
+                cs = spec["constraint"]
+                constraint = Constraint(
+                    max_alpha=cs.get("max_alpha", 1.0),
+                    min_alpha=cs.get("min_alpha", 0.0),
+                    cooldown_steps=cs.get("cooldown_steps", 0),
+                    max_per_window=cs.get("max_per_window", 0),
+                    window_steps=cs.get("window_steps", 0),
+                )
+            escalation = None
+            if "escalation" in spec:
+                es = spec["escalation"]
+                escalation = Escalation(
+                    level=EscalationLevel(es.get("level", "LOG")),
+                    reason=es.get("reason", ""),
+                )
             rules.append(PolicyRule(
                 name=spec["name"],
                 predicate=predicate,
                 action=action,
                 priority=spec.get("priority", 0),
+                constraint=constraint,
+                escalation=escalation,
             ))
         result["policy"] = Policy(name=config.get("name", "config-policy"), rules=rules)
 
@@ -167,11 +186,19 @@ def from_config(config: dict) -> dict:
     if contract_specs:
         terms = []
         for spec in contract_specs:
-            terms.append(HealthTarget(
-                name=spec["name"],
-                component=spec["component"],
-                target=Health(spec.get("health", "INTACT")),
-            ))
+            term_type = spec.get("type", "health_target")
+            if term_type == "health_target" and "type" not in spec:
+                # backward-compatible: old configs without explicit type field
+                terms.append(HealthTarget(
+                    name=spec["name"],
+                    component=spec["component"],
+                    target=Health(spec.get("health", "INTACT")),
+                ))
+            else:
+                # normalise: config may use "health" instead of "target"
+                if "health" in spec and "target" not in spec:
+                    spec = dict(spec, target=spec["health"])
+                terms.append(contract_term_from_dict(spec))
         result["contract"] = Contract(
             name=config.get("contract_name", "config-contract"),
             terms=terms,

{margin-0.9.4 → margin-0.9.6}/margin/contract.py

@@ -92,6 +92,9 @@ class HealthTarget(ContractTerm):
         return {"type": "health_target", "name": self.name, "component": self.component,
                 "target": self.target.value, "or_better": self.or_better}
 
+    def __repr__(self) -> str:
+        return f"HealthTarget({self.name!r}, {self.component}={self.target.value})"
+
 
 @dataclass
 class ReachHealth(ContractTerm):
@@ -138,6 +141,9 @@ class ReachHealth(ContractTerm):
         return {"type": "reach_health", "name": self.name, "component": self.component,
                 "target": self.target.value, "within_steps": self.within_steps}
 
+    def __repr__(self) -> str:
+        return f"ReachHealth({self.name!r}, {self.component}={self.target.value} within {self.within_steps})"
+
 
 @dataclass
 class SustainHealth(ContractTerm):
@@ -184,6 +190,9 @@ class SustainHealth(ContractTerm):
                 "target": self.target.value, "for_steps": self.for_steps,
                 "or_better": self.or_better}
 
+    def __repr__(self) -> str:
+        return f"SustainHealth({self.name!r}, {self.component}={self.target.value} for {self.for_steps})"
+
 
 @dataclass
 class RecoveryThreshold(ContractTerm):
@@ -212,6 +221,9 @@ class RecoveryThreshold(ContractTerm):
         return {"type": "recovery_threshold", "name": self.name,
                 "min_recovery": self.min_recovery, "over_steps": self.over_steps}
 
+    def __repr__(self) -> str:
+        return f"RecoveryThreshold({self.name!r}, min={self.min_recovery} over {self.over_steps})"
+
 
 @dataclass
 class NoHarmful(ContractTerm):
@@ -231,6 +243,41 @@ class NoHarmful(ContractTerm):
     def to_dict(self) -> dict:
         return {"type": "no_harmful", "name": self.name, "over_steps": self.over_steps}
 
+    def __repr__(self) -> str:
+        return f"NoHarmful({self.name!r}, over {self.over_steps})"
+
+
+_TERM_TYPES: dict = {
+    "health_target": lambda d: HealthTarget(
+        name=d["name"], component=d["component"],
+        target=Health(d["target"]), or_better=d.get("or_better", True),
+    ),
+    "reach_health": lambda d: ReachHealth(
+        name=d["name"], component=d["component"],
+        target=Health(d["target"]), within_steps=d["within_steps"],
+    ),
+    "sustain_health": lambda d: SustainHealth(
+        name=d["name"], component=d["component"],
+        target=Health(d["target"]), for_steps=d["for_steps"],
+        or_better=d.get("or_better", True),
+    ),
+    "recovery_threshold": lambda d: RecoveryThreshold(
+        name=d["name"], min_recovery=d["min_recovery"], over_steps=d["over_steps"],
+    ),
+    "no_harmful": lambda d: NoHarmful(
+        name=d["name"], over_steps=d["over_steps"],
+    ),
+}
+
+
+def contract_term_from_dict(d: dict) -> ContractTerm:
+    """Deserialize a ContractTerm subclass from a dict produced by its to_dict()."""
+    term_type = d.get("type")
+    if term_type not in _TERM_TYPES:
+        raise ValueError(f"Unknown contract term type: {term_type!r}. "
+                         f"Expected one of: {list(_TERM_TYPES)}")
+    return _TERM_TYPES[term_type](d)
+
 
 # -----------------------------------------------------------------------
 # Contract — a set of terms evaluated together

{margin-0.9.4 → margin-0.9.6}/margin/loop.py

@@ -50,7 +50,9 @@ class StepResult:
     @property
     def acted(self) -> bool:
         """True if a real correction was produced (not NOOP, not escalation)."""
-        return self.correction is not None and self.correction.is_active()
+        if self.correction is not None and self.correction.is_active():
+            return True
+        return any(c.is_active() for c in self.corrections)
 
     @property
     def escalated(self) -> bool:
@@ -279,6 +281,9 @@ def full_step(
     contract: Optional[Contract] = None,
     intent: Optional[object] = None,
     now=None,
+    confidences=None,
+    provenance=None,
+    label: str = "",
 ) -> FullStepResult:
     """
     Run ALL layers in one call:
@@ -303,7 +308,8 @@ def full_step(
     now = now or datetime.now()
 
     # Layer 1-4: health + drift + anomaly + correlation
-    expr = monitor.update(values, now=now)
+    expr = monitor.update(values, now=now, label=label,
+                          confidences=confidences, provenance=provenance)
 
     # Layer 5-7: explain + decide + contract
     step_result = step(expr, policy, ledger, graph, contract)

{margin-0.9.4 → margin-0.9.6}/margin/observation.py

@@ -343,6 +343,13 @@ class Parser:
 
         observations = []
         for name, val in values.items():
+            if name not in self.baselines:
+                warnings.warn(
+                    f"Parser.parse: component {name!r} has no baseline — "
+                    "using the observed value as baseline (sigma=0). "
+                    "Add it to Parser.baselines or check for a typo.",
+                    stacklevel=2,
+                )
             baseline = self.baselines.get(name, val)
             conf = confidences.get(name, Confidence.MODERATE)
             ct = self._thresholds_for(name)

{margin-0.9.4 → margin-0.9.6}/margin/policy/core.py

@@ -7,6 +7,7 @@ constrained Correction or Escalation.
 
 from __future__ import annotations
 
+import warnings
 from dataclasses import dataclass, field
 from enum import Enum
 from typing import Callable, Optional, Union
@@ -97,6 +98,13 @@ class Action:
                 if o.name == target_name:
                     target_obs = o
                     break
+            if target_obs is None:
+                warnings.warn(
+                    f"Action.resolve: target {self.target!r} not found in expression "
+                    f"({[o.name for o in expr.observations]}). "
+                    "Correction will reference a nonexistent component.",
+                    stacklevel=3,
+                )
 
         alpha = self.alpha
         if self.alpha_from_sigma and target_obs:
@@ -131,6 +139,9 @@ class Action:
             magnitude_from_sigma=d.get("magnitude_from_sigma", False),
         )
 
+    def __repr__(self) -> str:
+        return f"Action(target={self.target!r}, op={self.op.value}, alpha={self.alpha})"
+
 
 # -----------------------------------------------------------------------
 # Constraint
@@ -180,6 +191,18 @@ class Constraint:
     def from_dict(cls, d: dict) -> Constraint:
         return cls(**{k: d[k] for k in ("max_alpha", "min_alpha", "cooldown_steps", "max_per_window", "window_steps") if k in d})
 
+    def __repr__(self) -> str:
+        parts = []
+        if self.min_alpha > 0.0:
+            parts.append(f"min_alpha={self.min_alpha}")
+        if self.max_alpha < 1.0:
+            parts.append(f"max_alpha={self.max_alpha}")
+        if self.cooldown_steps > 0:
+            parts.append(f"cooldown={self.cooldown_steps}")
+        if self.max_per_window > 0:
+            parts.append(f"max_per_window={self.max_per_window}")
+        return f"Constraint({', '.join(parts)})" if parts else "Constraint()"
+
 
 # -----------------------------------------------------------------------
 # PolicyRule

{margin-0.9.4 → margin-0.9.6}/margin/streaming.py

@@ -54,6 +54,12 @@ class WindowConfig:
             correlation=d.get("correlation"),
         )
 
+    def __repr__(self) -> str:
+        parts = [f"{k}={v}" for k, v in
+                 [("drift", self.drift), ("anomaly", self.anomaly), ("correlation", self.correlation)]
+                 if v is not None]
+        return f"WindowConfig({', '.join(parts)})" if parts else "WindowConfig()"
+
 from .confidence import Confidence
 from .health import Health, Thresholds, classify
 from .observation import Observation, Expression
@@ -438,6 +444,8 @@ class Monitor:
         values: dict[str, float],
         label: str = "",
         now: Optional[datetime] = None,
+        confidences=None,
+        provenance=None,
     ) -> Expression:
         """
         Process new measurements: classify health, update drift, check anomalies.
@@ -447,7 +455,10 @@ class Monitor:
         now = now or datetime.now()
 
         # Health classification via Parser
-        self._expression = self.parser.parse(values, label=label, step=self._step)
+        self._expression = self.parser.parse(
+            values, label=label, step=self._step,
+            confidences=confidences, provenance=provenance,
+        )
         self._step += 1
 
         # Update per-component trackers

{margin-0.9.4 → margin-0.9.6/margin.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: margin
-Version: 0.9.4
+Version: 0.9.6
 Summary: Typed health classification, uncertainty algebra, and correction auditing for any system that measures things and needs to explain what happened.
 Author: Cope Labs LLC
 License: MIT

{margin-0.9.4 → margin-0.9.6}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "margin"
-version = "0.9.4"
+version = "0.9.6"
 description = "Typed health classification, uncertainty algebra, and correction auditing for any system that measures things and needs to explain what happened."
 readme = "README.md"
 license = {text = "MIT"}

{margin-0.9.4 → margin-0.9.6}/tests/test_calibrate.py

@@ -208,3 +208,46 @@ class TestCalibrateManyReturnParser:
         import pytest
         with pytest.raises(ValueError):
             calibrate_many({}, return_parser=True)
+
+
+class TestRecalibrateParserActiveMin:
+    def test_none_inherits_from_existing_parser(self):
+        from margin.calibrate import recalibrate_parser
+        # Parser with non-default active_min
+        parser = parser_from_calibration({"cpu": [100.0] * 5})
+        # Manually set a custom active_min on the thresholds
+        import dataclasses
+        custom_thresh = dataclasses.replace(parser.thresholds, active_min=0.15)
+        parser2 = parser.__class__(
+            baselines=parser.baselines,
+            thresholds=custom_thresh,
+            component_thresholds=parser.component_thresholds,
+        )
+        new_parser, _ = recalibrate_parser(parser2, {"cpu": [110.0] * 5})
+        # active_min should be inherited as 0.15, not the old 0.05 sentinel
+        result_thresh = new_parser.component_thresholds.get("cpu") or new_parser.thresholds
+        assert result_thresh.active_min == pytest.approx(0.15)
+
+    def test_explicit_active_min_overrides_existing(self):
+        from margin.calibrate import recalibrate_parser
+        parser = parser_from_calibration({"cpu": [100.0] * 5})
+        new_parser, _ = recalibrate_parser(parser, {"cpu": [110.0] * 5}, active_min=0.20)
+        result_thresh = new_parser.component_thresholds.get("cpu") or new_parser.thresholds
+        assert result_thresh.active_min == pytest.approx(0.20)
+
+    def test_explicit_005_is_not_swallowed(self):
+        # Regression: before fix, active_min=0.05 was sentinel for "inherit"
+        # so an explicit 0.05 would be silently replaced by existing parser's value
+        from margin.calibrate import recalibrate_parser
+        import dataclasses
+        parser = parser_from_calibration({"cpu": [100.0] * 5})
+        custom_thresh = dataclasses.replace(parser.thresholds, active_min=0.30)
+        parser2 = parser.__class__(
+            baselines=parser.baselines,
+            thresholds=custom_thresh,
+            component_thresholds=parser.component_thresholds,
+        )
+        # Explicitly pass 0.05 — should get 0.05, not 0.30
+        new_parser, _ = recalibrate_parser(parser2, {"cpu": [110.0] * 5}, active_min=0.05)
+        result_thresh = new_parser.component_thresholds.get("cpu") or new_parser.thresholds
+        assert result_thresh.active_min == pytest.approx(0.05)

{margin-0.9.4 → margin-0.9.6}/tests/test_config.py

@@ -181,3 +181,66 @@ class TestLoadConfig:
         assert "policy" in result
         assert "contract" in result
         Path(f.name).unlink()
+
+
+class TestConfigConstraintEscalation:
+    def test_constraint_from_config(self):
+        from margin import from_config
+        cfg = {
+            "components": {"cpu": {"baseline": 50.0, "intact": 40.0, "ablated": 10.0}},
+            "policy": [{
+                "name": "throttle",
+                "when": "any_degraded",
+                "action": {"op": "RESTORE", "alpha": 0.5},
+                "constraint": {"min_alpha": 0.1, "cooldown_steps": 3},
+            }],
+        }
+        result = from_config(cfg)
+        rule = result["policy"].rules[0]
+        assert rule.constraint is not None
+        assert rule.constraint.min_alpha == 0.1
+        assert rule.constraint.cooldown_steps == 3
+
+    def test_escalation_from_config(self):
+        from margin import from_config
+        cfg = {
+            "components": {"cpu": {"baseline": 50.0, "intact": 40.0, "ablated": 10.0}},
+            "policy": [{
+                "name": "alert",
+                "when": "any_ablated",
+                "action": {"op": "NOOP"},
+                "escalation": {"level": "ALERT", "reason": "cpu failed"},
+            }],
+        }
+        result = from_config(cfg)
+        rule = result["policy"].rules[0]
+        assert rule.escalation is not None
+        assert rule.escalation.reason == "cpu failed"
+
+    def test_contract_reach_health_from_config(self):
+        from margin import from_config
+        from margin.contract import ReachHealth
+        cfg = {
+            "components": {"cpu": {"baseline": 50.0, "intact": 40.0, "ablated": 10.0}},
+            "contract": [{
+                "type": "reach_health",
+                "name": "recovery",
+                "component": "cpu",
+                "target": "INTACT",
+                "within_steps": 10,
+            }],
+        }
+        result = from_config(cfg)
+        term = result["contract"].terms[0]
+        assert isinstance(term, ReachHealth)
+        assert term.within_steps == 10
+
+    def test_contract_backward_compat_no_type(self):
+        from margin import from_config
+        from margin.contract import HealthTarget
+        cfg = {
+            "components": {"cpu": {"baseline": 50.0, "intact": 40.0, "ablated": 10.0}},
+            "contract": [{"name": "ok", "component": "cpu", "health": "INTACT"}],
+        }
+        result = from_config(cfg)
+        assert isinstance(result["contract"].terms[0], HealthTarget)

{margin-0.9.4 → margin-0.9.6}/tests/test_contract.py

@@ -222,3 +222,53 @@ class TestContract:
         d = r.to_dict()
         assert d["all_met"] is True
         assert d["n_met"] == 1
+
+
+class TestContractTermFromDict:
+    def test_health_target_roundtrip(self):
+        from margin import contract_term_from_dict
+        from margin import HealthTarget
+        t = HealthTarget(name="t1", component="cpu", target=Health.INTACT)
+        t2 = contract_term_from_dict(t.to_dict())
+        assert isinstance(t2, HealthTarget)
+        assert t2.name == "t1"
+        assert t2.component == "cpu"
+        assert t2.target == Health.INTACT
+        assert t2.or_better is True
+
+    def test_reach_health_roundtrip(self):
+        from margin import contract_term_from_dict
+        from margin import ReachHealth
+        t = ReachHealth(name="r1", component="mem", target=Health.DEGRADED, within_steps=10)
+        t2 = contract_term_from_dict(t.to_dict())
+        assert isinstance(t2, ReachHealth)
+        assert t2.within_steps == 10
+
+    def test_sustain_health_roundtrip(self):
+        from margin import contract_term_from_dict
+        from margin import SustainHealth
+        t = SustainHealth(name="s1", component="cpu", target=Health.INTACT,
+                          for_steps=5, or_better=False)
+        t2 = contract_term_from_dict(t.to_dict())
+        assert isinstance(t2, SustainHealth)
+        assert t2.for_steps == 5
+        assert t2.or_better is False
+
+    def test_recovery_threshold_roundtrip(self):
+        from margin import contract_term_from_dict, RecoveryThreshold
+        t = RecoveryThreshold(name="rt", min_recovery=0.8, over_steps=20)
+        t2 = contract_term_from_dict(t.to_dict())
+        assert isinstance(t2, RecoveryThreshold)
+        assert t2.min_recovery == pytest.approx(0.8)
+
+    def test_no_harmful_roundtrip(self):
+        from margin import contract_term_from_dict, NoHarmful
+        t = NoHarmful(name="nh", over_steps=15)
+        t2 = contract_term_from_dict(t.to_dict())
+        assert isinstance(t2, NoHarmful)
+        assert t2.over_steps == 15
+
+    def test_unknown_type_raises(self):
+        from margin import contract_term_from_dict
+        with pytest.raises(ValueError, match="Unknown"):
+            contract_term_from_dict({"type": "nonexistent", "name": "x"})

{margin-0.9.4 → margin-0.9.6}/tests/test_loop.py

@@ -184,3 +184,40 @@ class TestRun:
     def test_repr(self):
         result = step(_expr(_obs("x", Health.DEGRADED)), self._make_policy())
         assert "CORRECT" in repr(result)
+
+
+class TestFullStepThreading:
+    def _monitor(self):
+        from margin import Monitor, Parser, Thresholds
+        return Monitor(Parser(
+            baselines={"cpu": 50.0},
+            thresholds=Thresholds(intact=40.0, ablated=10.0),
+        ))
+
+    def _policy(self):
+        from margin.policy.core import Policy, PolicyRule, Action
+        from margin.observation import Op
+        from margin.predicates import any_degraded
+        return Policy("p", [PolicyRule("r", any_degraded(), Action("*", Op.RESTORE, 0.5))])
+
+    def test_full_step_confidences_threaded(self):
+        from margin import full_step
+        from margin.confidence import Confidence
+        m = self._monitor()
+        result = full_step(m, {"cpu": 20.0}, self._policy(),
+                           confidences={"cpu": Confidence.HIGH})
+        obs = result.expression.observations[0]
+        assert obs.confidence == Confidence.HIGH
+
+    def test_full_step_label_threaded(self):
+        from margin import full_step
+        m = self._monitor()
+        result = full_step(m, {"cpu": 20.0}, self._policy(), label="step-A")
+        assert result.expression.label == "step-A"
+
+    def test_full_step_provenance_threaded(self):
+        from margin import full_step
+        m = self._monitor()
+        result = full_step(m, {"cpu": 20.0}, self._policy(), provenance=["source-X"])
+        obs = result.expression.observations[0]
+        assert "source-X" in obs.provenance

{margin-0.9.4 → margin-0.9.6}/tests/test_observation.py

@@ -268,3 +268,41 @@ class TestHealthLabel:
         )
         d = obs.to_dict()
         assert "health_label" not in d
+
+
+class TestParserUnknownComponent:
+    def test_warns_on_unknown_component(self):
+        import warnings
+        p = Parser(
+            baselines={"cpu": 50.0},
+            thresholds=Thresholds(intact=40.0, ablated=10.0),
+        )
+        with warnings.catch_warnings(record=True) as w:
+            warnings.simplefilter("always")
+            p.parse({"cpuu": 48.0})  # typo
+        assert len(w) == 1
+        assert "cpuu" in str(w[0].message)
+        assert "no baseline" in str(w[0].message)
+
+    def test_no_warning_for_known_component(self):
+        import warnings
+        p = Parser(
+            baselines={"cpu": 50.0},
+            thresholds=Thresholds(intact=40.0, ablated=10.0),
+        )
+        with warnings.catch_warnings(record=True) as w:
+            warnings.simplefilter("always")
+            p.parse({"cpu": 48.0})
+        assert len(w) == 0
+
+    def test_unknown_component_gets_sigma_zero(self):
+        p = Parser(
+            baselines={"cpu": 50.0},
+            thresholds=Thresholds(intact=40.0, ablated=10.0),
+        )
+        import warnings
+        with warnings.catch_warnings(record=True):
+            warnings.simplefilter("always")
+            expr = p.parse({"unknown": 100.0})
+        obs = expr.observations[0]
+        assert obs.sigma == 0.0

{margin-0.9.4 → margin-0.9.6}/tests/test_policy.py

@@ -379,3 +379,36 @@ class TestSerialization:
         d = {"name": "test", "rules": [{"name": "x", "action": {"op": "RESTORE"}}]}
         with pytest.raises(ValueError, match="No predicate"):
             Policy.from_dict(d, {})
+
+
+class TestActionResolveUnknownTarget:
+    def test_warns_when_named_target_not_in_expression(self):
+        import warnings
+        from margin.policy.core import Policy, PolicyRule, Action
+        from margin.observation import Op, Parser, Expression
+        from margin.health import Thresholds
+        from margin.predicates import any_degraded
+
+        p = Parser(baselines={"cpu": 50.0}, thresholds=Thresholds(intact=40.0, ablated=10.0))
+        expr = p.parse({"cpu": 20.0})
+
+        action = Action(target="nonexistent", op=Op.RESTORE, alpha=0.5)
+        with warnings.catch_warnings(record=True) as w:
+            warnings.simplefilter("always")
+            action.resolve(expr)
+        assert any("nonexistent" in str(x.message) for x in w)
+
+    def test_no_warning_when_target_exists(self):
+        import warnings
+        from margin.policy.core import Action
+        from margin.observation import Op, Parser
+        from margin.health import Thresholds
+
+        p = Parser(baselines={"cpu": 50.0}, thresholds=Thresholds(intact=40.0, ablated=10.0))
+        expr = p.parse({"cpu": 20.0})
+
+        action = Action(target="cpu", op=Op.RESTORE, alpha=0.5)
+        with warnings.catch_warnings(record=True) as w:
+            warnings.simplefilter("always")
+            action.resolve(expr)
+        assert len(w) == 0

{margin-0.9.4 → margin-0.9.6}/tests/test_policy_trace.py

@@ -1,4 +1,5 @@
 import pytest
+from margin.loop import step
 from margin.policy.core import Policy, PolicyRule, Action, Constraint, Escalation, EscalationLevel
 from margin.policy.trace import trace_evaluate, trace_backtest, DecisionTrace
 from margin.observation import Observation, Expression, Op
@@ -140,9 +141,6 @@ class TestBacktestProposedBy:
 
 class TestMultiRule:
     def _make_multi_policy(self):
-        from margin.policy.core import Policy, PolicyRule, Action
-        from margin.observation import Op
-        from margin.predicates import any_health, any_degraded
         return Policy(
             name="multi",
             multi_rule=True,
@@ -169,9 +167,6 @@ class TestMultiRule:
     def test_trace_always_has_all_matched_results(self):
         # trace_evaluate always populates dt.results for all matches;
         # multi_rule only gates StepResult.corrections in step()
-        from margin.policy.core import Policy, PolicyRule, Action
-        from margin.observation import Op
-        from margin.predicates import any_degraded
         policy = Policy(
             name="single",
             multi_rule=False,
@@ -191,7 +186,6 @@ class TestMultiRule:
         assert d["multi_rule"] is True
 
     def test_multi_rule_default_is_false(self):
-        from margin.policy.core import Policy
         policy = Policy(name="p", rules=[])
         assert policy.multi_rule is False
         assert policy.to_dict()["multi_rule"] is False
@@ -199,11 +193,6 @@ class TestMultiRule:
 
 class TestStepResultCorrections:
     def test_step_corrections_populated_multi_rule(self):
-        from margin.loop import step
-        from margin.policy.core import Policy, PolicyRule, Action
-        from margin.observation import Op
-        from margin.predicates import any_degraded
-
         policy = Policy(
             name="multi",
             multi_rule=True,
@@ -216,11 +205,6 @@ class TestStepResultCorrections:
         assert len(result.corrections) >= 1
 
     def test_step_corrections_empty_single_rule(self):
-        from margin.loop import step
-        from margin.policy.core import Policy, PolicyRule, Action
-        from margin.observation import Op
-        from margin.predicates import any_degraded
-
         policy = Policy(
             name="single",
             multi_rule=False,
@@ -229,3 +213,42 @@ class TestStepResultCorrections:
         result = step(_expr(_obs("x", Health.DEGRADED)), policy)
         # multi_rule=False → corrections list is empty (only .correction populated)
         assert result.corrections == []
+
+
+class TestStepResultActed:
+    def test_acted_true_when_correction_active(self):
+        policy = Policy(
+            name="p", multi_rule=False,
+            rules=[PolicyRule("r", any_degraded(), Action(target="*", op=Op.RESTORE, alpha=0.5))],
+        )
+        result = step(_expr(_obs("x", Health.DEGRADED)), policy)
+        assert result.acted is True
+
+    def test_acted_false_on_noop(self):
+        from margin.predicates import any_health
+        policy = Policy(
+            name="p", multi_rule=False,
+            rules=[PolicyRule("r", any_health(Health.DEGRADED), Action(target="*", op=Op.NOOP))],
+        )
+        result = step(_expr(_obs("x", Health.DEGRADED)), policy)
+        assert result.acted is False
+
+    def test_acted_true_when_correction_in_multi_rule_corrections_list(self):
+        # First result is Escalation (no min_alpha satisfied), second is a Correction
+        # multi_rule=True → both fire; acted should see the Correction in .corrections
+        policy = Policy(
+            name="p", multi_rule=True,
+            rules=[
+                PolicyRule("esc", any_degraded(),
+                           Action(target="*", op=Op.RESTORE, alpha=0.1),
+                           constraint=Constraint(min_alpha=0.9),  # suppressed → escalation
+                           priority=10),
+                PolicyRule("fix", any_degraded(),
+                           Action(target="*", op=Op.RESTORE, alpha=0.5),
+                           priority=5),
+            ],
+        )
+        result = step(_expr(_obs("x", Health.DEGRADED, 10.0)), policy)
+        # .corrections contains the Correction from "fix"
+        assert any(c.is_active() for c in result.corrections)
+        assert result.acted is True