chore(lint): remove blanket #![allow(...)] blocks; fix surfaced lints

The 13-lint allow block in both lib.rs and main.rs silenced clippy across
the codebase, making `just lint` (`cargo clippy -- -D warnings`) a hollow
signal. Removed both blocks and fixed every lint clippy surfaced.

Fixes:

- codegen/query.rs:124 — nested format!() flagged by
  `clippy::format_in_format_args`. Combined `format!("{}::text",
  format!("{}.ctid", t))` into `format!("{}.ctid::text", t)`.

- manifest/mod.rs:309 — `init_manifest` had a dead ternary returning
  "false" on both branches (flagged by `clippy::if_same_then_else`).
  Replaced with a single binding plus a comment explaining where the
  per-backend toggle would go if/when it becomes real.

- main.rs — was re-declaring `mod abi; mod codegen; mod intercept;
  mod manifest; mod tier1; mod tier2;` already declared in `lib.rs`,
  so each module compiled twice. From the bin's perspective most of
  the ABI types (ProvenanceEntry, LineageEdge, TemporalVersion,
  AccessPolicy, SidecarConfig, DriftCategory, …) appeared as dead
  code. Replaced the six `mod …;` lines with `use verisimiser::{abi,
  codegen, manifest};` so the bin consumes the library properly.
  This also halves redundant test runs (35 unique tests instead of
  61 with duplicates).

Verified:
- `cargo clippy --all-targets -- -D warnings` exits clean
- `cargo test` reports 26 lib + 9 integration tests, 0 failed

Closes #16, #17

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

Author: hyperpolymath

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 {

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>
 //

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)]

src/manifest/mod.rs

@@ -306,11 +306,11 @@ 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 defaults to off across all backends. The previous ternary
+    // returned "false" on both branches; if backend-specific defaults are
+    // needed later (e.g. enable simulation only when the storage is SQLite),
+    // this is the place to add them.
+    let enable_simulation = "false";
 
     let template = format!(
         r#"# SPDX-License-Identifier: PMPL-1.0-or-later