spring-runtime-mcp 0.2.0__py3-none-any.whl

spring_runtime_mcp/replay.py

@@ -0,0 +1,220 @@
+"""Fixed offline replay using the actual tool handlers."""
+
+from __future__ import annotations
+
+import argparse
+import asyncio
+import os
+from importlib.resources import files
+from pathlib import Path
+from typing import Any, NoReturn
+
+from .adapters.source_catalog import load_source_catalog
+from .models.common import AnalysisBudget, NormalizationError, ParsedObservation
+from .models.source_catalog import SourceCatalog
+from .policy.sanitization import SanitizerPipeline
+from .policy.configuration import ConfigReadPolicy
+from .snapshots import SnapshotStore
+from .services import Services
+from .diagnostics import failed
+from .transport.bounded_json import loads_bounded
+from .transport.replay_files import read_replay_file
+from .transport.responses import serialize_response
+from .transport.stdio import quiet_console, seal_console
+
+_RESOURCE_ROOT = files("spring_runtime_mcp").joinpath("replay_data")
+# Normal wheel installs expose filesystem resources. Keep the descriptor-based
+# no-symlink reader; unsupported archive importers fail closed rather than using
+# an unbounded resource read or falling back to repository fixtures.
+if not isinstance(_RESOURCE_ROOT, Path):
+    raise NormalizationError("FIXTURE_PATH_DENIED")
+REPLAY_ROOT = _RESOURCE_ROOT / "bean_graph"
+CONFORMANCE_ROOT = REPLAY_ROOT.parent / "conformance"
+PROFILES = ("boot-2.7-servlet", "boot-3.4-servlet", "boot-4.1-webflux")
+_PROFILE_FILES = {
+    "beans": "beans.json",
+    "conditions": "conditions.json",
+    "mappings": "mappings.json",
+    "flyway": "flyway.json",
+    "liquibase": "liquibase.json",
+    "startup": "startup.json",
+    "openapi": "openapi.json",
+    "env": "env.json",
+    "configprops": "configprops.json",
+}
+
+
+class FixtureReader:
+    def __init__(self, bodies: dict[str, dict[str, Any]]) -> None:
+        self.bodies = bodies
+        self.calls: list[str] = []
+
+    async def read(
+        self, target_id: str, endpoint_id: str, *, snapshot_id: str
+    ) -> ParsedObservation:
+        if target_id != "local" or endpoint_id not in self.bodies:
+            raise NormalizationError("CAPABILITY_DISABLED")
+        self.calls.append(endpoint_id)
+        body = self.bodies.get(endpoint_id)
+        if body is None:
+            raise NormalizationError("CAPABILITY_DISABLED")
+        return ParsedObservation(
+            target_id,
+            snapshot_id,
+            "observation_" + endpoint_id,
+            "2026-10-16T00:00:00Z",
+            endpoint_id,
+            body,
+        )
+
+
+def _profile_services(scenario: str) -> Services:
+    root = CONFORMANCE_ROOT / scenario
+    bodies: dict[str, dict[str, Any]] = {}
+    for endpoint, name in _PROFILE_FILES.items():
+        path = root / name
+        if path.exists():
+            bodies[endpoint] = loads_bounded(read_replay_file(CONFORMANCE_ROOT, path))
+    health = root / "health-v3.json"
+    if health.exists():
+        bodies["health"] = loads_bounded(read_replay_file(CONFORMANCE_ROOT, health))
+    return Services(
+        FixtureReader(bodies),
+        SourceCatalog("local", None, {}, (), ()),
+        SanitizerPipeline(),
+        SnapshotStore(),
+        config_policy=ConfigReadPolicy(
+            prefixes=frozenset({"spring", "app"}), allow_values=True, profiles=True
+        ),
+    )
+
+
+def services_for(scenario: str) -> Services:
+    if scenario in PROFILES:
+        return _profile_services(scenario)
+    if scenario not in (
+        "parent-child",
+        "stripe-missing",
+        "factory-method",
+        "nested-conditions",
+    ):
+        raise NormalizationError("INVALID_ARGUMENT")
+    beans_path = REPLAY_ROOT / scenario / "beans.json"
+    substituted = False
+    if not beans_path.exists():
+        beans_path = REPLAY_ROOT / "parent-child/beans.json"
+        substituted = True
+    bodies = {"beans": loads_bounded(read_replay_file(REPLAY_ROOT, beans_path))}
+    conditions_path = REPLAY_ROOT / scenario / "conditions.json"
+    if conditions_path.exists():
+        bodies["conditions"] = loads_bounded(
+            read_replay_file(REPLAY_ROOT, conditions_path)
+        )
+    source_path = REPLAY_ROOT / scenario / "source-catalog.json"
+    catalog = (
+        load_source_catalog(
+            loads_bounded(read_replay_file(REPLAY_ROOT, source_path)),
+            target_id="local",
+            budget=AnalysisBudget(),
+        )
+        if source_path.exists()
+        else SourceCatalog("local", None, {}, (), ())
+    )
+    if substituted:
+        catalog = SourceCatalog(
+            catalog.target_id,
+            catalog.source_revision,
+            catalog.types,
+            catalog.producers,
+            (*catalog.gaps, "FIXTURE_SUBSTITUTED"),
+        )
+    return Services(
+        FixtureReader(bodies), catalog, SanitizerPipeline(), SnapshotStore()
+    )
+
+
+class SafeArgumentParser(argparse.ArgumentParser):
+    def error(self, message: str) -> NoReturn:
+        # argparse normally quotes untrusted argv into stderr.
+        raise NormalizationError("INVALID_ARGUMENT")
+
+
+def main() -> None:
+    exit_code = 0
+    with quiet_console():
+        try:
+            parser = SafeArgumentParser(
+                prog="spring-runtime-mcp-replay", description=__doc__
+            )
+            parser.add_argument(
+                "--scenario",
+                choices=(
+                    "parent-child",
+                    "stripe-missing",
+                    "factory-method",
+                    "nested-conditions",
+                    *PROFILES,
+                ),
+                required=True,
+            )
+            parser.add_argument(
+                "--tool",
+                choices=(
+                    "springboot_analyze_startup",
+                    "springboot_check_migrations",
+                    "springboot_detect_drift",
+                    "springboot_diagnose_health",
+                    "springboot_inspect_beans",
+                    "springboot_inspect_config",
+                    "springboot_search_openapi",
+                    "springboot_verify_mappings",
+                ),
+                required=True,
+            )
+            parser.add_argument("--arguments-json", required=True)
+            args = parser.parse_args()
+            arguments = loads_bounded(args.arguments_json.encode(), max_bytes=16_384)
+            from .tools.registry import call_tool
+
+            result = asyncio.run(
+                call_tool(args.tool, arguments, services_for(args.scenario))
+            )
+            # Offline conformance dependency only; no network/SDK imports.
+            from jsonschema import Draft202012Validator
+
+            from .contracts.definitions import definition
+
+            Draft202012Validator(definition(args.tool)["outputSchema"]).validate(result)
+        except NormalizationError as exc:
+            result = failed(exc.code)
+            exit_code = 2 if exc.code == "INVALID_ARGUMENT" else 1
+        except (asyncio.CancelledError, KeyboardInterrupt):
+            result = failed("REQUEST_CANCELLED")
+            exit_code = 130
+        except SystemExit as exc:
+            result = failed("INVALID_ARGUMENT")
+            exit_code = exc.code if isinstance(exc.code, int) and exc.code != 0 else 2
+        except Exception:
+            result = failed("INTERNAL_ERROR")
+            exit_code = 1
+        try:
+            frame = serialize_response(result) + b"\n"
+        except Exception:
+            frame = serialize_response(failed("INTERNAL_ERROR")) + b"\n"
+            exit_code = 1
+    # Libraries never see the real protocol stream during computation.
+    try:
+        view = memoryview(frame)
+        while view:
+            view = view[os.write(1, view) :]
+    except OSError:
+        exit_code = 1
+    finally:
+        # This command owns the process console until exit, including atexit.
+        seal_console()
+    if exit_code:
+        raise SystemExit(exit_code)
+
+
+if __name__ == "__main__":
+    main()

