Issues

• Adopt binary-safe RPC payload codec contract

  declarative-migrations/declmig-interfaces#21 · Filter by author ORESoftware opened on Sep 28, 2026

• Bootstrap peer TypeSpec authority with runner execution contract

  declarative-migrations/declmig-interfaces#19 · Filter by author ORESoftware opened on Sep 14, 2026

• Adopt TJSV Protobuf, WIT, and Dafny additive contract gates

  declarative-migrations/declmig-interfaces#18 · Filter by author ORESoftware opened on Sep 14, 2026

• [PAUSE] Peer contract certification blocked: TypeSpec peer lane is absent

  declarative-migrations/declmig-interfaces#8 · Filter by author ORESoftware opened on Sep 2, 2026
  1

• Replace untyped MigrationPlan payload with peer-authority and phase contracts

  declarative-migrations/declmig-interfaces#7 · Filter by author ORESoftware opened on Sep 2, 2026

• Implement JSON Schema/OpenAPI lane: SQL, types, validators, and write clients

  declarative-migrations/declmig-interfaces#6 · Filter by author ORESoftware opened on Sep 2, 2026

• Replace untyped MigrationPlan.payload with closed, discriminated migration contracts

  declarative-migrations/declmig-interfaces#4 · Filter by author ORESoftware opened on Sep 2, 2026

• Implement independent JSON Schema/OpenAPI→SQL and client/write-interface authority

  declarative-migrations/declmig-interfaces#3 · Filter by author ORESoftware opened on Sep 2, 2026

• Implement independent TypeSpec→SQL, Protobuf/gRPC, and wire-type authority

  declarative-migrations/declmig-interfaces#2 · Filter by author ORESoftware opened on Sep 2, 2026