link interval enclosure verifier

Author: Grace Lee Rui Yue

src/jacobian/polynomial_interval_capabilities.py

@@ -40,6 +40,9 @@
 from jacobian.contracts.capabilities import (
     CapabilityAssurance,
     CapabilityAssuranceLevel,
+    CapabilityCatalogRelationship,
+    CapabilityCatalogRelationshipKind,
+    CapabilityCatalogRelationshipRegistration,
     CapabilityCompleteness,
     CapabilityCompletenessStatus,
     CapabilityDescriptor,
@@ -115,6 +118,7 @@ class PolynomialIntervalInstallation:
     claim_schema_uri: str
     certificate_schema_uri: str
     checker_id: str | None
+    catalog_relationships: tuple[CapabilityCatalogRelationshipRegistration, ...] = ()
 
 
 @dataclass(frozen=True, slots=True)
@@ -218,6 +222,28 @@ def install_polynomial_interval_capabilities(
         )
         .checker_id
     )
+    catalog_relationships = (
+        (
+            CapabilityCatalogRelationshipRegistration(
+                source_capability_id="polynomial.interval.enclose",
+                related_capability=CapabilityCatalogRelationship(
+                    capability_id="polynomial.interval.enclosure.verify",
+                    kind=CapabilityCatalogRelationshipKind.INDEPENDENT_VERIFIER,
+                    relationship="independently verify this exact interval enclosure",
+                ),
+            ),
+            CapabilityCatalogRelationshipRegistration(
+                source_capability_id="polynomial.interval.enclosure.verify",
+                related_capability=CapabilityCatalogRelationship(
+                    capability_id="polynomial.interval.enclose",
+                    kind=CapabilityCatalogRelationshipKind.VERIFIABLE_RESULT_PRODUCER,
+                    relationship="produce the exact enclosure accepted by this verifier",
+                ),
+            ),
+        )
+        if checker_id is not None
+        else ()
+    )
     installation = PolynomialIntervalInstallation(
         semantics_uri=semantics_uri,
         polynomial_semantics_uri=polynomial_semantics_uri,
@@ -227,6 +253,7 @@ def install_polynomial_interval_capabilities(
         claim_schema_uri=claim_schema_uri,
         certificate_schema_uri=certificate_schema_uri,
         checker_id=checker_id,
+        catalog_relationships=catalog_relationships,
     )
     resources = PolynomialIntervalResources(
         store=store,

src/jacobian/portfolio/resource_installation.py

@@ -58,7 +58,6 @@ def install(self, result: PortfolioInstallation) -> None:
         for interval_adapter in interval_adapters:
             if interval_adapter is not None:
                 ctx.register_capability(interval_adapter)
-
         positivity_adapters, result.polynomial_positivity = (
             install_polynomial_positivity_capabilities(
                 ctx.store,
@@ -72,7 +71,10 @@ def install(self, result: PortfolioInstallation) -> None:
         for positivity_adapter in positivity_adapters:
             if positivity_adapter is not None:
                 ctx.register_capability(positivity_adapter)
-        for relationship in result.polynomial_positivity.catalog_relationships:
+        for relationship in (
+            *result.polynomial_interval.catalog_relationships,
+            *result.polynomial_positivity.catalog_relationships,
+        ):
             ctx.register_checker_relationship(
                 relationship.source_capability_id,
                 relationship.related_capability,

tests/boundary/mcp/test_mcp_invocation_journey.py

@@ -89,6 +89,25 @@ async def scenario() -> None:
                 }
             ]
 
+            enclosure_description = await client.call_tool(
+                "math.find",
+                {
+                    "capability_id": "polynomial.interval.enclose",
+                    "view": "CONTRACT",
+                },
+            )
+            assert isinstance(enclosure_description.structured_content, dict)
+            enclosure_contract = enclosure_description.structured_content
+            assert enclosure_contract["related_capabilities"] == [
+                {
+                    "capability_id": "polynomial.interval.enclosure.verify",
+                    "kind": "INDEPENDENT_VERIFIER",
+                    "relationship": (
+                        "independently verify this exact interval enclosure"
+                    ),
+                }
+            ]
+
             positivity_description = await client.call_tool(
                 "math.find",
                 {

tests/domain/polynomial/test_polynomial_interval_capabilities.py

@@ -9,6 +9,7 @@
 from jacobian.capability_service import CapabilityInvocationError
 from jacobian.contracts.capabilities import (
     CapabilityAssuranceLevel,
+    CapabilityCatalogRelationshipKind,
     CapabilityRelationshipStatus,
     CapabilityRequest,
 )
@@ -59,6 +60,24 @@ def test_verify_adapter_rejects_missing_authorized_checker(installation) -> None
         PolynomialIntervalEnclosureVerifyAdapter(resources)
 
 
+def test_installation_declares_reciprocal_checker_navigation(installation) -> None:
+    _adapters, installed, _store = installation
+    relationships = installed.catalog_relationships
+
+    assert [item.source_capability_id for item in relationships] == [
+        "polynomial.interval.enclose",
+        "polynomial.interval.enclosure.verify",
+    ]
+    assert [item.related_capability.capability_id for item in relationships] == [
+        "polynomial.interval.enclosure.verify",
+        "polynomial.interval.enclose",
+    ]
+    assert [item.related_capability.kind for item in relationships] == [
+        CapabilityCatalogRelationshipKind.INDEPENDENT_VERIFIER,
+        CapabilityCatalogRelationshipKind.VERIFIABLE_RESULT_PRODUCER,
+    ]
+
+
 def test_enclose_capability_computes_a_valid_bernstein_enclosure(
     installation,
 ) -> None: