Step 3: manifest semantics (V-L2-D1 explicit Constraints + V-L2-E1 conflict-detection + V-L2-O1 init flags)

src/codegen/overlay.rs

@@ -289,6 +289,7 @@ mod tests {
             enable_lineage: true,
             enable_temporal: true,
             enable_access_control: true,
+            enable_constraints: true,
             enable_simulation: true,
         };
         let ddl = generate_sidecar_schema(&schema, &octad);
@@ -309,6 +310,7 @@ mod tests {
             enable_lineage: false,
             enable_temporal: false,
             enable_access_control: false,
+            enable_constraints: false,
             enable_simulation: false,
         };
         let ddl = generate_sidecar_schema(&schema, &octad);

src/codegen/query.rs

@@ -343,6 +343,7 @@ mod tests {
             enable_lineage: true,
             enable_temporal: true,
             enable_access_control: true,
+            enable_constraints: true,
             enable_simulation: false,
         };
         let interceptors = generate_interceptors(&schema, &octad, DatabaseBackend::SQLite);
@@ -364,6 +365,7 @@ mod tests {
             enable_lineage: false,
             enable_temporal: false,
             enable_access_control: false,
+            enable_constraints: false,
             enable_simulation: false,
         };
         let interceptors = generate_interceptors(&schema, &octad, DatabaseBackend::SQLite);
@@ -384,11 +386,15 @@ mod tests {
             enable_lineage: false,
             enable_temporal: false,
             enable_access_control: false,
+            enable_constraints: false,
             enable_simulation: false,
         };
         let interceptors = generate_interceptors(&schema, &octad, DatabaseBackend::SQLite);
 
-        let view = interceptors[0].provenance_view.as_ref().expect("TODO: handle error");
+        let view = interceptors[0]
+            .provenance_view
+            .as_ref()
+            .expect("TODO: handle error");
         assert!(view.contains("verisimdb_posts_with_provenance"));
         assert!(view.contains("posts.id"));
         assert!(view.contains("posts.title"));
@@ -403,11 +409,15 @@ mod tests {
             enable_lineage: false,
             enable_temporal: true,
             enable_access_control: false,
+            enable_constraints: false,
             enable_simulation: false,
         };
         let interceptors = generate_interceptors(&schema, &octad, DatabaseBackend::SQLite);
 
-        let view = interceptors[0].temporal_view.as_ref().expect("TODO: handle error");
+        let view = interceptors[0]
+            .temporal_view
+            .as_ref()
+            .expect("TODO: handle error");
         assert!(view.contains("verisimdb_posts_with_temporal"));
         assert!(view.contains("verisimdb_temporal_versions"));
         assert!(view.contains("valid_to IS NULL"));

src/main.rs

@@ -34,6 +34,12 @@ enum Commands {
         /// Database backend: postgresql, sqlite, or mongodb.
         #[arg(short, long, default_value = "postgresql")]
         database: String,
+        /// Project name (default: "my-augmented-db").
+        #[arg(short, long)]
+        name: Option<String>,
+        /// Overwrite an existing verisimiser.toml.
+        #[arg(short, long)]
+        force: bool,
     },
     /// Parse the target database schema and generate sidecar overlay + interceptors.
     Generate {
@@ -86,7 +92,11 @@ enum Commands {
 fn main() -> Result<()> {
     let cli = Cli::parse();
     match cli.command {
-        Commands::Init { database } => manifest::init_manifest(&database),
+        Commands::Init {
+            database,
+            name,
+            force,
+        } => manifest::init_manifest(&database, name.as_deref(), force),
 
         Commands::Generate { manifest, output } => {
             let m = manifest::load_manifest(&manifest)?;
@@ -104,7 +114,7 @@ fn main() -> Result<()> {
             };
 
             // Determine the backend for SQL dialect selection.
-            let backend_name = m.database.effective_backend();
+            let backend_name = m.database.effective_backend()?;
             let backend = abi::DatabaseBackend::from_str(backend_name)
                 .unwrap_or(abi::DatabaseBackend::PostgreSQL);
 
@@ -139,7 +149,7 @@ fn main() -> Result<()> {
             } else {
                 &m.verisimiser.name
             };
-            let backend = m.database.effective_backend();
+            let backend = m.database.effective_backend()?;
             println!(
                 "Starting VeriSimiser augmentation for {} ({})",
                 name, backend
@@ -183,8 +193,7 @@ fn main() -> Result<()> {
 
         Commands::Status { manifest } => {
             let m = manifest::load_manifest(&manifest)?;
-            manifest::print_status(&m);
-            Ok(())
+            manifest::print_status(&m)
         }
 
         Commands::Octad => {