@reventlessdev/reventless-infra 3.0.0-alpha.81

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2019-2026 Martin Lorenz
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/package.json

@@ -0,0 +1,35 @@
+{
+  "name": "@reventlessdev/reventless-infra",
+  "version": "3.0.0-alpha.81",
+  "description": "Infrastructure types for Reventless framework",
+  "license": "Apache-2.0",
+  "dependencies": {
+    "sury": "11.0.0-alpha.4",
+    "sury-ppx": "11.0.0-alpha.2",
+    "uuid": "^13.0.0",
+    "@reventlessdev/rescript-effect": "0.1.0-alpha.23",
+    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.14",
+    "@reventlessdev/rescript-uuid": "1.1.0-alpha.13",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.61"
+  },
+  "devDependencies": {
+    "rescript": "^12.3.0"
+  },
+  "peerDependencies": {
+    "rescript": "^12.3.0"
+  },
+  "publishConfig": {
+    "registry": "https://registry.npmjs.org"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/ReventlessDev/reventless-core.git",
+    "directory": "reventless/reventless-infra"
+  },
+  "scripts": {
+    "build": "rescript build",
+    "start": "rescript watch",
+    "clean": "rescript clean",
+    "rebuild": "pnpm run clean && pnpm run build -- -with-deps"
+  }
+}

package/rescript.json

@@ -0,0 +1,28 @@
+{
+  "name": "@reventlessdev/reventless-infra",
+  "package-specs": {
+    "module": "esmodule",
+    "in-source": true
+  },
+  "namespace": "ReventlessInfra",
+  "ppx-flags": [
+    "sury-ppx/bin"
+  ],
+  "warnings": {
+    "error": "-44+101"
+  },
+  "sources": [
+    {
+      "dir": "src",
+      "subdirs": true
+    }
+  ],
+  "dependencies": [
+    "sury",
+    "@reventlessdev/rescript-pulumi-pulumi",
+    "@reventlessdev/rescript-effect",
+    "@reventlessdev/rescript-uuid",
+    "@reventlessdev/reventless-spec"
+  ],
+  "suffix": ".res.mjs"
+}

package/src/adapter/Adapter.res

@@ -0,0 +1,88 @@
+/** Platform-agnostic metadata for a resource's structural role. */
+type resourceInfo =
+  | StorageKeys({partitionKey: string, sortKey: option<string>})
+  | StreamSource({sourceUrn: string})
+  | ApiResolver({typeName: string, fieldName: string})
+  | NoInfo
+
+/**
+A deploy-time infrastructure resource with all fields wrapped in `Pulumi.Output.t`.
+
+At deploy time (Pulumi program) resource identifiers are not yet known — they
+exist as `Output.t` promises that resolve once the resource is provisioned.
+Use `resolvedResource` at runtime (inside Lambda handlers) once values are available.
+*/
+type resource = {
+  name: Pulumi.Output.t<string>,
+  id: Pulumi.Output.t<string>,
+  urn: Pulumi.Output.t<string>,
+  /** Typed metadata describing the resource's structural characteristics. */
+  resourceInfo: Pulumi.Output.t<resourceInfo>,
+  /** Cloud service type identifier (e.g. "aws:DynamoDb", "aws:Lambda"). */
+  service: Pulumi.Output.t<string>,
+  /** Functional role within a component (e.g. "eventLog", "commandTopic", "queryDb"). */
+  role: Pulumi.Output.t<string>,
+  /** Cloud region (e.g. "eu-west-1", "local"). */
+  region: Pulumi.Output.t<string>,
+  /** Full cloud resource type (e.g. "aws:dynamodb:Table", "aws:lambda:Function"). */
+  resourceType: Pulumi.Output.t<string>,
+  /** Key infrastructure configuration properties (informational, not used at runtime). */
+  configuration: Pulumi.Output.t<dict<string>>,
+  /** AWS resource tags applied at provisioning time. */
+  tags: Pulumi.Output.t<dict<string>>,
+}
+
+/** Create a deploy-time resource with sensible defaults for metadata fields. */
+let make = (
+  ~name,
+  ~id,
+  ~urn,
+  ~service,
+  ~resourceInfo=NoInfo->Pulumi.Output.make,
+  ~role=""->Pulumi.Output.make,
+  ~region=""->Pulumi.Output.make,
+  ~resourceType=""->Pulumi.Output.make,
+  ~configuration=Dict.make()->Pulumi.Output.make,
+  ~tags=Dict.make()->Pulumi.Output.make,
+): resource => {
+  name,
+  id,
+  urn,
+  resourceInfo,
+  service,
+  role,
+  region,
+  resourceType,
+  configuration,
+  tags,
+}
+
+/** A named dictionary of deploy-time infrastructure resources. */
+type resources = dict<resource>
+
+/**
+A runtime infrastructure resource with all fields resolved to plain strings.
+
+Passed to runtime operations (e.g. `Scheduler.operations`) that run inside
+Lambda handlers, where `Pulumi.Output.t` values have already been resolved
+from environment variables or SSM parameters.
+*/
+type resolvedResource = {
+  name: string,
+  id: string,
+  urn: string,
+  /** Typed metadata describing the resource's structural characteristics. */
+  resourceInfo: resourceInfo,
+  /** Cloud service type identifier (e.g. "aws:DynamoDb", "aws:Lambda"). */
+  service: string,
+  /** Functional role within a component (e.g. "eventLog", "commandTopic", "queryDb"). */
+  role: string,
+  /** Cloud region (e.g. "eu-west-1", "local"). */
+  region: string,
+  /** Full cloud resource type (e.g. "aws:dynamodb:Table", "aws:lambda:Function"). */
+  resourceType: string,
+  /** Key infrastructure configuration properties (informational, not used at runtime). */
+  configuration: dict<string>,
+  /** AWS resource tags applied at provisioning time. */
+  tags: dict<string>,
+}

