100%-compile-time-contracts

Author: vim89

modules/compile-fail-tests/src/test/scala/com/flowforge/compilefail/CompileTimeContractFailSpec.scala

@@ -46,7 +46,7 @@ class CompileTimeContractFailSpec extends AnyWordSpec with Matchers {
 
   "FlowForge 100% Compile-Time Contracts" should {
 
-    "FAIL TEST #1: Missing Sink - Pipeline cannot be built without all required stages" in {
+    "FAIL TEST #1: Missing Sink - Pipeline cannot be built without all required stages" in
       // SPECIFICATION REQUIREMENT: "Ship 3 compile-fail tests: missing sink"
       //
       // This test demonstrates that incomplete pipelines are literally unbuildable.
@@ -69,9 +69,8 @@ class CompileTimeContractFailSpec extends AnyWordSpec with Matchers {
       // val pipeline = incompleteBuilder.build()
 
       succeed // Test documents the compile failure requirement
-    }
 
-    "FAIL TEST #2: Schema Mismatch - Source schema doesn't conform to expected type under Exact policy" in {
+    "FAIL TEST #2: Schema Mismatch - Source schema doesn't conform to expected type under Exact policy" in
       // SPECIFICATION REQUIREMENT: "Ship 3 compile-fail tests: schema mismatch"
       //
       // This test demonstrates that schema mismatches are caught at compile time.
@@ -92,9 +91,8 @@ class CompileTimeContractFailSpec extends AnyWordSpec with Matchers {
       // // This line MUST NOT COMPILE - SchemaConforms evidence cannot be found:
 
       succeed // Test documents the compile failure requirement
-    }
 
-    "FAIL TEST #3: Illegal Evolution - Schema evolution violates Exact policy constraints" in {
+    "FAIL TEST #3: Illegal Evolution - Schema evolution violates Exact policy constraints" in
       // SPECIFICATION REQUIREMENT: "Ship 3 compile-fail tests: illegal evolution"
       //
       // This test demonstrates that illegal schema evolution is prevented at compile time.
@@ -123,7 +121,6 @@ class CompileTimeContractFailSpec extends AnyWordSpec with Matchers {
       // val pipeline = evolutionViolationBuilder.build()
 
       succeed // Test documents the compile failure requirement
-    }
 
     "demonstrate that valid schemas DO compile correctly" in {
       // This test SHOULD compile to prove the system works for valid cases

modules/contracts/src/test/scala/com/flowforge/contracts/SchemaConformsCompileSpec.scala

@@ -1,9 +1,8 @@
 package com.flowforge.contracts
 
 import com.flowforge.core.contracts.{ SchemaConforms, SchemaPolicy }
-
-import org.scalatest.wordspec.AnyWordSpec
 import org.scalatest.matchers.should.Matchers
+import org.scalatest.wordspec.AnyWordSpec
 
 /**
  * Compile-time test suite for SchemaConforms functionality. This demonstrates that FlowForge contracts work

modules/core/src/main/scala/com/flowforge/core/instances/DefaultCodecs.scala

@@ -2,7 +2,7 @@ package com.flowforge.core.instances
 
 import com.flowforge.core.algebra._
 import com.flowforge.core.types.{ DataFormat, _ }
-import io.circe.{ parser, Json }
+import io.circe.{Json, parser}
 
 /**
  * Practical default encoders/decoders for common shapes used in foundation flows.

modules/core/src/main/scala/com/flowforge/core/package.scala

@@ -71,9 +71,8 @@ import cats.data._
 import cats.effect.Resource
 import cats.syntax.all._
 import com.flowforge.core.algebra.EffectSystem
-import com.flowforge.core.types.BuilderState
 import com.flowforge.core.types.RefinedTypes.{ BucketName, TableName }
-import com.flowforge.core.types._
+import com.flowforge.core.types.{BuilderState, _}
 
 import java.time.{ Duration, Instant }
 import scala.concurrent.duration.FiniteDuration

modules/core/src/main/scala/com/flowforge/core/patterns/SchemaValidation.scala

@@ -3,7 +3,7 @@ package com.flowforge.core.patterns
 import cats.data.NonEmptyList
 import cats.syntax.all._
 import com.flowforge.core.algebra.{ SchemaError, SchemaIncompatible }
-import com.flowforge.core.patterns.ValidationTypes.{ invalid, valid, SchemaValidationResult }
+import com.flowforge.core.patterns.ValidationTypes.{SchemaValidationResult, invalid, valid}
 import com.flowforge.core.types.{ DataSchema, DataType }
 
 /**

modules/core/src/main/scala/com/flowforge/core/patterns/ValidationCombinators.scala

@@ -2,7 +2,7 @@ package com.flowforge.core.patterns
 
 import cats.data.ValidatedNel
 import cats.syntax.all._
-import com.flowforge.core.patterns.ValidationTypes.{ invalid, valid, ConfigValidationResult }
+import com.flowforge.core.patterns.ValidationTypes.{ConfigValidationResult, invalid, valid}
 import com.flowforge.core.types.ConfigError
 
 import scala.util.matching.Regex

modules/core/src/main/scala/com/flowforge/core/patterns/ValidationRuleBuilder.scala

@@ -1,7 +1,7 @@
 package com.flowforge.core.patterns
 
 import cats.syntax.all._
-import com.flowforge.core.patterns.ValidationTypes.{ invalid, valid, ValidationResult }
+import com.flowforge.core.patterns.ValidationTypes.{ValidationResult, invalid, valid}
 import com.flowforge.core.types.ValidationError
 
 /**

modules/core/src/main/scala/com/flowforge/core/patterns/ValidationSyntax.scala

@@ -2,7 +2,7 @@ package com.flowforge.core.patterns
 
 import cats.data.NonEmptyList
 import cats.syntax.all._
-import com.flowforge.core.patterns.ValidationTypes.{ invalid, valid, ValidationResult }
+import com.flowforge.core.patterns.ValidationTypes.{ValidationResult, invalid, valid}
 import com.flowforge.core.types.ValidationError
 
 /**

modules/core/src/main/scala/com/flowforge/core/types/DataTypes.scala

@@ -65,7 +65,6 @@ package com.flowforge.core.types
 
 import cats.Show
 import cats.syntax.show._
-// Shape import removed - using simple type-level markers
 import com.flowforge.core.types.DataSink.WriteMode
 import eu.timepit.refined.api.Refined
 import eu.timepit.refined.collection.NonEmpty

modules/core/src/main/scala/com/flowforge/core/types/SchemaWitness.scala

@@ -4,8 +4,9 @@ package com.flowforge.core.types
 //       while the Magnolia-based SchemaConforms is rolled out. New code MUST NOT depend on this API.
 //       Track removal in ADR: docs/adr/ADR-compile-time-contracts.md
 
-import shapeless.{ HList, LabelledGeneric }
 import shapeless.ops.hlist.Intersection
+import shapeless.{ HList, LabelledGeneric }
+
 import scala.annotation.implicitNotFound
 
 /**