spring_runtime_mcp/replay_data/bean_graph/README.md

@@ -0,0 +1,26 @@
+# Synthetic Bean and Condition Fixtures
+
+These disposable, sanitized examples are authored from the ExecPlan's inline
+JSON structures. They are not recordings from a running Spring Boot instance
+and do not establish compatibility with any particular Boot release.
+
+- `parent-child/beans.json`: parent lookup, aliases, local name shadowing, and
+  three-hop dependencies; Stripe gateway/client are intentionally absent.
+- `stripe-missing/conditions.json` and `source-catalog.json`: interface-to-
+  implementation mapping, missing required client, and missing property at the
+  client's factory method. The catalog describes source expectations, not
+  observed runtime Beans.
+- `factory-method/`: replaces the gateway component condition source with
+  `example.PaymentConfiguration#stripePaymentGateway`; its declared return type
+  is the interface, with an explicit implementation type. Reuses parent-child
+  Beans rather than duplicating data.
+- `nested-conditions/`: ANY containing ALL and NONE, explicit condition-class
+  paths, and an observed `RemoteClient` for the nested positive Bean match.
+- `shape-metadata.json`: documents synthetic Boot 2.7/3.x/4.x structural profiles.
+  Its version labels are coverage intentions, never runtime version evidence.
+
+The shared `contexts`, `parentId`, aliases, and matched/notMatched shapes are
+tested independently of media-type or framework-version inference. No secrets,
+production addresses, real source files, or credentials are included. Fixture
+loaders return a new object per read so mutation cannot contaminate another test.
+All default tests block outbound DNS and socket connections.

