Remove CapabilityMode entirely from the codebase

Delete the CapabilityMode enum, all mode/modes fields from capability
contracts (Descriptor, Request, Result, InvocationExample, DiscoveryMatch),
mode-based policy filtering (allowed_modes/denied_modes), mode stamping
in dispatch, mode from telemetry logging, and assurance_ceiling from MCP
projections. Checkers are separate catalog IDs, not a mode switch.

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>

Author: morluto

src/jacobian/adapters/mcp/guidance.py

@@ -38,12 +38,12 @@
 
 Forms:
 - `query`: plain-language mathematical outcome (compact tool cards).
-- Optional `domain` filter; `limit` 1–20 (default 5).
+- Optional `domain` filter; `limit` 1-20 (default 5).
 - Omit arguments to browse; follow `next_cursor` with the same filters to continue.
 - Ranking is deterministic lexical retrieval; matches are not recommendations.
 - `capability_id`: exact inspect (SUMMARY / CONTRACT / FULL views).
 
-Checker tools are separate IDs (often `*.verify`), not a mode switch on producers.
+Checker tools are separate IDs (often `*.verify`), not a switch on producers.
 
 Examples:
 - `{"query":"compute an exact matrix determinant","domain":"matrix","limit":3}`
@@ -58,7 +58,7 @@
 
 Ordinary tools return calculations. Independent checking uses a separate checker
 tool ID (for example `polynomial.identity.verify` or `case.partition.finite.verify`),
-not a mode on the producer. Failed or incomplete runs are not mathematical conclusions.
+not a switch on the producer. Failed or incomplete runs are not mathematical conclusions.
 
 Examples:
 - `{"capability_id":"integer.compute.gcd","payload":{"left":"84","right":"30"}}`

src/jacobian/adapters/mcp/projections.py

@@ -25,7 +25,6 @@
     CapabilityDiscoveryRemoveUnknownDomainRecoveryPath,
     CapabilityDiscoveryRequest,
     CapabilityInputKind,
-    CapabilityMode,
     CapabilityRequest,
     CapabilityResult,
 )
@@ -216,9 +215,6 @@ def _discovery_operation_card(
         "produced_artifact_types": list(descriptor.produced_artifact_types),
         "output_schema_summary": _output_schema_summary(descriptor.output_schema),
         "scope": "EXACT_SUPPLIED_INPUT_OR_CLAIM",
-        "assurance_ceiling": (
-            "VERIFIED" if CapabilityMode.VERIFY in descriptor.modes else "COMPUTED"
-        ),
         "provider_availability": (
             runtime.availability.value if runtime is not None else "UNKNOWN"
         ),

src/jacobian/adapters/mcp/tooling.py

@@ -20,7 +20,6 @@
 )
 from jacobian.canonical import canonicalize_json
 from jacobian.contracts.capabilities import (
-    CapabilityMode,
     CapabilityRequest,
     CapabilityResult,
 )
