bazaar-contrib-schema 0.3.0rc1__tar.gz

bazaar_contrib_schema-0.3.0rc1/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 [yyyy] [name of copyright owner]
+
+   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.

bazaar_contrib_schema-0.3.0rc1/PKG-INFO

@@ -0,0 +1,71 @@
+Metadata-Version: 2.4
+Name: bazaar-contrib-schema
+Version: 0.3.0rc1
+Summary: Module schema registration and versioned migrations
+License-Expression: Apache-2.0
+License-File: LICENSE
+Requires-Dist: bazaar-core~=0.3.0rc1
+Requires-Dist: bazaar-contrib-storage~=0.3.0rc1
+Requires-Dist: packaging>=25.0
+Requires-Dist: pydantic>=2.12.0
+Requires-Python: >=3.15
+Project-URL: Repository, https://github.com/yuchanns/bazaar-compute-node
+Description-Content-Type: text/markdown
+
+# bazaar-contrib-schema
+
+Register contrib-owned tables and migrations through `SCHEMA` before starting business services.
+
+```sh
+bcn contrib add schema --enable
+```
+
+The corresponding entry in `config.toml`:
+
+```toml
+version = "5"
+
+[[contribs]]
+package = "bazaar-contrib-schema~=0.3.0rc1"
+[[contribs.enabled]]
+entry = "schema"
+```
+
+```python
+from contextlib import asynccontextmanager
+
+from bazaar_contrib_schema import SCHEMA, Migration, ModuleSchema
+from bazaar_contrib_storage import ColumnDefinition, CreateTable, Table
+from bazaar_core import Context, Contrib
+
+MODULE = ModuleSchema(
+    tables=("notes",),
+    migrations=(
+        Migration(
+            version=1,
+            name="create_notes",
+            operations=(
+                CreateTable(
+                    table=Table(
+                        name="notes",
+                        columns=(ColumnDefinition(name="id", type="text"),),
+                        primary_key=("id",),
+                    )
+                ),
+            ),
+        ),
+    ),
+)
+
+
+@asynccontextmanager
+async def lifespan(ctx: Context):
+    async with ctx.accept(SCHEMA).register(MODULE):
+        # Create and offer business services here, after migrations finish.
+        yield
+
+
+notes = Contrib(accepts=[SCHEMA], lifespan=lifespan)
+```
+
+Append consecutive migration versions starting at 1 and keep published migrations unchanged.

bazaar_contrib_schema-0.3.0rc1/README.md

@@ -0,0 +1,57 @@
+# bazaar-contrib-schema
+
+Register contrib-owned tables and migrations through `SCHEMA` before starting business services.
+
+```sh
+bcn contrib add schema --enable
+```
+
+The corresponding entry in `config.toml`:
+
+```toml
+version = "5"
+
+[[contribs]]
+package = "bazaar-contrib-schema~=0.3.0rc1"
+[[contribs.enabled]]
+entry = "schema"
+```
+
+```python
+from contextlib import asynccontextmanager
+
+from bazaar_contrib_schema import SCHEMA, Migration, ModuleSchema
+from bazaar_contrib_storage import ColumnDefinition, CreateTable, Table
+from bazaar_core import Context, Contrib
+
+MODULE = ModuleSchema(
+    tables=("notes",),
+    migrations=(
+        Migration(
+            version=1,
+            name="create_notes",
+            operations=(
+                CreateTable(
+                    table=Table(
+                        name="notes",
+                        columns=(ColumnDefinition(name="id", type="text"),),
+                        primary_key=("id",),
+                    )
+                ),
+            ),
+        ),
+    ),
+)
+
+
+@asynccontextmanager
+async def lifespan(ctx: Context):
+    async with ctx.accept(SCHEMA).register(MODULE):
+        # Create and offer business services here, after migrations finish.
+        yield
+
+
+notes = Contrib(accepts=[SCHEMA], lifespan=lifespan)
+```
+
+Append consecutive migration versions starting at 1 and keep published migrations unchanged.

