ocaml re-migration

1 files changed, 0 insertions, 72 deletions

diff --git a/docs/roadmap.puml b/docs/roadmap.puml
deleted file mode 100644
index 42ad8c2..0000000
--- a/docs/roadmap.puml
+++ /dev/null
@@ -1,72 +0,0 @@
-@startuml roadmap
-!theme plain
-title Suggested Implementation Roadmap
-
-package "Phase 1: Stable Interface (MVP)" {
-  [domino.erl wrapper] as P1_1
-  [Command interface] as P1_2
-  [Basic constraint validation] as P1_3
-  [Karuta FFI bindings] as P1_4
-}
-
-package "Phase 2: Type System" {
-  [Fake-relations primitives] as P2_1
-  [Constraint-based refinement] as P2_2
-  [Subtype checking] as P2_3
-  [Type inference] as P2_4
-}
-
-package "Phase 3: Advanced Constraints" {
-  [Foreign keys] as P3_1
-  [Functional dependencies] as P3_2
-  [Tuple/relation-level constraints] as P3_3
-  [Transition constraints] as P3_4
-}
-
-package "Phase 4: Query Features" {
-  [Updatable views] as P4_1
-  [Materialized views] as P4_2
-  [Query optimization] as P4_3
-  [Explain plans] as P4_4
-}
-
-package "Phase 5: Distribution" {
-  [Merkle sync] as P5_1
-  [Multi-node replication] as P5_2
-  [Partition strategies] as P5_3
-  [Consistency protocols] as P5_4
-}
-
-package "Phase 6: Advanced Features" {
-  [Temporal queries] as P6_1
-  [Reactive queries] as P6_2
-  [Constraint solving] as P6_3
-  [Datalog engine] as P6_4
-}
-
-P1_1 -down-> P2_1
-P1_2 -down-> P2_2
-P1_3 -down-> P3_1
-P1_4 -down-> P2_1
-
-P2_1 -down-> P3_1
-P2_2 -down-> P3_2
-P2_3 -down-> P3_3
-P2_4 -down-> P4_1
-
-P3_1 -down-> P4_1
-P3_2 -down-> P4_2
-P3_3 -down-> P4_3
-P3_4 -down-> P4_4
-
-P4_1 -down-> P5_1
-P4_2 -down-> P5_2
-P4_3 -down-> P5_3
-P4_4 -down-> P6_1
-
-P5_1 -down-> P6_1
-P5_2 -down-> P6_2
-P5_3 -down-> P6_3
-P5_4 -down-> P6_4
-
-@enduml