spring_runtime_mcp/replay_data/bean_graph/factory-method/conditions.json

@@ -0,0 +1,43 @@
+{
+  "contexts": {
+    "infrastructure": {
+      "positiveMatches": {},
+      "negativeMatches": {},
+      "unconditionalClasses": []
+    },
+    "application": {
+      "parentId": "infrastructure",
+      "positiveMatches": {
+        "example.FallbackConfiguration": [
+          {
+            "condition": "OnBeanCondition",
+            "message": "@ConditionalOnMissingBean (types: example.StripeClient; SearchStrategy: all) did not find any beans"
+          }
+        ]
+      },
+      "negativeMatches": {
+        "example.StripeConfiguration#stripeClient": {
+          "matched": [],
+          "notMatched": [
+            {
+              "condition": "OnPropertyCondition",
+              "message": "@ConditionalOnProperty (stripe.enabled=true) did not find property 'enabled'"
+            }
+          ]
+        },
+        "example.PaymentConfiguration#stripePaymentGateway": {
+          "matched": [],
+          "notMatched": [
+            {
+              "condition": "OnBeanCondition",
+              "message": "@ConditionalOnBean (types: example.StripeClient; SearchStrategy: all) did not find any beans of type example.StripeClient"
+            }
+          ]
+        }
+      },
+      "unconditionalClasses": [
+        "example.OrderConfiguration"
+      ]
+    }
+  }
+}

spring_runtime_mcp/replay_data/bean_graph/factory-method/source-catalog.json

@@ -0,0 +1,54 @@
+{
+  "targetId": "local",
+  "sourceRevision": "workspace-a1",
+  "types": [
+    {
+      "name": "example.PaymentGateway",
+      "directSupertypes": []
+    },
+    {
+      "name": "example.StripePaymentGateway",
+      "directSupertypes": [
+        "example.PaymentGateway"
+      ]
+    },
+    {
+      "name": "example.StripeClient",
+      "directSupertypes": []
+    }
+  ],
+  "producers": [
+    {
+      "contextId": "application",
+      "beanName": "stripePaymentGateway",
+      "aliases": [
+        "paymentGateway"
+      ],
+      "declaredType": "example.PaymentGateway",
+      "implementationType": "example.StripePaymentGateway",
+      "configurationClass": "example.PaymentConfiguration",
+      "factoryMethod": "stripePaymentGateway",
+      "conditionSources": [
+        "example.PaymentConfiguration#stripePaymentGateway"
+      ],
+      "sourceFile": "src/main/java/example/PaymentConfiguration.java",
+      "sourceLine": 12
+    },
+    {
+      "contextId": "application",
+      "beanName": "stripeClient",
+      "aliases": [
+        "stripeApiClient"
+      ],
+      "declaredType": "example.StripeClient",
+      "implementationType": null,
+      "configurationClass": "example.StripeConfiguration",
+      "factoryMethod": "stripeClient",
+      "conditionSources": [
+        "example.StripeConfiguration#stripeClient"
+      ],
+      "sourceFile": "src/main/java/example/StripeConfiguration.java",
+      "sourceLine": 18
+    }
+  ]
+}

