release: mirage 1.8.1 — ICFG from live Magellan stitching

- mirage icfg consumes CodeGraph::direct_call_icfg_edges(): call edges join
  real callsite to callee entry; return edges join callee return to resume
- mirage paths --inter-procedural enumerates cross-function paths over the
  stitched ICFG with per-block function provenance
- Drop Mirage CFG-writing path; Magellan is sole owner of persisted CFG
- Schema parity: coord_* absent, lean cfg_blocks contract; strict clippy clean

Author: oldnordic

CHANGELOG.md

@@ -5,6 +5,40 @@ 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.1] - 2026-06-20
+
+### Added
+
+- **`mirage paths --inter-procedural`** now enumerates cross-function paths from live Magellan call stitching:
+  - Reuses the shared path engine over a projected ICFG instead of falling back to function-local CFG-only traversal.
+  - Path output now carries per-block function provenance when traversing across caller, callee, and return-to-resume edges.
+
+### Changed
+
+- **ICFG stitching now consumes live Magellan callsite data** (`src/cfg/icfg.rs`, `src/cli/cmds/icfg.rs`, `Cargo.toml`):
+  - `mirage icfg` now builds against the local Magellan crate and uses `CodeGraph::direct_call_icfg_edges()` when stitching interprocedural edges.
+  - Call edges now connect the caller's real `CallSite` block to the callee's real function-entry sentinel instead of incorrectly jumping from the caller function entry.
+  - Return edges now connect callee `return` blocks back to the caller's real continuation block when available, with the older function-exit fallback retained only for cases where precise stitching data is unavailable.
+  - Added a regression test that indexes real Rust code through Magellan, opens the same database through Mirage, and asserts exact callsite/resume stitching.
+
+- Mirage's SQLite reader now matches Magellan's current `cfg_blocks` schema:
+  - `cfg_blocks` reads no longer require persisted `coord_x`/`coord_y`/`coord_z` columns.
+  - Test fixtures and local schema helpers now model Magellan's current `cfg_hash` / `statements` / `cfg_condition` shape instead of the old coordinate-heavy variant.
+  - Coverage and backend parity tests now explicitly assert that `coord_*` columns are absent from the current schema contract.
+- 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.
+- 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.
+  - Refreshed doctest examples to the current `mirage::...` crate path and removed the last warning suppressions in `src`, so the current tree passes strict clippy without `#[allow(...)]` escape hatches.
+
+### Removed
+
+- Deprecated internal CFG-writing compatibility path (`store_cfg`) and its self-contained tests. Mirage now treats Magellan as the sole owner of persisted CFG blocks.
+- Unused standalone database bootstrap helper (`create_minimal_database`); Mirage only supports reading Magellan-managed databases.
+- Unused `hash_changed` compatibility helper and related deprecated re-export surface that no longer participated in Mirage's live read path.
+
 ## [1.8.0] - 2026-06-08
 
 ### Added

Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "mirage-analyzer"
-version = "1.8.0"
+version = "1.8.1"
 edition = "2021"
 rust-version = "1.70"
 authors = ["Mirage Contributors"]
@@ -28,10 +28,10 @@ clap = { version = "4.5", features = ["derive", "env"] }
 rusqlite = { version = "0.31", features = ["bundled"] }
 
 # Magellan for inter-procedural analysis (required for CFG data)
-magellan = { version = "4.2.0", default-features = false, features = ["sqlite-backend"] }
+magellan = { path = "../magellan", default-features = false, features = ["sqlite-backend"] }
 
 # sqlitegraph for GraphBackend trait
-sqlitegraph = { version = "3.2.5", default-features = false, features = ["sqlite-backend"] }
+sqlitegraph = { version = "3.3.1", default-features = false, features = ["sqlite-backend"] }
 
 # Serialization
 serde = { version = "1.0", features = ["derive"] }