package/src/adapter/Adapter.res.mjs

@@ -0,0 +1,29 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Pulumi from "@pulumi/pulumi";
+
+function make(name, id, urn, service, resourceInfoOpt, roleOpt, regionOpt, resourceTypeOpt, configurationOpt, tagsOpt) {
+  let resourceInfo = resourceInfoOpt !== undefined ? resourceInfoOpt : Pulumi.output("NoInfo");
+  let role = roleOpt !== undefined ? roleOpt : Pulumi.output("");
+  let region = regionOpt !== undefined ? regionOpt : Pulumi.output("");
+  let resourceType = resourceTypeOpt !== undefined ? resourceTypeOpt : Pulumi.output("");
+  let configuration = configurationOpt !== undefined ? configurationOpt : Pulumi.output({});
+  let tags = tagsOpt !== undefined ? tagsOpt : Pulumi.output({});
+  return {
+    name: name,
+    id: id,
+    urn: urn,
+    resourceInfo: resourceInfo,
+    service: service,
+    role: role,
+    region: region,
+    resourceType: resourceType,
+    configuration: configuration,
+    tags: tags
+  };
+}
+
+export {
+  make,
+}
+/* @pulumi/pulumi Not a pure module */

package/src/components/Aggregate.res

@@ -0,0 +1,73 @@
+/**
+A function that attaches an additional `EventMapper` to this aggregate after it has
+been provisioned. Used by the plugin assembly to wire cross-aggregate event routing.
+*/
+type rec addEventMapper = (EventTopic.allOutputs, Reventless.QueryEngine.operations) => outputs
+
+/**
+Deploy-time outputs produced when an `Aggregate` is provisioned.
+
+- `name` — the aggregate's logical name
+- `commandGenerator` — the internal command dispatcher component
+- `commandTopic` — the SQS FIFO queue for inbound commands
+- `eventLog` — the DynamoDB event store
+- `eventMapper` — optional: the event-to-command router (present when mappings are configured)
+- `addEventMapper` — callback used by the plugin to attach late-bound event mappers
+*/
+and outputs = {
+  name: string,
+  commandGenerator: Pulumi.Output.t<CommandGenerator.outputs>,
+  commandTopic: Pulumi.Output.t<CommandTopic.outputs>,
+  eventLog: EventLog.outputs,
+  eventMapper?: Pulumi.Output.t<EventMapper.outputs>,
+  addEventMapper: addEventMapper,
+}
+
+/** A dictionary of aggregate outputs keyed by aggregate name. */
+type allOutputs = dict<outputs>
+
+/**
+Runtime operations exposed by an `Aggregate` component.
+
+Obtained via `Component.operations(aggregate)`. Available inside Lambda handlers.
+*/
+type operations = {
+  /** Publish a batch of serialized commands to this aggregate's command topic. */
+  publishJsons: CommandTopic.publishJsons,
+  /** Publish a stream of serialized commands (for high-throughput pipelines). */
+  publishJsonsStream: CommandTopic.publishJsonsStream,
+}
+
+/**
+Module type produced by `Platform.Aggregate.Make(Spec, Behavior, Mappings)`.
+
+The resulting module exposes `make` for instantiating the aggregate at deploy time
+and `operations` for publishing commands at runtime.
+
+@example
+```rescript
+// CatalogPlugin.res
+module CategoryAggregate = Platform.Aggregate.Make(
+  Category,
+  CategoryBehavior,
+  NoEventMappings.Make(Category),
+)
+
+// Deploy time
+let category = CategoryAggregate.make(~api, ~opts=?)
+
+// Runtime — inside a Lambda handler
+let ops = await category->Component.operations->TestRunner.resolve
+await ops.publishJsons([{id: "cat-1", meta, commandJson: json}])
+```
+*/
+module type T = {
+  module Spec: Reventless.Aggregate.Spec
+  type api
+  type component
+  let make: (~api: api, ~opts: Pulumi.ComponentResource.options=?) => component
+  let outputs: component => outputs
+  let operations: component => Pulumi.Output.t<operations>
+  /** Signal that all event mappers have been attached; finalises the aggregate. */
+  let finish: unit => unit
+}

