Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion src/cmcp_verify/embodied_action.py
Original file line number Diff line number Diff line change
Expand Up @@ -279,7 +279,10 @@ def verify_embodied_action_evidence(
verified_fields.append("tool_catalog_hash")

agent_id = _claim_agent_id(claim_json)
if agent_id is not None:
gateway = claim_json.get("gateway")
if isinstance(gateway, dict) and "agent_identity" in gateway and not agent_id:
failures.append("claim_json.gateway.agent_identity.agent_id must be a non-empty string")
elif agent_id is not None:
if detached_payload.get("agent_id") != agent_id:
failures.append("agent_id does not match TRACE Claim agent identity")
else:
Expand Down
14 changes: 11 additions & 3 deletions tests/unit/test_embodied_action_evidence.py
Original file line number Diff line number Diff line change
Expand Up @@ -291,13 +291,21 @@ def test_agent_identity_mismatch_fails():
assert any("agent_id" in failure for failure in result.failures)


def test_non_object_agent_identity_is_ignored():
@pytest.mark.parametrize("identity", [None, {}, {"agent_id": 42}, {"agent_id": ""}, "not-an-object"])
def test_malformed_present_agent_identity_fails(identity):
fixture = copy.deepcopy(_fixture())
fixture["trace_claim"]["gateway"]["agent_identity"] = "not-an-object"

fixture["trace_claim"]["gateway"]["agent_identity"] = identity
result = _verify_fixture(fixture)
assert not result.verified
assert any("agent_identity.agent_id" in failure for failure in result.failures)


def test_absent_agent_identity_keeps_optional_binding():
fixture = copy.deepcopy(_fixture())
fixture["trace_claim"]["gateway"].pop("agent_identity", None)
result = _verify_fixture(fixture)
assert result.verified, result.failures
assert "agent_id" not in result.verified_fields


def test_ros2_must_be_object_when_present():
Expand Down
Loading