@@ -362,7 +361,6 @@ def _response_size(value: Any) -> int:
 def _log_capability_attempt(
     *,
     capability_id: str,
-    mode: CapabilityMode,
     started: float,
     argument_digest: str,
     request_digest: str,
@@ -387,7 +385,7 @@ def _log_capability_attempt(
     codes = ",".join(diagnostic_codes[:8]) or "none"
     _LOGGER.info(
         "MCP capability attempt request_digest=%s trace_digest=%s trace_source=%s "
-        "capability_id=%s capability_version=%s mode=%s "
+        "capability_id=%s capability_version=%s "
         "execution_status=%s assurance=%s diagnostic_codes=%s "
         "attempt_duration_ms=%.3f operation_runtime_ms=%s "
         "response_bytes=%d argument_digest=%s",
@@ -396,7 +394,6 @@ def _log_capability_attempt(
         trace_source,
         capability_id,
         capability_version,
-        mode.value,
         execution_status or "ERROR",
         assurance,
         codes,
@@ -412,7 +409,6 @@ async def _invoke_capability_attempt(
     *,
     capability_id: str,
     payload: dict[str, Any],
-    mode: CapabilityMode | None = None,
     ctx: Any | None,
 ) -> CapabilityResult:
     started = time.monotonic()
@@ -425,10 +421,8 @@ async def _invoke_capability_attempt(
     trace_digest, trace_source = _request_trace_digest(ctx)
     request_digest = _request_id_digest(ctx)
     cancellation_event = threading.Event()
-    # mode is stamped from the tool descriptor at dispatch; clients do not choose it.
     request = CapabilityRequest(
         capability_id=capability_id,
-        mode=mode,
         input=payload,
     )
     try:
@@ -441,15 +435,9 @@ async def _invoke_capability_attempt(
         )
     except asyncio.CancelledError as exc:
         drained = getattr(exc, "drained_result", None)
-        log_mode = (
-            drained.mode
-            if isinstance(drained, CapabilityResult)
-            else CapabilityMode.EXPLORE
-        )
         if isinstance(drained, CapabilityResult):
             _log_capability_attempt(
                 capability_id=capability_id,
-                mode=log_mode,
                 started=started,
                 argument_digest=argument_digest,
                 request_digest=request_digest,
@@ -460,7 +448,6 @@ async def _invoke_capability_attempt(
         else:
             _log_capability_attempt(
                 capability_id=capability_id,
-                mode=log_mode,
                 started=started,
                 argument_digest=argument_digest,
                 request_digest=request_digest,
@@ -473,7 +460,6 @@ async def _invoke_capability_attempt(
     except Exception:
         _log_capability_attempt(
             capability_id=capability_id,
-            mode=CapabilityMode.EXPLORE,
             started=started,
             argument_digest=argument_digest,
             request_digest=request_digest,
@@ -485,7 +471,6 @@ async def _invoke_capability_attempt(
         raise
     _log_capability_attempt(
         capability_id=capability_id,
-        mode=result.mode,
         started=started,
         argument_digest=argument_digest,
         request_digest=request_digest,

src/jacobian/adapters/mcp/tools.py

@@ -84,7 +84,6 @@ class _CapabilityDiscoveryOperationCard(CapabilityDiscoveryMatch):
     output_schema_summary: _SchemaSummary
     input_schema_summary: _SchemaSummary | None = None
     scope: Literal["EXACT_SUPPLIED_INPUT_OR_CLAIM"]
-    assurance_ceiling: Literal["COMPUTED", "VERIFIED"]
     provider_availability: CapabilityProviderAvailability | Literal["UNKNOWN"]
     related_capabilities: tuple[_RelatedCapability, ...]
     invocation_example: _DiscoveryInvocationExample | None = None
@@ -315,14 +314,12 @@ def _find_text_projection(response: dict[str, Any]) -> dict[str, Any]:
                         "capability_id",
                         "title",
                         "description",
-                        "modes",
                         "accepted_input_kinds",
                         "accepted_artifact_types",
                         "produced_artifact_types",
                         "input_schema_summary",
                         "output_schema_summary",
                         "scope",
-                        "assurance_ceiling",
                         "provider_availability",
                         "related_capabilities",
                         "invocation_example",
@@ -354,7 +351,6 @@ def _find_text_projection(response: dict[str, Any]) -> dict[str, Any]:
             "capability_id",
             "title",
             "description",
-            "modes",
             "accepted_input_kinds",
             "accepted_artifact_types",
             "produced_artifact_types",
@@ -677,7 +673,6 @@ async def capability_invoke(
             active_runtime,
             capability_id=capability_id,
             payload=payload,
-            mode=None,
             ctx=ctx,
         )
         result = _bounded_run_result(active_runtime, result)

src/jacobian/atomic_capabilities.py

@@ -20,7 +20,6 @@
     CapabilityCompleteness,
     CapabilityCompletenessStatus,
     CapabilityDescriptor,
-    CapabilityMode,
     CapabilityProviderAvailability,
     CapabilityRequest,
     CapabilityResult,
@@ -76,7 +75,6 @@ def __init__(
         capability_id: str,
         title: str,
         description: str,
-        modes: tuple[CapabilityMode, ...],
         input_schema: dict[str, Any],
         output_schema: dict[str, Any],
         invoke: Callable[[dict[str, Any]], Any],
@@ -97,7 +95,6 @@ def __init__(
             description=description,
             provider=provider,
             provider_runtime=known_provider_runtime(provider, features=tags),
-            modes=modes,
             input_schema=input_schema,
             output_schema=output_schema,
             read_only=read_only,
@@ -148,7 +145,6 @@ def invoke(self, request: CapabilityRequest) -> CapabilityResult:
         return CapabilityResult(
             capability_id=self.descriptor.capability_id,
             capability_version=self.descriptor.version,
-            mode=request.mode,
             execution=execution,
             output=output,
             scope=scope,
@@ -184,7 +180,6 @@ def _adapter(**kwargs: Any) -> AtomicServiceAdapter:
             capability_id="artifact.put",
             title="Store a schema-validated artifact",
             description="Materialize one immutable artifact with explicit lineage.",
-            modes=(CapabilityMode.EXPLORE,),
             input_schema=_schema(
                 {
                     "schema_uri": _ARTIFACT_URI,
@@ -214,7 +209,6 @@ def _adapter(**kwargs: Any) -> AtomicServiceAdapter:
             capability_id="claim.validate",
             title="Validate a claim against one plugin",
             description="Check claim schema, semantics, and declared plugin capabilities.",
-            modes=(CapabilityMode.EXPLORE,),
             input_schema=_schema(
                 {"claim_uri": _ARTIFACT_URI, "plugin_id": _ARTIFACT_URI},
                 required=("claim_uri", "plugin_id"),
@@ -228,7 +222,6 @@ def _adapter(**kwargs: Any) -> AtomicServiceAdapter:
             capability_id="evaluate.batch",
             title="Evaluate candidates",
             description="Run a plugin evaluator over a bounded batch without verification.",
-            modes=(CapabilityMode.EXPLORE,),
             input_schema=_schema(
                 {
                     "claim_uri": _ARTIFACT_URI,
@@ -272,7 +265,6 @@ def _adapter(**kwargs: Any) -> AtomicServiceAdapter:
             capability_id="witness.find",
             title="Find one witness",
             description="Search for a witness or a bounded no-witness certificate proposal.",
-            modes=(CapabilityMode.EXPLORE,),
             input_schema=_schema(
                 {
                     "claim_uri": _ARTIFACT_URI,
@@ -312,7 +304,6 @@ def _adapter(**kwargs: Any) -> AtomicServiceAdapter:
             capability_id="witness.verify",
             title="Verify one witness",
             description="Replay one witness with an explicitly selected authorized checker.",
-            modes=(CapabilityMode.VERIFY,),
             input_schema=_verification_schema(
                 {
                     "claim_uri": _ARTIFACT_URI,
@@ -332,7 +323,6 @@ def _adapter(**kwargs: Any) -> AtomicServiceAdapter:
             capability_id="certificate.verify",
             title="Verify one certificate",
             description="Replay one certificate with a compatible authorized checker.",
-            modes=(CapabilityMode.VERIFY,),
             input_schema=_verification_schema(
                 {"certificate_uri": _ARTIFACT_URI, "checker_id": _CHECKER_URI},
                 required=("certificate_uri",),
@@ -347,7 +337,6 @@ def _adapter(**kwargs: Any) -> AtomicServiceAdapter:
             capability_id="shrink.run",
             title="Shrink a candidate or witness",
             description="Apply bounded reductions and replay each accepted preservation claim.",
-            modes=(CapabilityMode.EXPLORE,),
             input_schema=_schema(
                 {
                     "target_kind": {"enum": ["candidate", "witness"]},

src/jacobian/atomic_domain_capabilities.py

@@ -7,7 +7,6 @@
 from jacobian.atomic_capability_builders import AdapterFactory, SchemaBuilder
 from jacobian.contracts.capabilities import (
     CapabilityAssuranceLevel,
-    CapabilityMode,
 )
 from jacobian.contracts.conjectures import ParameterRegion
 from jacobian.contracts.polytope import PolytopeSeparateRequest, PolytopeSeparateResult
@@ -40,7 +39,6 @@ def build_domain_adapters(
                 "Materialize a plugin-proposed transformation and its verification "
                 "obligation."
             ),
-            modes=(CapabilityMode.EXPLORE,),
             input_schema=schema(
                 {
                     "source_uri": artifact_uri,
@@ -92,7 +90,6 @@ def build_domain_adapters(
                 "Replay one transformation relation with its compatible authorized "
                 "checker."
             ),
-            modes=(CapabilityMode.VERIFY,),
             input_schema=schema(
                 {"transformation_uri": artifact_uri},
                 required=("transformation_uri",),
@@ -109,7 +106,6 @@ def build_domain_adapters(
             description=(
                 "Compute exact membership evidence or a separator; replay is separate."
             ),
-            modes=(CapabilityMode.EXPLORE,),
             input_schema=schema(
                 {
                     "point_uri": artifact_uri,
@@ -143,7 +139,6 @@ def build_domain_adapters(
                 "Replay a record bound to an immutable region before marking it "
                 "verified."
             ),
-            modes=(CapabilityMode.VERIFY,),
             input_schema=schema(
                 {
                     "subject_uri": artifact_uri,

src/jacobian/atomic_experiment_capabilities.py

@@ -10,7 +10,6 @@
 from jacobian.atomic_capability_builders import AdapterFactory, SchemaBuilder
 from jacobian.contracts.capabilities import (
     CapabilityAssuranceLevel,
-    CapabilityMode,
 )
 from jacobian.contracts.discovery import (
     ExperimentCancelResult,
@@ -48,7 +47,6 @@ def build_experiment_adapters(
                 "Compute a plugin-defined canonical representative without "
                 "self-certification."
             ),
-            modes=(CapabilityMode.EXPLORE,),
             input_schema=schema(
                 {
                     "structure_uri": artifact_uri,
@@ -74,7 +72,6 @@ def build_experiment_adapters(
                 "Start one durable candidate-enumeration experiment; it cannot "
                 "self-certify."
             ),
-            modes=(CapabilityMode.EXPLORE,),
             input_schema=schema(
                 {
                     "claim_uri": artifact_uri,
@@ -102,7 +99,6 @@ def build_experiment_adapters(
                 "Read the durable state and accounting of one enumeration or "
                 "search experiment."
             ),
-            modes=(CapabilityMode.EXPLORE,),
             input_schema=schema(
                 {"experiment_uri": experiment_uri},
                 required=("experiment_uri",),
@@ -120,7 +116,6 @@ def build_experiment_adapters(
             description=(
                 "Wait for a bounded interval and return the latest experiment snapshot."
             ),
-            modes=(CapabilityMode.EXPLORE,),
             input_schema=schema(
                 {
                     "experiment_uri": experiment_uri,
@@ -148,7 +143,6 @@ def build_experiment_adapters(
             description=(
                 "Request cancellation of one running enumeration or search experiment."
             ),
-            modes=(CapabilityMode.EXPLORE,),
             input_schema=schema(
                 {"experiment_uri": experiment_uri},
                 required=("experiment_uri",),