bazaar_contrib_schema-0.3.0rc1/pyproject.toml

@@ -0,0 +1,40 @@
+[project]
+name = "bazaar-contrib-schema"
+version = "0.3.0rc1"
+description = "Module schema registration and versioned migrations"
+readme = "README.md"
+license = "Apache-2.0"
+license-files = ["LICENSE"]
+requires-python = ">=3.15"
+dependencies = [
+    "bazaar-core~=0.3.0rc1",
+    "bazaar-contrib-storage~=0.3.0rc1",
+    "packaging>=25.0",
+    "pydantic>=2.12.0",
+]
+
+[project.urls]
+Repository = "https://github.com/yuchanns/bazaar-compute-node"
+
+[project.entry-points."bazaar_compute_node.contribs"]
+schema = "bazaar_contrib_schema:schema"
+
+[build-system]
+requires = ["uv_build>=0.13.0,<0.14.0"]
+build-backend = "uv_build"
+
+[tool.pytest.ini_options]
+testpaths = ["tests"]
+addopts = "-p no:anyio"
+asyncio_mode = "auto"
+asyncio_default_fixture_loop_scope = "function"
+
+[tool.pyright]
+extends = "../../pyrightconfig.json"
+include = [
+    "src",
+    "tests",
+]
+
+[tool.ruff]
+extend = "../../pyproject.toml"

bazaar_contrib_schema-0.3.0rc1/pyproject.toml.orig

@@ -0,0 +1,32 @@
+[project]
+name = "bazaar-contrib-schema"
+version = "0.3.0rc1"
+description = "Module schema registration and versioned migrations"
+readme = "README.md"
+license = "Apache-2.0"
+license-files = ["LICENSE"]
+requires-python = ">=3.15"
+dependencies = ["bazaar-core~=0.3.0rc1", "bazaar-contrib-storage~=0.3.0rc1", "packaging>=25.0", "pydantic>=2.12.0"]
+
+[project.urls]
+Repository = "https://github.com/yuchanns/bazaar-compute-node"
+
+[project.entry-points."bazaar_compute_node.contribs"]
+schema = "bazaar_contrib_schema:schema"
+
+[build-system]
+requires = ["uv_build>=0.13.0,<0.14.0"]
+build-backend = "uv_build"
+
+[tool.pytest.ini_options]
+testpaths = ["tests"]
+addopts = "-p no:anyio"
+asyncio_mode = "auto"
+asyncio_default_fixture_loop_scope = "function"
+
+[tool.pyright]
+extends = "../../pyrightconfig.json"
+include = ["src", "tests"]
+
+[tool.ruff]
+extend = "../../pyproject.toml"

bazaar_contrib_schema-0.3.0rc1/src/bazaar_contrib_schema/__init__.py