spring_runtime_mcp/replay_data/bean_graph/nested-conditions/beans.json

@@ -0,0 +1,99 @@
+{
+  "contexts": {
+    "infrastructure": {
+      "beans": {
+        "connectionFactory": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.ConnectionFactory",
+          "resource": "class path resource [example/InfrastructureConfiguration.class]",
+          "dependencies": []
+        },
+        "dataSource": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.DataSource",
+          "resource": "class path resource [example/InfrastructureConfiguration.class]",
+          "dependencies": [
+            "connectionFactory"
+          ]
+        },
+        "orderRepository": {
+          "aliases": [
+            "orderRepoAlias"
+          ],
+          "scope": "singleton",
+          "type": "example.OrderRepository",
+          "resource": "class path resource [example/InfrastructureConfiguration.class]",
+          "dependencies": [
+            "dataSource"
+          ]
+        },
+        "client": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.ParentClient",
+          "resource": null,
+          "dependencies": []
+        },
+        "auditService": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.AuditService",
+          "resource": null,
+          "dependencies": [
+            "client"
+          ]
+        }
+      },
+      "parentId": null
+    },
+    "application": {
+      "parentId": "infrastructure",
+      "beans": {
+        "client": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.ChildClient",
+          "resource": null,
+          "dependencies": []
+        },
+        "orderService": {
+          "aliases": [
+            "orders"
+          ],
+          "scope": "singleton",
+          "type": "example.OrderService",
+          "resource": null,
+          "dependencies": [
+            "orderRepoAlias",
+            "client"
+          ]
+        },
+        "orderController": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.OrderController",
+          "resource": null,
+          "dependencies": [
+            "orders"
+          ]
+        },
+        "stripeConfiguration": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.StripeConfiguration",
+          "resource": null,
+          "dependencies": []
+        },
+        "remoteClient": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.RemoteClient",
+          "resource": null,
+          "dependencies": []
+        }
+      }
+    }
+  }
+}

spring_runtime_mcp/replay_data/bean_graph/nested-conditions/conditions.json

@@ -0,0 +1,25 @@
+{
+  "contexts": {
+    "infrastructure": {
+      "positiveMatches": {},
+      "negativeMatches": {},
+      "unconditionalClasses": []
+    },
+    "application": {
+      "parentId": "infrastructure",
+      "positiveMatches": {},
+      "negativeMatches": {
+        "example.PaymentModeCondition": {
+          "matched": [],
+          "notMatched": [
+            {
+              "condition": "example.PaymentModeCondition",
+              "message": "AnyNestedCondition 0 matched 2 did not; NestedCondition on example.PaymentModeCondition.Card AllNestedConditions 0 matched 1 did not; NestedCondition on example.PaymentModeCondition.Card.Enabled @ConditionalOnProperty (card.enabled=true) did not find property 'enabled'; NestedCondition on example.PaymentModeCondition.Remote NoneNestedConditions 1 matched 0 did not; NestedCondition on example.PaymentModeCondition.Remote.Client @ConditionalOnBean (types: example.RemoteClient; SearchStrategy: all) found bean 'remoteClient'"
+            }
+          ]
+        }
+      },
+      "unconditionalClasses": []
+    }
+  }
+}

spring_runtime_mcp/replay_data/bean_graph/parent-child/beans.json

