diff --git a/src/codegen/query.rs b/src/codegen/query.rs
index 86d1e3c..9f5f99a 100644
--- a/src/codegen/query.rs
+++ b/src/codegen/query.rs
@@ -121,7 +121,7 @@ fn build_entity_id_expr(pk_columns: &[&str], table_name: &str, backend: Database
         // No PK defined — fall back to internal row identifier.
         match backend {
             DatabaseBackend::SQLite => format!("{}.rowid", table_name),
-            DatabaseBackend::PostgreSQL => format!("{}::text", format!("{}.ctid", table_name)),
+            DatabaseBackend::PostgreSQL => format!("{}.ctid::text", table_name),
             DatabaseBackend::MongoDB => "CAST(_id AS TEXT)".to_string(),
         }
     } else if pk_columns.len() == 1 {
diff --git a/src/lib.rs b/src/lib.rs
index a584e89..38eba2c 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,18 +1,4 @@
 #![forbid(unsafe_code)]
-#![allow(
-    dead_code,
-    clippy::too_many_arguments,
-    clippy::manual_strip,
-    clippy::if_same_then_else,
-    clippy::vec_init_then_push,
-    clippy::upper_case_acronyms,
-    clippy::format_in_format_args,
-    clippy::enum_variant_names,
-    clippy::module_inception,
-    clippy::doc_lazy_continuation,
-    clippy::manual_clamp,
-    clippy::type_complexity
-)]
 // SPDX-License-Identifier: PMPL-1.0-or-later
 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 //
diff --git a/src/main.rs b/src/main.rs
index bac3e96..534eaeb 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,17 +1,3 @@
-#![allow(
-    dead_code,
-    clippy::too_many_arguments,
-    clippy::manual_strip,
-    clippy::if_same_then_else,
-    clippy::vec_init_then_push,
-    clippy::upper_case_acronyms,
-    clippy::format_in_format_args,
-    clippy::enum_variant_names,
-    clippy::module_inception,
-    clippy::doc_lazy_continuation,
-    clippy::manual_clamp,
-    clippy::type_complexity
-)]
 #![forbid(unsafe_code)]
 // SPDX-License-Identifier: PMPL-1.0-or-later
 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
@@ -31,13 +17,7 @@
 
 use anyhow::Result;
 use clap::{Parser, Subcommand};
-
-mod abi;
-mod codegen;
-mod intercept;
-mod manifest;
-mod tier1;
-mod tier2;
+use verisimiser::{abi, codegen, manifest};
 
 /// VeriSimiser — augment any database with VeriSimDB octad capabilities.
 #[derive(Parser)]
diff --git a/src/manifest/mod.rs b/src/manifest/mod.rs
index c6a678b..803d7d8 100644
--- a/src/manifest/mod.rs
+++ b/src/manifest/mod.rs
@@ -306,11 +306,8 @@ pub fn init_manifest(database: &str) -> Result<()> {
         anyhow::bail!("{} already exists — remove it first to reinitialise", path);
     }
 
-    let enable_simulation = if database == "sqlite" {
-        "false"
-    } else {
-        "false"
-    };
+    // Simulation is unimplemented across all backends; placeholder "false".
+    let enable_simulation = "false";
 
     let template = format!(
         r#"# SPDX-License-Identifier: PMPL-1.0-or-later