@@ -0,0 +1,430 @@
+"""Transactional, version-based migrations registered by business plugins."""
+
+from __future__ import annotations
+
+from contextlib import asynccontextmanager
+from typing import Annotated, Self, cast
+lazy import asyncio
+lazy from collections.abc import AsyncIterator, Awaitable, Callable, Mapping
+lazy from time import monotonic_ns, time_ns
+
+from bazaar_contrib_storage import (
+    DB,
+    Column,
+    ColumnDefinition,
+    Compare,
+    Copy,
+    CreateTable,
+    Delete,
+    Identifier,
+    In,
+    Insert,
+    MigrationError,
+    Mutation,
+    RenameTable,
+    SchemaOperation,
+    Select,
+    Sort,
+    Table,
+    Update,
+    Value,
+)
+from bazaar_core import CURRENT_CONTEXT, Context, Contrib, ServiceKey
+from packaging.utils import canonicalize_name
+from pydantic import BaseModel, ConfigDict, Field, model_validator
+lazy from bazaar_contrib_storage import Database, Record, Session
+
+__all__ = [
+    "SCHEMA",
+    "Dependency",
+    "Migration",
+    "ModuleSchema",
+    "Progress",
+    "Schema",
+    "schema",
+]
+
+type Package = Annotated[str, Field(pattern=r"^[a-z0-9]+(?:[-.][a-z0-9]+)*$")]
+
+
+class Migration(BaseModel):
+    model_config = ConfigDict(extra="forbid", frozen=True)
+    version: int = Field(gt=0)
+    name: str = Field(min_length=1)
+    operations: tuple[SchemaOperation, ...] = ()
+    apply: Callable[[Session], Awaitable[None]] | None = None
+
+    @model_validator(mode="after")
+    def implementation(self) -> Self:
+        if not self.operations and self.apply is None:
+            raise ValueError("a migration requires operations or an apply callback")
+        return self
+
+
+class Progress(BaseModel):
+    """Identify a module's version records in an existing database."""
+
+    model_config = ConfigDict(extra="forbid", frozen=True)
+    table: Identifier
+    identity: str = Field(min_length=1)
+    version: Identifier = "version"
+    name: Identifier = "migration_name"
+    package: Package | None = None
+
+
+class Dependency(BaseModel):
+    model_config = ConfigDict(extra="forbid", frozen=True)
+    package: Package
+    version: int = Field(gt=0)
+
+
+def operation_tables(operation: SchemaOperation) -> tuple[str, ...]:
+    if isinstance(operation, CreateTable):
+        return (operation.table.name,)
+    if isinstance(operation, RenameTable):
+        return (operation.table, operation.name)
+    return (operation.table,)
+
+
+class ModuleSchema(BaseModel):
+    model_config = ConfigDict(extra="forbid", frozen=True)
+    tables: tuple[Identifier, ...] = Field(min_length=1)
+    migrations: tuple[Migration, ...] = Field(min_length=1)
+    baseline: Migration | None = None
+    progress: Progress | None = None
+    predecessor: Dependency | None = None
+    dependencies: tuple[Dependency, ...] = ()
+
+    @property
+    def version(self) -> int:
+        return self.migrations[-1].version
+
+    @model_validator(mode="after")
+    def ownership(self) -> Self:
+        if tuple(item.version for item in self.migrations) != tuple(
+            range(1, len(self.migrations) + 1)
+        ):
+            raise ValueError(
+                "module migrations must have consecutive versions starting at 1"
+            )
+        if len(set(self.tables)) != len(self.tables):
+            raise ValueError("module table names must be unique")
+        if self.baseline is not None and self.baseline.version > self.version:
+            raise ValueError("baseline version must belong to the module's migrations")
+        if self.predecessor is not None and self.baseline is None:
+            raise ValueError("a predecessor requires a baseline for ownership handoff")
+        migrations = (
+            (*self.migrations, self.baseline)
+            if self.baseline is not None
+            else self.migrations
+        )
+        for migration in migrations:
+            for operation in migration.operations:
+                for table in operation_tables(operation):
+                    if table not in self.tables:
+                        raise ValueError(
+                            f"migration operation uses unowned table {table!r}"
+                        )
+        return self
+
+
+_LEDGER = Table(
+    name="contrib_schema_migrations",
+    columns=(
+        ColumnDefinition(name="package", type="text"),
+        ColumnDefinition(name="version", type="integer"),
+        ColumnDefinition(name="name", type="text"),
+        ColumnDefinition(name="applied_at_ms", type="integer"),
+        ColumnDefinition(name="duration_ms", type="integer"),
+    ),
+    primary_key=("package", "version"),
+)
+_OWNERS = Table(
+    name="contrib_schema_tables",
+    columns=(
+        ColumnDefinition(name="name", type="text"),
+        ColumnDefinition(name="package", type="text"),
+    ),
+    primary_key=("name",),
+)
+
+
+class MigrationSession:
+    """Constrain migration writes to the module's declared tables."""
+
+    def __init__(self, session: Session, package: str, tables: tuple[str, ...]) -> None:
+        self._session = session
+        self._package = package
+        self._tables = tables
+
+    def _require_table(self, table: str) -> None:
+        if table not in self._tables:
+            raise MigrationError(
+                f"{self._package} migration uses unowned table {table!r}"
+            )
+
+    async def table_exists(self, name: str) -> bool:
+        return await self._session.table_exists(name)
+
+    async def select(self, request: Select) -> tuple[Record, ...]:
+        return await self._session.select(request)
+
+    async def insert(self, request: Insert) -> Mutation:
+        self._require_table(request.table)
+        return await self._session.insert(request)
+
+    async def copy(self, request: Copy) -> Mutation:
+        self._require_table(request.table)
+        return await self._session.copy(request)
+
+    async def update(self, request: Update) -> Mutation:
+        self._require_table(request.table)
+        return await self._session.update(request)
+
+    async def delete(self, request: Delete) -> Mutation:
+        self._require_table(request.table)
+        return await self._session.delete(request)
+
+    async def apply_schema(self, operations: tuple[SchemaOperation, ...]) -> None:
+        for operation in operations:
+            for table in operation_tables(operation):
+                self._require_table(table)
+        await self._session.apply_schema(operations)
+
+
+class Schema:
+    def __init__(self, database: Database) -> None:
+        self._database = database
+        self._modules: dict[str, ModuleSchema] = {}
+        self._lock = asyncio.Lock()
+
+    @property
+    def modules(self) -> Mapping[str, ModuleSchema]:
+        return dict(self._modules)
+
+    async def start(self) -> None:
+        await self._database.apply_schema(
+            (
+                CreateTable(table=_LEDGER, if_not_exists=True),
+                CreateTable(table=_OWNERS, if_not_exists=True),
+            )
+        )
+
+    async def _version(
+        self, session: Session, package: str, progress: Progress | None
+    ) -> int:
+        for identity in (
+            package,
+            *((progress.package,) if progress is not None and progress.package else ()),
+        ):
+            applied = await session.select(
+                Select(
+                    table=_LEDGER.name,
+                    where=Compare(
+                        left=Column(name="package"),
+                        operator="=",
+                        right=Value(value=identity),
+                    ),
+                    order_by=(
+                        Sort(expression=Column(name="version"), descending=True),
+                    ),
+                    limit=1,
+                )
+            )
+            if applied:
+                version = cast(int, applied[0]["version"])
+                if identity != package:
+                    await self._record(
+                        session, package, version, cast(str, applied[0]["name"])
+                    )
+                return version
+        if progress is not None and await session.table_exists(progress.table):
+            history = await session.select(
+                Select(
+                    table=progress.table,
+                    columns={
+                        "version": Column(name=progress.version),
+                        "name": Column(name=progress.name),
+                    },
+                    order_by=(Sort(expression=Column(name=progress.version)),),
+                )
+            )
+            if history and history[0]["name"] == progress.identity:
+                versions = tuple(row["version"] for row in history)
+                if versions != tuple(range(1, len(history) + 1)):
+                    raise MigrationError(
+                        f"{package} existing migration ledger has a version gap"
+                    )
+                version = cast(int, history[-1]["version"])
+                await self._record(
+                    session, package, version, cast(str, history[-1]["name"])
+                )
+                return version
+        return 0
+
+    async def _record(
+        self,
+        session: Session,
+        package: str,
+        version: int,
+        name: str,
+        duration_ms: int = 0,
+    ) -> None:
+        await session.insert(
+            Insert(
+                table=_LEDGER.name,
+                rows=(
+                    {
+                        "package": package,
+                        "version": version,
+                        "name": name,
+                        "applied_at_ms": time_ns() // 1_000_000,
+                        "duration_ms": duration_ms,
+                    },
+                ),
+            )
+        )
+
+    @asynccontextmanager
+    async def register(
+        self, module: ModuleSchema, *, upgrade_only: bool = False
+    ) -> AsyncIterator[None]:
+        """Register one schema; upgrade-only registrations leave fresh databases alone."""
+        ctx = CURRENT_CONTEXT.get()
+        if ctx is None or ctx.source is None:
+            raise MigrationError(
+                "schema registration requires an installed contrib source"
+            )
+        package = canonicalize_name(ctx.source.package)
+        async with self._lock:
+            if package in self._modules:
+                raise MigrationError(
+                    f"schema package {package!r} is already registered"
+                )
+            for dependency in module.dependencies:
+                prerequisite = self._modules.get(dependency.package)
+                if prerequisite is None or prerequisite.version < dependency.version:
+                    raise MigrationError(
+                        f"{package} requires registered schema {dependency.package} >= {dependency.version}"
+                    )
+
+            async def apply(session: Session) -> None:
+                version = await self._version(session, package, module.progress)
+                if version > module.version:
+                    raise MigrationError(
+                        f"{package} has unknown applied migration version {version}"
+                    )
+                if upgrade_only and version in (0, module.version):
+                    return
+                inherited = False
+                predecessor = module.predecessor
+                origins: set[str] = set()
+                if (
+                    version
+                    and module.progress is not None
+                    and module.progress.package is not None
+                ):
+                    origins.add(module.progress.package)
+                if predecessor is not None:
+                    previous = await self._version(session, predecessor.package, None)
+                    if previous and previous < predecessor.version:
+                        raise MigrationError(
+                            f"{package} requires predecessor {predecessor.package} >= {predecessor.version}"
+                        )
+                    inherited = previous >= predecessor.version
+                    if inherited:
+                        origins.add(predecessor.package)
+                        declaration = self._modules.get(predecessor.package)
+                        if (
+                            declaration is not None
+                            and declaration.progress is not None
+                            and declaration.progress.package is not None
+                        ):
+                            origins.add(declaration.progress.package)
+                owners = await session.select(
+                    Select(
+                        table=_OWNERS.name,
+                        where=In(expression=Column(name="name"), values=module.tables),
+                    )
+                )
+                owned = {row["name"] for row in owners}
+                for row in owners:
+                    if row["package"] == package:
+                        continue
+                    if row["package"] not in origins:
+                        raise MigrationError(
+                            f"table {row['name']!r} belongs to {row['package']!r}"
+                        )
+                    await session.update(
+                        Update(
+                            table=_OWNERS.name,
+                            values={"package": Value(value=package)},
+                            where=Compare(
+                                left=Column(name="name"),
+                                operator="=",
+                                right=Value(value=row["name"]),
+                            ),
+                        )
+                    )
+                for table in module.tables:
+                    if table in {_LEDGER.name, _OWNERS.name}:
+                        raise MigrationError(
+                            f"table {table!r} belongs to the schema service"
+                        )
+                    if table not in owned:
+                        await session.insert(
+                            Insert(
+                                table=_OWNERS.name,
+                                rows=({"name": table, "package": package},),
+                            )
+                        )
+                if version == 0 and inherited:
+                    baseline = module.baseline
+                    assert baseline is not None
+                    version = baseline.version
+                    await self._record(session, package, version, baseline.name)
+                pending = tuple(
+                    migration
+                    for migration in module.migrations
+                    if migration.version > version
+                )
+                if version == 0 and module.baseline is not None:
+                    pending = (
+                        module.baseline,
+                        *(m for m in pending if m.version > module.baseline.version),
+                    )
+                bound = MigrationSession(session, package, module.tables)
+                for migration in pending:
+                    started = monotonic_ns()
+                    await bound.apply_schema(migration.operations)
+                    if migration.apply is not None:
+                        await migration.apply(bound)
+                    await self._record(
+                        session,
+                        package,
+                        migration.version,
+                        migration.name,
+                        (monotonic_ns() - started) // 1_000_000,
+                    )
+
+            await self._database.transaction(apply)
+            self._modules[package] = module
+        try:
+            yield
+        finally:
+            async with self._lock:
+                del self._modules[package]
+
+
+SCHEMA = ServiceKey[Schema]("storage.schema")
+
+
+@asynccontextmanager
+async def lifespan(ctx: Context):
+    service = Schema(ctx.accept(DB))
+    await service.start()
+    ctx.offer(SCHEMA, service)
+    yield
+
+
+schema = Contrib(accepts=[DB], offers=[SCHEMA], lifespan=lifespan)