@@ -0,0 +1,92 @@
+{
+  "contexts": {
+    "infrastructure": {
+      "beans": {
+        "connectionFactory": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.ConnectionFactory",
+          "resource": "class path resource [example/InfrastructureConfiguration.class]",
+          "dependencies": []
+        },
+        "dataSource": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.DataSource",
+          "resource": "class path resource [example/InfrastructureConfiguration.class]",
+          "dependencies": [
+            "connectionFactory"
+          ]
+        },
+        "orderRepository": {
+          "aliases": [
+            "orderRepoAlias"
+          ],
+          "scope": "singleton",
+          "type": "example.OrderRepository",
+          "resource": "class path resource [example/InfrastructureConfiguration.class]",
+          "dependencies": [
+            "dataSource"
+          ]
+        },
+        "client": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.ParentClient",
+          "resource": null,
+          "dependencies": []
+        },
+        "auditService": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.AuditService",
+          "resource": null,
+          "dependencies": [
+            "client"
+          ]
+        }
+      },
+      "parentId": null
+    },
+    "application": {
+      "parentId": "infrastructure",
+      "beans": {
+        "client": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.ChildClient",
+          "resource": null,
+          "dependencies": []
+        },
+        "orderService": {
+          "aliases": [
+            "orders"
+          ],
+          "scope": "singleton",
+          "type": "example.OrderService",
+          "resource": null,
+          "dependencies": [
+            "orderRepoAlias",
+            "client"
+          ]
+        },
+        "orderController": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.OrderController",
+          "resource": null,
+          "dependencies": [
+            "orders"
+          ]
+        },
+        "stripeConfiguration": {
+          "aliases": [],
+          "scope": "singleton",
+          "type": "example.StripeConfiguration",
+          "resource": null,
+          "dependencies": []
+        }
+      }
+    }
+  }
+}

spring_runtime_mcp/replay_data/bean_graph/shape-metadata.json

@@ -0,0 +1,32 @@
+{
+  "provenance": "synthetic",
+  "sanitized": true,
+  "realInstanceIntegrationVerified": false,
+  "scenarios": [
+    "parent-child",
+    "stripe-missing",
+    "factory-method",
+    "nested-conditions"
+  ],
+  "shapeProfiles": [
+    {
+      "bootFamily": "2.7",
+      "actuatorRepresentation": "v3",
+      "namespace": "javax",
+      "integrationVerified": false
+    },
+    {
+      "bootFamily": "3.x",
+      "actuatorRepresentation": "v3",
+      "namespace": "jakarta",
+      "integrationVerified": false
+    },
+    {
+      "bootFamily": "4.x",
+      "actuatorRepresentation": "v3",
+      "namespace": "jakarta",
+      "integrationVerified": false
+    }
+  ],
+  "notice": "Shared structural examples only. Metadata does not establish exact-version compatibility or report an observed Boot version."
+}

spring_runtime_mcp/replay_data/bean_graph/stripe-missing/conditions.json

@@ -0,0 +1,43 @@
+{
+  "contexts": {
+    "infrastructure": {
+      "positiveMatches": {},
+      "negativeMatches": {},
+      "unconditionalClasses": []
+    },
+    "application": {
+      "parentId": "infrastructure",
+      "positiveMatches": {
+        "example.FallbackConfiguration": [
+          {
+            "condition": "OnBeanCondition",
+            "message": "@ConditionalOnMissingBean (types: example.StripeClient; SearchStrategy: all) did not find any beans"
+          }
+        ]
+      },
+      "negativeMatches": {
+        "example.StripePaymentGateway": {
+          "matched": [],
+          "notMatched": [
+            {
+              "condition": "OnBeanCondition",
+              "message": "@ConditionalOnBean (types: example.StripeClient; SearchStrategy: all) did not find any beans of type example.StripeClient"
+            }
+          ]
+        },
+        "example.StripeConfiguration#stripeClient": {
+          "matched": [],
+          "notMatched": [
+            {
+              "condition": "OnPropertyCondition",
+              "message": "@ConditionalOnProperty (stripe.enabled=true) did not find property 'enabled'"
+            }
+          ]
+        }
+      },
+      "unconditionalClasses": [
+        "example.OrderConfiguration"
+      ]
+    }
+  }
+}