release schema v18 compatibility

Author: oldnordic

CHANGELOG.md

@@ -5,6 +5,19 @@ All notable changes to Mirage are documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [1.8.2] - 2026-06-20
+
+### Fixed
+
+- **Magellan schema v18 compatibility verification**:
+  - Added regression coverage proving `MirageDb` opens a Magellan schema-18 database cleanly.
+  - Verified live analysis commands against the current unified Magellan database after the temporal schema rollout.
+
+### Changed
+
+- **Release docs refresh**:
+  - Updated README and manual requirements to reflect current Magellan schema support and removed stale 4D-coordinate migration guidance from the public path.
+
 ## [1.8.1] - 2026-06-20
 
 ### Added
@@ -28,6 +41,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - CFG/status compatibility cleanup:
   - `DatabaseStatus.cfg_edges` remains a normal compatibility field for Magellan-backed status output instead of being marked deprecated while still in active use.
   - Legacy in-memory `coord_*` fields are now documented as analysis-time values, not persisted database columns.
+- Dynamic schema version alignment:
+  - Updated `REQUIRED_SQLITEGRAPH_SCHEMA_VERSION` to dynamically reference `sqlitegraph::schema::SCHEMA_VERSION as i32` instead of hardcoding `3`, aligning with sqlitegraph v3.3.1 (schema v6).
 - Source hygiene cleanup:
   - Removed a dead AST CFG builder field and cleaned up stale doctest placeholders that used `unimplemented!()`.
   - Replaced stale wording that implied temporary or 4D-backed behavior where Mirage now only reads Magellan-managed CFG data.

Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "mirage-analyzer"
-version = "1.8.1"
+version = "1.8.2"
 edition = "2021"
 rust-version = "1.70"
 authors = ["Mirage Contributors"]

Cargo.toml

@@ -1,6 +1,6 @@
 # Mirage User Manual
 
-Version 1.8.0
+Version 1.8.2
 
 ---
 
@@ -42,44 +42,26 @@ cargo install --path .
 
 ### Requirements
 
-- **Magellan 3.3.3+ / Schema v14** (or v11+ for basic CFG, v13+ for source documents)
-  - For CFG extraction and 4D spatial coordinates
+- **Magellan SQLite `.db` database**
+  - Current release verified with Magellan schema v18
+  - Minimum CFG-compatible Magellan schema remains v7
   - Run `magellan watch --root ./src --db .magellan/mirage.db` first
 - **Rust 1.70+**
 
-### Magellan v10 → v11 Migration
+### Magellan Schema Compatibility
 
-If you're upgrading from Magellan v10 to v11, follow these steps:
+Mirage reads Magellan-managed CFG data and does not require Magellan's temporal tables directly, but it is verified to open current schema-v18 databases cleanly.
 
 ```bash
-# 1. Check your current Magellan schema version
+# Check the embedded Magellan schema version
 mirage status --db .magellan/mirage.db
-# Look for: "Schema version: 1 (Magellan: X)"
+# Example: "Schema version: 1 (Magellan: 18)"
 
-# 2. If it shows v10 or earlier, rebuild your Magellan database
+# If the database is too old, rebuild it with current Magellan
 rm .magellan/mirage.db
 magellan watch --root ./src --db .magellan/mirage.db --scan-initial
-
-# 3. Verify the new schema
-mirage status --db .magellan/mirage.db
-# Should show: "Schema version: 1 (Magellan: 11)"
-
-# 4. Clear old path caches (they use function_hash, v11 uses cfg_hash)
-# This is automatic - Mirage will rebuild caches on first run
-mirage paths --function "some_function" --db .magellan/mirage.db
-
-# 5. Verify 4D coordinates are available
-mirage cfg --function "main" --output json --db .magellan/mirage.db | jq '.data.blocks[0]'
-# Should include: coord_x, coord_y, coord_z, coord_t
 ```
 
-**What changed in Magellan v11:**
-- Added `coord_t` column for temporal/type metadata
-- Changed from `function_hash` to `cfg_hash` for cache invalidation
-- Better cache invalidation when CFG structure changes
-
-**Backward compatibility:** Mirage 1.2.4+ works with both v10 and v11 databases, but v11 is recommended for the full 4D coordinate experience.
-
 ### Full Workflow Setup
 
 For the complete code intelligence workflow:

MANUAL.md

@@ -3,7 +3,7 @@
 [![Crates.io](https://img.shields.io/crates/v/mirage-analyzer)](https://crates.io/crates/mirage-analyzer)
 [![Documentation](https://docs.rs/mirage-analyzer/badge.svg)](https://docs.rs/mirage-analyzer)
 
-**Version:** 1.8.0
+**Version:** 1.8.2
 
 Path-aware code intelligence engine for Rust. Analyzes control-flow graphs from Magellan databases.
 
@@ -58,7 +58,7 @@ cargo install mirage-analyzer --features backend-geometric --no-default-features
 
 ## Requirements
 
-- **[Magellan](https://github.com/oldnordic/magellan)** 3.3.3+ / Schema v14 (or v11+ for basic CFG, v13+ for source documents)
+- **[Magellan](https://github.com/oldnordic/magellan)** SQLite `.db` databases with schema v18 support (minimum CFG-compatible schema remains v7)
 - Rust 1.70+
 - Magellan database (`.db`) created by `magellan watch`
 

README.md

@@ -83,9 +83,6 @@ mod tests {
             statements: vec![],
             terminator: Terminator::Goto { target: 1 },
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         // Block 1: if statement, goes to 2 (true) or 3 (false)
@@ -99,9 +96,6 @@ mod tests {
                 otherwise: 3,
             },
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         // Block 2: true branch, returns
@@ -112,9 +106,6 @@ mod tests {
             statements: vec![],
             terminator: Terminator::Return,
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         // Block 3: false branch, returns
@@ -125,9 +116,6 @@ mod tests {
             statements: vec![],
             terminator: Terminator::Return,
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         // Add edges
@@ -217,9 +205,6 @@ mod tests {
                 otherwise: 2,
             },
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         let b1 = g.add_node(BasicBlock {
@@ -229,9 +214,6 @@ mod tests {
             statements: vec![],
             terminator: Terminator::Goto { target: 3 },
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         let b2 = g.add_node(BasicBlock {
@@ -241,9 +223,6 @@ mod tests {
             statements: vec![],
             terminator: Terminator::Goto { target: 3 },
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         let b3 = g.add_node(BasicBlock {
@@ -253,9 +232,6 @@ mod tests {
             statements: vec![],
             terminator: Terminator::Return,
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         g.add_edge(b0, b1, EdgeType::TrueBranch);
@@ -284,9 +260,6 @@ mod tests {
                 unwind: Some(2),
             },
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         // Block 1: normal return
@@ -297,9 +270,6 @@ mod tests {
             statements: vec![],
             terminator: Terminator::Return,
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         // Block 2: unwind exit
@@ -310,9 +280,6 @@ mod tests {
             statements: vec![],
             terminator: Terminator::Abort("panic".to_string()),
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         g.add_edge(b0, b1, EdgeType::Call);
@@ -340,9 +307,6 @@ mod tests {
             statements: vec![],
             terminator: Terminator::Return,
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         // A single block that is both entry and exit
@@ -362,9 +326,6 @@ mod tests {
             statements: vec![],
             terminator: Terminator::Goto { target: 1 },
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         // Block 1: normal path
@@ -375,9 +336,6 @@ mod tests {
             statements: vec![],
             terminator: Terminator::Return,
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         // Block 2: unreachable (dead code)
@@ -388,9 +346,6 @@ mod tests {
             statements: vec![],
             terminator: Terminator::Unreachable,
             source_location: None,
-            coord_x: 0,
-            coord_y: 0,
-            coord_z: 0,
         });
 
         g.add_edge(b0, b1, EdgeType::Fallthrough);

src/cfg/analysis.rs

@@ -210,10 +210,6 @@ impl<'a> CFGBuilder<'a> {
                 statements: statements.iter().map(|n| self.node_text(*n)).collect(),
                 terminator: self.extract_terminator(statements),
                 source_location,
-                // AST-based CFG doesn't compute spatial coordinates (use 0 defaults)
-                coord_x: 0,
-                coord_y: 0,
-                coord_z: 0,
             };
 
             let node_idx = self.graph.add_node(basic_block);