Quarkus integration via shared transport (ADR-0003 + ADR-0006)

Mounts Smithy operations on Quarkus's Vert.x HTTP server via a new
upstream :server:server-vertx-bridge module — no separate Smithy
listener. Replaces the experimental @produces Server shape with
@produces Service.

Upstream (smithy-java)
  * server-vertx-bridge: SmithyServiceBridge.bridge(services).bind(router)
    plus BoundBridge (unbind / shutdown) and BridgeOptions
    (path-prefix, workers, shutdown-grace). Routes are derived per
    operation; multi-protocol same-path requests (rpcv2-cbor +
    rpcv2-json on /service/X/operation/Y) collapse into one route
    that picks protocol by smithy-protocol header.
  * ServerProtocol.enumerateRoutes() + RouteSpec record. restJson1
    uses @http(method, uri); rpcv2 computes /service/<Name>/operation/<Op>
    and skips services whose operations carry @http traits (avoids
    phantom mounts).
  * server-api package promoted out of @SmithyUnstableApi; bridge
    consumers now see a stable surface.
  * BasicServiceExample under examples/end-to-end demonstrating the
    bridge against plain Vert.x (no Quarkus).

quarkus-smithy extension
  * SmithyVertxRecorder + SmithyProcessor mount the bridge on
    mainRouter at RUNTIME_INIT, register unbind/shutdown tasks, and
    short-circuit silently when no @produces Service beans exist
    (ADR-0006 OQ7).
  * SmithyServerConfig (@ConfigMapping prefix=quarkus.smithy.server)
    exposes path-prefix, workers, shutdown-grace.
  * UnremovableBeanBuildItem retains user @produces Service beans.

examples/quarkus-server (canonical example)
  * Standalone Gradle build (its own gradlew) that consumes
    smithy-java only via mavenLocal — required because Quarkus
    workspace discovery would otherwise substitute sibling raw
    build/classes for json-codec's shaded jar and split the
    classloader graph.
  * Service-bean producer for CoffeeShop; full Dev & Test guide in
    README (boot, curl probes, hot reload, path-prefix, packaged
    jar, Dev UI, integration tests).

Cleanup
  * Delete examples/quarkus-types and examples/quarkus-client. The
    extension is server-only today; Typed-client and Types-only are
    documented as future directions in README.md and CONTEXT.md but
    no longer ship as supported user-facing programming models.
  * Delete the experimental SmithyServerLifecycle observer
    (@produces Server path).
  * Drop the implementation-plan doc; ADR-0006 §Implementation is
    now the canonical record.
  * settings.gradle.kts no longer includes :examples:quarkus-{server,
    client,types} (server is intentionally standalone).

Verification
  * :server:server-vertx-bridge:test 16/16
  * :quarkus-smithy-integration-tests:test green
  * :aws:server:aws-server-restjson:integ + rpcv2 integ green
  * Prod jar smoke (java -jar quarkus-run.jar): GET /menu 200,
    PUT /order 200, GET /order/:id 200, GET /no-such 404 with
    correct payloads
  * Dev mode (quarkusDev): same four probes pass; hot reload works
    via BoundBridge.unbind()

Author: chenliu0831

aws/server/aws-server-restjson/src/main/java/software/amazon/smithy/java/aws/server/restjson/AwsRestJson1Protocol.java

@@ -32,6 +32,7 @@
 import software.amazon.smithy.java.server.Service;
 import software.amazon.smithy.java.server.core.HttpJob;
 import software.amazon.smithy.java.server.core.Job;
+import software.amazon.smithy.java.server.core.RouteSpec;
 import software.amazon.smithy.java.server.core.ServerProtocol;
 import software.amazon.smithy.java.server.core.ServiceProtocolResolutionRequest;
 import software.amazon.smithy.java.server.core.ServiceProtocolResolutionResult;
