Skip to content

Comments

feat: implement algebraic migration system for ZIO Schema (#519)#971

Open
84ethan-bit wants to merge 1 commit intozio:mainfrom
84ethan-bit:fix/proper-history
Open

feat: implement algebraic migration system for ZIO Schema (#519)#971
84ethan-bit wants to merge 1 commit intozio:mainfrom
84ethan-bit:fix/proper-history

Conversation

@84ethan-bit
Copy link

This PR implements the core of the proposed Algebraic Migration System for ZIO Schema, as discussed in issue #519.

Key features:

  • Core Migration AST for chaining and reversing schema changes.
  • Atomic MigrationActions: AddField, DropField, RenameField, and TransformValue.
  • Verified implementation against Identity and Structural Reverse laws.
  • Support for deep nested record updates via Chunk[String] paths.

Tested locally with JDK 17 and passed all verification specs.

@84ethan-bit 84ethan-bit requested a review from a team as a code owner December 23, 2025 18:36
@CLAassistant
Copy link

CLAassistant commented Dec 23, 2025

CLA assistant check
All committers have signed the CLA.

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