Merge pull request #16 from blib/dev

m0n0x41d · web-flow · commit 8b375c057aaa · 2025-12-21T09:40:16.000+04:00
Fix: Standardize Go module import paths
diff --git a/src/mcp/cmd/init.go b/src/mcp/cmd/init.go
@@ -7,7 +7,7 @@ import (
 	"path/filepath"
 	"strings"
 
-	"quint-mcp/db"
+	"github.com/m0n0x41d/quint-code/db"
 
 	"github.com/spf13/cobra"
 )
diff --git a/src/mcp/cmd/serve.go b/src/mcp/cmd/serve.go
@@ -6,8 +6,8 @@ import (
 	"os"
 	"path/filepath"
 
-	"quint-mcp/db"
-	"quint-mcp/internal/fpf"
+	"github.com/m0n0x41d/quint-code/db"
+	"github.com/m0n0x41d/quint-code/internal/fpf"
 
 	"github.com/spf13/cobra"
 )
diff --git a/src/mcp/go.mod b/src/mcp/go.mod
@@ -1,4 +1,4 @@
-module quint-mcp
+module github.com/m0n0x41d/quint-code
 
 go 1.24.0
 
diff --git a/src/mcp/internal/fpf/actualize_test.go b/src/mcp/internal/fpf/actualize_test.go
@@ -7,8 +7,8 @@ import (
 	"strings"
 	"testing"
 
-	"quint-mcp/db"
-	"quint-mcp/internal/fpf"
+	"github.com/m0n0x41d/quint-code/db"
+	"github.com/m0n0x41d/quint-code/internal/fpf"
 )
 
 func TestActualize_GitReconciliation(t *testing.T) {
diff --git a/src/mcp/internal/fpf/assurance_integration_test.go b/src/mcp/internal/fpf/assurance_integration_test.go
@@ -8,9 +8,9 @@ import (
 	"testing"
 	"time"
 
-	"quint-mcp/assurance"
-	"quint-mcp/db"
-	"quint-mcp/internal/fpf"
+	"github.com/m0n0x41d/quint-code/assurance"
+	"github.com/m0n0x41d/quint-code/db"
+	"github.com/m0n0x41d/quint-code/internal/fpf"
 )
 
 func setupAssuranceTestEnv(t *testing.T) (*fpf.FSM, *db.Store, string) {
diff --git a/src/mcp/internal/fpf/fsm.go b/src/mcp/internal/fpf/fsm.go
@@ -9,7 +9,7 @@ import (
 	"path/filepath"
 	"strings"
 
-	"quint-mcp/assurance"
+	"github.com/m0n0x41d/quint-code/assurance"
 )
 
 // Phase definitions
diff --git a/src/mcp/internal/fpf/integration_test.go b/src/mcp/internal/fpf/integration_test.go
@@ -7,8 +7,8 @@ import (
 	"strings"
 	"testing"
 
-	"quint-mcp/db"
-	"quint-mcp/internal/fpf"
+	"github.com/m0n0x41d/quint-code/db"
+	"github.com/m0n0x41d/quint-code/internal/fpf"
 )
 
 // Helper to get FPF knowledge path for a level
diff --git a/src/mcp/internal/fpf/preconditions_test.go b/src/mcp/internal/fpf/preconditions_test.go
@@ -5,7 +5,7 @@ import (
 	"path/filepath"
 	"testing"
 
-	"quint-mcp/db"
+	"github.com/m0n0x41d/quint-code/db"
 )
 
 func TestCheckPreconditions_Propose(t *testing.T) {
diff --git a/src/mcp/internal/fpf/projection.go b/src/mcp/internal/fpf/projection.go
@@ -9,7 +9,7 @@ import (
 	"regexp"
 	"strings"
 
-	"quint-mcp/db"
+	"github.com/m0n0x41d/quint-code/db"
 )
 
 type TamperingEvent struct {
diff --git a/src/mcp/internal/fpf/projection_test.go b/src/mcp/internal/fpf/projection_test.go
@@ -6,7 +6,7 @@ import (
 	"path/filepath"
 	"testing"
 
-	"quint-mcp/db"
+	"github.com/m0n0x41d/quint-code/db"
 )
 
 var ctx = context.Background()
diff --git a/src/mcp/internal/fpf/tools.go b/src/mcp/internal/fpf/tools.go
@@ -13,8 +13,8 @@ import (
 	"strings"
 	"time"
 
-	"quint-mcp/assurance"
-	"quint-mcp/db"
+	"github.com/m0n0x41d/quint-code/assurance"
+	"github.com/m0n0x41d/quint-code/db"
 
 	"github.com/google/uuid"
 )
diff --git a/src/mcp/internal/fpf/tools_test.go b/src/mcp/internal/fpf/tools_test.go
@@ -8,7 +8,7 @@ import (
 	"strings"
 	"testing"
 
-	"quint-mcp/db"
+	"github.com/m0n0x41d/quint-code/db"
 )
 
 // Helper to create a dummy Tools instance for testing
@@ -611,9 +611,9 @@ func TestPropose_WithDependsOn(t *testing.T) {
 		"external traffic",
 		"system",
 		`{"anomaly": "need unified entry point"}`,
-		"",                                       // no decision_context
+		"",                                      // no decision_context
 		[]string{"auth-module", "rate-limiter"}, // depends_on
-		3,                                        // CL3
+		3,                                       // CL3
 	)
 	if err != nil {
 		t.Fatalf("ProposeHypothesis failed: %v", err)
diff --git a/src/mcp/main.go b/src/mcp/main.go
@@ -1,6 +1,6 @@
 package main
 
-import "quint-mcp/cmd"
+import "github.com/m0n0x41d/quint-code/cmd"
 
 func main() {
 	cmd.Execute()

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@ import (`
`7`	`7`	`"path/filepath"`
`8`	`8`	`"strings"`
`9`	`9`
`10`		`- "quint-mcp/db"`
	`10`	`+ "github.com/m0n0x41d/quint-code/db"`
`11`	`11`
`12`	`12`	`"github.com/spf13/cobra"`
`13`	`13`	`)`
Original file line number	Diff line number	Diff line change
`@@ -6,8 +6,8 @@ import (`
`6`	`6`	`"os"`
`7`	`7`	`"path/filepath"`
`8`	`8`
`9`		`- "quint-mcp/db"`
`10`		`- "quint-mcp/internal/fpf"`
	`9`	`+ "github.com/m0n0x41d/quint-code/db"`
	`10`	`+ "github.com/m0n0x41d/quint-code/internal/fpf"`
`11`	`11`
`12`	`12`	`"github.com/spf13/cobra"`
`13`	`13`	`)`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-module quint-mcp`
	`1`	`+module github.com/m0n0x41d/quint-code`
`2`	`2`
`3`	`3`	`go 1.24.0`
`4`	`4`
Original file line number	Diff line number	Diff line change
`@@ -7,8 +7,8 @@ import (`
`7`	`7`	`"strings"`
`8`	`8`	`"testing"`
`9`	`9`
`10`		`- "quint-mcp/db"`
`11`		`- "quint-mcp/internal/fpf"`
	`10`	`+ "github.com/m0n0x41d/quint-code/db"`
	`11`	`+ "github.com/m0n0x41d/quint-code/internal/fpf"`
`12`	`12`	`)`
`13`	`13`
`14`	`14`	`func TestActualize_GitReconciliation(t *testing.T) {`
Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ import (`
`9`	`9`	`"path/filepath"`
`10`	`10`	`"strings"`
`11`	`11`
`12`		`- "quint-mcp/assurance"`
	`12`	`+ "github.com/m0n0x41d/quint-code/assurance"`
`13`	`13`	`)`
`14`	`14`
`15`	`15`	`// Phase definitions`
Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@ import (`
`5`	`5`	`"path/filepath"`
`6`	`6`	`"testing"`
`7`	`7`
`8`		`- "quint-mcp/db"`
	`8`	`+ "github.com/m0n0x41d/quint-code/db"`
`9`	`9`	`)`
`10`	`10`
`11`	`11`	`func TestCheckPreconditions_Propose(t *testing.T) {`
Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ import (`
`9`	`9`	`"regexp"`
`10`	`10`	`"strings"`
`11`	`11`
`12`		`- "quint-mcp/db"`
	`12`	`+ "github.com/m0n0x41d/quint-code/db"`
`13`	`13`	`)`
`14`	`14`
`15`	`15`	`type TamperingEvent struct {`
Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@ import (`
`6`	`6`	`"path/filepath"`
`7`	`7`	`"testing"`
`8`	`8`
`9`		`- "quint-mcp/db"`
	`9`	`+ "github.com/m0n0x41d/quint-code/db"`
`10`	`10`	`)`
`11`	`11`
`12`	`12`	`var ctx = context.Background()`