@@ -47,11 +48,20 @@ final class AwsRestJson1Protocol extends ServerProtocol {
     private final Codec codec;
     private final Map<String, UriMatcherMap<Operation<?, ?>>> httpMethodToMatchersMap;
     private final HttpBinding httpBinding = new HttpBinding();
+    private final List<RouteSpec> routes;
 
     AwsRestJson1Protocol(List<Service> services) {
         super(services);
+        var routesList = new java.util.ArrayList<RouteSpec>();
         var httpMethodToMatchers = new HashMap<String, UriMatcherMapBuilder<Operation<?, ?>>>();
         for (Service service : services) {
+            // restJson1 only owns operations with an @http trait — the
+            // inner-loop httpTrait check below naturally excludes
+            // operations that belong to other protocols. Filtering by
+            // service-level protocol trait was tried but doesn't work:
+            // codegen-generated services may carry no traits on the
+            // service schema (the protocol shows up only on operations
+            // and members).
             for (var operation : service.getAllOperations()) {
                 // Only process operations with HTTP trait.
                 var httpTrait = operation.getApiOperation()
@@ -66,6 +76,7 @@ final class AwsRestJson1Protocol extends ServerProtocol {
                         .toString();
                 httpMethodToMatchers.computeIfAbsent(method, k -> UriTreeMatcherMap.builder())
                         .add(UriPattern.forSpecificityRouting(pattern), operation);
+                routesList.add(new RouteSpec(method, smithyToVertxPath(pattern), service, operation));
             }
         }
         this.httpMethodToMatchersMap = httpMethodToMatchers.entrySet()
@@ -75,6 +86,50 @@ final class AwsRestJson1Protocol extends ServerProtocol {
                 .useJsonName(true)
                 .useTimestampFormat(true)
                 .build();
+        this.routes = List.copyOf(routesList);
+    }
+
+    @Override
+    public List<RouteSpec> enumerateRoutes() {
+        return routes;
+    }
+
+    /**
+     * Translate a Smithy URI pattern to Vert.x route syntax. Smithy uses
+     * {@code /order/{id}} (and {@code /order/{id+}} for greedy labels);
+     * Vert.x uses {@code /order/:id} (and {@code /order/*} for greedy
+     * tails).
+     */
+    private static String smithyToVertxPath(String smithyPattern) {
+        // Strip query string portion if present; Vert.x routes match
+        // path only, query handled by the underlying request.
+        int qIdx = smithyPattern.indexOf('?');
+        String path = qIdx >= 0 ? smithyPattern.substring(0, qIdx) : smithyPattern;
+        StringBuilder out = new StringBuilder(path.length());
+        int i = 0;
+        while (i < path.length()) {
+            char c = path.charAt(i);
+            if (c == '{') {
+                int end = path.indexOf('}', i);
+                if (end < 0) {
+                    throw new IllegalArgumentException("Unterminated label in Smithy URI pattern: " + smithyPattern);
+                }
+                String label = path.substring(i + 1, end);
+                if (label.endsWith("+")) {
+                    // Greedy label: Vert.x has no per-segment greedy syntax,
+                    // so use trailing wildcard. Any operation using a greedy
+                    // label must be the last segment of the pattern.
+                    out.append('*');
+                } else {
+                    out.append(':').append(label);
+                }
+                i = end + 1;
+            } else {
+                out.append(c);
+                i++;
+            }
+        }
+        return out.toString();
     }
 
     @Override

examples/end-to-end/build.gradle.kts

@@ -17,6 +17,7 @@ dependencies {
 
     // Server dependencies
     implementation("software.amazon.smithy.java:server-netty:$smithyJavaVersion")
+    implementation("software.amazon.smithy.java:server-vertx-bridge:$smithyJavaVersion")
     implementation("software.amazon.smithy.java:aws-server-restjson:$smithyJavaVersion")
 
     // Client dependencies

examples/end-to-end/src/main/java/software/amazon/smithy/java/server/example/BasicServiceExample.java

@@ -0,0 +1,47 @@
+/*
+ * Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+package software.amazon.smithy.java.server.example;
+
+import io.vertx.core.Vertx;
+import io.vertx.ext.web.Router;
+import software.amazon.smithy.java.example.etoe.service.CoffeeShop;
+import software.amazon.smithy.java.server.Service;
+import software.amazon.smithy.java.server.vertx.SmithyServiceBridge;
+
+/**
+ * Mirror of {@link BasicServerExample} for the Vert.x bridge. Returns
+ * a built {@link Service} (the generated {@code CoffeeShop} stub) and
+ * mounts it on a Vert.x {@link Router} via
+ * {@link SmithyServiceBridge}.
+ *
+ * <p>This is the user-construction pattern that {@code quarkus-smithy}
+ * users mirror in their {@code @Produces Service} producer methods —
+ * see the {@code examples/quarkus-server} module.
+ */
+public class BasicServiceExample {
+
+    public static void main(String[] args) {
+        Service coffeeShop = CoffeeShop.builder()
+                .addCreateOrderOperation(new CreateOrder())
+                .addGetMenuOperation(new GetMenu())
+                .addGetOrderOperation(new GetOrder())
+                .build();
+
+        Vertx vertx = Vertx.vertx();
+        Router router = Router.router(vertx);
+
+        SmithyServiceBridge.bridge(java.util.List.of(coffeeShop)).bind(router);
+
+        vertx.createHttpServer()
+                .requestHandler(router)
+                .listen(8888)
+                .toCompletionStage()
+                .toCompletableFuture()
+                .join();
+
+        System.out.println("Service mounted on http://localhost:8888");
+    }
+}