package/src/components/Aggregate.res.mjs

@@ -0,0 +1,2 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+/* This output is empty. Its source's type definitions, externals and/or unused code got optimized away. */

package/src/components/Api.res

@@ -0,0 +1,124 @@
+// --- Sury metadata IDs for API exposure control ---
+
+/** Internal sury metadata ID used to mark a schema as excluded from API exposure. */
+let noApiId: S.Metadata.Id.t<bool> = S.Metadata.Id.make(~namespace="api", ~name="noApi")
+
+/** Internal sury metadata ID used to mark specific variant names excluded from API exposure. */
+let noApiVariantsId: S.Metadata.Id.t<Set.t<string>> =
+  S.Metadata.Id.make(~namespace="api", ~name="noApiVariants")
+
+/** Internal sury metadata ID storing per-variant allowed-state lists for AutoUI command filtering.
+    Maps variant name → set of status values under which the command is meaningful. */
+let allowedStatesId: S.Metadata.Id.t<dict<array<string>>> =
+  S.Metadata.Id.make(~namespace="api", ~name="allowedStates")
+
+/** PPX helper: attaches the noApi flag to a command schema. Called by generated code. */
+let markNoApi = (schema: S.t<'a>): S.t<'a> =>
+  schema->S.Metadata.set(~id=noApiId, true)
+
+/** PPX helper: attaches variant-level exclusions to a command schema. Called by generated code. */
+let markNoApiVariants = (schema: S.t<'a>, variants: array<string>): S.t<'a> =>
+  schema->S.Metadata.set(~id=noApiVariantsId, Set.fromArray(variants))
+
+/** PPX helper: attaches per-variant allowedStates to a command schema. Called by generated code
+    emitted from the @allowedStates([…]) attribute. Each entry is (variantName, allowedStateNames). */
+let markAllowedStates = (
+  schema: S.t<'a>,
+  entries: array<(string, array<string>)>,
+): S.t<'a> => schema->S.Metadata.set(~id=allowedStatesId, Dict.fromArray(entries))
+
+/** Type alias for schema fragments (re-exports Plugin.apiSchemaFragment). */
+type schemaFragment = Reventless.Plugin.apiSchemaFragment
+
+/**
+Schema entry for a mutation field, derived from an aggregate command schema
+or a DCB StateChangeSlice command schema. Consumed by GraphQL, MCP, and (future) OpenAPI generators.
+`S.t<unknown>` is used for type-erasure — build entries with `Obj.magic`.
+*/
+type mutationSchemaEntry = {
+  fieldNames: array<string>,
+  commandSchema: S.t<unknown>,
+  authorization?: Reventless.ReadModel.authorization,
+  /** Spec-level per-field authorization derived from `Spec.commandAuthorization`,
+      keyed by mutation field name. Used by AWS to inject
+      `@aws_auth(cognito_groups: ...)` per field (Stage E2 in
+      `docs/plans/host-ui-login-core.md`). In-memory enforcement still happens
+      at the resolver layer via the same `commandAuthorization` function. */
+  fieldPermissions?: dict<Reventless.Authorization.permission>,
+  description?: string,
+  linkedViews?: array<string>,
+  consistencyRead?: string,
+}
+
+/**
+Schema entry for a query field, derived from a ReadModel or StateViewSlice state schema.
+Consumed by GraphQL, MCP, and (future) OpenAPI generators.
+`S.t<unknown>` is used for type-erasure — build entries with `Obj.magic`.
+*/
+type querySchemaEntry = {
+  singleFieldName: string,
+  listFieldName: string,
+  returnTypeName: string,
+  stateSchema: S.t<unknown>,
+  /** Read-model `Spec.name`. Used as the key for
+      `Plugin_Helpers.queryFieldNamesRegistry` / `stateSchemaRegistry`, which
+      `QueryDbResolvers_{AppSync,GraphQL}.make` looks up by the same key
+      (`Spec.name`). When unset, the admin populator falls back to the
+      singular form derived from `returnTypeName` — kept for backward compat
+      with read-model specs whose `Spec.name` matches the entity type name.
+      Must be set when the read model uses a
+      plural `Spec.name` (e.g. `Plugins`) so the registry key still matches. */
+  specName?: string,
+  authorization: option<Reventless.ReadModel.authorization>,
+  /** Spec-level read-model authorization derived from `Spec.authorization`.
+      Applies to both the single-id and list query fields. Used by AWS to
+      inject `@aws_auth(cognito_groups: ...)` (Stage E2 in
+      `docs/plans/host-ui-login-core.md`). In-memory enforcement happens at
+      the QueryDb resolver via the same field. */
+  permission?: Reventless.Authorization.permission,
+  excludeFields?: array<string>,
+  description?: string,
+  includeIdParam?: bool,
+  connectionSpec?: bool,
+  /** When set, generates a `{singleFieldName}ById` sort-key query with sort condition args. */
+  subIdField?: string,
+  /** When set, generates `{singleFieldName}By{Index}` connection query fields for each GSI. */
+  indexQueries?: array<Reventless.ReadModel.indexConfig>,
+}
+
+/**
+Schema entry for an event log, derived from an aggregate EventLog or DCB EventLog.
+Consumed by MCP (event history resources), GraphQL (future subscriptions),
+and (future) OpenAPI/REST event endpoints.
+*/
+type eventLogSchemaEntry = {
+  busKey: string,
+  displayName: string,
+  eventSchema: S.t<unknown>,
+}
+
+/**
+Deploy-time outputs produced when an `Api` component is provisioned.
+- `apiId` — the cloud API resource identifier (e.g. AppSync API ID)
+*/
+type outputs = {
+  apiId: Pulumi.Output.t<string>,
+}
+
+/**
+Runtime operations for the `Api` component.
+- `updateSchema` — rebuild the stitched schema from the current plugin fragments
+*/
+type operations = {
+  updateSchema: array<Reventless.Plugin.apiSchemaFragment> => promise<unit>,
+}
+
+type t
+type component = Component.t<t, outputs, operations>
+
+/**
+Module type produced by `Platform.Api.Make(Config)`.
+*/
+module type T = {
+  let make: (~name: string, ~opts: Pulumi.ComponentResource.options=?) => component
+}

package/src/components/Api.res.mjs

@@ -0,0 +1,31 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+
+let noApiId = S.Metadata.Id.make("api", "noApi");
+
+let noApiVariantsId = S.Metadata.Id.make("api", "noApiVariants");
+
+let allowedStatesId = S.Metadata.Id.make("api", "allowedStates");
+
+function markNoApi(schema) {
+  return S.Metadata.set(schema, noApiId, true);
+}
+
+function markNoApiVariants(schema, variants) {
+  return S.Metadata.set(schema, noApiVariantsId, new Set(variants));
+}
+
+function markAllowedStates(schema, entries) {
+  return S.Metadata.set(schema, allowedStatesId, Object.fromEntries(entries));
+}
+
+export {
+  noApiId,
+  noApiVariantsId,
+  allowedStatesId,
+  markNoApi,
+  markNoApiVariants,
+  markAllowedStates,
+}
+/* noApiId Not a pure module */

package/src/components/Api_Adapter.res

@@ -0,0 +1,39 @@
+/**
+Provider abstraction for the `Api` (GraphQL) component.
+
+Concrete providers (AppSync, graphql-yoga in-memory) implement this module type
+so that `Api_Builder.Make` can be parameterised without depending on AWS SDK
+or graphql-yoga directly.
+*/
+module type Provider = {
+  type api
+  type role
+
+  /**
+  Provision the underlying API resource (e.g. AppSync GraphQL API + IAM role).
+  Returns the opaque resource handles wrapped in `Output.t`.
+  */
+  let makeApiResource: (
+    ~name: string,
+    ~opts: Pulumi.ComponentResource.options,
+  ) => (Pulumi.Output.t<api>, Pulumi.Output.t<role>)
+
+  /**
+  Generate a schema fragment for one plugin from its mutation and query entries.
+  This is called at deploy-time by `Plugin_Builder`.
+  */
+  let generateFragment: (
+    ~mutationEntries: array<Api.mutationSchemaEntry>,
+    ~queryEntries: array<Api.querySchemaEntry>,
+  ) => Reventless.Plugin.apiSchemaFragment
+
+  /**
+  Rebuild and publish the full stitched schema whenever the set of plugin
+  fragments changes (e.g. on `Connected` / `Disconnected` Plugin events).
+  */
+  let updateSchema: (
+    ~api: Pulumi.Output.t<api>,
+    ~baseFragment: Reventless.Plugin.apiSchemaFragment,
+    ~pluginFragments: array<Reventless.Plugin.apiSchemaFragment>,
+  ) => promise<unit>
+}

package/src/components/Api_Adapter.res.mjs

@@ -0,0 +1,2 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+/* This output is empty. Its source's type definitions, externals and/or unused code got optimized away. */