Skip to content

docs: add standalone SMT reconstruction specification - #252

Merged
johndauphine merged 1 commit into
mainfrom
agent/smt-reconstruction-spec
Jul 26, 2026
Merged

docs: add standalone SMT reconstruction specification#252
johndauphine merged 1 commit into
mainfrom
agent/smt-reconstruction-spec

Conversation

@johndauphine

Copy link
Copy Markdown
Owner

Summary

Add RECREATE_SMT.md, a standalone, language-agnostic specification for reconstructing SMT’s deterministic schema-migration and DDL subsystem without access to the original repository. It defines normative observable contracts, safety invariants, dialect capabilities, artifacts, CLI/public API behavior, and acceptance criteria while leaving implementation language and internal architecture open.

Impact

This is documentation only. It gives implementers a self-contained compatibility target and does not change runtime behavior.

Validation

  • Verified the commit is exactly one file ahead of origin/main and adds only RECREATE_SMT.md.
  • Confirmed the worktree is clean and the document includes explicit acceptance and validation criteria for the reconstructed subsystem.

@johndauphine
johndauphine marked this pull request as ready for review July 26, 2026 23:45
Copilot AI review requested due to automatic review settings July 26, 2026 23:45
@johndauphine
johndauphine merged commit b97dfdd into main Jul 26, 2026
6 checks passed

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds a new standalone specification document (RECREATE_SMT.md) that defines the observable contracts and acceptance criteria for reconstructing SMT’s deterministic schema-migration + DDL subsystem without relying on the current repository or implementation language.

Changes:

  • Introduces a comprehensive, normative “reconstruction spec” covering deterministic DDL generation, drift/sync behavior, artifacts/manifests, capability gating, and safety invariants.
  • Documents the public connection-free DDL/evolution API and dialect capability matrices (PostgreSQL, SQL Server, MySQL, SQLite, ClickHouse).
  • Defines compatibility contracts for snapshots/state, CLI surface (commands/flags/exit codes), and optional AI boundaries (parse/review only; never author executable DDL).

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants